youknowone · youknowone · Aug 6, 2026 · Aug 5, 2026 · Aug 5, 2026 · Aug 5, 2026
diff --git a/pyre/bench/synth/foriter_inplace_immutable.cranelift.jitstats b/pyre/bench/synth/foriter_inplace_immutable.cranelift.jitstats
@@ -1,9 +1,11 @@
-bridges_compiled=1
+bridges_compiled=0
 descr_set_absent=0
 descr_set_ambiguous=0
 descr_set_stale_absent=0
 fbw_rolled_back_with_effects=0
-guard_failures=202
+field_pos_attached_misplaced=0
+field_pos_spec_misplaced=0
+guard_failures=1
 internal_compile_panics=0
 loops_aborted=0
-loops_compiled=1
+loops_compiled=2
diff --git a/pyre/bench/synth/inline_callee_constructs_object.cranelift.jitstats b/pyre/bench/synth/inline_callee_constructs_object.cranelift.jitstats
@@ -1,9 +1,11 @@
-bridges_compiled=1
+bridges_compiled=0
 descr_set_absent=0
 descr_set_ambiguous=0
 descr_set_stale_absent=0
 fbw_rolled_back_with_effects=0
-guard_failures=201
+field_pos_attached_misplaced=0
+field_pos_spec_misplaced=0
+guard_failures=1
 internal_compile_panics=0
 loops_aborted=0
 loops_compiled=1
diff --git a/pyre/bench/synth/locals_forced_frame.cranelift.jitstats b/pyre/bench/synth/locals_forced_frame.cranelift.jitstats
@@ -0,0 +1,8 @@
+bridges_compiled=0
+descr_set_absent=0
+descr_set_ambiguous=0
+descr_set_stale_absent=0
+guard_failures=3
+internal_compile_panics=0
+loops_aborted=0
+loops_compiled=2
diff --git a/pyre/bench/synth/locals_forced_frame.dynasm.jitstats b/pyre/bench/synth/locals_forced_frame.dynasm.jitstats
@@ -0,0 +1,8 @@
+bridges_compiled=0
+descr_set_absent=0
+descr_set_ambiguous=0
+descr_set_stale_absent=0
+guard_failures=3
+internal_compile_panics=0
+loops_aborted=0
+loops_compiled=2
diff --git a/pyre/bench/synth/locals_forced_frame.py b/pyre/bench/synth/locals_forced_frame.py
@@ -0,0 +1,35 @@
+# `locals()` inside a hot `for` loop must report the frame's live values.
+#
+# `locals()` reaches its frame through `gettopframe_nohidden`, which walks the
+# `f_backref` chain without forcing anything, and `fast2locals` then reads
+# `locals_cells_stack_w` directly. Once the loop compiles, an unforced
+# virtualizable still holds whatever the frame last wrote out, so the mapping
+# comes back with correct KEYS (they come from the code object) and stale
+# VALUES -- a key-only assertion does not see it.
+#
+# The shape matters: only a `FOR_ITER` loop reproduces. The same body written
+# with `while` reports live values whether or not the frame is forced.
+
+
+def probe():
+    seen = []
+    for i in range(200000):
+        a = i * 2
+        b = a + 1
+        if i == 5000 or i == 199999:
+            d = locals()
+            seen.append((d.get("i"), d.get("a"), d.get("b")))
+    return seen
+
+
+def probe_vars():
+    out = None
+    for i in range(200000):
+        a = i * 2
+        if i == 199999:
+            out = vars().get("a")
+    return out
+
+
+print(probe())
+print(probe_vars())
diff --git a/pyre/bench/synth/locals_forced_frame.wasm.jitstats b/pyre/bench/synth/locals_forced_frame.wasm.jitstats
@@ -0,0 +1,8 @@
+bridges_compiled=0
+descr_set_absent=0
+descr_set_ambiguous=0
+descr_set_stale_absent=0
+guard_failures=3
+internal_compile_panics=0
+loops_aborted=0
+loops_compiled=2
diff --git a/pyre/bench/synth/mapdict_frozen_unboxing_fold.cranelift.jitstats b/pyre/bench/synth/mapdict_frozen_unboxing_fold.cranelift.jitstats
@@ -1,9 +1,11 @@
-bridges_compiled=1
+bridges_compiled=0
 descr_set_absent=0
 descr_set_ambiguous=0
 descr_set_stale_absent=0
 fbw_rolled_back_with_effects=0
-guard_failures=203
+field_pos_attached_misplaced=0
+field_pos_spec_misplaced=0
+guard_failures=2
 internal_compile_panics=0
 loops_aborted=0
 loops_compiled=3
diff --git a/pyre/bench/synth/mapdict_frozen_unboxing_fold.dynasm.jitstats b/pyre/bench/synth/mapdict_frozen_unboxing_fold.dynasm.jitstats
@@ -1,9 +1,11 @@
-bridges_compiled=1
+bridges_compiled=0
 descr_set_absent=0
 descr_set_ambiguous=0
 descr_set_stale_absent=0
 fbw_rolled_back_with_effects=0
