diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2021-04-14 08:48:47 -0400 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2021-04-14 08:57:53 -0400 |
| commit | 5ae5d25e38efad1d59ed97d969a5e930b58a5e16 (patch) | |
| tree | 4da9e4d641081b85f1cf7fcbafad7cbdd200abad /llvm/unittests/Analysis/ValueTrackingTest.cpp | |
| parent | 856c49d79c0d717fb3e9ff6deebfe740a4f752e2 (diff) | |
| download | llvm-5ae5d25e38efad1d59ed97d969a5e930b58a5e16.zip llvm-5ae5d25e38efad1d59ed97d969a5e930b58a5e16.tar.gz llvm-5ae5d25e38efad1d59ed97d969a5e930b58a5e16.tar.bz2 | |
[ValueTracking] match negative-stepping non-zero recurrence
This is pulled out of D100408.
This avoids a regression that would be exposed by making the
calling code from InstSimplify more efficient.
Diffstat (limited to 'llvm/unittests/Analysis/ValueTrackingTest.cpp')
| -rw-r--r-- | llvm/unittests/Analysis/ValueTrackingTest.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/unittests/Analysis/ValueTrackingTest.cpp b/llvm/unittests/Analysis/ValueTrackingTest.cpp index 85678bb..99a0f6d 100644 --- a/llvm/unittests/Analysis/ValueTrackingTest.cpp +++ b/llvm/unittests/Analysis/ValueTrackingTest.cpp @@ -1191,7 +1191,7 @@ TEST_F(ValueTrackingTest, isNonZeroRecurrence) { )"); DataLayout DL = M->getDataLayout(); AssumptionCache AC(*F); - EXPECT_FALSE(isKnownNonZero(A, DL, 0, &AC, CxtI)); + EXPECT_TRUE(isKnownNonZero(A, DL, 0, &AC, CxtI)); } TEST_F(ValueTrackingTest, KnownNonZeroFromDomCond) { |