Skip to content

experiment: implement masked br_table dispatch for variant switches (n ≥ 4 arms) #5927

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
ggreif wants to merge 41 commits into
base: master
Choose a base branch
from
Draft

experiment: implement masked br_table dispatch for variant switches (n ≥ 4 arms) #5927

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
41 commits
Select commit Hold shift + click to select a range
726c388
plan: masked br_table dispatch for variant switches
ggreif Mar 21, 2026
94ae70f
plan: add IR-vs-peephole analysis section
ggreif Mar 21, 2026
d0e318d
Implement masked br_table dispatch for variant switches (n ≥ 4 arms)
ggreif Mar 21, 2026
9d7c498
Plan: note that same-body arm merging covers or-patterns
ggreif Mar 21, 2026
75828f5
Plan: mark Step 4 (compile_enhanced.ml / EOP backend) as TODO
ggreif Mar 21, 2026
c1e4d21
Port masked br_table variant dispatch to EOP backend (compile_enhance…
ggreif Mar 21, 2026
67708a4
Fix EOP br_table: wrap i64 tag index to i32 before dispatch
ggreif Mar 21, 2026
91802d6
Plan: add pre-shortening (mod-prime / low-bit rotation) as future opt…
ggreif Mar 21, 2026
6350eff
Add bench/variant-switch.mo: GHC-Core-like 8-arm interpreter
ggreif Mar 21, 2026
6aeed18
Fix EOP variant-switch dispatch: cap mask search to 32-bit + safe ctz
ggreif Mar 21, 2026
ddd4888
bench/variant-switch: grow tree exponentially (fix case 0 and 1 to us…
ggreif Mar 21, 2026
6cfe6d6
Fix variant-switch br_table: Gosper cutoff + distinct-labels guard
ggreif Mar 21, 2026
a2eaaff
Fix variant-switch br_table: guard-based None fallback (correct linea…
ggreif Mar 21, 2026
c1ba299
Updating `test/bench` numbers
github-actions[bot] Mar 21, 2026
f3a369d
Fix variant-switch br_table: raise cutoff to 2^16 + guard against bit…
ggreif Mar 21, 2026
70f7972
Plan: multi-strategy batched search for variant dispatch key
ggreif Mar 21, 2026
7c83640
bench/variant-switch: add #Prim : Char constructor (9-arm switch)
ggreif Mar 23, 2026
ad25e89
bench/variant-switch: add fibCore — naïve fib as a Core Expr value
ggreif Mar 23, 2026
7576619
bench/variant-switch: CSE — Let-bind pred(n) as n1 in fibCore
ggreif Mar 23, 2026
d21aae1
Updating `test/bench` numbers
github-actions[bot] Mar 23, 2026
2b9771b
bench/variant-switch: count fibCore nodes in go()
ggreif Mar 23, 2026
c537de7
bench/variant-switch: add eval + FT interpreter; evalBench comparing …
ggreif Mar 23, 2026
591d24f
bench/variant-switch: add AST→FT transform benchmark in evalBench
ggreif Mar 24, 2026
c6f3a2c
Merge branch 'master' into gabor/variant-switch
ggreif Apr 19, 2026
8df6375
Updating `test/bench` numbers
github-actions[bot] Apr 19, 2026
e1ef4da
Merge branch 'master' into gabor/variant-switch
ggreif Apr 22, 2026
b1d9fd0
test: add or-pattern isWeekend variant for br_table dispatch coverage
ggreif Apr 19, 2026
2ac922a
Updating `test/bench` numbers
github-actions[bot] Apr 22, 2026
15d145e
plan: reframe dispatch optimisation around pattern-code effects (V2)
ggreif Apr 22, 2026
ccc9102
plan: refine V2 dispatch as generic Handler/Recognizer split
ggreif Apr 22, 2026
cb64db2
plan: pin V2 recognizer to emitting combinators (observe-during-lower…
ggreif Apr 22, 2026
1714756
variant-switch: flatten AltP tag leaves toward br_table dispatch
ggreif Apr 22, 2026
451758f
Updating `test/bench` numbers
github-actions[bot] Apr 22, 2026
9e4a07a
variant-switch: route SwitchE br_table plan through a Dispatch effect…
ggreif Apr 22, 2026
cbbe4e9
variant-switch: thread a single Dispatch plan through guard→body (enh…
ggreif Apr 22, 2026
1c0e6a4
plan: same-body merging — user-level or-patterns now, Wasm-bytes equi…
ggreif Apr 22, 2026
947c12c
bench: add startLetter and startLetterOr to weekdayBench
ggreif Apr 22, 2026
5a36fe7
Updating `test/bench` numbers
github-actions[bot] Apr 22, 2026
7dbdf77
variant-switch: switch Dispatch protocol to streaming (Match_arm + Ma…
ggreif Apr 22, 2026
58a9e4b
variant-switch: add ModPrime strategy and ad-hoc c<n policy for demon…
ggreif Apr 23, 2026
704169d
Updating `test/bench` numbers
github-actions[bot] Apr 23, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading