Repository navigation

codegen: an unsigned bound absorbs the element key's sign test (N10) - #14426

Merged

proggeramlug merged 21 commits into

mainfrom

perf/unsigned-bound

Nov 10, 2026

Merged

codegen: an unsigned bound absorbs the element key's sign test (N10)#14426
proggeramlug merged 21 commits into
mainfrom
perf/unsigned-bound

Commits on Nov 10, 2026
- wpfacts: interval rule results are not widened, and a counter write on a leaving path keeps the narrowed reads (R1 range tightening)
  Ralph Küpper
  committed
  5c74e1a
- codegen: a loop that reads a field-held Array on every iteration holds its element base (P4 lever 1, PR-D)
  Ralph Küpper
  committed
  b6a30cb
- wpfacts: R1 test: the labeled control's test implies no clip
  Ralph Küpper
  committed
  1231ef3
- codegen: PR-D admission: an operator over a held read of Number elements is no coercion; the arrbase fixture grows the board by pushes
  Ralph Küpper
  committed
  e4933d8
- codegen: PR-D negative control arrbasepoll (the poll does not re-derive the held base)
  Ralph Küpper
  committed
  503c67c
- Merge remote-tracking branch 'origin/main' into perf/range-sum-and-leaving-writes
  Ralph Küpper
  committed
  631a293
- wpfacts: R1 exactrule sabotage is a deterministic wrong sum (the operands' hull)
  Ralph Küpper
  committed
  93bb48b
- verify_facts_s0: PR-D fixtures keep the board from growing in place, and the admission fixture's loop is not unrolled
  Ralph Küpper
  committed
  13e81b5
- check_file_size: stmt/loops.rs 8320 (PR-D loop hooks)
  Ralph Küpper
  committed
  f0c5f36
- Merge remote-tracking branch 'origin/main' into perf/p4-arr-loop-base
  Ralph Küpper
  committed
  c094781
- codegen: PR-D IR tests bound their loops by literals (an unproven parameter bound is a coercion ender)
  Ralph Küpper
  committed
  d6f51dc
- S0: R1 fixtures read through the b1 call with a local key (a loop-counter key goes to the index method clone)
  Ralph Küpper
  committed
  a0b546e
- Merge remote-tracking branch 'origin/main' into perf/range-sum-and-leaving-writes
  Ralph Küpper
  committed
  5bdd2e4
- codegen: PR-D tests name FactsArrRep's im (merged main)
  Ralph Küpper
  committed
  b5fd2aa
- Merge remote-tracking branch 'origin/main' into perf/p4-arr-loop-base
  Ralph Küpper
  committed
  01df1e5
- Merge remote-tracking branch 'origin/perf/range-sum-and-leaving-writes' into perf/unsigned-bound
  Ralph Küpper
  committed
  2194066
- codegen: an unsigned bound absorbs the element key's sign test (N10)
  Ralph Küpper
  committed
  3fe1ade
- codegen: N10 unit tests assert the exit branch and the runtime arm's mode
  Ralph Küpper
  committed
  74d10c2
- Merge remote-tracking branch 'origin/main' into perf/unsigned-bound
  Ralph Küpper
  committed
  d4ca346
- codegen: the any-key claim test expects N10's miss-arm sign test
  Ralph Küpper
  committed
  4ba7832
- Merge remote-tracking branch 'origin/main' into perf/unsigned-bound
  Ralph Küpper
  committed
  fc5284f

Commits

Commits on Nov 10, 2026