perf(codegen): representation-selection Phase 3b — shape-proven object locals (Ptr<Shape>, delete the guard diamond) - #6911

Merged

proggeramlug merged 14 commits into

mainfrom

perf/repsel-p3b-shape-proven-objects

Jul 28, 2026

Commits on Jul 28, 2026

test(gap): Phase 3b shape-proven object locals — eligible shapes + §5.2 barrier disqualifications
Ralph Küpper
committed
84d2281
perf(codegen): Phase 3b collector — shape-proven Ptr<Shape> locals fact (provenance + containment + this-flow + numeric-field proof; module-wide §5.2 barrier kill)
Ralph Küpper
committed
16168c4
perf(codegen): Phase 3b consumers — bare fixed-offset access + unguarded direct calls on shape-proven locals
Ralph Küpper
committed
f9beea1
test(gap): Phase 3b barriers test — constructs limited to shipped-exact dynamic-shape behaviors
Ralph Küpper
committed
817d136
style: cargo fmt
Ralph Küpper
committed
5c13994
perf(codegen): Phase 3b target 1 — typed-receiver clone widened to extends chains; proven-receiver call sites take the clone guard-free
Ralph Küpper
committed
3dd52f4
docs(codegen): correct the class-field inline-guard LICM claim (verified: volatile gate never hoists; fallback-arm calls block LICM regardless of load semantics)
Ralph Küpper
committed
d58ea31
test(gap): Phase 3b — extends-chain typed-receiver section
Ralph Küpper
committed
b091b8b
test: shape_barrier_sites in stable_facts test helper
Ralph Küpper
committed
dee0acd
perf(codegen): numeric-field proof — either-side non-BigInt rule for - * / % and BigInt-capable bitwise (mixed BigInt ops throw; they never complete as BigInt)
Ralph Küpper
committed
e6acf14
cleanup: drop unreachable Return(None) arms + dead helper in ptr_shape.rs
Ralph Küpper
committed
471e29b
changelog: Phase 3b shape-proven object locals (#6911)
Ralph Küpper
committed
f3f75f5
fix(review): CodeRabbit round 1 — internal this.m() param soundness, unified receiver class table, raw-f64 store facts, ReceiverFieldShadowed
Ralph Küpper
committed
14442c9
test: accept Phase 3b direct dispatch in scalar-summary negative fixtures (post-3a-rebase); the summaries' no-inline assertions are unchanged
Ralph Küpper
committed
02c65b5

Navigation Menu

Uh oh!

perf(codegen): representation-selection Phase 3b — shape-proven object locals (Ptr<Shape>, delete the guard diamond) - #6911

perf(codegen): representation-selection Phase 3b — shape-proven object locals (Ptr<Shape>, delete the guard diamond)#6911
proggeramlug merged 14 commits into
mainfrom
perf/repsel-p3b-shape-proven-objects

Commits on Jul 28, 2026

test(gap): Phase 3b shape-proven object locals — eligible shapes + §5.2 barrier disqualifications

perf(codegen): Phase 3b collector — shape-proven Ptr<Shape> locals fact (provenance + containment + this-flow + numeric-field proof; module-wide §5.2 barrier kill)

perf(codegen): Phase 3b consumers — bare fixed-offset access + unguarded direct calls on shape-proven locals

test(gap): Phase 3b barriers test — constructs limited to shipped-exact dynamic-shape behaviors

style: cargo fmt

perf(codegen): Phase 3b target 1 — typed-receiver clone widened to extends chains; proven-receiver call sites take the clone guard-free

docs(codegen): correct the class-field inline-guard LICM claim (verified: volatile gate never hoists; fallback-arm calls block LICM regardless of load semantics)

test(gap): Phase 3b — extends-chain typed-receiver section

test: shape_barrier_sites in stable_facts test helper

perf(codegen): numeric-field proof — either-side non-BigInt rule for - * / % and BigInt-capable bitwise (mixed BigInt ops throw; they never complete as BigInt)

cleanup: drop unreachable Return(None) arms + dead helper in ptr_shape.rs

changelog: Phase 3b shape-proven object locals (#6911)

fix(review): CodeRabbit round 1 — internal this.m() param soundness, unified receiver class table, raw-f64 store facts, ReceiverFieldShadowed

test: accept Phase 3b direct dispatch in scalar-summary negative fixtures (post-3a-rebase); the summaries' no-inline assertions are unchanged