Code

Implement jump threading MIR opt#107009

Code

Merged

bors merged 16 commits intorust-lang:masterrust-lang/rust:masterfrom cjgillot:jump-threadingcjgillot/rust:jump-threadingCopy head branch name to clipboardOct 23, 2023

+2,797-137

Commits

Commits on Oct 21, 2023

• Extract cost checker from inliner.

  cjgillot

  committed
  8252ad0

• Make instance an option in CostChecker.

  cjgillot

  committed
  3cb0c2e

• Implement JumpThreading pass.

  cjgillot

  committed
  751a079

• Do not thread through loop headers.

  cjgillot

  committed
  0d0a536

• Handle more terminators.

  cjgillot

  committed
  df9e5ee

• Improve naming and comments.

  cjgillot

  committed
  4abea83

• Document mutated_statement.

  cjgillot

  committed
  b5aa1ef

• Make polarity an enum.

  cjgillot

  committed
  4705624

• Document Condition.

  cjgillot

  committed
  98b86fa

• Rebase fallout.

  cjgillot

  committed
  6abd8f1

• Explicit notation.

  cjgillot

  committed
  d5b21ef

• Simplify static if handling.

  cjgillot

  committed
  66ec098

• Reword TO application comments.

  cjgillot

  committed
  54b61d6

• Correct loop_headers logic.

  cjgillot

  committed
  8fb99af

• FileCheck annotations.

  cjgillot

  committed
  a845bac

• Expand comment on disappearing edge.

  cjgillot

  committed
  dd08dd4