-guard_failures=203
+field_pos_attached_misplaced=0
+field_pos_spec_misplaced=0
+guard_failures=2
 internal_compile_panics=0
 loops_aborted=0
 loops_compiled=3
diff --git a/pyre/bench/synth/mapdict_frozen_unboxing_fold.wasm.jitstats b/pyre/bench/synth/mapdict_frozen_unboxing_fold.wasm.jitstats
@@ -1,9 +1,11 @@
-bridges_compiled=2
+bridges_compiled=0
 descr_set_absent=0
 descr_set_ambiguous=0
 descr_set_stale_absent=0
 fbw_rolled_back_with_effects=0
-guard_failures=404
+field_pos_attached_misplaced=0
+field_pos_spec_misplaced=0
+guard_failures=2
 internal_compile_panics=0
 loops_aborted=0
 loops_compiled=3
diff --git a/pyre/bench/synth/pickle_terminal_raise_resume.cranelift.jitstats b/pyre/bench/synth/pickle_terminal_raise_resume.cranelift.jitstats
@@ -5,7 +5,7 @@ descr_set_stale_absent=0
 fbw_rolled_back_with_effects=0
 field_pos_attached_misplaced=0
 field_pos_spec_misplaced=0
-guard_failures=656
+guard_failures=338
 internal_compile_panics=0
 loops_aborted=1
-loops_compiled=31
+loops_compiled=35
diff --git a/pyre/bench/synth/pickle_terminal_raise_resume.dynasm.jitstats b/pyre/bench/synth/pickle_terminal_raise_resume.dynasm.jitstats
@@ -5,7 +5,7 @@ descr_set_stale_absent=0
 fbw_rolled_back_with_effects=0
 field_pos_attached_misplaced=0
 field_pos_spec_misplaced=0
-guard_failures=354
+guard_failures=338
 internal_compile_panics=0
 loops_aborted=1
-loops_compiled=31
+loops_compiled=35
diff --git a/pyre/bench/synth/pickle_terminal_raise_resume.wasm.jitstats b/pyre/bench/synth/pickle_terminal_raise_resume.wasm.jitstats
@@ -5,7 +5,7 @@ descr_set_stale_absent=0
 fbw_rolled_back_with_effects=5
 field_pos_attached_misplaced=0
 field_pos_spec_misplaced=0
-guard_failures=355
+guard_failures=339
 internal_compile_panics=0
 loops_aborted=13
-loops_compiled=68
+loops_compiled=72
diff --git a/pyre/bench/synth/polymorphic_binary_receiver.cranelift.jitstats b/pyre/bench/synth/polymorphic_binary_receiver.cranelift.jitstats
@@ -1,9 +1,11 @@
-bridges_compiled=4
+bridges_compiled=3
 descr_set_absent=0
 descr_set_ambiguous=0
 descr_set_stale_absent=0
 fbw_rolled_back_with_effects=0
-guard_failures=1045
+field_pos_attached_misplaced=0
+field_pos_spec_misplaced=0
+guard_failures=788
 internal_compile_panics=0
 loops_aborted=0
 loops_compiled=5
diff --git a/pyre/bench/synth/polymorphic_binary_receiver.dynasm.jitstats b/pyre/bench/synth/polymorphic_binary_receiver.dynasm.jitstats
@@ -1,9 +1,11 @@
-bridges_compiled=4
+bridges_compiled=3
 descr_set_absent=0
 descr_set_ambiguous=0
 descr_set_stale_absent=0
 fbw_rolled_back_with_effects=0
-guard_failures=1045
+field_pos_attached_misplaced=0
+field_pos_spec_misplaced=0
+guard_failures=788
 internal_compile_panics=0
 loops_aborted=0
 loops_compiled=5
diff --git a/pyre/bench/synth/polymorphic_binary_receiver.wasm.jitstats b/pyre/bench/synth/polymorphic_binary_receiver.wasm.jitstats
@@ -1,9 +1,11 @@
-bridges_compiled=4
+bridges_compiled=3
 descr_set_absent=0
 descr_set_ambiguous=0
 descr_set_stale_absent=0
 fbw_rolled_back_with_effects=0
-guard_failures=1045
+field_pos_attached_misplaced=0
+field_pos_spec_misplaced=0
+guard_failures=788
 internal_compile_panics=0
 loops_aborted=0
 loops_compiled=5
diff --git a/pyre/bench/synth/sre_pattern_methods.cranelift.jitstats b/pyre/bench/synth/sre_pattern_methods.cranelift.jitstats
@@ -1,9 +1,11 @@
-bridges_compiled=11
+bridges_compiled=5
 descr_set_absent=0
 descr_set_ambiguous=0
 descr_set_stale_absent=0
 fbw_rolled_back_with_effects=0
-guard_failures=2291
+field_pos_attached_misplaced=0
+field_pos_spec_misplaced=0
+guard_failures=1012
 internal_compile_panics=0
 loops_aborted=0
 loops_compiled=7
