diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2016-08-17 16:23:15 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2016-08-17 16:23:15 +0000 |
| commit | f636d762ed71c2f7a61c3374e2e75d99d105201f (patch) | |
| tree | 9303a0ad22a983bc05a0707704af1ed9aba7614f /llvm/test | |
| parent | fd5ac8a0ea6a13029aadc8feb37e5d021583f87f (diff) | |
| download | bcm5719-llvm-f636d762ed71c2f7a61c3374e2e75d99d105201f.tar.gz bcm5719-llvm-f636d762ed71c2f7a61c3374e2e75d99d105201f.zip | |
[InstCombine] add tests for missing vector icmp folds
llvm-svn: 278943
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/or.ll | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/or.ll b/llvm/test/Transforms/InstCombine/or.ll index 53cb48809fc..6e053908b84 100644 --- a/llvm/test/Transforms/InstCombine/or.ll +++ b/llvm/test/Transforms/InstCombine/or.ll @@ -307,6 +307,21 @@ define i1 @test27(i32* %A, i32* %B) { ret i1 %E } +define <2 x i1> @test27vec(<2 x i32*> %A, <2 x i32*> %B) { +; CHECK-LABEL: @test27vec( +; CHECK-NEXT: [[C1:%.*]] = ptrtoint <2 x i32*> %A to <2 x i32> +; CHECK-NEXT: [[C2:%.*]] = ptrtoint <2 x i32*> %B to <2 x i32> +; CHECK-NEXT: [[D:%.*]] = or <2 x i32> [[C1]], [[C2]] +; CHECK-NEXT: [[E:%.*]] = icmp eq <2 x i32> [[D]], zeroinitializer +; CHECK-NEXT: ret <2 x i1> [[E]] +; + %C1 = ptrtoint <2 x i32*> %A to <2 x i32> + %C2 = ptrtoint <2 x i32*> %B to <2 x i32> + %D = or <2 x i32> %C1, %C2 + %E = icmp eq <2 x i32> %D, zeroinitializer + ret <2 x i1> %E +} + ; PR5634 define i1 @test28(i32 %A, i32 %B) { ; CHECK-LABEL: @test28( @@ -335,6 +350,21 @@ define i1 @test29(i32* %A, i32* %B) { ret i1 %E } +define <2 x i1> @test29vec(<2 x i32*> %A, <2 x i32*> %B) { +; CHECK-LABEL: @test29vec( +; CHECK-NEXT: [[C1:%.*]] = ptrtoint <2 x i32*> %A to <2 x i32> +; CHECK-NEXT: [[C2:%.*]] = ptrtoint <2 x i32*> %B to <2 x i32> +; CHECK-NEXT: [[D:%.*]] = or <2 x i32> [[C1]], [[C2]] +; CHECK-NEXT: [[E:%.*]] = icmp ne <2 x i32> [[D]], zeroinitializer +; CHECK-NEXT: ret <2 x i1> [[E]] +; + %C1 = ptrtoint <2 x i32*> %A to <2 x i32> + %C2 = ptrtoint <2 x i32*> %B to <2 x i32> + %D = or <2 x i32> %C1, %C2 + %E = icmp ne <2 x i32> %D, zeroinitializer + ret <2 x i1> %E +} + ; PR4216 define i32 @test30(i32 %A) { ; CHECK-LABEL: @test30( |
