diff options
Diffstat (limited to 'llvm/test/Transforms/InstCombine/and.ll')
-rw-r--r-- | llvm/test/Transforms/InstCombine/and.ll | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/llvm/test/Transforms/InstCombine/and.ll b/llvm/test/Transforms/InstCombine/and.ll index 9a6ae74cc7e..5b48f330495 100644 --- a/llvm/test/Transforms/InstCombine/and.ll +++ b/llvm/test/Transforms/InstCombine/and.ll @@ -196,11 +196,9 @@ define i1 @test18(i32 %A) { ret i1 %C } -; FIXME: Vectors should fold the same way. define <2 x i1> @test18_vec(<2 x i32> %A) { ; CHECK-LABEL: @test18_vec( -; CHECK-NEXT: [[B:%.*]] = and <2 x i32> %A, <i32 -128, i32 -128> -; CHECK-NEXT: [[C:%.*]] = icmp ne <2 x i32> [[B]], zeroinitializer +; CHECK-NEXT: [[C:%.*]] = icmp ugt <2 x i32> %A, <i32 127, i32 127> ; CHECK-NEXT: ret <2 x i1> [[C]] ; %B = and <2 x i32> %A, <i32 -128, i32 -128> @@ -218,11 +216,9 @@ define i1 @test18a(i8 %A) { ret i1 %C } -; FIXME: Vectors should fold the same way. define <2 x i1> @test18a_vec(<2 x i8> %A) { ; CHECK-LABEL: @test18a_vec( -; CHECK-NEXT: [[B:%.*]] = and <2 x i8> %A, <i8 -2, i8 -2> -; CHECK-NEXT: [[C:%.*]] = icmp eq <2 x i8> [[B]], zeroinitializer +; CHECK-NEXT: [[C:%.*]] = icmp ult <2 x i8> %A, <i8 2, i8 2> ; CHECK-NEXT: ret <2 x i1> [[C]] ; %B = and <2 x i8> %A, <i8 -2, i8 -2> |