[all-commits] [llvm/llvm-project] f12684: [ConstraintElim] Support signed decomposition of `...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f12684d36ef3d9c40963993f3c891656ffa87f94
      https://github.com/llvm/llvm-project/commit/f12684d36ef3d9c40963993f3c891656ffa87f94
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2022-10-15 (Sat, 15 Oct 2022)

  Changed paths:
    M llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
    M llvm/test/Transforms/ConstraintElimination/add-nsw.ll
    M llvm/test/Transforms/ConstraintElimination/mixed-signed-unsigned-predicates.ll

  Log Message:
  -----------
  [ConstraintElim] Support signed decomposition of `add nsw`.

Add support decomposition for `add nsw` for signed queries.
`add nsw` won't wrap and can be directly added to the signed
system.