f1292efe41
Add getChildUpdatingMaxVersion
2024-10-28 15:31:00 -07:00
a2d3d269ec
Add check namespace
...
Prepare to add write namespace
2024-10-28 13:57:56 -07:00
8ff7a112b7
Add forwarding pointers + deferred release
2024-10-28 12:34:20 -07:00
e025f934d8
Fix gc-too-slow issue
...
Previously, with a finite set of keys, latest_extant_version could fall all the way behind so that a call to addWrites would have to do O(n) work eventually.
2024-10-27 21:13:27 -07:00
e5452c0f7d
Only check against sequential if we interleaved
Tests / 64 bit versions total: 5794, passed: 5794
Tests / Debug total: 5792, passed: 5792
Tests / SIMD fallback total: 5794, passed: 5794
Tests / Release [clang] total: 5794, passed: 5794
Clang |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Tests / Release [gcc] total: 5794, passed: 5794
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Tests / Release [clang,aarch64] total: 3836, passed: 3836
Tests / Coverage total: 3876, passed: 3876
Code Coverage #### Project Overview
No changes detected, that affect the code coverage.
* Line Coverage: 97.23% (2666/2742)
* Branch Coverage: 48.95% (9912/20251)
* Complexity Density: 0.00
* Lines of Code: 2742
#### Quality Gates Summary
Output truncated.
weaselab/conflict-set/pipeline/head This commit looks good
2024-10-17 16:17:21 -07:00
21f08b9f88
Avoid assigning to continuation where unnecessary
2024-10-17 13:16:29 -07:00
10c2f06199
Mix type dispatch and interleaving for down left spine
2024-10-17 13:13:16 -07:00
707b220fbc
Improve next{Physical,Logical} codegen more
2024-10-17 09:52:03 -07:00
b963d481c9
Improve codegen for nextLogical
2024-10-16 15:54:05 -07:00
e7ed47e288
Assert that interleaved and sequential report same metrics
Tests / 64 bit versions total: 5514, passed: 5514
Tests / Debug total: 5512, passed: 5512
Tests / SIMD fallback total: 5514, passed: 5514
Tests / Release [clang] total: 5514, passed: 5514
Clang |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Tests / Release [gcc] total: 5514, passed: 5514
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Tests / Release [clang,aarch64] total: 3650, passed: 3650
Tests / Coverage total: 3689, passed: 3689
Code Coverage #### Project Overview
No changes detected, that affect the code coverage.
* Line Coverage: 97.31% (2637/2710)
* Branch Coverage: 48.98% (9933/20279)
* Complexity Density: 0.00
* Lines of Code: 2710
#### Quality Gates Summary
Output truncated.
weaselab/conflict-set/pipeline/head This commit looks good
2024-10-15 20:58:13 -07:00
04f138109b
Rename variables from tls
2024-10-15 20:45:11 -07:00
a0d07dd40c
Remove no-longer-necessary GCOVR_EXCL_LINE
...
Now that we exclude noncode lines (why isn't that the default?)
2024-10-15 18:33:40 -07:00
583f2e7612
Check interleaved and sequential in debug mode
2024-10-15 17:31:06 -07:00
66e5b033c0
Fix control flow reaches end of non-void function warning
2024-10-15 17:27:36 -07:00
769cf8de9a
Bring back sequential read implementation
...
This will be used if there's only one check to perform or if the
compiler does not support musttail and preserve_none
2024-10-15 17:12:11 -07:00
5df25a138a
Don't initialize max version if child doesn't exist
2024-10-15 12:55:28 -07:00
5013c689a0
Remove dead code
Tests / Clang total: 5052, passed: 5052
Clang |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Tests / 64 bit versions total: 5052, passed: 5052
Tests / Debug total: 5050, passed: 5050
Tests / SIMD fallback total: 5052, passed: 5052
Tests / Release [gcc] total: 5052, passed: 5052
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Tests / Release [gcc,aarch64] total: 3342, passed: 3342
Tests / Coverage total: 3381, passed: 3381
Code Coverage #### Project Overview
No changes detected, that affect the code coverage.
* Line Coverage: 94.30% (2053/2177)
* Branch Coverage: 59.94% (1695/2828)
* Complexity Density: 0.00
* Lines of Code: 2177
#### Quality Gates Summary
Output truncated.
weaselab/conflict-set/pipeline/head This commit looks good
2024-10-14 22:06:48 -07:00
58aabe83f5
Improve codegen for tracking check metrics
2024-10-14 17:50:38 -07:00
0c8a051913
Avoid more branches on type
2024-10-14 17:16:56 -07:00
11e8717da8
Specific node overloads for checkMaxBetweenExclusive
2024-10-14 16:54:44 -07:00
824037bf32
Remove dead code
Tests / Clang total: 4601, passed: 4601
Clang |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Tests / 64 bit versions total: 4601, passed: 4601
Tests / Debug total: 4599, passed: 4599
Tests / SIMD fallback total: 4601, passed: 4601
Tests / Release [gcc] total: 4601, passed: 4601
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Tests / Release [gcc,aarch64] total: 3042, passed: 3042
Tests / Coverage total: 3080, passed: 3080
Code Coverage #### Project Overview
No changes detected, that affect the code coverage.
* Line Coverage: 94.22% (2020/2144)
* Branch Coverage: 60.03% (1673/2787)
* Complexity Density: 0.00
* Lines of Code: 2144
#### Quality Gates Summary
Output truncated.
weaselab/conflict-set/pipeline/head This commit looks good
2024-10-13 21:28:27 -07:00
51b5f638a4
Combine terminal down_left_spine paths
2024-10-13 20:39:07 -07:00
767dacc742
Fully interleaved range read
...
Would be great to find a way to make this all more readable
2024-10-13 20:05:06 -07:00
978a7585b6
Remove backtrack label from checkRangeRightSide
2024-10-13 11:27:36 -07:00
71b3c7fb7f
Stop tracking first iteration
...
We can tell with other means
2024-10-12 23:56:01 -07:00
420f50c40f
Stop tracking searchPathLen
2024-10-12 23:34:46 -07:00
69a131df38
Prepare for interleaving checkRangeRightSide
2024-10-12 23:01:47 -07:00
8a4032e850
Remove dead code
Tests / Clang total: 5707, passed: 5707
Clang |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Tests / 64 bit versions total: 5707, passed: 5707
Tests / Debug total: 5705, passed: 5705
Tests / SIMD fallback total: 5707, passed: 5707
Tests / Release [gcc] total: 5707, passed: 5707
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Tests / Release [gcc,aarch64] total: 4252, passed: 4252
Tests / Coverage total: 4289, passed: 4289
Code Coverage #### Project Overview
No changes detected, that affect the code coverage.
* Line Coverage: 94.02% (1980/2106)
* Branch Coverage: 60.55% (1604/2649)
* Complexity Density: 0.00
* Lines of Code: 2106
#### Quality Gates Summary
Output truncated.
weaselab/conflict-set/pipeline/head This commit looks good
2024-10-12 18:00:19 -07:00
8eb5e76336
Add short-circuiting back to range checks
2024-10-12 17:20:22 -07:00
e8982074f2
Add short-circuiting back for range common prefix search
2024-10-12 17:10:19 -07:00
f60833a57f
Add short-circuiting back in for point and prefix checks
2024-10-12 17:05:47 -07:00
73f93edf49
Remove dead code
Tests / Clang total: 5241, passed: 5241
Clang |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Tests / 64 bit versions total: 5241, passed: 5241
Tests / Debug total: 5239, passed: 5239
Tests / SIMD fallback total: 5241, passed: 5241
Tests / Release [gcc] total: 5241, passed: 5241
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Tests / Release [gcc,aarch64] total: 3904, passed: 3904
Tests / Coverage total: 3939, passed: 3939
Code Coverage #### Project Overview
No changes detected, that affect the code coverage.
* Line Coverage: 97.65% (2036/2085)
* Branch Coverage: 62.03% (1689/2723)
* Complexity Density: 0.00
* Lines of Code: 2085
#### Quality Gates Summary
Output truncated.
weaselab/conflict-set/pipeline/head There was a failure building this commit
2024-10-12 12:56:13 -07:00
8bac1f66fc
Remove searchPathLen
2024-10-12 11:12:12 -07:00
352c07cbc9
Use CheckJob::setResult
2024-10-12 00:01:35 -07:00
2e7e357355
Remove dead code
2024-10-11 23:47:32 -07:00
323b239411
Stop applying flatten attribute
...
Tests / Clang total: 4588, passed: 4588
Clang |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Tests / 64 bit versions total: 4588, passed: 4588
Tests / Debug total: 4586, passed: 4586
Tests / SIMD fallback total: 4588, passed: 4588
Tests / Release [gcc] total: 4588, passed: 4588
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Tests / Release [gcc,aarch64] total: 3415, passed: 3415
Tests / Coverage total: 3449, passed: 3449
Code Coverage #### Project Overview
No changes detected, that affect the code coverage.
* Line Coverage: 96.70% (2049/2119)
* Branch Coverage: 60.78% (1711/2815)
* Complexity Density: 0.00
* Lines of Code: 2119
#### Quality Gates Summary
Output truncated.
weaselab/conflict-set/pipeline/head There was a failure building this commit
This blows up the code size too much. I wonder if having all those
distinct possible program counters helps libfuzzer /shrug
2024-10-11 21:31:18 -07:00
6a12210866
Make better use of static node type info for check left side
2024-10-11 21:06:57 -07:00
416504158e
Interleave checkRangeLeftSide
2024-10-11 20:56:40 -07:00
b0bc68a14e
Move checkRangeStartsWith out of finishCheckRangeRead
...
This is incrementally closer to where we want to be I think
2024-10-11 17:52:04 -07:00
0de85ecda0
Add done_common_prefix_iter
2024-10-11 17:33:31 -07:00
44afb8be00
Interleave the common prefix search in range check
2024-10-11 17:26:34 -07:00
ecdbaaf2c1
Add missing MUSTTAIL
2024-10-11 16:51:00 -07:00
fe9678787d
Only require coverage of node-specific overloads of getFirstChildExists
2024-10-11 16:47:19 -07:00
0ac259c782
Interleaved implementation for checking prefix reads
Tests / Clang total: 4452, passed: 4452
Clang |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Tests / 64 bit versions total: 4452, passed: 4452
Tests / Debug total: 4450, passed: 4450
Tests / SIMD fallback total: 4452, passed: 4452
Tests / Release [gcc] total: 4452, passed: 4452
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Tests / Release [gcc,aarch64] total: 3313, passed: 3313
Tests / Coverage total: 3347, passed: 3347
Code Coverage #### Project Overview
No changes detected, that affect the code coverage.
* Line Coverage: 98.97% (2017/2038)
* Branch Coverage: 63.58% (1639/2578)
* Complexity Density: 0.00
* Lines of Code: 2038
#### Quality Gates Summary
Output truncated.
weaselab/conflict-set/pipeline/head There was a failure building this commit
2024-10-11 16:04:55 -07:00
8b1a0afc58
First continuation for interleaved check range read
2024-10-11 15:45:25 -07:00
2018fa277c
Use a trampoline if musttail not available
...
Tests / Clang total: 4452, passed: 4452
Clang |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Tests / 64 bit versions total: 4452, passed: 4452
Tests / Debug total: 4450, passed: 4450
Tests / SIMD fallback total: 4452, passed: 4452
Tests / Release [gcc] total: 4452, passed: 4452
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Tests / Release [gcc,aarch64] total: 3313, passed: 3313
Tests / Coverage total: 3347, passed: 3347
Code Coverage #### Project Overview
No changes detected, that affect the code coverage.
* Line Coverage: 99.07% (2021/2040)
* Branch Coverage: 64.20% (1655/2578)
* Complexity Density: 0.00
* Lines of Code: 2040
#### Quality Gates Summary
Output truncated.
weaselab/conflict-set/pipeline/head This commit looks good
For the previous approach to work, we would have had to lock in the
generated code for every function that needs to make tail calls in
assembly.
2024-10-10 17:30:16 -07:00
1faeb220d5
Implement keepGoing in asm if musttail is not available
Tests / Clang total: 4452, passed: 4452
Clang |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Tests / 64 bit versions total: 4452, passed: 4452
Tests / Debug total: 4450, passed: 4450
Tests / SIMD fallback total: 4452, passed: 4452
Tests / Release [gcc] total: 4452, passed: 4452
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Tests / Release [gcc,aarch64] total: 3313, passed: 3313
Tests / Coverage total: 3347, failed: 2, passed: 3345
weaselab/conflict-set/pipeline/head There was a failure building this commit
2024-10-10 16:52:27 -07:00
0dc657bfeb
Fix arm build
Tests / Clang total: 4452, passed: 4452
Clang |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Tests / 64 bit versions total: 4452, passed: 4452
Tests / Debug total: 4450, passed: 4450
Tests / SIMD fallback total: 4452, passed: 4452
Tests / Release [gcc] total: 4452, passed: 4452
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Tests / Release [gcc,aarch64] total: 3313, passed: 3313
Tests / Coverage total: 3347, failed: 2, passed: 3345
weaselab/conflict-set/pipeline/head There was a failure building this commit
2024-10-10 16:07:28 -07:00
b51ef97c71
Fix USE_SIMD_FALLBACK build
Tests / Clang total: 4452, passed: 4452
Clang |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
Tests / 64 bit versions total: 4452, passed: 4452
Tests / Debug total: 4450, passed: 4450
Tests / SIMD fallback total: 4452, passed: 4452
Tests / Release [gcc] total: 4452, passed: 4452
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend
|:-:|:-:|:-:|:-:|:-:
|0|0|0|0|:clap:
weaselab/conflict-set/pipeline/head There was a failure building this commit
2024-10-10 15:56:16 -07:00
e213237698
Remove some dead code
2024-10-10 13:21:13 -07:00