diff --git a/pyre/bench/synth/sre_pattern_methods.dynasm.jitstats b/pyre/bench/synth/sre_pattern_methods.dynasm.jitstats
@@ -1,9 +1,11 @@
-bridges_compiled=11
+bridges_compiled=5
 descr_set_absent=0
 descr_set_ambiguous=0
 descr_set_stale_absent=0
 fbw_rolled_back_with_effects=0
-guard_failures=2291
+field_pos_attached_misplaced=0
+field_pos_spec_misplaced=0
+guard_failures=1012
 internal_compile_panics=0
 loops_aborted=0
 loops_compiled=7
diff --git a/pyre/bench/synth/sre_pattern_methods.wasm.jitstats b/pyre/bench/synth/sre_pattern_methods.wasm.jitstats
@@ -1,9 +1,11 @@
-bridges_compiled=11
+bridges_compiled=5
 descr_set_absent=0
 descr_set_ambiguous=0
 descr_set_stale_absent=0
 fbw_rolled_back_with_effects=0
-guard_failures=2292
+field_pos_attached_misplaced=0
+field_pos_spec_misplaced=0
+guard_failures=1013
 internal_compile_panics=0
 loops_aborted=0
 loops_compiled=7
diff --git a/pyre/bench/synth/sre_wasm_min.cranelift.jitstats b/pyre/bench/synth/sre_wasm_min.cranelift.jitstats
@@ -1,9 +1,11 @@
-bridges_compiled=8
+bridges_compiled=4
 descr_set_absent=0
 descr_set_ambiguous=0
 descr_set_stale_absent=0
 fbw_rolled_back_with_effects=0
-guard_failures=1849
+field_pos_attached_misplaced=0
+field_pos_spec_misplaced=0
+guard_failures=803
 internal_compile_panics=0
 loops_aborted=0
 loops_compiled=5
diff --git a/pyre/bench/synth/sre_wasm_min.dynasm.jitstats b/pyre/bench/synth/sre_wasm_min.dynasm.jitstats
@@ -1,9 +1,11 @@
-bridges_compiled=8
+bridges_compiled=4
 descr_set_absent=0
 descr_set_ambiguous=0
 descr_set_stale_absent=0
 fbw_rolled_back_with_effects=0
-guard_failures=1849
+field_pos_attached_misplaced=0
+field_pos_spec_misplaced=0
+guard_failures=803
 internal_compile_panics=0
 loops_aborted=0
 loops_compiled=5
diff --git a/pyre/bench/synth/sre_wasm_min.wasm.jitstats b/pyre/bench/synth/sre_wasm_min.wasm.jitstats
@@ -1,9 +1,11 @@
-bridges_compiled=8
+bridges_compiled=4
 descr_set_absent=0
 descr_set_ambiguous=0
 descr_set_stale_absent=0
 fbw_rolled_back_with_effects=0
-guard_failures=1849
+field_pos_attached_misplaced=0
+field_pos_spec_misplaced=0
+guard_failures=803
 internal_compile_panics=0
 loops_aborted=0
 loops_compiled=5
diff --git a/pyre/bench/synth/sre_wasm_min1.cranelift.jitstats b/pyre/bench/synth/sre_wasm_min1.cranelift.jitstats
@@ -1,9 +1,11 @@
-bridges_compiled=4
+bridges_compiled=3
 descr_set_absent=0
 descr_set_ambiguous=0
 descr_set_stale_absent=0
 fbw_rolled_back_with_effects=0
-guard_failures=803
+field_pos_attached_misplaced=0
+field_pos_spec_misplaced=0
+guard_failures=603
 internal_compile_panics=0
 loops_aborted=0
 loops_compiled=4
diff --git a/pyre/bench/synth/sre_wasm_min1.dynasm.jitstats b/pyre/bench/synth/sre_wasm_min1.dynasm.jitstats
@@ -1,9 +1,11 @@
-bridges_compiled=4
+bridges_compiled=3
 descr_set_absent=0
 descr_set_ambiguous=0
 descr_set_stale_absent=0
 fbw_rolled_back_with_effects=0
-guard_failures=803
+field_pos_attached_misplaced=0
+field_pos_spec_misplaced=0
+guard_failures=603
 internal_compile_panics=0
 loops_aborted=0
 loops_compiled=4
diff --git a/pyre/bench/synth/sre_wasm_min1.wasm.jitstats b/pyre/bench/synth/sre_wasm_min1.wasm.jitstats
@@ -1,9 +1,11 @@
-bridges_compiled=4
+bridges_compiled=3
 descr_set_absent=0
 descr_set_ambiguous=0
 descr_set_stale_absent=0
 fbw_rolled_back_with_effects=0
-guard_failures=803
+field_pos_attached_misplaced=0
+field_pos_spec_misplaced=0
+guard_failures=603
 internal_compile_panics=0
 loops_aborted=0
 loops_compiled=4