Align codegen passes and opcode metadata with CPython by youknowone · Pull Request #7987 · RustPython/RustPython

Share marshal ref table between code object and its internals

$youknowone$ youknowone

committed

2eab3ab

Align PYC magic number, FORMAT_VERSION, and header check with CPython 3.14

$youknowone$ youknowone

committed

286b667

Accept CPython-tagged .pyc as read-only bytecode source

$youknowone$ youknowone

committed

5d1ec59

Apply rustfmt to marshal helpers

$youknowone$ youknowone

committed

e28c037

Marshal PySlice from format version 4 instead of 5

$youknowone$ youknowone

committed

1d5054b

Revert "Accept CPython-tagged .pyc as read-only bytecode source"

$youknowone$ youknowone

committed

0fbf849

Set marshal FORMAT_VERSION to 5 to match CPython 3.14.5

$youknowone$ youknowone

committed

ce0ac61

Thread marshal recursion depth through nested code objects

$youknowone$ youknowone

committed

9365746

align compiler to CPython

$youknowone$ youknowone

committed

d4af69b

Align codegen with CPython compile.c

$youknowone$ youknowone

committed

3dc37d8

Align codegen IR with CPython CFG structures

$youknowone$ youknowone

committed

539f3ba

Match CPython CFG annotation offset arithmetic

$youknowone$ youknowone

committed

8b57733

Propagate CPython CFG label translation errors

$youknowone$ youknowone

committed

11d9f92

Align CPython exception target labeling flow

$youknowone$ youknowone

committed

b6cd398

Propagate CPython CFG traversal stack allocation errors

$youknowone$ youknowone

committed

cda874c

Match CPython optimize_load_fast allocation flow

$youknowone$ youknowone

committed

e2fd26d

Propagate CPython basicblock allocation errors

$youknowone$ youknowone

committed

9500d4e

Propagate CPython redundant NOP cleanup errors

$youknowone$ youknowone

committed

c45852b

Propagate CPython unused const cleanup errors

$youknowone$ youknowone

committed

a85d8f4

Propagate CPython const folding errors

$youknowone$ youknowone

committed

71eb1d7

Propagate CPython swaptimize allocation errors

$youknowone$ youknowone

committed

13f4ef5

Match CPython list-to-tuple fold allocation

$youknowone$ youknowone

committed

71f9bef

Skip const folding on CPython allocation failures

$youknowone$ youknowone

committed

ed0ad74

Skip subscript folding on CPython allocation failures

$youknowone$ youknowone

committed

1e0d4f9

Propagate CPython assembler allocation errors

$youknowone$ youknowone

committed

af868ab

Propagate CPython localsplus allocation errors

$youknowone$ youknowone

committed

7571fbd

Propagate CPython localsplus setup allocation errors

$youknowone$ youknowone

committed

bf31c4a

Propagate CPython jump label map allocation errors

$youknowone$ youknowone

committed

df9e93f

Propagate CPython instruction sequence allocation errors

$youknowone$ youknowone

committed

63cdf7e

Propagate CPython instruction label allocation errors

$youknowone$ youknowone

committed

b639320

Guard CPython codegen block allocation

$youknowone$ youknowone

committed

67b6958

Guard CPython label shadow allocation

$youknowone$ youknowone

committed

bb46442

Propagate CPython label shadow allocation errors

$youknowone$ youknowone

committed

9b5b6a1

Align CPython c-array allocation updates

$youknowone$ youknowone

committed

f39ff54

Align CPython ref stack growth

$youknowone$ youknowone

committed

d093fa6

Match CPython CFG builder debug check

$youknowone$ youknowone

committed

cc0fc01

Avoid Rust-only CFG append clone

$youknowone$ youknowone

committed

3e0faec

Reuse CPython cleared block slots

$youknowone$ youknowone

committed

657bc7d

Use CPython block append in copy_basicblock

$youknowone$ youknowone

committed

fb20c2a

Match CPython cfg builder creation order

$youknowone$ youknowone

committed

8a03dc3

Clear label map after CPython apply pass

$youknowone$ youknowone

