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

Validate constants during const_eval_raw #74949

Merged
merged 18 commits into from
Sep 20, 2020
Merged

Validate constants during const_eval_raw #74949

merged 18 commits into from
Sep 20, 2020

Commits on Sep 19, 2020

  1. Validate constants during const_eval_raw

    @oli-obk
    oli-obk committed Sep 19, 2020
    Configuration menu
    Copy the full SHA
    083f1d7 View commit details
    Browse the repository at this point in the history

  2. Stop using the const_eval query for initializers of statics 

    As a side effect, we now represent most promoteds as `ConstValue::Scalar` again. This is useful because all implict promoteds are just references anyway and most explicit promoteds are numeric arguments to `asm!` or SIMD instructions.
    @oli-obk
    oli-obk committed Sep 19, 2020
    Configuration menu
    Copy the full SHA
    2d7ac72 View commit details
    Browse the repository at this point in the history

  3. Update codegen tests

    @oli-obk
    oli-obk committed Sep 19, 2020
    Configuration menu
    Copy the full SHA
    6d3c7bb View commit details
    Browse the repository at this point in the history

  4. Document op_to_const's purpose

    @oli-obk
    oli-obk committed Sep 19, 2020
    Configuration menu
    Copy the full SHA
    4397d66 View commit details
    Browse the repository at this point in the history

  5. turn_into_const is infallible

    @oli-obk
    oli-obk committed Sep 19, 2020
    Configuration menu
    Copy the full SHA
    b1bd34d View commit details
    Browse the repository at this point in the history

  6. Replace and_then map_err and_then chain with a match

    @oli-obk
    oli-obk committed Sep 19, 2020
    Configuration menu
    Copy the full SHA
    48f366f View commit details
    Browse the repository at this point in the history

  7. Clarify a statement in UB test

    @oli-obk
    oli-obk committed Sep 19, 2020
    Configuration menu
    Copy the full SHA
    a6c60bb View commit details
    Browse the repository at this point in the history

  8. Do not call the const_eval query in mir interpretation except for c… 

    …aching of nulary intrinsics
    @oli-obk
    oli-obk committed Sep 19, 2020
    Configuration menu
    Copy the full SHA
    dd9702a View commit details
    Browse the repository at this point in the history

  9. We can make const eval sound, it's just super expensive

    @oli-obk
    oli-obk committed Sep 19, 2020
    Configuration menu
    Copy the full SHA
    40c2087 View commit details
    Browse the repository at this point in the history

  10. Rename const eval queries to reflect the validation changes

    @oli-obk
    oli-obk committed Sep 19, 2020
    Configuration menu
    Copy the full SHA
    69a6be7 View commit details
    Browse the repository at this point in the history

  11. Unify the names of const eval queries and their return types

    @oli-obk
    oli-obk committed Sep 19, 2020
    Configuration menu
    Copy the full SHA
    888afd5 View commit details
    Browse the repository at this point in the history

  12. Fix rebase fallout and make the test work with debug info

    @oli-obk
    oli-obk committed Sep 19, 2020
    Configuration menu
    Copy the full SHA
    90708c1 View commit details
    Browse the repository at this point in the history

  13. Address review comments

    @oli-obk
    oli-obk committed Sep 19, 2020
    Configuration menu
    Copy the full SHA
    182ed85 View commit details
    Browse the repository at this point in the history

  14. Rustfmt

    @oli-obk
    oli-obk committed Sep 19, 2020
    Configuration menu
    Copy the full SHA
    c3c8c98 View commit details
    Browse the repository at this point in the history

  15. Update compile-fail tests

    @oli-obk
    oli-obk committed Sep 19, 2020
    Configuration menu
    Copy the full SHA
    ef04e68 View commit details
    Browse the repository at this point in the history

  16. Update incremental tests

    @oli-obk
    oli-obk committed Sep 19, 2020
    Configuration menu
    Copy the full SHA
    c5889e4 View commit details
    Browse the repository at this point in the history

  17. Reflect the "do not call this query directly" mentality in its name

    @oli-obk
    oli-obk committed Sep 19, 2020
    Configuration menu
    Copy the full SHA
    b8e6883 View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2020

  1. Make codegen test bitwidth-independent

    @oli-obk
    oli-obk committed Sep 20, 2020
    Configuration menu
    Copy the full SHA
    34785fc View commit details
    Browse the repository at this point in the history