Skip to content

Navigation Menu

Appearance settings

View all features
- BY COMPANY SIZE
  Enterprises
  Small and medium teams
  Startups
  Nonprofits
- BY USE CASE
  App Modernization
  DevSecOps
  DevOps
  CI/CD
  View all use cases
- BY INDUSTRY
  Healthcare
  Financial services
  Manufacturing
  Government
  View all industries
View all solutions
- EXPLORE BY TOPIC
  AI
  Software Development
  DevOps
  Security
  View all topics
- EXPLORE BY TYPE
  Customer stories
  Events & webinars
  Ebooks & reports
  Business insights
  GitHub Skills
- SUPPORT & SERVICES
  Documentation
  Customer support
  Community forum
  Trust center
  Partners
View all resources
- COMMUNITY
  GitHub SponsorsFund open source developers
- PROGRAMS
  Security Lab
  Maintainer Community
  GitHub Stars
  Archive Program
- REPOSITORIES
  Topics
  Trending
  Collections
- ENTERPRISE SOLUTIONS
  Enterprise platformAI-powered developer platform
- AVAILABLE ADD-ONS
  GitHub Advanced SecurityEnterprise-grade security features
  Copilot for BusinessEnterprise-grade AI features
  Premium SupportEnterprise-grade 24/7 support
Pricing

Appearance settings

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

youknowone / pyre Public

Notifications You must be signed in to change notification settings
Fork 19
Star 113

Code
Issues 47
Pull requests 21
Actions
Projects
Security and quality
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights

Descend unary, binary, and comparison helpers through generated JIT paths - #1590

#1590

Open

youknowone wants to merge 87 commits into

mainyouknowone/pyre:mainfrom

manual-traceyouknowone/pyre:manual-traceCopy head branch name to clipboard

Conversation Commits87 (87)Checks Files changed

Open

Descend unary, binary, and comparison helpers through generated JIT paths#1590
youknowone wants to merge 87 commits into
mainfrom
manual-trace

Commits

Commits on Sep 4, 2026

