diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2017-04-14 18:19:27 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2017-04-14 18:19:27 +0000 |
| commit | 9d39a9d8604c599312931638bcac59e116aebe8a (patch) | |
| tree | 9c946b080a6f6ae452dd95e80c9d240959d169bf /llvm/test/Transforms/InstCombine/and2.ll | |
| parent | ffb997a8eba7421fa660fc6a969621eb6650fd16 (diff) | |
| download | bcm5719-llvm-9d39a9d8604c599312931638bcac59e116aebe8a.tar.gz bcm5719-llvm-9d39a9d8604c599312931638bcac59e116aebe8a.zip | |
[InstCombine] add/move tests for and/or-of-icmps equality folds; NFC
llvm-svn: 300357
Diffstat (limited to 'llvm/test/Transforms/InstCombine/and2.ll')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/and2.ll | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/llvm/test/Transforms/InstCombine/and2.ll b/llvm/test/Transforms/InstCombine/and2.ll index afaddb701a9..001ac58891e 100644 --- a/llvm/test/Transforms/InstCombine/and2.ll +++ b/llvm/test/Transforms/InstCombine/and2.ll @@ -45,21 +45,6 @@ define <4 x i32> @test5(<4 x i32> %A) { ret <4 x i32> %2 } -; Check that we combine "if x!=0 && x!=-1" into "if x+1u>1" -define i32 @test6(i64 %x) nounwind { -; CHECK-LABEL: @test6( -; CHECK-NEXT: [[X_OFF:%.*]] = add i64 %x, 1 -; CHECK-NEXT: [[X_CMP:%.*]] = icmp ugt i64 [[X_OFF]], 1 -; CHECK-NEXT: [[LAND_EXT:%.*]] = zext i1 [[X_CMP]] to i32 -; CHECK-NEXT: ret i32 [[LAND_EXT]] -; - %cmp1 = icmp ne i64 %x, -1 - %not.cmp = icmp ne i64 %x, 0 - %.cmp1 = and i1 %cmp1, %not.cmp - %land.ext = zext i1 %.cmp1 to i32 - ret i32 %land.ext -} - define i1 @test7(i32 %i, i1 %b) { ; CHECK-LABEL: @test7( ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i32 %i, 0 |
