Skip to content

ZJIT: Remove GuardShape from known-frozen object with same shape #915

Closed

Description

@tekknolagi

If we have a ~GuardShape(recv, shape)~~ LoadField(recv, offset)+GuardBitEquals(shape, expected) where we know recv is frozen and has shape shape, we can remove the LoadField and GuardBitEquals.

Edit the fold_constants pass.

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions