Skip to content

Bytecode parity #7536

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
youknowone merged 4 commits into from
Mar 30, 2026
Merged

Bytecode parity #7536

Changes from 1 commit
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
0d334a1
Add CFG block splitting, jump threading, backward jump normalization,…
youknowone Mar 29, 2026
8041f86
Add ConstantData::Slice and constant slice folding
youknowone Mar 30, 2026
3f9307f
Add duplicate_exits_without_lineno (disabled) and Block: Clone
youknowone Mar 30, 2026
c717101
Improve codegen bytecode parity
youknowone Mar 30, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
Add CFG block splitting, jump threading, backward jump normalization,… 
… genexpr StopIteration wrapper

- split_blocks_at_jumps: split blocks at branch points so each has one exit
- jump_threading: thread jumps through single-jump blocks (flowgraph.c jump_thread)
- Backward conditional jump normalization: invert and create NOT_TAKEN+JUMP block
- Follow empty blocks in jump-to-return optimization (next_nonempty_block)
- Add PEP 479 StopIteration handler to compile_comprehension for generators
  • Loading branch information
@youknowone
youknowone committed Mar 30, 2026
commit 0d334a1f6b4be83759fb3b6b93d433d72e0c6688
3 changes: 2 additions & 1 deletion crates/codegen/src/ir.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2302,7 +2302,8 @@ fn normalize_jumps(blocks: &mut Vec<Block>) {

visited.fill(false);

for &block_idx in &visit_order {
for vi in 0..visit_order.len() {
let block_idx = visit_order[vi];
let idx = block_idx.idx();
visited[idx] = true;

Expand Down