committed

1c3de54

Match CPython cfg builder allocation check

$youknowone$ youknowone

committed

f08bf9b

Propagate CPython c-array size errors

$youknowone$ youknowone

committed

a859ce8

Drop Rust-only label uniqueness check

$youknowone$ youknowone

committed

fbdf356

Drop Rust-only label shadow debug checks

$youknowone$ youknowone

committed

fa41c61

Propagate CFG block index overflow

$youknowone$ youknowone

committed

0a99332

Propagate CFG label oparg overflow

$youknowone$ youknowone

committed

2076342

Model CPython basicblock instruction storage

$youknowone$ youknowone

committed

58d4685

Drop Rust-only recorded CFG precheck

$youknowone$ youknowone

committed

4ee67ba

Model CPython instruction sequence storage

$youknowone$ youknowone

committed

43aaa35

Propagate instruction sequence offset overflow

$youknowone$ youknowone

committed

6e04622

Model CPython instruction sequence labels

$youknowone$ youknowone

committed

a962997

Match CPython jump offset arithmetic

$youknowone$ youknowone

committed

41e0e42

Match CPython exception table arithmetic

$youknowone$ youknowone

committed

e66c76c

Match CPython label index arithmetic

$youknowone$ youknowone

committed

d1bf4df

Match CPython instruction offset casts

$youknowone$ youknowone

committed

1599e47

Match CPython jump offset indexing

$youknowone$ youknowone

committed

77add0d

Match CPython oparg locals casts

$youknowone$ youknowone

committed

3efaa6f

Match CPython localsplus offset arithmetic

$youknowone$ youknowone

committed

1b25273

Match CPython cell prefix indexing

$youknowone$ youknowone

committed

c074ef4

Match CPython C array growth arithmetic

$youknowone$ youknowone

committed

4274e1b

Match CPython label map allocation arithmetic

$youknowone$ youknowone

committed

a8be3a0

Match CPython label map size tracking

$youknowone$ youknowone

committed

a301c3a

Use CPython label map size in sequence passes

$youknowone$ youknowone

committed

a3a8a9f

Assert CPython label map clearing invariants

$youknowone$ youknowone

committed

2f97643

Match CPython label oparg assignment

$youknowone$ youknowone

committed

518e447

Match CPython compiler direct arithmetic

$youknowone$ youknowone

committed

a63f61f

Match CPython load fast local casts

$youknowone$ youknowone

committed

a8d4d15

Match CPython load fast depth assert

$youknowone$ youknowone

committed

c38475a

Match CPython resume depth flagging

$youknowone$ youknowone

committed

8b3f726

Match CPython stack depth arithmetic

$youknowone$ youknowone

committed

f021dfc

Drop Rust-only stack overflow error

$youknowone$ youknowone

committed

6ab160e

Return CPython stack depth directly

$youknowone$ youknowone

committed

72ee5d8

Match CPython C array growth errors

$youknowone$ youknowone

committed

0afe202

Match CPython instruction insert asserts

$youknowone$ youknowone

committed

52e06c8

Match CPython unreachable pseudo jump

$youknowone$ youknowone

committed

02d5c05

Match CPython CFG size guard

$youknowone$ youknowone

committed

b2a5867

Match CPython superinstruction assert

$youknowone$ youknowone

committed

f86c378

Match CPython redundant jump assert

$youknowone$ youknowone

committed

aa2be03

Match CPython stackdepth errors

$youknowone$ youknowone

committed

6cea997

Match CPython jump offset flow

$youknowone$ youknowone

committed

527481e

Match CPython assembler buffer defaults

$youknowone$ youknowone

committed

616ae7d

Match CPython bytecode emit growth

$youknowone$ youknowone

committed

06ce5fe

Match CPython assembler entry growth

$youknowone$ youknowone

committed

ed3c754

Match CPython assembler growth overflow check

$youknowone$ youknowone

committed

af7fa64

Match CPython remove_unreachable structure

$youknowone$ youknowone

committed

4b8cfda

Match CPython static swap flow

$youknowone$ youknowone

committed

