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

Document the current MIR semantics that are clear from existing code #95320

Merged
merged 11 commits into from
Apr 12, 2022
Merged

Document the current MIR semantics that are clear from existing code #95320

merged 11 commits into from
Apr 12, 2022

Commits on Apr 11, 2022

  1. Improve documentation of Place and Operand

    @JakobDegen
    JakobDegen committed Apr 11, 2022
    Configuration menu
    Copy the full SHA
    dae5c84 View commit details
    Browse the repository at this point in the history

  2. Adjust computation of place types to detect more invalid places

    @JakobDegen
    JakobDegen committed Apr 11, 2022
    Configuration menu
    Copy the full SHA
    2f4a7a0 View commit details
    Browse the repository at this point in the history

  3. Add documentation for the semantics of MIR rvalues

    @JakobDegen
    JakobDegen committed Apr 11, 2022
    Configuration menu
    Copy the full SHA
    6343691 View commit details
    Browse the repository at this point in the history

  4. Extend the MIR validator to check many more things around rvalues.

    @JakobDegen
    JakobDegen committed Apr 11, 2022
    Configuration menu
    Copy the full SHA
    9ac5e98 View commit details
    Browse the repository at this point in the history

  5. Improve documentation for MIR statement kinds.

    @JakobDegen
    JakobDegen committed Apr 11, 2022
    Configuration menu
    Copy the full SHA
    8e01cd6 View commit details
    Browse the repository at this point in the history

  6. Improve documentation for MIR terminators

    @JakobDegen
    JakobDegen committed Apr 11, 2022
    Configuration menu
    Copy the full SHA
    f1f25c0 View commit details
    Browse the repository at this point in the history

  7. Adjust MIR validator to check a few more things for terminators

    @JakobDegen
    JakobDegen committed Apr 11, 2022
    Configuration menu
    Copy the full SHA
    f2d7908 View commit details
    Browse the repository at this point in the history

  8. Improve MIR phases documentation with summaries of changes

    @JakobDegen
    JakobDegen committed Apr 11, 2022
    Configuration menu
    Copy the full SHA
    1d318e4 View commit details
    Browse the repository at this point in the history

  9. Address various comments and change some details around place to valu… 

    …e conversions
    @JakobDegen
    JakobDegen committed Apr 11, 2022
    Configuration menu
    Copy the full SHA
    411ae6f View commit details
    Browse the repository at this point in the history

  10. Add more clarifications in response to Ralf's comments

    @JakobDegen
    JakobDegen committed Apr 11, 2022
    Configuration menu
    Copy the full SHA
    4bce639 View commit details
    Browse the repository at this point in the history

  11. Remove rule that place loads may not happen with variant index set

    @JakobDegen
    JakobDegen committed Apr 11, 2022
    Configuration menu
    Copy the full SHA
    8732bf5 View commit details
    Browse the repository at this point in the history