[all-commits] [llvm/llvm-project] dfe1d3: [InstCombine] Propagate NSW/NUW flags for `(X - Y)...

[Yingwei Zheng via All-commits]

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

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineAddSub.cpp
    M llvm/test/Transforms/InstCombine/sub-from-sub.ll

  Log Message:
  -----------
  [InstCombine] Propagate NSW/NUW flags for `(X - Y) - Z -> X - (Y + Z)` (#72693)

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

Related patch:
https://github.com/llvm/llvm-project/commit/31d219d2997fed1b7dc97e0adf170d5aaf65883e