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

Add new MIR constant propagation based on dataflow analysis #101168

Merged
merged 76 commits into from
Nov 15, 2022
Merged

Add new MIR constant propagation based on dataflow analysis #101168

merged 76 commits into from
Nov 15, 2022

Commits on Nov 7, 2022

  1. Add initial version of value analysis and dataflow constant propagation

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    4f9c30f View commit details
    Browse the repository at this point in the history

  2. Try field type normalization instead of forcing it

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    d0afe68 View commit details
    Browse the repository at this point in the history

  3. Update test results

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    601fcc4 View commit details
    Browse the repository at this point in the history

  4. Fix spelling

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    56ff16d View commit details
    Browse the repository at this point in the history

  5. Update test results

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    93ee806 View commit details
    Browse the repository at this point in the history

  6. Remove empty test

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    c83489c View commit details
    Browse the repository at this point in the history

  7. Clarify registration and tracking of references

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    bb16397 View commit details
    Browse the repository at this point in the history

  8. Add additional flooding when assigning a value and corresponding test

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    2928694 View commit details
    Browse the repository at this point in the history

  9. Begin a semi-formal argument for correctness

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    e75ad93 View commit details
    Browse the repository at this point in the history

  10. Change test from usize to i32 to prevent target issues

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    1da3033 View commit details
    Browse the repository at this point in the history

  11. Clarify place expressions vs place objects

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    3f98dc7 View commit details
    Browse the repository at this point in the history

  12. Move handling of references and simplify flooding

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    ad99d2e View commit details
    Browse the repository at this point in the history

  13. Flood with bottom instead of top for unreachable branches

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    47a00d5 View commit details
    Browse the repository at this point in the history

  14. Reject registration of downcasts for now

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    8a789ce View commit details
    Browse the repository at this point in the history

  15. Update other test results

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    469fb19 View commit details
    Browse the repository at this point in the history

  16. Ignore terminators explicitly

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    16dedba View commit details
    Browse the repository at this point in the history

  17. Add tracking of unreachability

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    fe84bbf View commit details
    Browse the repository at this point in the history

  18. Rebase onto master

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    f234419 View commit details
    Browse the repository at this point in the history

  19. Remove leftover test files

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    895181b View commit details
    Browse the repository at this point in the history

  20. Add more documentation

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    2e4d082 View commit details
    Browse the repository at this point in the history

  21. Remove superfluous line

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    2113e45 View commit details
    Browse the repository at this point in the history

  22. Flood place on drop

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    904adca View commit details
    Browse the repository at this point in the history

  23. Use StorageDead and Deinit to flood place

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    1e5ca57 View commit details
    Browse the repository at this point in the history

  24. Add comment about downcast projection element

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    e2ddf8a View commit details
    Browse the repository at this point in the history

  25. Handle StorageLive

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    817c277 View commit details
    Browse the repository at this point in the history

  26. Track Scalar instead of ScalarInt for const prop

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    bc82c13 View commit details
    Browse the repository at this point in the history

  27. Only allow registration of scalars for now

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    13b7059 View commit details
    Browse the repository at this point in the history

  28. Add tests from current const prop

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    6868617 View commit details
    Browse the repository at this point in the history

  29. Update test results

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    4cda6e5 View commit details
    Browse the repository at this point in the history

  30. Add some more unit-test directives

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    97a69a7 View commit details
    Browse the repository at this point in the history

  31. Fix typo

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    c56e99c View commit details
    Browse the repository at this point in the history

  32. Update test results after rebase

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    f99950f View commit details
    Browse the repository at this point in the history

  33. Handle NonDivergingIntrinsic and CopyNonOverlapping

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    eab7732 View commit details
    Browse the repository at this point in the history

  34. Flood with bottom for Deinit, StorageLive and StorageDead

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    2f66e94 View commit details
    Browse the repository at this point in the history

  35. Make more assumptions explicit

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    b5063ab View commit details
    Browse the repository at this point in the history

  36. Only track (trivially) freeze types

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    1765587 View commit details
    Browse the repository at this point in the history

  37. Remove Unknown state in favor of Value(Top)

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    7ab1ba9 View commit details
    Browse the repository at this point in the history

  38. Fix formatting

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    4478a87 View commit details
    Browse the repository at this point in the history

  39. Prevent registration inside references if target is !Freeze

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    111324e View commit details
    Browse the repository at this point in the history

  40. Only assume Stacked Borrows if -Zunsound-mir-opts is given

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    3c0f3b0 View commit details
    Browse the repository at this point in the history

  41. Add tests for Stacked Borrows behavior

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    7a52e73 View commit details
    Browse the repository at this point in the history

  42. Improve example used for SB tests

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    b9dbb81 View commit details
    Browse the repository at this point in the history

  43. Use the same is_enabled as the current const prop

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    5696d06 View commit details
    Browse the repository at this point in the history

  44. Add comment for the current retag situation

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    aaa35b3 View commit details
    Browse the repository at this point in the history

  45. Fix rebased CastKind

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    890fae9 View commit details
    Browse the repository at this point in the history

  46. Update issue-50814.rs test result

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    8bed0b5 View commit details
    Browse the repository at this point in the history

  47. Update test results

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    1dde908 View commit details
    Browse the repository at this point in the history

  48. Make overflow flag propagation conditional

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    be9013f View commit details
    Browse the repository at this point in the history

  49. Make overflow handling more precise

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    931d99f View commit details
    Browse the repository at this point in the history

  50. Improve documentation, plus some small changes

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    274a491 View commit details
    Browse the repository at this point in the history

  51. Fix unimplemented binary_ptr_op

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    062053b View commit details
    Browse the repository at this point in the history

  52. Improve documentation of assumptions

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    5b7b309 View commit details
    Browse the repository at this point in the history

  53. Prevent propagation of overflow if overflow occured

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    d86acdd View commit details
    Browse the repository at this point in the history

  54. Explicitly match all terminators

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    de69d08 View commit details
    Browse the repository at this point in the history

  55. Use ParamEnv consistently

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    efc7ca8 View commit details
    Browse the repository at this point in the history

  56. Small documentation changes

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    f29533b View commit details
    Browse the repository at this point in the history

  57. Move HasTop and HasBottom into lattice.rs

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    1f82a9f View commit details
    Browse the repository at this point in the history

  58. Remove copy of current const prop tests and add a few new tests

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    da4a40f View commit details
    Browse the repository at this point in the history

  59. Limit number of tracked places, and some other perf improvements

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    630e17d View commit details
    Browse the repository at this point in the history

  60. Use new cast methods

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    b478fcf View commit details
    Browse the repository at this point in the history

  61. Limit number of basic blocks and tracked places to 100 for now

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    72196ee View commit details
    Browse the repository at this point in the history

  62. Small corrections of documentation

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    89f9349 View commit details
    Browse the repository at this point in the history

  63. Fix rebase

    @jachris
    jachris committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    3997893 View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2022

  1. Completely remove tracking of references for now

    @jachris
    jachris committed Nov 9, 2022
    Configuration menu
    Copy the full SHA
    bfbca6c View commit details
    Browse the repository at this point in the history

  2. Fix struct field tracking and add tests for it

    @jachris
    jachris committed Nov 9, 2022
    Configuration menu
    Copy the full SHA
    9766ee0 View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2022

  1. Simplify creation of map

    @jachris
    jachris committed Nov 10, 2022
    Configuration menu
    Copy the full SHA
    8ecb276 View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2022

  1. Add test for repr(transparent) with scalar

    @jachris
    jachris committed Nov 11, 2022
    Configuration menu
    Copy the full SHA
    3c6d1a7 View commit details
    Browse the repository at this point in the history

