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

analyze: new implementation of MIR-to-HIR rewrite lifting #934

Merged
merged 38 commits into from
Jun 12, 2023
Merged

analyze: new implementation of MIR-to-HIR rewrite lifting #934

merged 38 commits into from
Jun 12, 2023

Commits on Jun 9, 2023

  1. analyze: refactor: separate rewrite generation from "final labeling" … 

    …printing
    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    4a47b94 View commit details
    Browse the repository at this point in the history

  2. analyze: rewrite::mir_op: adjust SubLocs of some rewrite cases

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    a8e4d7d View commit details
    Browse the repository at this point in the history

  3. analyze: rewrite::mir_op: rename SubLoc::AssignRvalue -> Rvalue

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    02851b0 View commit details
    Browse the repository at this point in the history

  4. analyze: rewrite: add SpanIndex::lookup_exact method

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    811ad8d View commit details
    Browse the repository at this point in the history

  5. analyze: add rewrite::expr::unlower module

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    a349652 View commit details
    Browse the repository at this point in the history

  6. analyze: unlower: ignore uninteresting stmts like StorageLive

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    4061e61 View commit details
    Browse the repository at this point in the history

  7. analyze: unlower: handle hir ExprKind::MethodCall

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    924df79 View commit details
    Browse the repository at this point in the history

  8. analyze: rewrite::mir_op: don't use SubLoc::Rvalue for CellSet

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    1f0807c View commit details
    Browse the repository at this point in the history

  9. analyze: add rewrite::expr::distribute module

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    c978de4 View commit details
    Browse the repository at this point in the history

  10. analyze: add rewrite::expr::convert module

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    cdfc0e9 View commit details
    Browse the repository at this point in the history

  11. analyze: rewrite::expr: compare old and new rewrite generation strate… 

    …gies
    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    e2a195b View commit details
    Browse the repository at this point in the history

  12. analyze: remove old rewrite::expr::hir_op module

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    fc85bc8 View commit details
    Browse the repository at this point in the history

  13. analyze: fix warnings

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    e864b25 View commit details
    Browse the repository at this point in the history

  14. analyze: rewrite::expr: add examples to unlower and distribute doc co… 

    …mments
    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    0f5936a View commit details
    Browse the repository at this point in the history

  15. analyze: apply suggestions from code review 

    Co-authored-by: Khyber Sen <kkysen@gmail.com>
    @spernsteiner @kkysen
    spernsteiner and kkysen committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    4e75ebf View commit details
    Browse the repository at this point in the history

  16. analyze: rewrite::expr: move doc comments from modules to functions

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    537b80a View commit details
    Browse the repository at this point in the history

  17. analyze: rewrite::unlower: expand explanation of unlowering map

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    8299e42 View commit details
    Browse the repository at this point in the history

  18. analyze: rewrite::unlower: rename v -> visitor

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    bed0a5b View commit details
    Browse the repository at this point in the history

  19. analyze: rewrite::unlower: use capturing println! in debug output

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    d59f563 View commit details
    Browse the repository at this point in the history

  20. analyze: rewrite::unlower: explain use of BTreeMap

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    e328e65 View commit details
    Browse the repository at this point in the history

  21. analyze: apply suggestions from code review 

    Co-authored-by: Khyber Sen <kkysen@gmail.com>
    @spernsteiner @kkysen
    spernsteiner and kkysen committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    82e8267 View commit details
    Browse the repository at this point in the history

  22. analyze: rewrite::unlower: clean up some matches

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    4083d8c View commit details
    Browse the repository at this point in the history

  23. analyze: rewrite::unlower: remove unused &Self argument

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    81dd6eb View commit details
    Browse the repository at this point in the history

  24. analyze: rewrite::unlower: remove default capacity from a Vec

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    0eee00b View commit details
    Browse the repository at this point in the history

  25. analyze: rewrite: update reference to hir_op in comment

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    400fbba View commit details
    Browse the repository at this point in the history

  26. analyze: rewrite::unlower: factor out debug prints

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    8311311 View commit details
    Browse the repository at this point in the history

  27. analyze: rewrite::unlower: remove self arg from fn is_var

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    e056910 View commit details
    Browse the repository at this point in the history

  28. analyze: rewrite::unlower: rename mir_map -> unlower_map

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    c8d1fcb View commit details
    Browse the repository at this point in the history

  29. analyze: apply suggestions from code review 

    Co-authored-by: Khyber Sen <kkysen@gmail.com>
    @spernsteiner @kkysen
    spernsteiner and kkysen committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    005e016 View commit details
    Browse the repository at this point in the history

  30. analyze: rewrite::expr: add PreciseLoc struct

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    aee48c4 View commit details
    Browse the repository at this point in the history

  31. analyze: rewrite::convert: remove commented-out code

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    38c0a51 View commit details
    Browse the repository at this point in the history

  32. analyze: rewrite::expr: adjust mir_op and remove hacks in distribute

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    fcce76c View commit details
    Browse the repository at this point in the history

  33. analyze: rewrite::expr: import intravisit::Visitor to simplify usage

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    b547838 View commit details
    Browse the repository at this point in the history

  34. analyze: apply suggestions from code review 

    Co-authored-by: David Anekstein <da@immunant.com>
    @spernsteiner @aneksteind
    spernsteiner and aneksteind committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    d9ba82d View commit details
    Browse the repository at this point in the history

  35. analyze: rewrite::unlower: detailed comment about Call's extra locations

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    0f9df78 View commit details
    Browse the repository at this point in the history

  36. analyze: rewrite::distribute: clarify comment about possible errors

    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    90e8ae6 View commit details
    Browse the repository at this point in the history

  37. analyze: rewrite::span_index: use iterator chains instead of explicit… 

    … Iter structs
    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    e4c062c View commit details
    Browse the repository at this point in the history

  38. analyze: rewrite::distribute: refactor a loop to use itertools all_eq… 

    …ual()
    @spernsteiner
    spernsteiner committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    2100f0f View commit details
    Browse the repository at this point in the history