[llvm] a6097ce - [NFC][InstCombine] Negator: tests for insertelement negation

[Roman Lebedev via llvm-commits]

Author: Roman Lebedev
Date: 2020-05-20T21:44:31+03:00
New Revision: a6097cebe9cd0887478cb81f9b09f1c48ae13b4f

URL: https://github.com/llvm/llvm-project/commit/a6097cebe9cd0887478cb81f9b09f1c48ae13b4f
DIFF: https://github.com/llvm/llvm-project/commit/a6097cebe9cd0887478cb81f9b09f1c48ae13b4f.diff

LOG: [NFC][InstCombine] Negator: tests for insertelement negation

Added: 
    

Modified: 
    llvm/test/Transforms/InstCombine/sub-of-negatible.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstCombine/sub-of-negatible.ll b/llvm/test/Transforms/InstCombine/sub-of-negatible.ll
index d18e49be8581..7ff52c7f9e73 100644
--- a/llvm/test/Transforms/InstCombine/sub-of-negatible.ll
+++ b/llvm/test/Transforms/InstCombine/sub-of-negatible.ll
@@ -947,3 +947,59 @@ define i4 @negate_extractelement_extrause(<2 x i4> %x, i32 %y, i4 %z) {
   %t2 = sub i4 %z, %t1
   ret i4 %t2
 }
+
+; `insertelement` is negatible if both source vector and element-to-be-inserted are negatible.
+define <2 x i4> @negate_insertelement(<2 x i4> %src, i4 %a, i32 %x, <2 x i4> %b) {
+; CHECK-LABEL: @negate_insertelement(
+; CHECK-NEXT:    [[T0:%.*]] = sub <2 x i4> zeroinitializer, [[SRC:%.*]]
+; CHECK-NEXT:    [[T1:%.*]] = sub i4 0, [[A:%.*]]
+; CHECK-NEXT:    [[T2:%.*]] = insertelement <2 x i4> [[T0]], i4 [[T1]], i32 [[X:%.*]]
+; CHECK-NEXT:    [[T3:%.*]] = sub <2 x i4> [[B:%.*]], [[T2]]
+; CHECK-NEXT:    ret <2 x i4> [[T3]]
+;
+  %t0 = sub <2 x i4> zeroinitializer, %src
+  %t1 = sub i4 zeroinitializer, %a
+  %t2 = insertelement <2 x i4> %t0, i4 %t1, i32 %x
+  %t3 = sub <2 x i4> %b, %t2
+  ret <2 x i4> %t3
+}
+define <2 x i4> @negate_insertelement_extrause(<2 x i4> %src, i4 %a, i32 %x, <2 x i4> %b) {
+; CHECK-LABEL: @negate_insertelement_extrause(
+; CHECK-NEXT:    [[T0:%.*]] = sub <2 x i4> zeroinitializer, [[SRC:%.*]]
+; CHECK-NEXT:    [[T1:%.*]] = sub i4 0, [[A:%.*]]
+; CHECK-NEXT:    [[T2:%.*]] = insertelement <2 x i4> [[T0]], i4 [[T1]], i32 [[X:%.*]]
+; CHECK-NEXT:    call void @use_v2i4(<2 x i4> [[T2]])
+; CHECK-NEXT:    [[T3:%.*]] = sub <2 x i4> [[B:%.*]], [[T2]]
+; CHECK-NEXT:    ret <2 x i4> [[T3]]
+;
+  %t0 = sub <2 x i4> zeroinitializer, %src
+  %t1 = sub i4 zeroinitializer, %a
+  %t2 = insertelement <2 x i4> %t0, i4 %t1, i32 %x
+  call void @use_v2i4(<2 x i4> %t2)
+  %t3 = sub <2 x i4> %b, %t2
+  ret <2 x i4> %t3
+}
+define <2 x i4> @negate_insertelement_nonnegatible_base(<2 x i4> %src, i4 %a, i32 %x, <2 x i4> %b) {
+; CHECK-LABEL: @negate_insertelement_nonnegatible_base(
+; CHECK-NEXT:    [[T1:%.*]] = sub i4 0, [[A:%.*]]
+; CHECK-NEXT:    [[T2:%.*]] = insertelement <2 x i4> [[SRC:%.*]], i4 [[T1]], i32 [[X:%.*]]
+; CHECK-NEXT:    [[T3:%.*]] = sub <2 x i4> [[B:%.*]], [[T2]]
+; CHECK-NEXT:    ret <2 x i4> [[T3]]
+;
+  %t1 = sub i4 zeroinitializer, %a
+  %t2 = insertelement <2 x i4> %src, i4 %t1, i32 %x
+  %t3 = sub <2 x i4> %b, %t2
+  ret <2 x i4> %t3
+}
+define <2 x i4> @negate_insertelement_nonnegatible_insert(<2 x i4> %src, i4 %a, i32 %x, <2 x i4> %b) {
+; CHECK-LABEL: @negate_insertelement_nonnegatible_insert(
+; CHECK-NEXT:    [[T0:%.*]] = sub <2 x i4> zeroinitializer, [[SRC:%.*]]
+; CHECK-NEXT:    [[T2:%.*]] = insertelement <2 x i4> [[T0]], i4 [[A:%.*]], i32 [[X:%.*]]
+; CHECK-NEXT:    [[T3:%.*]] = sub <2 x i4> [[B:%.*]], [[T2]]
+; CHECK-NEXT:    ret <2 x i4> [[T3]]
+;
+  %t0 = sub <2 x i4> zeroinitializer, %src
+  %t2 = insertelement <2 x i4> %t0, i4 %a, i32 %x
+  %t3 = sub <2 x i4> %b, %t2
+  ret <2 x i4> %t3
+}