andrew
0 Followers · 0 Following
  • Joined on 2023-03-22
Repositories Projects Packages Public Activity Watched Repositories
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
andrew pushed to main at weaselab/conflict-set 2024-10-12 05:40:07 +00:00
323b239411 Stop applying flatten attribute
54c7ccb96b Allow for easily increasing number of range reads
6a12210866 Make better use of static node type info for check left side
416504158e Interleave checkRangeLeftSide
b0bc68a14e Move checkRangeStartsWith out of finishCheckRangeRead
Compare 8 commits »
andrew opened issue weaselab/conflict-set#36 2024-10-12 00:09:47 +00:00
Add short-circuiting back into interleaved implementations
andrew pushed to main at weaselab/conflict-set 2024-10-11 23:48:24 +00:00
2c253c29b5 Add to corpus
fe9678787d Only require coverage of node-specific overloads of getFirstChildExists
Compare 2 commits »
andrew pushed to main at weaselab/conflict-set 2024-10-11 23:06:48 +00:00
0ac259c782 Interleaved implementation for checking prefix reads
8b1a0afc58 First continuation for interleaved check range read
Compare 2 commits »
andrew opened issue weaselab/conflict-set#35 2024-10-11 00:43:51 +00:00
Use clang for release builds
andrew pushed to main at weaselab/conflict-set 2024-10-11 00:31:12 +00:00
2018fa277c Use a trampoline if musttail not available
andrew pushed to main at weaselab/conflict-set 2024-10-10 23:53:24 +00:00
1faeb220d5 Implement keepGoing in asm if musttail is not available
andrew pushed to main at weaselab/conflict-set 2024-10-10 23:07:44 +00:00
0dc657bfeb Fix arm build