diff options
| author | Matt Arsenault <Matthew.Arsenault@amd.com> | 2022-12-03 22:49:47 -0500 |
|---|---|---|
| committer | Matt Arsenault <Matthew.Arsenault@amd.com> | 2022-12-05 08:39:07 -0500 |
| commit | dbca874faa503f22110ed848eea019c8da90b7f4 (patch) | |
| tree | 5c40279ebcb87e062139116061d37643d9c1b20d /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | db0f258479e3bdf3db9fb231d8f3f2fa05a41e0b (diff) | |
| download | llvm-dbca874faa503f22110ed848eea019c8da90b7f4.zip llvm-dbca874faa503f22110ed848eea019c8da90b7f4.tar.gz llvm-dbca874faa503f22110ed848eea019c8da90b7f4.tar.bz2 | |
ValueTracking: Teach CannotBeOrderedLessThanZero about trivial ops
Handle canonicalize and arithmetic.fence
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index e86e9d1..0e4ca6a 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -3653,6 +3653,9 @@ static bool cannotBeOrderedLessThanZeroImpl(const Value *V, switch (IID) { default: break; + case Intrinsic::canonicalize: + case Intrinsic::arithmetic_fence: + return cannotBeOrderedLessThanZeroImpl(I->getOperand(0), TLI, SignBitOnly, Depth + 1); case Intrinsic::maxnum: { Value *V0 = I->getOperand(0), *V1 = I->getOperand(1); auto isPositiveNum = [&](Value *V) { |