RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-25 12:12:47 +01:00
Code Issues Projects Releases Wiki Activity

[ValueTracking] add unit test for isKnownNonZero(); NFC

Browse Source 
We call various value tracking APIs from within -instsimplify,
so I don't think this is visible in a larger test.
This commit is contained in:
Sanjay Patel 2021-04-13 14:46:21 -04:00
parent 6b742dbe16
commit aead0cfbc4
1 changed files with 21 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
unittests/Analysis/ValueTrackingTest.cpp
View File

@ -1173,6 +1173,27 @@ TEST_F(ComputeKnownBitsTest, ComputeKnownMulBits) {
expectKnownBits(/*zero*/ 95u, /*one*/ 32u);
}
TEST_F(ValueTrackingTest, isNonZeroRecurrence) {
parseAssembly(R"(
define i1 @test(i8 %n, i8 %r) {
entry:
br label %loop
loop:
%p = phi i8 [ -1, %entry ], [ %next, %loop ]
%next = add nsw i8 %p, -1
%cmp1 = icmp eq i8 %p, %n
br i1 %cmp1, label %exit, label %loop
exit:
%A = or i8 %p, %r
%CxtI = icmp eq i8 %A, 0
ret i1 %CxtI
}
)");
DataLayout DL = M->getDataLayout();
AssumptionCache AC(*F);
EXPECT_FALSE(isKnownNonZero(A, DL, 0, &AC, CxtI));
}
TEST_F(ValueTrackingTest, KnownNonZeroFromDomCond) {
parseAssembly(R"(
declare i8* @f_i8()