diff options
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/compare-signs.ll | 7 | ||||
| -rw-r--r-- | llvm/test/Transforms/InstCombine/or.ll | 14 |
2 files changed, 7 insertions, 14 deletions
diff --git a/llvm/test/Transforms/InstCombine/compare-signs.ll b/llvm/test/Transforms/InstCombine/compare-signs.ll index bec0614e92e..7eb62fe7ad4 100644 --- a/llvm/test/Transforms/InstCombine/compare-signs.ll +++ b/llvm/test/Transforms/InstCombine/compare-signs.ll @@ -67,14 +67,9 @@ define i1 @test4a(i32 %a) { ret i1 %c } -; FIXME: Vectors should fold too. define <2 x i1> @test4a_vec(<2 x i32> %a) { ; CHECK-LABEL: @test4a_vec( -; CHECK-NEXT: [[L:%.*]] = ashr <2 x i32> %a, <i32 31, i32 31> -; CHECK-NEXT: [[NA:%.*]] = sub <2 x i32> zeroinitializer, %a -; CHECK-NEXT: [[R:%.*]] = lshr <2 x i32> [[NA]], <i32 31, i32 31> -; CHECK-NEXT: [[SIGNUM:%.*]] = or <2 x i32> [[L]], [[R]] -; CHECK-NEXT: [[C:%.*]] = icmp slt <2 x i32> [[SIGNUM]], <i32 1, i32 1> +; CHECK-NEXT: [[C:%.*]] = icmp slt <2 x i32> %a, <i32 1, i32 1> ; CHECK-NEXT: ret <2 x i1> [[C]] ; %l = ashr <2 x i32> %a, <i32 31, i32 31> diff --git a/llvm/test/Transforms/InstCombine/or.ll b/llvm/test/Transforms/InstCombine/or.ll index 6e053908b84..b31e9a6d0a9 100644 --- a/llvm/test/Transforms/InstCombine/or.ll +++ b/llvm/test/Transforms/InstCombine/or.ll @@ -309,10 +309,9 @@ define i1 @test27(i32* %A, i32* %B) { 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: [[TMP1:%.*]] = icmp eq <2 x i32*> %A, zeroinitializer +; CHECK-NEXT: [[TMP2:%.*]] = icmp eq <2 x i32*> %B, zeroinitializer +; CHECK-NEXT: [[E:%.*]] = and <2 x i1> [[TMP1]], [[TMP2]] ; CHECK-NEXT: ret <2 x i1> [[E]] ; %C1 = ptrtoint <2 x i32*> %A to <2 x i32> @@ -352,10 +351,9 @@ define i1 @test29(i32* %A, i32* %B) { 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: [[TMP1:%.*]] = icmp ne <2 x i32*> %A, zeroinitializer +; CHECK-NEXT: [[TMP2:%.*]] = icmp ne <2 x i32*> %B, zeroinitializer +; CHECK-NEXT: [[E:%.*]] = or <2 x i1> [[TMP1]], [[TMP2]] ; CHECK-NEXT: ret <2 x i1> [[E]] ; %C1 = ptrtoint <2 x i32*> %A to <2 x i32> |
