projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0b36d1e) | patch
[ConstraintElim] Support signed decomposition of `add nsw`.
authorFlorian Hahn <flo@fhahn.com>
Sat, 15 Oct 2022 17:34:02 +0000 (18:34 +0100)
committerFlorian Hahn <flo@fhahn.com>
Sat, 15 Oct 2022 17:34:03 +0000 (18:34 +0100)
commitf12684d36ef3d9c40963993f3c891656ffa87f94
treeb644f5472275e5ea7181efeafcb630d2b9778a15tree | snapshot
parent0b36d1ef1f554ac115c7159b0311455c0d9d5569commit | diff
[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.
llvm/lib/Transforms/Scalar/ConstraintElimination.cpp diff | blob | history
llvm/test/Transforms/ConstraintElimination/add-nsw.ll diff | blob | history
llvm/test/Transforms/ConstraintElimination/mixed-signed-unsigned-predicates.ll diff | blob | history
Domain: System / Toolchain;