diff options
| author | Florian Hahn <flo@fhahn.com> | 2025-07-23 10:33:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-23 09:33:34 +0100 |
| commit | 6c50e2b2dda185816b3a4d65cef6771dad5113d8 (patch) | |
| tree | 927d57d079f087e291db18a926aeb585e4447310 /clang/lib/CodeGen/CodeGenModule.cpp | |
| parent | 39b9891fc9adb23a1894b2aeea1f5577892a40fe (diff) | |
| download | llvm-6c50e2b2dda185816b3a4d65cef6771dad5113d8.zip llvm-6c50e2b2dda185816b3a4d65cef6771dad5113d8.tar.gz llvm-6c50e2b2dda185816b3a4d65cef6771dad5113d8.tar.bz2 | |
[SCEV] Don't require NUW at first add when checking A+C1 < (A+C2)<nuw> (#149795)
Relax the NUW requirements for isKnownPredicateViaNoOverflow, if the
second operand (Y) is an ADD. The code only simplifies the condition if
C1 < C2, so if the second ADD is NUW, it doesn't matter whether the
first operand also has the NUW flag, as it cannot wrap if C1 < C2.
https://alive2.llvm.org/ce/z/b3dM7N
PR: https://github.com/llvm/llvm-project/pull/149795
Diffstat (limited to 'clang/lib/CodeGen/CodeGenModule.cpp')
0 files changed, 0 insertions, 0 deletions