OSDN Git Service

[NFC] Update shl-sub tests
authorDavid Bolvansky <david.bolvansky@gmail.com>
Fri, 21 Jun 2019 17:51:18 +0000 (17:51 +0000)
committerDavid Bolvansky <david.bolvansky@gmail.com>
Fri, 21 Jun 2019 17:51:18 +0000 (17:51 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@364083 91177308-0d34-0410-b5e6-96231b3b80d8

test/Transforms/InstCombine/shl-sub.ll

index fc2939e..4845474 100644 (file)
@@ -54,6 +54,16 @@ define <2 x i64> @shl_sub_i64_vec(<2 x i64> %x) {
   ret <2 x i64> %r
 }
 
+define <3 x i64> @shl_sub_i64_vec_undef(<3 x i64> %x) {
+; CHECK-LABEL: @shl_sub_i64_vec_undef(
+; CHECK-NEXT:    [[R:%.*]] = lshr <3 x i64> <i64 -9223372036854775808, i64 -9223372036854775808, i64 -9223372036854775808>, [[X:%.*]]
+; CHECK-NEXT:    ret <3 x i64> [[R]]
+;
+  %s = sub <3 x i64> <i64 63, i64 63, i64 63>, %x
+  %r = shl <3 x i64> <i64 1, i64 undef, i64 1>, %s
+  ret <3 x i64> %r
+}
+
 ; Negative tests
 
 define i32 @shl_bad_sub_i32(i32 %x) {
@@ -144,8 +154,8 @@ define <2 x i64> @bad_shl_sub_i64_vec(<2 x i64> %x) {
   ret <2 x i64> %r
 }
 
-define <3 x i64> @shl_sub_i64_vec_undef0(<3 x i64> %x) {
-; CHECK-LABEL: @shl_sub_i64_vec_undef0(
+define <3 x i64> @shl_sub_i64_vec_undef_bad(<3 x i64> %x) {
+; CHECK-LABEL: @shl_sub_i64_vec_undef_bad(
 ; CHECK-NEXT:    [[S:%.*]] = sub <3 x i64> <i64 63, i64 undef, i64 63>, [[X:%.*]]
 ; CHECK-NEXT:    [[R:%.*]] = shl <3 x i64> <i64 1, i64 1, i64 1>, [[S]]
 ; CHECK-NEXT:    ret <3 x i64> [[R]]
@@ -155,19 +165,8 @@ define <3 x i64> @shl_sub_i64_vec_undef0(<3 x i64> %x) {
   ret <3 x i64> %r
 }
 
-define <3 x i64> @shl_sub_i64_vec_undef1(<3 x i64> %x) {
-; CHECK-LABEL: @shl_sub_i64_vec_undef1(
-; CHECK-NEXT:    [[S:%.*]] = sub <3 x i64> <i64 63, i64 undef, i64 63>, [[X:%.*]]
-; CHECK-NEXT:    [[R:%.*]] = shl <3 x i64> <i64 1, i64 undef, i64 1>, [[S]]
-; CHECK-NEXT:    ret <3 x i64> [[R]]
-;
-  %s = sub <3 x i64> <i64 63, i64 undef, i64 63>, %x
-  %r = shl <3 x i64> <i64 1, i64 undef, i64 1>, %s
-  ret <3 x i64> %r
-}
-
-define <3 x i64> @shl_sub_i64_vec_undef2(<3 x i64> %x) {
-; CHECK-LABEL: @shl_sub_i64_vec_undef2(
+define <3 x i64> @shl_sub_i64_vec_undef_bad2(<3 x i64> %x) {
+; CHECK-LABEL: @shl_sub_i64_vec_undef_bad2(
 ; CHECK-NEXT:    [[S:%.*]] = sub <3 x i64> <i64 63, i64 undef, i64 63>, [[X:%.*]]
 ; CHECK-NEXT:    [[R:%.*]] = shl <3 x i64> <i64 1, i64 undef, i64 1>, [[S]]
 ; CHECK-NEXT:    ret <3 x i64> [[R]]