Skip to content

Bytecode parity #7504

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 15 commits into from
Mar 25, 2026
Merged

Bytecode parity #7504

Changes from 1 commit
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
a6aab76
Match CPython LOAD_SPECIAL stack semantics for with/async-with
youknowone Mar 23, 2026
d015f02
Normalize LOAD_FAST_CHECK and JUMP_BACKWARD_NO_INTERRUPT
youknowone Mar 23, 2026
37d1e03
Add EXTENDED_ARG to SKIP_OPS, normalize LOAD_FAST_CHECK and JUMP_BACK…
youknowone Mar 23, 2026
b559a6e
Remove duplicate return-None when block already has return
youknowone Mar 23, 2026
6b200d9
Improve __static_attributes__ collection accuracy
youknowone Mar 23, 2026
122f76a
Use method mode for function-local import attribute calls
youknowone Mar 25, 2026
d1641dd
Optimize constant iterable before GET_ITER to LOAD_CONST tuple
youknowone Mar 25, 2026
5b19b70
Fix cell variable ordering: parameters first, then alphabetical
youknowone Mar 25, 2026
5b32c68
Emit COPY_FREE_VARS before MAKE_CELL matching CPython order
youknowone Mar 25, 2026
96462fa
Fix RESUME AfterYield encoding to match CPython 3.14 (value 5)
youknowone Mar 25, 2026
296eaa1
Address code review feedback from #7481
youknowone Mar 25, 2026
b2eaa71
Fold constant list/set/tuple literals in compiler
youknowone Mar 23, 2026
c7f505d
Use BUILD_MAP 0 + MAP_ADD for large dicts (>= 16 pairs)
youknowone Mar 23, 2026
a23315a
Fix clippy warnings and cargo fmt
youknowone Mar 25, 2026
cab59e7
fix surrogate
youknowone Mar 25, 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
Prev Previous commit
Next Next commit
Fix clippy warnings and cargo fmt
  • Loading branch information
@youknowone
youknowone committed Mar 25, 2026
commit a23315a04c379c56aa05e4aef477663ef09016ac
45 changes: 24 additions & 21 deletions crates/codegen/src/compile.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -565,25 +565,28 @@ impl Compiler {
};

// Fold all-constant collections (>= 3 elements) regardless of size
if !seen_star && pushed == 0 && n >= 3 && elts.iter().all(|e| e.is_constant()) {
if let Some(folded) = self.try_fold_constant_collection(elts)? {
match collection_type {
CollectionType::Tuple => {
self.emit_load_const(folded);
}
CollectionType::List => {
emit!(self, Instruction::BuildList { count: 0 });
self.emit_load_const(folded);
emit!(self, Instruction::ListExtend { i: 1 });
}
CollectionType::Set => {
emit!(self, Instruction::BuildSet { count: 0 });
self.emit_load_const(folded);
emit!(self, Instruction::SetUpdate { i: 1 });
}
if !seen_star
&& pushed == 0
&& n >= 3
&& elts.iter().all(|e| e.is_constant())
&& let Some(folded) = self.try_fold_constant_collection(elts)?
{
match collection_type {
CollectionType::Tuple => {
self.emit_load_const(folded);
}
CollectionType::List => {
emit!(self, Instruction::BuildList { count: 0 });
self.emit_load_const(folded);
emit!(self, Instruction::ListExtend { i: 1 });
}
CollectionType::Set => {
emit!(self, Instruction::BuildSet { count: 0 });
self.emit_load_const(folded);
emit!(self, Instruction::SetUpdate { i: 1 });
}
return Ok(());
}
return Ok(());
}

// If no stars and not too big, compile all elements and build once
Expand Down Expand Up @@ -4582,10 +4585,10 @@ impl Compiler {
fn scan_target_for_attrs(target: &ast::Expr, name: &str, attrs: &mut IndexSet<String>) {
match target {
ast::Expr::Attribute(ast::ExprAttribute { value, attr, .. }) => {
if let ast::Expr::Name(n) = value.as_ref() {
if n.id.as_str() == name {
attrs.insert(attr.to_string());
}
if let ast::Expr::Name(n) = value.as_ref()
&& n.id.as_str() == name
{
attrs.insert(attr.to_string());
}
}
ast::Expr::Tuple(t) => {
Expand Down