9ec2638

Inline CPython code unit preprocessing

$youknowone$ youknowone

committed

32c82c7

Match CPython C array growth checks

$youknowone$ youknowone

committed

3f55473

Match CPython label map size guard

$youknowone$ youknowone

committed

ff0e106

Match CPython load-fast flow

$youknowone$ youknowone

committed

b158977

Simplify CPython CFG condition flow

$youknowone$ youknowone

committed

01ad7f5

Align exception fallthrough propagation

$youknowone$ youknowone

committed

6317144

Match CPython pseudo target table

$youknowone$ youknowone

committed

821149a

Match CPython annotations CFG assert

$youknowone$ youknowone

committed

d9ab6b7

Match CPython inverted op assert

$youknowone$ youknowone

committed

5afb44f

Match CPython many-locals guard

$youknowone$ youknowone

committed

d65f063

Reject deopt opcodes in CFG stack effects

$youknowone$ youknowone

committed

9bb6e42

Match CPython invalid stack effect error

$youknowone$ youknowone

committed

bdfe523

Test CPython deopt stack effect guard

$youknowone$ youknowone

committed

cdcfac2

Match CPython load-fast extended-arg assert

$youknowone$ youknowone

committed

77d971a

Match CPython instruction allocation asserts

$youknowone$ youknowone

committed

d342ead

Match CPython basicblock last-instr asserts

$youknowone$ youknowone

committed

bc92972

Match CPython opcode range asserts

$youknowone$ youknowone

committed

32f01b7

Assert CPython fallthrough line propagation invariant

$youknowone$ youknowone

committed

1a8c7fa

Assert CPython CFG target offset sign

$youknowone$ youknowone

committed

41c972a

Assert CPython exception fallthrough invariant

$youknowone$ youknowone

committed

2f8e23f

Assert CPython exception stack bounds

$youknowone$ youknowone

committed

eca1b1a

Assert CPython traversal stack allocation

$youknowone$ youknowone

committed

265d526

Match CPython label-map allocation in shadow

$youknowone$ youknowone

committed

9526995

Mirror CPython label-map sentinel fill

$youknowone$ youknowone

committed

72837ed

Match CPython CFG builder allocation asserts

$youknowone$ youknowone

committed

a7aa5d8

Match CPython exception stack structure

$youknowone$ youknowone

committed

2012265

Match CPython ref stack structure

$youknowone$ youknowone

committed

069d44c

Match CPython CFG traversal stack structure

$youknowone$ youknowone

committed

45ef619

Mirror CPython CFG traversal stack pointer

$youknowone$ youknowone

committed

c947c05

Use CPython fixed exception handler stack

$youknowone$ youknowone

committed

82d90b4

Mirror CPython ref stack capacity field

$youknowone$ youknowone

committed

d4130eb

Match CPython swap optimizer scratch stack

$youknowone$ youknowone

committed

c3d660c

Align static swap helpers with CPython blocks

$youknowone$ youknowone

committed

d88e575

Align swaptimize signature with CPython

$youknowone$ youknowone

committed

9abe87b

Match CPython redundant pair pass result

$youknowone$ youknowone

committed

5673b20

Match CPython inline pass result

$youknowone$ youknowone

committed

4cf0668

Match CPython redundant NOP pass results

$youknowone$ youknowone

committed

84c5bd6

Fix bytecode metadata after upstream rebase

$youknowone$ youknowone

committed

d27e3ae

Match CPython opcode stack metadata

$youknowone$ youknowone

committed

4d11097

Add CPython identifiers to cspell dictionary

$youknowone$ youknowone

committed

17eb608

Fix CI failures from bytecode-parity work

$youknowone$ youknowone

committed

4390e6b

Resync generated opcode metadata

$youknowone$ youknowone

committed

b05b634

Drop is_block_push has_arg invariant

$youknowone$ youknowone

committed

bd9c09c

Auto-generate has_eval_break and route AnyInstruction has_arg/has_const via macro

$youknowone$ youknowone

committed

6ea6985

Uh oh!

Commits

Commits on May 27, 2026