Two JIT admission gates that answered wider than their evidence - #1295

Merged

youknowone merged 24 commits into

mainfrom

single-walker

Aug 19, 2026

Commits on Aug 19, 2026

jit: admit the bound-method folds at an inline depth whose guards resume in the callee
youknowone
committed
a1ab82a
jit: inline the receiver type's __getattr__ hook for a missing attribute
youknowone
committed
b6e8255
type call inline: admit the call_fn spelling's PY_NULL receiver slot
youknowone
committed
56a9aec
inline diag: list the scanned callee body beside a replay-dirty verdict
youknowone
committed
16872aa
_abc: port the positive/negative subclass caches
youknowone
committed
54d71dd
type-call diag: report the fold that gets rewound
youknowone
committed
325218c
abort resume: restrict the residual-operand stack image to CALL-family entries
youknowone
committed
77aefd2
getattr hook inline: test the descriptor type exactly and guard w_function
youknowone
committed
2c59d76
getattr_hook_fast_path: decline a devolved receiver
youknowone
committed
eb21dc4
property: take the accessor shortcut only for the exact type
youknowone
committed
a9403ff
property: implement the `w_fget?` / `w_fset?` quasi-immutable declaration
youknowone
committed
6b94842
reconstructed_all_ref_call_stack: drop `call_kw` from the whitelist
youknowone
committed
6152f1d
jit: pin `code?` on the inline arm that emits no value guard
youknowone
committed
fd5ea02
parity: cover the property-accessor and __getattr__-hook callees in the code? fixture
youknowone
committed
8681735
blackhole: mark each multi-frame level's frame finished as it returns
youknowone
committed
93b06da
jit: build the loop region from the exception table instead of a pc interval
youknowone
committed
be73d90
cranelift: skip the LABEL demoted-ref reload when no later LABEL reads it
youknowone
committed
921a655
Drop the equal-value skip from `w_property_reinit`; propagate _abc cache errors
youknowone
committed
d74cb29
_abc: hold the registry and both caches in SimpleWeakSet
youknowone
committed
1643b38
jit: admit a type call whose metaclass leaves __call__ alone
youknowone
committed
d3b521e
inline diag: name the decline site and the deferred-admit term that refused
youknowone
committed
cf19b58
_abc: read _get_dump's three `.data` values back from their root slots
youknowone
committed
052b763
getattr hook inline: cut the trace back when the callee sub-walk declines
youknowone
committed
07ca447
Fold three spellings of PYRE_FBW_INLINE_DIAG into the cached gate; fix a count
youknowone
committed
7e0240f

Navigation Menu

Two JIT admission gates that answered wider than their evidence - #1295

Two JIT admission gates that answered wider than their evidence#1295
youknowone merged 24 commits into
mainfrom
single-walker

Commits on Aug 19, 2026

jit: admit the bound-method folds at an inline depth whose guards resume in the callee

jit: inline the receiver type's getattr hook for a missing attribute

type call inline: admit the call_fn spelling's PY_NULL receiver slot

inline diag: list the scanned callee body beside a replay-dirty verdict

_abc: port the positive/negative subclass caches

type-call diag: report the fold that gets rewound

abort resume: restrict the residual-operand stack image to CALL-family entries

getattr hook inline: test the descriptor type exactly and guard w_function

getattr_hook_fast_path: decline a devolved receiver

property: take the accessor shortcut only for the exact type

property: implement the `w_fget?` / `w_fset?` quasi-immutable declaration

reconstructed_all_ref_call_stack: drop `call_kw` from the whitelist

jit: pin `code?` on the inline arm that emits no value guard

parity: cover the property-accessor and getattr-hook callees in the code? fixture

blackhole: mark each multi-frame level's frame finished as it returns

jit: build the loop region from the exception table instead of a pc interval

cranelift: skip the LABEL demoted-ref reload when no later LABEL reads it

Drop the equal-value skip from `w_property_reinit`; propagate _abc cache errors

_abc: hold the registry and both caches in SimpleWeakSet

jit: admit a type call whose metaclass leaves call alone

inline diag: name the decline site and the deferred-admit term that refused

_abc: read _get_dump's three `.data` values back from their root slots

getattr hook inline: cut the trace back when the callee sub-walk declines

Fold three spellings of PYRE_FBW_INLINE_DIAG into the cached gate; fix a count