[all-commits] [llvm/llvm-project] a2cf44: [InstCombine] Propagate NUW flags for `shl (lshr X...

[Yingwei Zheng via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a2cf44b72cbf9361f37dd6f680502bb18070cba3
      https://github.com/llvm/llvm-project/commit/a2cf44b72cbf9361f37dd6f680502bb18070cba3
  Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
  Date:   2023-11-20 (Mon, 20 Nov 2023)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineShifts.cpp
    M llvm/test/Transforms/InstCombine/canonicalize-lshr-shl-to-masking.ll
    M llvm/test/Transforms/InstCombine/known-signbit-shift.ll

  Log Message:
  -----------
  [InstCombine] Propagate NUW flags for `shl (lshr X, C1), C2 -> shl X, C2-C1` (#72525)

Alive2: https://alive2.llvm.org/ce/z/KNXNQA