Open enums B (with per-enum-case methods) - #652

Open

eliotmoss wants to merge 58 commits into

titzer:masterfrom

eliotmoss:open_enums3b

Commits on Apr 28, 2026

Add open enums and enum methods with tests
eliotmoss
committed
2d0219f
Restructuring to eliminate VstEnum in favor of VstClass and to process variants and enums more similarly
eliotmoss
committed
e89f1b8
Fix -O3 CI failure
eliotmoss
committed
156212f
Fix was not quite right
eliotmoss
committed
6984a02
Need to set facts to suppress null check on enum method calls, to avoid improperly identifying 0 tag with null
eliotmoss
committed
ec83c26
Seems some null checks on enums were still getting through
eliotmoss
committed
33a7f5d
Remove a dead field and code related to it. Add O3 tests to my CI Makefile.
eliotmoss
committed
aecbd77
Strategy A Step 1: Remove per-case enum method overrides

eliotmoss
and
claude
committed
1404c4f
Strategy A Step 2: Enum subtype method virtual dispatch

eliotmoss
and
claude
committed
c17bb9d
Add edge-case tests for _ case + method; fix null mtable crash

eliotmoss
and
claude
committed
46a19f2
Fix multi-method selective override dispatch

eliotmoss
and
claude
committed
1963918
Fix JVM backend for enum virtual dispatch

eliotmoss
and
claude
committed
25dd610
Add enum method closure tests with subtype overrides

eliotmoss
and
claude
committed
3348619
JVM enum closure boxing: box tag to Integer for Oop receiver slot

eliotmoss
and
claude
committed
7ebd2f0
Revert JVM boxing experiments; fix inline closure JVM path

eliotmoss
and
claude
committed
a366267
JVM: always box enum tag for user-defined enum methods

eliotmoss
and
claude
committed
2b13898
Add wasm-gc i31ref ops for future enum closure boxing

eliotmoss
and
claude
committed
23a7a68
Wasm-gc enum closure boxing: box tag to i31ref for Oop receiver slot

eliotmoss
and
claude
committed
4af63c4
Add edge-case enum closure tests; fix constant Oop emission on JVM/wasm-gc

eliotmoss
and
claude
committed
50d3b4c
Fix constant enum Closure values in optimizer and JVM heap emission

eliotmoss
and
claude
committed
5cb1e81
Fix JVM NPE when comparing null function values in enum params

eliotmoss
and
claude
committed
fd0fa58
Fix JVM null function comparison and enum closure constant folding

eliotmoss
and
claude
committed
fd4fbba
Add tests for enum subtype methods with extra fields

eliotmoss
and
claude
committed
c66e112
Fix JVM closure adapter for non-overridden enum methods with call(f)

eliotmoss
and
claude
committed
3ddb2af
Fix constant-folded enum closure tag-0 boxing with OopInt Val wrapper

eliotmoss
and
claude
committed
54ae150
Fix Eval.doOp TypeSubsume for Oop boxing with -wfts flag

eliotmoss
and
claude
committed
dd819c7
Fix -wfts enum closure failures with BoxEnumClosureReceiver config flag

eliotmoss
and
claude
committed
8ebb16d
Add EnumClosureBoxing benchmark for enum closure boxing overhead

eliotmoss
and
claude
committed
5f6e397
Unify enum/variant dispatch in SsaNormalizer

eliotmoss
and
claude
committed
ebb4ff0
Unify enum/variant mtable entry filling in Normalization

eliotmoss
and
claude
committed
d4dca29
Enable IrClass parent inheritance for enum subtypes

eliotmoss
and
claude
committed
a3e1f82
Remove markEnumSubtypeOverrides post-pass

eliotmoss
and
claude
committed
55f81e8
Remove resolveEnumMethodImpl; use shared resolveMethodImpl

eliotmoss
and
claude
committed
fe8e981
Add shared hierarchical-type helpers; reduce EnumType.? usage

eliotmoss
and
claude
committed
45e9b3e
Replace EnumType.? with V3 helpers across IR and optimizer

eliotmoss
and
claude
committed
94a93c1
Replace EnumType.? with V3 helpers across SSA, backends, evaluator

eliotmoss
and
claude
committed
e75935d
Fix RaClass field copy and numberVariant DFS for enum subtypes

eliotmoss
and
claude
committed
8d0613f
Fix EnumType/ClassType match ordering and restore resolveEnumMethodImpl

eliotmoss
and
claude
committed
ef53144
Broaden RefLayout field accessors in Eval.v3 to handle enum types

eliotmoss
and
claude
committed
e010cd7
Merge EnumType into ClassType; eliminate separate enum type class

eliotmoss
and
claude
committed
63f5d12
Use RC_ENUM flag instead of V3.isEnum() in normalization pipeline

eliotmoss
and
claude
committed
f9ea704
Revert RC_ENUM usage where it conflicts with variant-enums

eliotmoss
and
claude
committed
48ac667
Fix enum virtual dispatch fallback when mtable is null

eliotmoss
and
claude
committed
a0fae9d
Give enums VariantNorm; add isFlattened() to decouple from isUnboxed()

eliotmoss
and
claude
committed
0c626a5
Eliminate isFlattened(); unify enum/variant dispatch guards; add 15 tests

eliotmoss
and
claude
committed
eb76ec9
Strategy B: synthetic VstClass/IrClass/RaClass per enum case

eliotmoss
and
claude
committed
da309bc
Fix three enum dispatch bugs; add per-case method execution tests

eliotmoss
and
claude
committed
5b2be12
Skip NullCheck on enum receivers during early inlining

eliotmoss
and
claude
committed
2ff4b13
Remove dead enum mtable code; fix _ case liveness and mtable slots; update docs

eliotmoss
and
claude
committed
4553cb1
Add EnumScalability benchmark for Strategy A vs B comparison

eliotmoss
and
claude
committed
da2bed3
Elide RaClasses for enum cases without per-case overrides

eliotmoss
and
claude
committed
28a0f4b
Queue-based per-case enum liveness analysis

eliotmoss
and
claude
committed
62ecac0
Add EnumLiveness and EnumOverrides benchmarks

eliotmoss
and
claude
committed
1fc2711
Add compact mtable optimization for enum virtual dispatch

eliotmoss
and
claude
committed
8eccaf6
Skip M_ABSTRACT methods in JvmV3EnumGen.buildMethod

eliotmoss
and
claude
committed
57bee32
Wire up EnumOverrides/EnumLiveness benchmarks for wasm and wasm-gc

eliotmoss
and
claude
committed
33bd168
Simplify wasm bench runner: drop fragile Symbol/unreachable catches

eliotmoss
and
claude
committed
a1eb815
Fix lookupEnumExprMember to pass receiver (not expr.expr) for VstField

eliotmoss
and
claude
committed
f9980be