Commits on Nov 12, 2022

  1. Add comment for guessed constants

    @jachris
    jachris committed Nov 12, 2022
    Configuration menu
    Copy the full SHA
    b3f6489 View commit details
    Browse the repository at this point in the history

  2. Exclude locals completely, instead of individual places

    @jachris
    jachris committed Nov 12, 2022
    Configuration menu
    Copy the full SHA
    2e034dc View commit details
    Browse the repository at this point in the history

  3. Require -Zmir-opt-level >= 3 for now

    @jachris
    jachris committed Nov 12, 2022
    Configuration menu
    Copy the full SHA
    74d53ab View commit details
    Browse the repository at this point in the history

  4. Partially revert 74d53ab

    @jachris
    jachris committed Nov 12, 2022
    Configuration menu
    Copy the full SHA
    abe31a9 View commit details
    Browse the repository at this point in the history

  5. Expand upon comment regarding self-assignment

    @jachris
    jachris committed Nov 12, 2022
    Configuration menu
    Copy the full SHA
    d66a00a View commit details
    Browse the repository at this point in the history

  6. Disable limits if mir-opt-level >= 4

    @jachris
    jachris committed Nov 12, 2022
    Configuration menu
    Copy the full SHA
    ea23585 View commit details
    Browse the repository at this point in the history

  7. Remove log statement that was commented out

    @jachris
    jachris committed Nov 12, 2022
    Configuration menu
    Copy the full SHA
    108790b View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2022

  1. Remove redundant graphviz escaping

    @jachris
    jachris committed Nov 14, 2022
    Configuration menu
    Copy the full SHA
    c27ddc9 View commit details
    Browse the repository at this point in the history

  2. Bless graphviz tests

    @jachris
    jachris committed Nov 14, 2022
    Configuration menu
    Copy the full SHA
    24d2e90 View commit details
    Browse the repository at this point in the history