majit: emit guard_class for a read of the object header's class word
youknowone
committed
45b1737
interpreter: promote w_class in the unary override probe
youknowone
committed
f41379b
jit-trace: descend pos, neg and invert whole through one table-driven arm
youknowone
committed
fa5e761
bench: re-record arith_int_bool jitstats for cranelift and wasm
youknowone
committed
4da364e
majit-translate: add helper_graphs seeds to the find_all_graphs BFS
youknowone
committed
8dc4bbb
majit-translate: join single-entry blocks and rtype the front's bool test
youknowone
committed
9093e7a
interpreter: gate the binop override probes on promoted exactness
youknowone
committed
516757d
jit-trace: descend binary_value_from_tag for exact int/bool operands
youknowone
committed
851c226
jit-trace: seed the heap cache with the class word a NewWithVtable writes
youknowone
committed
ec01634
interpreter: split compare_slot's int arm from the looping layouts
youknowone
committed
23198b6
pyre-object: mark ensure_object_subclass_ranges_initialized not_in_trace
youknowone
committed
4c4c8a9
majit-metainterp: register guard_class/r>r in the production blackhole builder
youknowone
committed
ffd92e6
jit-trace: mark the class known in note_class_word_after_new
youknowone
committed
be46e95
jit-trace: descend compare_value_from_tag for exact int/bool operands
youknowone
committed
e5b2b93
bench: re-record fib_recursive cranelift jitstats
youknowone
committed
05d6e50
interpreter: retarget bigint_add/sub/mul to their jit_bigint_* seams
youknowone
committed
0ab9d6a
pyre-object: read a list's length without its lock
youknowone
committed
93d4191
bench: restore fib_recursive jitstats to the origin/main baseline
youknowone
committed
ffc9afd
pyre-object: read the storage length fields directly in live_len
youknowone
committed
9200c56
jit-trace: restore the unary-negative int fold's wiring and helper
youknowone
committed
44a8b72
interpreter: box the name for the uncached type lookup under the JIT
youknowone
committed
59f75f7
pyre-object: mark lookup_exc_class_for_kind elidable
youknowone
committed
745a137
jit-trace: narrow three over-approximations in the descent blocker scan
youknowone
committed
92cce2d
bench: gate the generated unary descent paths
youknowone
committed
f302088
bench: size the foriter segmenting fixtures to this branch's raw op count
youknowone
committed
fad09de
bench: record unary_long_descent dynasm jitstats
youknowone
committed
b740f1c
majit: lower string reference equality for descents
youknowone
committed
5831a31
jit-trace: retire the unary_negative_int fold
youknowone
committed
d1acad4
interpreter: box the name for the uncached lookup_where pair under the JIT
youknowone
committed
2d58a0b
majit-translate: type can_enter_jit's false result as Bool; re-record five jitstats baselines
youknowone
committed
0ad4e22
majit: fuse the zero_division constructor raise into a published materialiser
youknowone
committed
27c9b83
jit-trace: retire the binary_op_int fold onto the generated descent
youknowone
committed
e140082
jit-trace: retire the builtin_len fold onto the generated descent
youknowone
committed
7fd2677
docs: re-derive the 3.8 counts from symbol boundaries; update gate-triage's row count
youknowone
committed
ee3076f
interpreter: register the builtin len gateway fnaddr on wasm32
youknowone
committed
ae2f3f0
bench: branch the segmenting trace_limit on sys.platform; record four jitstats baselines
youknowone
committed
6190cb1
jit-trace: size Ref field descrs from the target word, not a 64-bit literal
youknowone
committed
8079c92
fmt
youknowone
committed
803f526
bench: relabel load_name_builtin_cell_fold to the descent's fold label
youknowone
committed
8cbd0d4
bench: drop a superseded trace_limit sweep paragraph
youknowone
committed
a032bc1
bench: record arith_int_bool wasm guard_failures at 2611
youknowone
committed
7ddb17a
jit: lower the unary HLOps to canonical codewriter inline_call_r_r; retire the three unary descent rows
youknowone
committed
21bd2ac
jit-trace: count RECORDED_OPS only for residual calls that join the history
youknowone
committed
71272a8
majit-translate: count the synthetic entry into the start block in join_blocks
youknowone
committed
1759151
jit-trace: widen switch_descr_targets to None on an unresolved key
youknowone
committed
8a6c363
jit-trace: gate the descent blocker summary prints behind fbw_debug_abort_enabled
youknowone
committed
1090476
interpreter: answer lookup_where_pair with one raw walk outside traces
youknowone
committed
084e7d3
majit-translate: name guard_class in op_name
youknowone
committed
ace323b
comments: cite upstream by symbol instead of line number
youknowone
committed
27fb1ce
bench: record the segmenting band once, at the set_param call
youknowone
committed
9a6733a
majit: fold a virtualizable field to the stored box, not to its position
youknowone
committed
8c44007
majit: read a copied guard descr's rd_locs through to its donor
youknowone
committed
e06d43b
majit-translate: move guard_class off the byte raw_store_f now holds
youknowone
committed
950971b
jit: emit the unary inline_call_r_r only for a fully bound callee body
youknowone
committed
06921d1
bench: record calls_closures dynasm on the side of trace_limit it now lands
youknowone
committed
cd6626e
majit: carry the donor's rd_locs when a minted guard descr adopts its payload
youknowone
committed
2a45217
bench: record calls_closures cranelift on the same side of trace_limit
youknowone
committed
f3aa1e3
jit-trace: memoize the descent blocker scan per entry argument-array length
youknowone
committed
0a7dac6
jit-trace: report the rewind clause in the subwalk-abort diagnostic
youknowone
committed
9b4b0c2
jit-trace: pass the load_super_attr descent the two parameters it lacked
youknowone
committed
365336b
bench: return the calls_closures and fib_recursive baselines to origin/main
youknowone
committed
a91e50c
jit-trace: record the exact-int zero-divisor raise as generated ops
youknowone
committed
a1b2ebe
jit-trace, bench: two guards generate_guard declines, and a merge point read against another body's offsets
youknowone
committed
70037de
jit-trace: name the callee a NULL-Ref residual refusal fired on
youknowone
committed
4187911
bench: record the one guard failure the wasm nbody and short-circuit baselines no longer take
youknowone
committed
c7a11f7
jit-trace: read the short-form int_copy source as the inline byte
youknowone
committed
c478d9a
jit-trace: size the long payload and cell header Ref fields as WORD
youknowone
committed
fb30031
jit-trace: spell the dead-arm scan test's condition in the byte that carries it
youknowone
committed
e0804e9
majit-translate, jit-trace: stamp the bool hop's result Bool and answer the int_is_true fusion
youknowone
committed
608989f
jit-trace: stop the proxy write-back scan from dereferencing a non-object operand
youknowone
committed
f5591fb
jit-trace: name the BigInt layout in the IS_OP fold's value-comparing set
youknowone
committed
8095f85
interpreter: stack-check the comparison override arm
youknowone
committed
471c4b2
jit-trace: admit IntOrFloat lists to the generated len shortcut
youknowone
committed
dabcb54
object: state what makes the lock-free list length sound, and make the bytes and ascii lengths atomic
youknowone
committed
db4e418
jit-trace, majit-translate: one concrete-operand read, a guard_class base assert, and the call kind signature
youknowone
committed
5b914f1
docs: re-derive the §3.8 inventory and the fold-row count gate-triage cites
youknowone
committed
35b54c4
jit-trace: say why a not_in_trace callee survives a rolled-back walk
youknowone
committed
b08d195
object: rustfmt the bytes and ascii array bodies
youknowone
committed
6b54e37
bench: re-record the builtin_len_descent jitstats for the added mixed-number list
youknowone
committed
15fdc13
interpreter, majit-translate: spell the int overflow promotion as one machine-int rbigint call
youknowone
committed
c44ca21
pyre-object: delete the jit_bigint_{add,sub,mul}_int_int seams
youknowone
committed
2c614b3
majit-translate: name bigint_and in the RBigInt-identity assertion
youknowone
committed
0de0716
interpreter: stack-check the object.__ne__ gateway
youknowone
committed
d9cc651
majit-trace: reach the elidable early return for a call-pure residual
youknowone
committed
67bb56a
interpreter, jit: enforce recursion limits on portal guard exits
youknowone
committed
945720a
ci: fit generated-descent gates to cross-host runs
youknowone
committed
813e5d2
docs: poll builds and CI at five-minute intervals
youknowone
committed
f124e49

Footer

© 2026 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Community
Docs
Contact

You can’t perform that action at this time.