perf(compiler): thread ValueRange through OR/XOR/SHR_U + narrow U64/U128 compare paths#499

Open

abmcar wants to merge 6 commits into

DTVMStack:mainfrom

abmcar:g4-safe-valuerange

Commits on May 15, 2026

perf(compiler): thread ValueRange through OR/XOR/SHR_U and skip OR-fold in U64 compares

abmcar
and
claude
committed
perf(compiler): extend U64 compare narrow path to U128-range operands

abmcar
and
claude
committed
refactor(compiler): tighten G4-safe code (review follow-ups)

abmcar
and
claude
committed
refactor(compiler): tighten G4-safe invariants per Copilot review

abmcar
and
claude
committed
chore(ci): trigger re-run after rapidjson fetch 504

abmcar
and
claude
committed
fix(compiler): drop isLiteralZero assertions broken by cfg-join landing

abmcar
and
claude
committed