Skip to content

compiler optimizations violate oparg invariants #99876

Closed
@iritkatriel

Description

@iritkatriel

During code-gen, the compiler makes sure that any opcode that does not HAVE_ARG get an oparg value of 0.

Then, during optimizations some instructions become NOPs but their oparg is not set to 0, so when we come to emit code we need to check HAS_ARG again. It would be better to preserve the invariant in the optimizer instead.

Linked PRs

Metadata

Metadata

Assignees

No one assigned

    Labels

    type-featureA feature request or enhancement

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions