Add precondition to longestCommonPrefixPartialKey

More unnesting
Unnest some in checkPointRead
2024-02-22 16:07:20 -08:00 · 2024-02-22 15:50:54 -08:00 · 2024-02-22 15:43:13 -08:00 · 2024-02-22 15:41:39 -08:00 · 2024-02-22 15:30:24 -08:00 · 2024-02-22 15:25:50 -08:00
435 changed files with 375 additions and 407 deletions
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -28,7 +28,8 @@ add_compile_options(-fdata-sections -ffunction-sections)
 include_directories(SYSTEM ${CMAKE_SOURCE_DIR}/third_party/valgrind)
 if(CMAKE_CXX_COMPILER_ID STREQUAL "GNU")
-  add_compile_options(-Wno-maybe-uninitialized)
+  add_compile_options(-Wno-maybe-uninitialized
                      $<$<COMPILE_LANGUAGE:CXX>:-Wno-invalid-offsetof>)
 endif()
 if(APPLE)
--- a/ConflictSet.cpp
+++ b/ConflictSet.cpp
--- a/corpus/00194f8877cf4f53fa79ace13caf5003c8a4b594
+++ b/corpus/00194f8877cf4f53fa79ace13caf5003c8a4b594
--- a/corpus/007c0b21cc8c41feb417b7a8e0ee648f7c4f521f
+++ b/corpus/007c0b21cc8c41feb417b7a8e0ee648f7c4f521f
--- a/corpus/01545aff9edc5f59783a16720f661b5f3548fc7a
+++ b/corpus/01545aff9edc5f59783a16720f661b5f3548fc7a
--- a/corpus/01949e34ec5a946e30cfb8673f5bdd5b7a6b95f1
+++ b/corpus/01949e34ec5a946e30cfb8673f5bdd5b7a6b95f1
--- a/corpus/02371e27ad47cbea3077371402cba9c08c322d82
+++ b/corpus/02371e27ad47cbea3077371402cba9c08c322d82
--- a/corpus/026f06d38c7a01745e5a23e21dea5fb61ee2f1a3
+++ b/corpus/026f06d38c7a01745e5a23e21dea5fb61ee2f1a3
--- a/corpus/031e5d9288ce9d3aa7fbaf69894955e466de87f7
+++ b/corpus/031e5d9288ce9d3aa7fbaf69894955e466de87f7
--- a/corpus/039d2203a690698a61527b2d62e565951daf69a8
+++ b/corpus/039d2203a690698a61527b2d62e565951daf69a8
--- a/corpus/04adf07876efa7e9ae8a7fe77621411bc81f1ec2
+++ b/corpus/04adf07876efa7e9ae8a7fe77621411bc81f1ec2
--- a/corpus/04e26afae7537fa12c80a00f8f73685f68a564f9
+++ b/corpus/04e26afae7537fa12c80a00f8f73685f68a564f9
--- a/corpus/04ed1c4ffaa987cd51c3aa4ca775e2bd76976e5f
+++ b/corpus/04ed1c4ffaa987cd51c3aa4ca775e2bd76976e5f
--- a/corpus/04ef94e61bf9e0e0c4106f81a284de9ae5308302
+++ b/corpus/04ef94e61bf9e0e0c4106f81a284de9ae5308302
--- a/corpus/05f8ca0e8beca5170bd1bd751f08b94fb8fbd3ba
+++ b/corpus/05f8ca0e8beca5170bd1bd751f08b94fb8fbd3ba
--- a/corpus/063eb4544fdb10fd34d9ea5babc76a7d7d6029d6
+++ b/corpus/063eb4544fdb10fd34d9ea5babc76a7d7d6029d6
--- a/corpus/06a698276feb067586447cd4b298dd8609725613
+++ b/corpus/06a698276feb067586447cd4b298dd8609725613
--- a/corpus/06f1329132c1557b304b46947f5fa10d0d241c0d
+++ b/corpus/06f1329132c1557b304b46947f5fa10d0d241c0d
--- a/corpus/07377ab9a395b9f358655841ba90005975096610
+++ b/corpus/07377ab9a395b9f358655841ba90005975096610
--- a/corpus/078522719c9a0626edbd614ec8f28a5bb8ec6f36
+++ b/corpus/078522719c9a0626edbd614ec8f28a5bb8ec6f36
--- a/corpus/096a63a6be6763774155c1b29d410ae511700fbb
+++ b/corpus/096a63a6be6763774155c1b29d410ae511700fbb
--- a/corpus/09aed02237cb7260832b2c8895ce5ce5bf3c4d11
+++ b/corpus/09aed02237cb7260832b2c8895ce5ce5bf3c4d11
--- a/corpus/09f35644d73b66a7c936bd8b8cd72a46d3724110
+++ b/corpus/09f35644d73b66a7c936bd8b8cd72a46d3724110
--- a/corpus/0a52cdf87605dda2c4d5eab27b386acb0e70322a
+++ b/corpus/0a52cdf87605dda2c4d5eab27b386acb0e70322a
--- a/corpus/0c98c0ebc6a3ba51e9a136dd0e48b7c076e82ad6
+++ b/corpus/0c98c0ebc6a3ba51e9a136dd0e48b7c076e82ad6
--- a/corpus/0d21a5b2736512c61326b3a5ffcf73a2739d1480
+++ b/corpus/0d21a5b2736512c61326b3a5ffcf73a2739d1480
--- a/corpus/0d8c160b0725dcf207648a64b79a53e9f4f661bc
+++ b/corpus/0d8c160b0725dcf207648a64b79a53e9f4f661bc
--- a/corpus/0deeb8fdf451c6c43bf5e4b6f971041b46440e7a
+++ b/corpus/0deeb8fdf451c6c43bf5e4b6f971041b46440e7a
--- a/corpus/0e29fcc1e69e182c03ac4d119694a6ffc7dfdbb5
+++ b/corpus/0e29fcc1e69e182c03ac4d119694a6ffc7dfdbb5
--- a/corpus/0e6161eedae4757cd31d2303db8b3379d0d20557
+++ b/corpus/0e6161eedae4757cd31d2303db8b3379d0d20557
--- a/corpus/0e628abccb280e40e72549b6e65c2ca9d0a43bcc
+++ b/corpus/0e628abccb280e40e72549b6e65c2ca9d0a43bcc
--- a/corpus/0e7b4bd061980ea4e3b276538d867c2c93abe16e
+++ b/corpus/0e7b4bd061980ea4e3b276538d867c2c93abe16e
--- a/corpus/0f05c74877d8d4fb0253057fdd613dcf9f7e1d7b
+++ b/corpus/0f05c74877d8d4fb0253057fdd613dcf9f7e1d7b
--- a/corpus/0fdf21deebd7e4e7b73ad51119f9fe20e91a3a71
+++ b/corpus/0fdf21deebd7e4e7b73ad51119f9fe20e91a3a71
--- a/corpus/0fe8c27c18feef4db1991f2d316a8142832591f1
+++ b/corpus/0fe8c27c18feef4db1991f2d316a8142832591f1
--- a/corpus/10174ad868c8e3cc7c9b871da87cb2bc5f0c7536
+++ b/corpus/10174ad868c8e3cc7c9b871da87cb2bc5f0c7536
--- a/corpus/119dcc5e7cb353d3b20188115acf72e610881619
+++ b/corpus/119dcc5e7cb353d3b20188115acf72e610881619
--- a/corpus/11e67d93090d14425c52bd59a1a6f4a4dc2c2b15
+++ b/corpus/11e67d93090d14425c52bd59a1a6f4a4dc2c2b15
--- a/corpus/12418737a3c077261124be3d4d149e8abc449a7b
+++ b/corpus/12418737a3c077261124be3d4d149e8abc449a7b
--- a/corpus/132a23d5ad87a296c08078f70a5edd1fe0819dda
+++ b/corpus/132a23d5ad87a296c08078f70a5edd1fe0819dda
--- a/corpus/14ed92a7eea945226543c95b13016405eef06fc0
+++ b/corpus/14ed92a7eea945226543c95b13016405eef06fc0
--- a/corpus/15222e0e88968c939d69c7da3583c2e6ba32352f
+++ b/corpus/15222e0e88968c939d69c7da3583c2e6ba32352f
--- a/corpus/15b21ef9006755ff0043896531775ca9bd05fd5a
+++ b/corpus/15b21ef9006755ff0043896531775ca9bd05fd5a
--- a/corpus/1615f888023fd34f9e884e059b26179fab1c4684
+++ b/corpus/1615f888023fd34f9e884e059b26179fab1c4684
--- a/corpus/1672711337a826874263f7dbfd0d16f189a4054e
+++ b/corpus/1672711337a826874263f7dbfd0d16f189a4054e
--- a/corpus/16d677df8e346142ed38b4900986a9723bb90909
+++ b/corpus/16d677df8e346142ed38b4900986a9723bb90909
--- a/corpus/1832e08d84d9a9e75fe1c557e55b682841448ba1
+++ b/corpus/1832e08d84d9a9e75fe1c557e55b682841448ba1
--- a/corpus/18f118ba4d786014161eff6e57aa7257043a3666
+++ b/corpus/18f118ba4d786014161eff6e57aa7257043a3666
--- a/corpus/1a04074cb334c538901d8056befb14fcc675a1f0
+++ b/corpus/1a04074cb334c538901d8056befb14fcc675a1f0
--- a/corpus/1ac1add7f8f8dc38463c8627cec751c8758f22fd
+++ b/corpus/1ac1add7f8f8dc38463c8627cec751c8758f22fd
--- a/corpus/1b22daf95e17fb1c1a794feaf10e9bd1e3632769
+++ b/corpus/1b22daf95e17fb1c1a794feaf10e9bd1e3632769
--- a/corpus/1c6d9b965658b1085d43c0d5c9e6c0627ae75112
+++ b/corpus/1c6d9b965658b1085d43c0d5c9e6c0627ae75112
--- a/corpus/1cad877d415524520522b7cedaf82d0a8d7b45d5
+++ b/corpus/1cad877d415524520522b7cedaf82d0a8d7b45d5
--- a/corpus/1d75fd1fee5406ed7fc9257b8ab8068267868427
+++ b/corpus/1d75fd1fee5406ed7fc9257b8ab8068267868427
--- a/corpus/1ef832f08b223dc5f86d50307409eb72d3bc5b32
+++ b/corpus/1ef832f08b223dc5f86d50307409eb72d3bc5b32
--- a/corpus/1f3152c15df02ea98de32881a8fe28cac961c158
+++ b/corpus/1f3152c15df02ea98de32881a8fe28cac961c158
--- a/corpus/20226f47865ff788a18947bdd7bab98899ce80da
+++ b/corpus/20226f47865ff788a18947bdd7bab98899ce80da
--- a/corpus/20b30e63acabd6a526b7c3a4b96883d34e34453a
+++ b/corpus/20b30e63acabd6a526b7c3a4b96883d34e34453a
--- a/corpus/211f91177dd6762a8de1ead9be01537295e022ca
+++ b/corpus/211f91177dd6762a8de1ead9be01537295e022ca
--- a/corpus/223c426b35c100697658690cf2eef74722145012
+++ b/corpus/223c426b35c100697658690cf2eef74722145012
--- a/corpus/224b4efd83ae5351e9a2aa5d748f8929abc09f82
+++ b/corpus/224b4efd83ae5351e9a2aa5d748f8929abc09f82
--- a/corpus/230f387a0b88481b237ad7bf5945864d72cc2399
+++ b/corpus/230f387a0b88481b237ad7bf5945864d72cc2399
--- a/corpus/23a88d2b84594baf5a2fd8db34711addc13a49f2
+++ b/corpus/23a88d2b84594baf5a2fd8db34711addc13a49f2
--- a/corpus/249790c8176e95238e5ce69cf7e41e7841bb1a3c
+++ b/corpus/249790c8176e95238e5ce69cf7e41e7841bb1a3c
--- a/corpus/27b6ccf57cd17a6ad75a401715471c5bfcddcd1d
+++ b/corpus/27b6ccf57cd17a6ad75a401715471c5bfcddcd1d
--- a/corpus/27c6063488dc338a34a05bba014da79d654bc1d8
+++ b/corpus/27c6063488dc338a34a05bba014da79d654bc1d8
--- a/corpus/27cd70f72a2b289f2c485c6e38c7a9c8a448c351
+++ b/corpus/27cd70f72a2b289f2c485c6e38c7a9c8a448c351
--- a/corpus/288c2e46091f0d292a66eefe3f93d9de7c70593d
+++ b/corpus/288c2e46091f0d292a66eefe3f93d9de7c70593d
--- a/corpus/2965f6858369f06e63285fd38f9c9998a0f5e2b2
+++ b/corpus/2965f6858369f06e63285fd38f9c9998a0f5e2b2
--- a/corpus/299a48d8d702310a5acef425de960ee32a9e88ba
+++ b/corpus/299a48d8d702310a5acef425de960ee32a9e88ba
--- a/corpus/2a813f08d9beb09b1ce6e04d58573ebf474dc36a
+++ b/corpus/2a813f08d9beb09b1ce6e04d58573ebf474dc36a
--- a/corpus/2bd117269ad41f25f40bbe0b42480e68ecc9dda4
+++ b/corpus/2bd117269ad41f25f40bbe0b42480e68ecc9dda4
--- a/corpus/2e6d535e7ab230eb82791fbf199ee394366a3ade
+++ b/corpus/2e6d535e7ab230eb82791fbf199ee394366a3ade
--- a/corpus/2ee0f9b271fecb6d7c8257a401cd432b6dbf78cf
+++ b/corpus/2ee0f9b271fecb6d7c8257a401cd432b6dbf78cf
--- a/corpus/2f45721048bb278f69bce4b9831413798b014b17
+++ b/corpus/2f45721048bb278f69bce4b9831413798b014b17
--- a/corpus/2fefc6ae843cadc07d3bf9ba5978995272247f90
+++ b/corpus/2fefc6ae843cadc07d3bf9ba5978995272247f90
--- a/corpus/3064db9e36e4abe4ab05bf55cdcdb7fc5d7da255
+++ b/corpus/3064db9e36e4abe4ab05bf55cdcdb7fc5d7da255
--- a/corpus/306f38a9bc8a1673eaae58671deb62755b705af9
+++ b/corpus/306f38a9bc8a1673eaae58671deb62755b705af9
--- a/corpus/3154796d950c2e1d32ec49052187baf7e755fcc2
+++ b/corpus/3154796d950c2e1d32ec49052187baf7e755fcc2
--- a/corpus/325b4469adfc154af658ac394e35eb97af46fabc
+++ b/corpus/325b4469adfc154af658ac394e35eb97af46fabc
--- a/corpus/32b3eae85b9c94548ee37750be4e01b15ac405e3
+++ b/corpus/32b3eae85b9c94548ee37750be4e01b15ac405e3
--- a/corpus/343146bbddf2f812df1e042c4c729d40156837aa
+++ b/corpus/343146bbddf2f812df1e042c4c729d40156837aa
--- a/corpus/34650710b4047d4107f72042be3ed52fc7cf1333
+++ b/corpus/34650710b4047d4107f72042be3ed52fc7cf1333
--- a/corpus/34f5e9540c607e781593cc07f9fe3d8b8f6ead39
+++ b/corpus/34f5e9540c607e781593cc07f9fe3d8b8f6ead39
--- a/corpus/35a1463f8746cb9ef08f45e73ca2a72d68164804
+++ b/corpus/35a1463f8746cb9ef08f45e73ca2a72d68164804
--- a/corpus/3633e624396c39428f608fcfb190f4f1bd8d3d5e
+++ b/corpus/3633e624396c39428f608fcfb190f4f1bd8d3d5e
--- a/corpus/37205515484e3eba5303e1097a3bc1d1d86f954d
+++ b/corpus/37205515484e3eba5303e1097a3bc1d1d86f954d
--- a/corpus/3720b555ba9d0f091b81bc952af1a7d71acd3ea4
+++ b/corpus/3720b555ba9d0f091b81bc952af1a7d71acd3ea4
--- a/corpus/37702a26c37945c52a58e679912151782a57a569
+++ b/corpus/37702a26c37945c52a58e679912151782a57a569
--- a/corpus/381679c00f5e817425df952af35e172d99526a6f
+++ b/corpus/381679c00f5e817425df952af35e172d99526a6f
--- a/corpus/39369c6be81e166193980de40500eb3e5eb34af9
+++ b/corpus/39369c6be81e166193980de40500eb3e5eb34af9
--- a/corpus/3971e5383161f47d4c635e20f57fb47d374fcfca
+++ b/corpus/3971e5383161f47d4c635e20f57fb47d374fcfca
--- a/corpus/3a08b86b53d3da21cff138df9454d64e388cbec2
+++ b/corpus/3a08b86b53d3da21cff138df9454d64e388cbec2
--- a/corpus/3a2ae4a6535ae732f9a56be729d55de566ab2aa7
+++ b/corpus/3a2ae4a6535ae732f9a56be729d55de566ab2aa7
--- a/corpus/3a3dc3c1d9b9d63440a3e46ebf275c533cc97ef2
+++ b/corpus/3a3dc3c1d9b9d63440a3e46ebf275c533cc97ef2
--- a/corpus/3a6987928266d806c52d06a670d565a2927f9265
+++ b/corpus/3a6987928266d806c52d06a670d565a2927f9265
--- a/corpus/3b9f24e10fcb954b0c98f1539c3d882f2c8f0a87
+++ b/corpus/3b9f24e10fcb954b0c98f1539c3d882f2c8f0a87
--- a/corpus/3ca9bb24d3b558df99a79153144af15ac83d85bd
+++ b/corpus/3ca9bb24d3b558df99a79153144af15ac83d85bd
--- a/corpus/3d0c0c2999f90ce33f776cbdb8101abd63575622
+++ b/corpus/3d0c0c2999f90ce33f776cbdb8101abd63575622
--- a/corpus/3e8df96b8b94436d52c101dd46cc5fab251b3e30
+++ b/corpus/3e8df96b8b94436d52c101dd46cc5fab251b3e30
--- a/Show More
+++ b/Show More
Author	SHA1	Message	Date
Andrew Noyes	40dca168ba	Add precondition to longestCommonPrefixPartialKey All checks were successful Tests / Release [gcc] total: 471, passed: 471 Details GNU C Compiler (gcc) \|Total\|New\|Outstanding\|Fixed\|Trend \|:-:\|:-:\|:-:\|:-:\|:-: \|0\|0\|0\|0\|:clap: Reference build: <a href="https://jenkins.weaselab.dev/job/weaselab/job/conflict-set/job/main/33//gcc">weaselab » conflict-set » main #33</a> Details Tests / Coverage total: 469, passed: 469 Details weaselab/conflict-set/pipeline/head This commit looks good Details	2024-02-22 16:07:20 -08:00
Andrew Noyes	7a8233ac61	More unnesting	2024-02-22 15:50:54 -08:00
Andrew Noyes	3c93b9a3ce	Unnest some in checkPointRead	2024-02-22 15:43:13 -08:00
Andrew Noyes	c16feda9f8	Use longestCommonPrefixPartialKey in SearchStepWise	2024-02-22 15:41:39 -08:00
Andrew Noyes	4c3e7aef30	Save a few instructions in SearchStepWise	2024-02-22 15:30:24 -08:00
Andrew Noyes	7f5598af2b	Save a few instructions in addWriteRange	2024-02-22 15:25:50 -08:00
Andrew Noyes	8016d44c04	Use simple loop for longestCommonPrefixPartialKey The benchmark has this as faster	2024-02-22 14:49:04 -08:00
Andrew Noyes	505c060a28	Use longestCommonPrefixPartialKey in insert	2024-02-22 14:46:52 -08:00
Andrew Noyes	608b4fb6c7	Remove some branches	2024-02-22 14:29:24 -08:00
Andrew Noyes	0fbc8b0190	Use longestCommonPrefix on partial keys	2024-02-22 13:57:00 -08:00
Andrew Noyes	125ce88268	Suppress gcc warning Accept that our usage is non-portable: https://stackoverflow.com/questions/3129916/what-is-wrong-with-this-use-of-offsetof	2024-02-22 12:37:14 -08:00
Andrew Noyes	3a5db2d2ac	Share some Node4/16 and Node48/256 implementations This cuts down on the number of instructions (confirmed with cachegrind). Also avoid initializing some memory unnecessarily.	2024-02-22 12:31:10 -08:00
Andrew Noyes	bd5d0259d9	Update corpus	2024-02-21 22:13:57 -08:00