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

Fix the unsoundness in the early_otherwise_branch mir opt pass #91840

Merged
merged 2 commits into from
Jan 26, 2022
Merged

Fix the unsoundness in the early_otherwise_branch mir opt pass #91840

merged 2 commits into from
Jan 26, 2022

Commits on Dec 14, 2021

  1. Correct the unsoundness in the EarlyOtherwiseBranch mir opt 

    This optimization pass previously made excessive assumptions as to the nature of
the blocks being optimized. We remove those assumptions and make sure to
rigorously justify all changes that are made to the MIR. Details can be found
in the file.
    @JakobDegen
    JakobDegen committed Dec 14, 2021
    Configuration menu
    Copy the full SHA
    709c94a View commit details
    Browse the repository at this point in the history

  2. Improve test coverage of early_otherwise_branch mir opt

    @JakobDegen
    JakobDegen committed Dec 14, 2021
    Configuration menu
    Copy the full SHA
    c0c13b7 View commit details
    Browse the repository at this point in the history