[all-commits] [llvm/llvm-project] 0823cb: [InstCombine] Fold (X << Y) / (X << Z) -> 1 << Y >...

[XChy via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0823cb791198c3a73f38fdf42be8c6c5325aaac2
      https://github.com/llvm/llvm-project/commit/0823cb791198c3a73f38fdf42be8c6c5325aaac2
  Author: XChy <xxs_chy at outlook.com>
  Date:   2023-10-15 (Sun, 15 Oct 2023)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp
    M llvm/test/Transforms/InstCombine/div-shift.ll

  Log Message:
  -----------
  [InstCombine] Fold (X << Y) / (X << Z) -> 1 << Y >> Z (#68863)

Resolve #68857.
Alive2 proofs:
[Whole proofs](https://alive2.llvm.org/ce/z/A5b85F)