Skip to content
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

Jump to bottom

optimizer: handle GlobalRef based on assume_bindings_static #54148

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

optimizer: handle GlobalRef based on assume_bindings_static #54148

wants to merge 2 commits into from

Commits on May 23, 2024

  1. optimizer: handle GlobalRef based on assume_bindings_static 

    Following up #53750.
External abstract interpreters with `assume_bindings_static` enabled
assume nothrow-ness of defined `GlobalRef`s no matter if they are
constant during abstract interpretation. However, post-#53750, the
optimizer’s verification switched to stricter checks, causing errors
in such interpreters. This commit makes `IRCode` hold
`assume_bindings_static::Bool` info to ensure that inlining and
verification behaviors are synced with abstract interpretation.
    @aviatesk
    aviatesk committed May 23, 2024
    Configuration menu
    Copy the full SHA
    2a021fa View commit details
    Browse the repository at this point in the history

  2. use ir.meta as a place for holding assume_bindings_static configu… 

    …ration
    @aviatesk
    aviatesk committed May 23, 2024
    Configuration menu
    Copy the full SHA
    40fb628 View commit details
    Browse the repository at this point in the history