• Joined on 2023-03-22
andrew pushed to main at weaselab/conflict-set 2024-10-16 23:39:21 +00:00
fd39065498 Add to corpus
b963d481c9 Improve codegen for nextLogical
Compare 2 commits »
andrew closed issue weaselab/conflict-set#35 2024-10-16 17:19:08 +00:00
Use clang for release builds
andrew pushed to main at weaselab/conflict-set 2024-10-16 05:59:15 +00:00
e7ed47e288 Assert that interleaved and sequential report same metrics
04f138109b Rename variables from tls
a0d07dd40c Remove no-longer-necessary GCOVR_EXCL_LINE
Compare 3 commits »
andrew pushed to main at weaselab/conflict-set 2024-10-16 00:48:05 +00:00
7fb408b466 Remove tailcall test
6d265acfc7 Install llvm-cov
Compare 2 commits »
andrew pushed to main at weaselab/conflict-set 2024-10-16 00:34:50 +00:00
67a61513b8 Use clang for coverage build
583f2e7612 Check interleaved and sequential in debug mode
66e5b033c0 Fix control flow reaches end of non-void function warning
1d705cd4b7 Add to corpus
769cf8de9a Bring back sequential read implementation
Compare 5 commits »
andrew pushed to main at weaselab/conflict-set 2024-10-15 23:00:12 +00:00
84942a5bf8 Try clang 20
andrew pushed to main at weaselab/conflict-set 2024-10-15 22:55:45 +00:00
7ad6872ee8 Use clang-19 in jenkins
9db5eb960d Suppress some unhelpful warnings
5df25a138a Don't initialize max version if child doesn't exist
Compare 3 commits »
andrew pushed to main at weaselab/conflict-set 2024-10-15 05:32:16 +00:00
381fbce0c0 Remove duplicate clang build
andrew pushed to main at weaselab/conflict-set 2024-10-15 05:24:18 +00:00
87aeb349a3 Use clang for building packages
28fb0d7faa Cross-compile to aarch64 with clang
Compare 2 commits »
andrew pushed to main at weaselab/conflict-set 2024-10-15 05:07:01 +00:00
5013c689a0 Remove dead code
andrew pushed to main at weaselab/conflict-set 2024-10-15 04:15:56 +00:00
316bbf679f Add to corpus
58aabe83f5 Improve codegen for tracking check metrics
0c8a051913 Avoid more branches on type
11e8717da8 Specific node overloads for checkMaxBetweenExclusive
Compare 4 commits »
andrew pushed to main at weaselab/conflict-set 2024-10-14 04:37:49 +00:00
824037bf32 Remove dead code
andrew closed issue weaselab/conflict-set#5 2024-10-14 03:45:40 +00:00
Try interleaving queries to improve ILP
andrew commented on issue weaselab/conflict-set#5 2024-10-14 03:45:36 +00:00
Try interleaving queries to improve ILP

Implemented an interleaved control flow scheme based on tail calls. It's the closest I've come to matching the sequential performance (in terms of instruction count)

andrew pushed to main at weaselab/conflict-set 2024-10-14 03:44:35 +00:00
bbe964110e Disable skip list tests by default
100449c76c Add to corpus
51b5f638a4 Combine terminal down_left_spine paths
767dacc742 Fully interleaved range read
978a7585b6 Remove backtrack label from checkRangeRightSide
Compare 8 commits »
andrew pushed to main at weaselab/conflict-set 2024-10-13 01:00:34 +00:00
8a4032e850 Remove dead code
andrew closed issue weaselab/conflict-set#36 2024-10-13 00:40:14 +00:00
Add short-circuiting back into interleaved implementations
andrew pushed to main at weaselab/conflict-set 2024-10-13 00:39:53 +00:00
9c365435ea Add to corpus
8eb5e76336 Add short-circuiting back to range checks
e8982074f2 Add short-circuiting back for range common prefix search
f60833a57f Add short-circuiting back in for point and prefix checks
47fd811efc Fix new clang warning
Compare 5 commits »
andrew pushed to main at weaselab/conflict-set 2024-10-12 19:58:56 +00:00
73f93edf49 Remove dead code
8bac1f66fc Remove searchPathLen
352c07cbc9 Use CheckJob::setResult
2e7e357355 Remove dead code
Compare 4 commits »
andrew pushed to main at weaselab/conflict-set 2024-10-12 06:36:01 +00:00
147f5af16b Add to corpus