[llvm] 2b08bf2 - [PhaseOrdering][X86] Add matching test coverage to CodeGen haddsub.ll / phaddsub.ll (#207224)
via llvm-commits
llvm-commits at lists.llvm.org
Thu Jul 2 10:11:22 PDT 2026
Author: Simon Pilgrim
Date: 2026-07-02T17:11:17Z
New Revision: 2b08bf2858245e724bc5be18df9b32780702d5ff
URL: https://github.com/llvm/llvm-project/commit/2b08bf2858245e724bc5be18df9b32780702d5ff
DIFF: https://github.com/llvm/llvm-project/commit/2b08bf2858245e724bc5be18df9b32780702d5ff.diff
LOG: [PhaseOrdering][X86] Add matching test coverage to CodeGen haddsub.ll / phaddsub.ll (#207224)
Add missing undef element combos that were in the CodeGen tests
Fix copy+pasta issue with the "reversed elements" tests which hadn't
packed the lhs/rhs operands correctly within each 128-bit subvector
Added:
Modified:
llvm/test/Transforms/PhaseOrdering/X86/hadd.ll
llvm/test/Transforms/PhaseOrdering/X86/hsub.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/PhaseOrdering/X86/hadd.ll b/llvm/test/Transforms/PhaseOrdering/X86/hadd.ll
index d1f572a097be6..c5864d57632b9 100644
--- a/llvm/test/Transforms/PhaseOrdering/X86/hadd.ll
+++ b/llvm/test/Transforms/PhaseOrdering/X86/hadd.ll
@@ -847,6 +847,403 @@ define <8 x i32> @add_v8i32_01234u67(<8 x i32> %a, <8 x i32> %b) {
ret <8 x i32> %result
}
+define <8 x i32> @add_v8i32_0uu3uuuu(<8 x i32> %a, <8 x i32> %b) {
+; CHECK-LABEL: @add_v8i32_0uu3uuuu(
+; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <8 x i32> [[A:%.*]], <8 x i32> [[B:%.*]], <8 x i32> <i32 0, i32 poison, i32 poison, i32 10, i32 poison, i32 poison, i32 poison, i32 poison>
+; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <8 x i32> [[A]], <8 x i32> [[B]], <8 x i32> <i32 1, i32 poison, i32 poison, i32 11, i32 poison, i32 poison, i32 poison, i32 poison>
+; CHECK-NEXT: [[TMP3:%.*]] = add <8 x i32> [[TMP1]], [[TMP2]]
+; CHECK-NEXT: ret <8 x i32> [[TMP3]]
+;
+ %a0 = extractelement <8 x i32> %a, i32 0
+ %a1 = extractelement <8 x i32> %a, i32 1
+ %a2 = extractelement <8 x i32> %a, i32 2
+ %a3 = extractelement <8 x i32> %a, i32 3
+ %a4 = extractelement <8 x i32> %a, i32 4
+ %a5 = extractelement <8 x i32> %a, i32 5
+ %a6 = extractelement <8 x i32> %a, i32 6
+ %a7 = extractelement <8 x i32> %a, i32 7
+ %a01 = add i32 %a0, %a1
+ %a23 = add i32 %a2, %a3
+ %a45 = add i32 %a4, %a5
+ %a67 = add i32 %a6, %a7
+ %b0 = extractelement <8 x i32> %b, i32 0
+ %b1 = extractelement <8 x i32> %b, i32 1
+ %b2 = extractelement <8 x i32> %b, i32 2
+ %b3 = extractelement <8 x i32> %b, i32 3
+ %b4 = extractelement <8 x i32> %b, i32 4
+ %b5 = extractelement <8 x i32> %b, i32 5
+ %b6 = extractelement <8 x i32> %b, i32 6
+ %b7 = extractelement <8 x i32> %b, i32 7
+ %b01 = add i32 %b0, %b1
+ %b23 = add i32 %b2, %b3
+ %b45 = add i32 %b4, %b5
+ %b67 = add i32 %b6, %b7
+ %hadd0 = insertelement <8 x i32> poison, i32 %a01, i32 0
+ %hadd1 = insertelement <8 x i32> %hadd0, i32 %a23, i32 1
+ %hadd2 = insertelement <8 x i32> %hadd1, i32 %b01, i32 2
+ %hadd3 = insertelement <8 x i32> %hadd2, i32 %b23, i32 3
+ %hadd4 = insertelement <8 x i32> %hadd3, i32 %a45, i32 4
+ %hadd5 = insertelement <8 x i32> %hadd4, i32 %a67, i32 5
+ %hadd6 = insertelement <8 x i32> %hadd5, i32 %b45, i32 6
+ %hadd7 = insertelement <8 x i32> %hadd6, i32 %b67, i32 7
+ %result = shufflevector <8 x i32> %hadd7, <8 x i32> %a, <8 x i32> <i32 0, i32 poison, i32 poison, i32 3, i32 poison, i32 poison, i32 poison, i32 poison>
+ ret <8 x i32> %result
+}
+
+define <8 x i32> @add_v8i32_01uuuuuu(<8 x i32> %a, <8 x i32> %b) {
+; CHECK-LABEL: @add_v8i32_01uuuuuu(
+; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <8 x i32> [[A:%.*]], <8 x i32> poison, <8 x i32> <i32 1, i32 2, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <8 x i32> [[A]], <8 x i32> poison, <8 x i32> <i32 0, i32 3, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; CHECK-NEXT: [[TMP3:%.*]] = add <8 x i32> [[TMP1]], [[TMP2]]
+; CHECK-NEXT: ret <8 x i32> [[TMP3]]
+;
+ %a0 = extractelement <8 x i32> %a, i32 0
+ %a1 = extractelement <8 x i32> %a, i32 1
+ %a2 = extractelement <8 x i32> %a, i32 2
+ %a3 = extractelement <8 x i32> %a, i32 3
+ %a4 = extractelement <8 x i32> %a, i32 4
+ %a5 = extractelement <8 x i32> %a, i32 5
+ %a6 = extractelement <8 x i32> %a, i32 6
+ %a7 = extractelement <8 x i32> %a, i32 7
+ %a01 = add i32 %a0, %a1
+ %a23 = add i32 %a2, %a3
+ %a45 = add i32 %a4, %a5
+ %a67 = add i32 %a6, %a7
+ %b0 = extractelement <8 x i32> %b, i32 0
+ %b1 = extractelement <8 x i32> %b, i32 1
+ %b2 = extractelement <8 x i32> %b, i32 2
+ %b3 = extractelement <8 x i32> %b, i32 3
+ %b4 = extractelement <8 x i32> %b, i32 4
+ %b5 = extractelement <8 x i32> %b, i32 5
+ %b6 = extractelement <8 x i32> %b, i32 6
+ %b7 = extractelement <8 x i32> %b, i32 7
+ %b01 = add i32 %b0, %b1
+ %b23 = add i32 %b2, %b3
+ %b45 = add i32 %b4, %b5
+ %b67 = add i32 %b6, %b7
+ %hadd0 = insertelement <8 x i32> poison, i32 %a01, i32 0
+ %hadd1 = insertelement <8 x i32> %hadd0, i32 %a23, i32 1
+ %hadd2 = insertelement <8 x i32> %hadd1, i32 %b01, i32 2
+ %hadd3 = insertelement <8 x i32> %hadd2, i32 %b23, i32 3
+ %hadd4 = insertelement <8 x i32> %hadd3, i32 %a45, i32 4
+ %hadd5 = insertelement <8 x i32> %hadd4, i32 %a67, i32 5
+ %hadd6 = insertelement <8 x i32> %hadd5, i32 %b45, i32 6
+ %hadd7 = insertelement <8 x i32> %hadd6, i32 %b67, i32 7
+ %result = shufflevector <8 x i32> %hadd7, <8 x i32> %a, <8 x i32> <i32 0, i32 1, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+ ret <8 x i32> %result
+}
+
+define <8 x i32> @add_v8i32_0145uuuu(<8 x i32> %a, <8 x i32> %b) {
+; CHECK-LABEL: @add_v8i32_0145uuuu(
+; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <8 x i32> [[A:%.*]], <8 x i32> poison, <8 x i32> <i32 0, i32 2, i32 4, i32 6, i32 poison, i32 poison, i32 poison, i32 poison>
+; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <8 x i32> [[A]], <8 x i32> poison, <8 x i32> <i32 1, i32 3, i32 5, i32 7, i32 poison, i32 poison, i32 poison, i32 poison>
+; CHECK-NEXT: [[TMP3:%.*]] = add <8 x i32> [[TMP1]], [[TMP2]]
+; CHECK-NEXT: ret <8 x i32> [[TMP3]]
+;
+ %a0 = extractelement <8 x i32> %a, i32 0
+ %a1 = extractelement <8 x i32> %a, i32 1
+ %a2 = extractelement <8 x i32> %a, i32 2
+ %a3 = extractelement <8 x i32> %a, i32 3
+ %a4 = extractelement <8 x i32> %a, i32 4
+ %a5 = extractelement <8 x i32> %a, i32 5
+ %a6 = extractelement <8 x i32> %a, i32 6
+ %a7 = extractelement <8 x i32> %a, i32 7
+ %a01 = add i32 %a0, %a1
+ %a23 = add i32 %a2, %a3
+ %a45 = add i32 %a4, %a5
+ %a67 = add i32 %a6, %a7
+ %b0 = extractelement <8 x i32> %b, i32 0
+ %b1 = extractelement <8 x i32> %b, i32 1
+ %b2 = extractelement <8 x i32> %b, i32 2
+ %b3 = extractelement <8 x i32> %b, i32 3
+ %b4 = extractelement <8 x i32> %b, i32 4
+ %b5 = extractelement <8 x i32> %b, i32 5
+ %b6 = extractelement <8 x i32> %b, i32 6
+ %b7 = extractelement <8 x i32> %b, i32 7
+ %b01 = add i32 %b0, %b1
+ %b23 = add i32 %b2, %b3
+ %b45 = add i32 %b4, %b5
+ %b67 = add i32 %b6, %b7
+ %hadd0 = insertelement <8 x i32> poison, i32 %a01, i32 0
+ %hadd1 = insertelement <8 x i32> %hadd0, i32 %a23, i32 1
+ %hadd2 = insertelement <8 x i32> %hadd1, i32 %b01, i32 2
+ %hadd3 = insertelement <8 x i32> %hadd2, i32 %b23, i32 3
+ %hadd4 = insertelement <8 x i32> %hadd3, i32 %a45, i32 4
+ %hadd5 = insertelement <8 x i32> %hadd4, i32 %a67, i32 5
+ %hadd6 = insertelement <8 x i32> %hadd5, i32 %b45, i32 6
+ %hadd7 = insertelement <8 x i32> %hadd6, i32 %b67, i32 7
+ %result = shufflevector <8 x i32> %hadd7, <8 x i32> %a, <8 x i32> <i32 0, i32 1, i32 4, i32 5, i32 poison, i32 poison, i32 poison, i32 poison>
+ ret <8 x i32> %result
+}
+
+define <8 x i32> @add_v8i32_0uuuuu6u(<8 x i32> %a, <8 x i32> %b) {
+; CHECK-LABEL: @add_v8i32_0uuuuu6u(
+; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <8 x i32> [[A:%.*]], <8 x i32> [[B:%.*]], <8 x i32> <i32 0, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 12, i32 poison>
+; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <8 x i32> [[A]], <8 x i32> [[B]], <8 x i32> <i32 1, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 13, i32 poison>
+; CHECK-NEXT: [[TMP3:%.*]] = add <8 x i32> [[TMP1]], [[TMP2]]
+; CHECK-NEXT: ret <8 x i32> [[TMP3]]
+;
+ %a0 = extractelement <8 x i32> %a, i32 0
+ %a1 = extractelement <8 x i32> %a, i32 1
+ %a2 = extractelement <8 x i32> %a, i32 2
+ %a3 = extractelement <8 x i32> %a, i32 3
+ %a4 = extractelement <8 x i32> %a, i32 4
+ %a5 = extractelement <8 x i32> %a, i32 5
+ %a6 = extractelement <8 x i32> %a, i32 6
+ %a7 = extractelement <8 x i32> %a, i32 7
+ %a01 = add i32 %a0, %a1
+ %a23 = add i32 %a2, %a3
+ %a45 = add i32 %a4, %a5
+ %a67 = add i32 %a6, %a7
+ %b0 = extractelement <8 x i32> %b, i32 0
+ %b1 = extractelement <8 x i32> %b, i32 1
+ %b2 = extractelement <8 x i32> %b, i32 2
+ %b3 = extractelement <8 x i32> %b, i32 3
+ %b4 = extractelement <8 x i32> %b, i32 4
+ %b5 = extractelement <8 x i32> %b, i32 5
+ %b6 = extractelement <8 x i32> %b, i32 6
+ %b7 = extractelement <8 x i32> %b, i32 7
+ %b01 = add i32 %b0, %b1
+ %b23 = add i32 %b2, %b3
+ %b45 = add i32 %b4, %b5
+ %b67 = add i32 %b6, %b7
+ %hadd0 = insertelement <8 x i32> poison, i32 %a01, i32 0
+ %hadd1 = insertelement <8 x i32> %hadd0, i32 %a23, i32 1
+ %hadd2 = insertelement <8 x i32> %hadd1, i32 %b01, i32 2
+ %hadd3 = insertelement <8 x i32> %hadd2, i32 %b23, i32 3
+ %hadd4 = insertelement <8 x i32> %hadd3, i32 %a45, i32 4
+ %hadd5 = insertelement <8 x i32> %hadd4, i32 %a67, i32 5
+ %hadd6 = insertelement <8 x i32> %hadd5, i32 %b45, i32 6
+ %hadd7 = insertelement <8 x i32> %hadd6, i32 %b67, i32 7
+ %result = shufflevector <8 x i32> %hadd7, <8 x i32> %a, <8 x i32> <i32 0, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 6, i32 poison>
+ ret <8 x i32> %result
+}
+
+define <8 x i32> @add_v8i32_uuuu4uu7(<8 x i32> %a, <8 x i32> %b) {
+; CHECK-LABEL: @add_v8i32_uuuu4uu7(
+; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <8 x i32> [[A:%.*]], <8 x i32> [[B:%.*]], <8 x i32> <i32 poison, i32 poison, i32 poison, i32 poison, i32 4, i32 poison, i32 poison, i32 14>
+; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <8 x i32> [[A]], <8 x i32> [[B]], <8 x i32> <i32 poison, i32 poison, i32 poison, i32 poison, i32 5, i32 poison, i32 poison, i32 15>
+; CHECK-NEXT: [[RESULT1:%.*]] = add <8 x i32> [[TMP1]], [[TMP2]]
+; CHECK-NEXT: ret <8 x i32> [[RESULT1]]
+;
+ %a0 = extractelement <8 x i32> %a, i32 0
+ %a1 = extractelement <8 x i32> %a, i32 1
+ %a2 = extractelement <8 x i32> %a, i32 2
+ %a3 = extractelement <8 x i32> %a, i32 3
+ %a4 = extractelement <8 x i32> %a, i32 4
+ %a5 = extractelement <8 x i32> %a, i32 5
+ %a6 = extractelement <8 x i32> %a, i32 6
+ %a7 = extractelement <8 x i32> %a, i32 7
+ %a01 = add i32 %a0, %a1
+ %a23 = add i32 %a2, %a3
+ %a45 = add i32 %a4, %a5
+ %a67 = add i32 %a6, %a7
+ %b0 = extractelement <8 x i32> %b, i32 0
+ %b1 = extractelement <8 x i32> %b, i32 1
+ %b2 = extractelement <8 x i32> %b, i32 2
+ %b3 = extractelement <8 x i32> %b, i32 3
+ %b4 = extractelement <8 x i32> %b, i32 4
+ %b5 = extractelement <8 x i32> %b, i32 5
+ %b6 = extractelement <8 x i32> %b, i32 6
+ %b7 = extractelement <8 x i32> %b, i32 7
+ %b01 = add i32 %b0, %b1
+ %b23 = add i32 %b2, %b3
+ %b45 = add i32 %b4, %b5
+ %b67 = add i32 %b6, %b7
+ %hadd0 = insertelement <8 x i32> poison, i32 %a01, i32 0
+ %hadd1 = insertelement <8 x i32> %hadd0, i32 %a23, i32 1
+ %hadd2 = insertelement <8 x i32> %hadd1, i32 %b01, i32 2
+ %hadd3 = insertelement <8 x i32> %hadd2, i32 %b23, i32 3
+ %hadd4 = insertelement <8 x i32> %hadd3, i32 %a45, i32 4
+ %hadd5 = insertelement <8 x i32> %hadd4, i32 %a67, i32 5
+ %hadd6 = insertelement <8 x i32> %hadd5, i32 %b45, i32 6
+ %hadd7 = insertelement <8 x i32> %hadd6, i32 %b67, i32 7
+ %result = shufflevector <8 x i32> %hadd7, <8 x i32> %a, <8 x i32> <i32 poison, i32 poison, i32 poison, i32 poison, i32 4, i32 poison, i32 poison, i32 7>
+ ret <8 x i32> %result
+}
+
+;
+; v16i32
+;
+
+define <16 x i32> @add_v16i32_01uuuuuuuuuuuuuu(<16 x i32> %a, <16 x i32> %b) {
+; SSE2-LABEL: @add_v16i32_01uuuuuuuuuuuuuu(
+; SSE2-NEXT: [[TMP1:%.*]] = shufflevector <16 x i32> [[A:%.*]], <16 x i32> poison, <2 x i32> <i32 1, i32 2>
+; SSE2-NEXT: [[TMP2:%.*]] = shufflevector <16 x i32> [[A]], <16 x i32> poison, <2 x i32> <i32 0, i32 3>
+; SSE2-NEXT: [[TMP3:%.*]] = add <2 x i32> [[TMP1]], [[TMP2]]
+; SSE2-NEXT: [[TMP4:%.*]] = shufflevector <2 x i32> [[TMP3]], <2 x i32> poison, <16 x i32> <i32 0, i32 1, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE2-NEXT: ret <16 x i32> [[TMP4]]
+;
+; SSE4-LABEL: @add_v16i32_01uuuuuuuuuuuuuu(
+; SSE4-NEXT: [[TMP1:%.*]] = shufflevector <16 x i32> [[A:%.*]], <16 x i32> poison, <2 x i32> <i32 1, i32 2>
+; SSE4-NEXT: [[TMP2:%.*]] = shufflevector <16 x i32> [[A]], <16 x i32> poison, <2 x i32> <i32 0, i32 3>
+; SSE4-NEXT: [[TMP3:%.*]] = add <2 x i32> [[TMP1]], [[TMP2]]
+; SSE4-NEXT: [[TMP4:%.*]] = shufflevector <2 x i32> [[TMP3]], <2 x i32> poison, <16 x i32> <i32 0, i32 1, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE4-NEXT: ret <16 x i32> [[TMP4]]
+;
+; AVX-LABEL: @add_v16i32_01uuuuuuuuuuuuuu(
+; AVX-NEXT: [[TMP1:%.*]] = shufflevector <16 x i32> [[A:%.*]], <16 x i32> poison, <16 x i32> <i32 1, i32 2, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP2:%.*]] = shufflevector <16 x i32> [[A]], <16 x i32> poison, <16 x i32> <i32 0, i32 3, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP3:%.*]] = add <16 x i32> [[TMP1]], [[TMP2]]
+; AVX-NEXT: ret <16 x i32> [[TMP3]]
+;
+ %a0 = extractelement <16 x i32> %a, i32 0
+ %a1 = extractelement <16 x i32> %a, i32 1
+ %a2 = extractelement <16 x i32> %a, i32 2
+ %a3 = extractelement <16 x i32> %a, i32 3
+ %a4 = extractelement <16 x i32> %a, i32 4
+ %a5 = extractelement <16 x i32> %a, i32 5
+ %a6 = extractelement <16 x i32> %a, i32 6
+ %a7 = extractelement <16 x i32> %a, i32 7
+ %a8 = extractelement <16 x i32> %a, i32 8
+ %a9 = extractelement <16 x i32> %a, i32 9
+ %aA = extractelement <16 x i32> %a, i32 10
+ %aB = extractelement <16 x i32> %a, i32 11
+ %aC = extractelement <16 x i32> %a, i32 12
+ %aD = extractelement <16 x i32> %a, i32 13
+ %aE = extractelement <16 x i32> %a, i32 14
+ %aF = extractelement <16 x i32> %a, i32 15
+ %a01 = add i32 %a0, %a1
+ %a23 = add i32 %a2, %a3
+ %a45 = add i32 %a4, %a5
+ %a67 = add i32 %a6, %a7
+ %a89 = add i32 %a8, %a9
+ %aAB = add i32 %aA, %aB
+ %aCD = add i32 %aC, %aD
+ %aEF = add i32 %aE, %aF
+ %b0 = extractelement <16 x i32> %b, i32 0
+ %b1 = extractelement <16 x i32> %b, i32 1
+ %b2 = extractelement <16 x i32> %b, i32 2
+ %b3 = extractelement <16 x i32> %b, i32 3
+ %b4 = extractelement <16 x i32> %b, i32 4
+ %b5 = extractelement <16 x i32> %b, i32 5
+ %b6 = extractelement <16 x i32> %b, i32 6
+ %b7 = extractelement <16 x i32> %b, i32 7
+ %b8 = extractelement <16 x i32> %b, i32 8
+ %b9 = extractelement <16 x i32> %b, i32 9
+ %bA = extractelement <16 x i32> %b, i32 10
+ %bB = extractelement <16 x i32> %b, i32 11
+ %bC = extractelement <16 x i32> %b, i32 12
+ %bD = extractelement <16 x i32> %b, i32 13
+ %bE = extractelement <16 x i32> %b, i32 14
+ %bF = extractelement <16 x i32> %b, i32 15
+ %b01 = add i32 %b0, %b1
+ %b23 = add i32 %b2, %b3
+ %b45 = add i32 %b4, %b5
+ %b67 = add i32 %b6, %b7
+ %b89 = add i32 %b8, %b9
+ %bAB = add i32 %bA, %bB
+ %bCD = add i32 %bC, %bD
+ %bEF = add i32 %bE, %bF
+ %hadd0 = insertelement <16 x i32> poison, i32 %a01, i32 0
+ %hadd1 = insertelement <16 x i32> %hadd0, i32 %a23, i32 1
+ %hadd2 = insertelement <16 x i32> %hadd1, i32 %b01, i32 2
+ %hadd3 = insertelement <16 x i32> %hadd2, i32 %b23, i32 3
+ %hadd4 = insertelement <16 x i32> %hadd3, i32 %a45, i32 4
+ %hadd5 = insertelement <16 x i32> %hadd4, i32 %a67, i32 5
+ %hadd6 = insertelement <16 x i32> %hadd5, i32 %b45, i32 6
+ %hadd7 = insertelement <16 x i32> %hadd6, i32 %b67, i32 7
+ %hadd8 = insertelement <16 x i32> %hadd7, i32 %a89, i32 8
+ %hadd9 = insertelement <16 x i32> %hadd8, i32 %aAB, i32 9
+ %haddA = insertelement <16 x i32> %hadd9, i32 %b89, i32 10
+ %haddB = insertelement <16 x i32> %haddA, i32 %bAB, i32 11
+ %haddC = insertelement <16 x i32> %haddB, i32 %aCD, i32 12
+ %haddD = insertelement <16 x i32> %haddC, i32 %aEF, i32 13
+ %haddE = insertelement <16 x i32> %haddD, i32 %bCD, i32 14
+ %haddF = insertelement <16 x i32> %haddE, i32 %bEF, i32 15
+ %result = shufflevector <16 x i32> %haddF, <16 x i32> poison, <16 x i32> <i32 0, i32 1, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+ ret <16 x i32> %result
+}
+
+define <16 x i32> @add_v16i32_0145uuuuuuuuuuuu(<16 x i32> %a, <16 x i32> %b) {
+; SSE2-LABEL: @add_v16i32_0145uuuuuuuuuuuu(
+; SSE2-NEXT: [[TMP1:%.*]] = shufflevector <16 x i32> [[A:%.*]], <16 x i32> poison, <4 x i32> <i32 0, i32 2, i32 4, i32 6>
+; SSE2-NEXT: [[TMP2:%.*]] = shufflevector <16 x i32> [[A]], <16 x i32> poison, <4 x i32> <i32 1, i32 3, i32 5, i32 7>
+; SSE2-NEXT: [[TMP3:%.*]] = add <4 x i32> [[TMP1]], [[TMP2]]
+; SSE2-NEXT: [[TMP4:%.*]] = shufflevector <4 x i32> [[TMP3]], <4 x i32> poison, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE2-NEXT: ret <16 x i32> [[TMP4]]
+;
+; SSE4-LABEL: @add_v16i32_0145uuuuuuuuuuuu(
+; SSE4-NEXT: [[TMP1:%.*]] = shufflevector <16 x i32> [[A:%.*]], <16 x i32> poison, <4 x i32> <i32 0, i32 2, i32 4, i32 6>
+; SSE4-NEXT: [[TMP2:%.*]] = shufflevector <16 x i32> [[A]], <16 x i32> poison, <4 x i32> <i32 1, i32 3, i32 5, i32 7>
+; SSE4-NEXT: [[TMP3:%.*]] = add <4 x i32> [[TMP1]], [[TMP2]]
+; SSE4-NEXT: [[TMP4:%.*]] = shufflevector <4 x i32> [[TMP3]], <4 x i32> poison, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE4-NEXT: ret <16 x i32> [[TMP4]]
+;
+; AVX-LABEL: @add_v16i32_0145uuuuuuuuuuuu(
+; AVX-NEXT: [[TMP1:%.*]] = shufflevector <16 x i32> [[A:%.*]], <16 x i32> poison, <16 x i32> <i32 0, i32 2, i32 4, i32 6, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP2:%.*]] = shufflevector <16 x i32> [[A]], <16 x i32> poison, <16 x i32> <i32 1, i32 3, i32 5, i32 7, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP3:%.*]] = add <16 x i32> [[TMP1]], [[TMP2]]
+; AVX-NEXT: ret <16 x i32> [[TMP3]]
+;
+ %a0 = extractelement <16 x i32> %a, i32 0
+ %a1 = extractelement <16 x i32> %a, i32 1
+ %a2 = extractelement <16 x i32> %a, i32 2
+ %a3 = extractelement <16 x i32> %a, i32 3
+ %a4 = extractelement <16 x i32> %a, i32 4
+ %a5 = extractelement <16 x i32> %a, i32 5
+ %a6 = extractelement <16 x i32> %a, i32 6
+ %a7 = extractelement <16 x i32> %a, i32 7
+ %a8 = extractelement <16 x i32> %a, i32 8
+ %a9 = extractelement <16 x i32> %a, i32 9
+ %aA = extractelement <16 x i32> %a, i32 10
+ %aB = extractelement <16 x i32> %a, i32 11
+ %aC = extractelement <16 x i32> %a, i32 12
+ %aD = extractelement <16 x i32> %a, i32 13
+ %aE = extractelement <16 x i32> %a, i32 14
+ %aF = extractelement <16 x i32> %a, i32 15
+ %a01 = add i32 %a0, %a1
+ %a23 = add i32 %a2, %a3
+ %a45 = add i32 %a4, %a5
+ %a67 = add i32 %a6, %a7
+ %a89 = add i32 %a8, %a9
+ %aAB = add i32 %aA, %aB
+ %aCD = add i32 %aC, %aD
+ %aEF = add i32 %aE, %aF
+ %b0 = extractelement <16 x i32> %b, i32 0
+ %b1 = extractelement <16 x i32> %b, i32 1
+ %b2 = extractelement <16 x i32> %b, i32 2
+ %b3 = extractelement <16 x i32> %b, i32 3
+ %b4 = extractelement <16 x i32> %b, i32 4
+ %b5 = extractelement <16 x i32> %b, i32 5
+ %b6 = extractelement <16 x i32> %b, i32 6
+ %b7 = extractelement <16 x i32> %b, i32 7
+ %b8 = extractelement <16 x i32> %b, i32 8
+ %b9 = extractelement <16 x i32> %b, i32 9
+ %bA = extractelement <16 x i32> %b, i32 10
+ %bB = extractelement <16 x i32> %b, i32 11
+ %bC = extractelement <16 x i32> %b, i32 12
+ %bD = extractelement <16 x i32> %b, i32 13
+ %bE = extractelement <16 x i32> %b, i32 14
+ %bF = extractelement <16 x i32> %b, i32 15
+ %b01 = add i32 %b0, %b1
+ %b23 = add i32 %b2, %b3
+ %b45 = add i32 %b4, %b5
+ %b67 = add i32 %b6, %b7
+ %b89 = add i32 %b8, %b9
+ %bAB = add i32 %bA, %bB
+ %bCD = add i32 %bC, %bD
+ %bEF = add i32 %bE, %bF
+ %hadd0 = insertelement <16 x i32> poison, i32 %a01, i32 0
+ %hadd1 = insertelement <16 x i32> %hadd0, i32 %a23, i32 1
+ %hadd2 = insertelement <16 x i32> %hadd1, i32 %b01, i32 2
+ %hadd3 = insertelement <16 x i32> %hadd2, i32 %b23, i32 3
+ %hadd4 = insertelement <16 x i32> %hadd3, i32 %a45, i32 4
+ %hadd5 = insertelement <16 x i32> %hadd4, i32 %a67, i32 5
+ %hadd6 = insertelement <16 x i32> %hadd5, i32 %b45, i32 6
+ %hadd7 = insertelement <16 x i32> %hadd6, i32 %b67, i32 7
+ %hadd8 = insertelement <16 x i32> %hadd7, i32 %a89, i32 8
+ %hadd9 = insertelement <16 x i32> %hadd8, i32 %aAB, i32 9
+ %haddA = insertelement <16 x i32> %hadd9, i32 %b89, i32 10
+ %haddB = insertelement <16 x i32> %haddA, i32 %bAB, i32 11
+ %haddC = insertelement <16 x i32> %haddB, i32 %aCD, i32 12
+ %haddD = insertelement <16 x i32> %haddC, i32 %aEF, i32 13
+ %haddE = insertelement <16 x i32> %haddD, i32 %bCD, i32 14
+ %haddF = insertelement <16 x i32> %haddE, i32 %bEF, i32 15
+ %result = shufflevector <16 x i32> %haddF, <16 x i32> poison, <16 x i32> <i32 0, i32 1, i32 4, i32 5, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+ ret <16 x i32> %result
+}
+
;
; v2f32
;
@@ -1026,6 +1423,77 @@ define <4 x float> @add_v4f32_012u(<4 x float> %a, <4 x float> %b) {
ret <4 x float> %result
}
+define <4 x float> @add_v4f32_0uu3(<4 x float> %a, <4 x float> %b) {
+; SSE2-LABEL: @add_v4f32_0uu3(
+; SSE2-NEXT: [[TMP1:%.*]] = shufflevector <4 x float> [[A:%.*]], <4 x float> [[B:%.*]], <4 x i32> <i32 0, i32 poison, i32 poison, i32 6>
+; SSE2-NEXT: [[TMP2:%.*]] = shufflevector <4 x float> [[A]], <4 x float> [[B]], <4 x i32> <i32 1, i32 poison, i32 poison, i32 7>
+; SSE2-NEXT: [[TMP3:%.*]] = fadd <4 x float> [[TMP1]], [[TMP2]]
+; SSE2-NEXT: ret <4 x float> [[TMP3]]
+;
+; SSE4-LABEL: @add_v4f32_0uu3(
+; SSE4-NEXT: [[TMP1:%.*]] = shufflevector <4 x float> [[A:%.*]], <4 x float> [[B:%.*]], <4 x i32> <i32 0, i32 poison, i32 poison, i32 6>
+; SSE4-NEXT: [[TMP2:%.*]] = shufflevector <4 x float> [[A]], <4 x float> [[B]], <4 x i32> <i32 1, i32 poison, i32 poison, i32 7>
+; SSE4-NEXT: [[RESULT:%.*]] = fadd <4 x float> [[TMP1]], [[TMP2]]
+; SSE4-NEXT: ret <4 x float> [[RESULT]]
+;
+; AVX2-LABEL: @add_v4f32_0uu3(
+; AVX2-NEXT: [[TMP1:%.*]] = shufflevector <4 x float> [[A:%.*]], <4 x float> [[B:%.*]], <4 x i32> <i32 0, i32 poison, i32 poison, i32 6>
+; AVX2-NEXT: [[TMP2:%.*]] = shufflevector <4 x float> [[A]], <4 x float> [[B]], <4 x i32> <i32 1, i32 poison, i32 poison, i32 7>
+; AVX2-NEXT: [[RESULT:%.*]] = fadd <4 x float> [[TMP1]], [[TMP2]]
+; AVX2-NEXT: ret <4 x float> [[RESULT]]
+;
+; AVX512-LABEL: @add_v4f32_0uu3(
+; AVX512-NEXT: [[TMP1:%.*]] = shufflevector <4 x float> [[A:%.*]], <4 x float> [[B:%.*]], <4 x i32> <i32 0, i32 poison, i32 poison, i32 6>
+; AVX512-NEXT: [[TMP2:%.*]] = shufflevector <4 x float> [[A]], <4 x float> [[B]], <4 x i32> <i32 1, i32 poison, i32 poison, i32 7>
+; AVX512-NEXT: [[TMP3:%.*]] = fadd <4 x float> [[TMP1]], [[TMP2]]
+; AVX512-NEXT: ret <4 x float> [[TMP3]]
+;
+ %a0 = extractelement <4 x float> %a, i32 0
+ %a1 = extractelement <4 x float> %a, i32 1
+ %a2 = extractelement <4 x float> %a, i32 2
+ %a3 = extractelement <4 x float> %a, i32 3
+ %a01 = fadd float %a0, %a1
+ %a23 = fadd float %a2, %a3
+ %b0 = extractelement <4 x float> %b, i32 0
+ %b1 = extractelement <4 x float> %b, i32 1
+ %b2 = extractelement <4 x float> %b, i32 2
+ %b3 = extractelement <4 x float> %b, i32 3
+ %b01 = fadd float %b0, %b1
+ %b23 = fadd float %b2, %b3
+ %hadd0 = insertelement <4 x float> poison, float %a01, i32 0
+ %hadd1 = insertelement <4 x float> %hadd0, float %a23, i32 1
+ %hadd2 = insertelement <4 x float> %hadd1, float %b01, i32 2
+ %hadd3 = insertelement <4 x float> %hadd2, float %b23, i32 3
+ %result = shufflevector <4 x float> %hadd3, <4 x float> %a, <4 x i32> <i32 0, i32 poison, i32 poison, i32 3>
+ ret <4 x float> %result
+}
+
+define <4 x float> @add_v4f32_0uuu(<4 x float> %a, <4 x float> %b) {
+; CHECK-LABEL: @add_v4f32_0uuu(
+; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <4 x float> [[A:%.*]], <4 x float> poison, <4 x i32> <i32 1, i32 poison, i32 poison, i32 poison>
+; CHECK-NEXT: [[RESULT:%.*]] = fadd <4 x float> [[A]], [[TMP1]]
+; CHECK-NEXT: ret <4 x float> [[RESULT]]
+;
+ %a0 = extractelement <4 x float> %a, i32 0
+ %a1 = extractelement <4 x float> %a, i32 1
+ %a2 = extractelement <4 x float> %a, i32 2
+ %a3 = extractelement <4 x float> %a, i32 3
+ %a01 = fadd float %a0, %a1
+ %a23 = fadd float %a2, %a3
+ %b0 = extractelement <4 x float> %b, i32 0
+ %b1 = extractelement <4 x float> %b, i32 1
+ %b2 = extractelement <4 x float> %b, i32 2
+ %b3 = extractelement <4 x float> %b, i32 3
+ %b01 = fadd float %b0, %b1
+ %b23 = fadd float %b2, %b3
+ %hadd0 = insertelement <4 x float> poison, float %a01, i32 0
+ %hadd1 = insertelement <4 x float> %hadd0, float %a23, i32 1
+ %hadd2 = insertelement <4 x float> %hadd1, float %b01, i32 2
+ %hadd3 = insertelement <4 x float> %hadd2, float %b23, i32 3
+ %result = shufflevector <4 x float> %hadd3, <4 x float> %a, <4 x i32> <i32 0, i32 poison, i32 poison, i32 poison>
+ ret <4 x float> %result
+}
+
define <4 x float> @add_v4f32_uu23(<4 x float> %a, <4 x float> %b) {
; CHECK-LABEL: @add_v4f32_uu23(
; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <4 x float> [[B:%.*]], <4 x float> poison, <4 x i32> <i32 poison, i32 poison, i32 1, i32 2>
@@ -1080,6 +1548,33 @@ define <4 x float> @add_v4f32_01uu(<4 x float> %a, <4 x float> %b) {
ret <4 x float> %result
}
+define <4 x float> @add_v4f32_0u1u(<4 x float> %a, <4 x float> %b) {
+; CHECK-LABEL: @add_v4f32_0u1u(
+; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <4 x float> [[A:%.*]], <4 x float> poison, <4 x i32> <i32 1, i32 poison, i32 2, i32 poison>
+; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <4 x float> [[A]], <4 x float> poison, <4 x i32> <i32 0, i32 poison, i32 3, i32 poison>
+; CHECK-NEXT: [[TMP3:%.*]] = fadd <4 x float> [[TMP1]], [[TMP2]]
+; CHECK-NEXT: ret <4 x float> [[TMP3]]
+;
+ %a0 = extractelement <4 x float> %a, i32 0
+ %a1 = extractelement <4 x float> %a, i32 1
+ %a2 = extractelement <4 x float> %a, i32 2
+ %a3 = extractelement <4 x float> %a, i32 3
+ %a01 = fadd float %a0, %a1
+ %a23 = fadd float %a2, %a3
+ %b0 = extractelement <4 x float> %b, i32 0
+ %b1 = extractelement <4 x float> %b, i32 1
+ %b2 = extractelement <4 x float> %b, i32 2
+ %b3 = extractelement <4 x float> %b, i32 3
+ %b01 = fadd float %b0, %b1
+ %b23 = fadd float %b2, %b3
+ %hadd0 = insertelement <4 x float> poison, float %a01, i32 0
+ %hadd1 = insertelement <4 x float> %hadd0, float %a23, i32 1
+ %hadd2 = insertelement <4 x float> %hadd1, float %b01, i32 2
+ %hadd3 = insertelement <4 x float> %hadd2, float %b23, i32 3
+ %result = shufflevector <4 x float> %hadd3, <4 x float> %a, <4 x i32> <i32 0, i32 poison, i32 1, i32 poison>
+ ret <4 x float> %result
+}
+
;
; v8f32
;
@@ -1187,14 +1682,246 @@ define <8 x float> @add_v8f32_012u4567(<8 x float> %a, <8 x float> %b) {
ret <8 x float> %result
}
-define <8 x float> @add_v8f32_76u43210(<8 x float> %a, <8 x float> %b) {
-; SSE2-LABEL: @add_v8f32_76u43210(
+define <8 x float> @add_v8f32_0uu3uuuu(<8 x float> %a, <8 x float> %b) {
+; SSE2-LABEL: @add_v8f32_0uu3uuuu(
+; SSE2-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[A:%.*]], <8 x float> [[B:%.*]], <8 x i32> <i32 0, i32 poison, i32 poison, i32 10, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE2-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[A]], <8 x float> [[B]], <8 x i32> <i32 1, i32 poison, i32 poison, i32 11, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE2-NEXT: [[TMP3:%.*]] = fadd <8 x float> [[TMP1]], [[TMP2]]
+; SSE2-NEXT: ret <8 x float> [[TMP3]]
+;
+; SSE4-LABEL: @add_v8f32_0uu3uuuu(
+; SSE4-NEXT: [[A0:%.*]] = extractelement <8 x float> [[A:%.*]], i64 0
+; SSE4-NEXT: [[A1:%.*]] = extractelement <8 x float> [[A]], i64 1
+; SSE4-NEXT: [[A01:%.*]] = fadd float [[A0]], [[A1]]
+; SSE4-NEXT: [[B2:%.*]] = extractelement <8 x float> [[B:%.*]], i64 2
+; SSE4-NEXT: [[B3:%.*]] = extractelement <8 x float> [[B]], i64 3
+; SSE4-NEXT: [[B23:%.*]] = fadd float [[B2]], [[B3]]
+; SSE4-NEXT: [[TMP1:%.*]] = insertelement <8 x float> poison, float [[A01]], i64 0
+; SSE4-NEXT: [[RESULT:%.*]] = insertelement <8 x float> [[TMP1]], float [[B23]], i64 3
+; SSE4-NEXT: ret <8 x float> [[RESULT]]
+;
+; AVX-LABEL: @add_v8f32_0uu3uuuu(
+; AVX-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[A:%.*]], <8 x float> [[B:%.*]], <8 x i32> <i32 0, i32 poison, i32 poison, i32 10, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[A]], <8 x float> [[B]], <8 x i32> <i32 1, i32 poison, i32 poison, i32 11, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP3:%.*]] = fadd <8 x float> [[TMP1]], [[TMP2]]
+; AVX-NEXT: ret <8 x float> [[TMP3]]
+;
+ %a0 = extractelement <8 x float> %a, i32 0
+ %a1 = extractelement <8 x float> %a, i32 1
+ %a2 = extractelement <8 x float> %a, i32 2
+ %a3 = extractelement <8 x float> %a, i32 3
+ %a4 = extractelement <8 x float> %a, i32 4
+ %a5 = extractelement <8 x float> %a, i32 5
+ %a6 = extractelement <8 x float> %a, i32 6
+ %a7 = extractelement <8 x float> %a, i32 7
+ %a01 = fadd float %a0, %a1
+ %a23 = fadd float %a2, %a3
+ %a45 = fadd float %a4, %a5
+ %a67 = fadd float %a6, %a7
+ %b0 = extractelement <8 x float> %b, i32 0
+ %b1 = extractelement <8 x float> %b, i32 1
+ %b2 = extractelement <8 x float> %b, i32 2
+ %b3 = extractelement <8 x float> %b, i32 3
+ %b4 = extractelement <8 x float> %b, i32 4
+ %b5 = extractelement <8 x float> %b, i32 5
+ %b6 = extractelement <8 x float> %b, i32 6
+ %b7 = extractelement <8 x float> %b, i32 7
+ %b01 = fadd float %b0, %b1
+ %b23 = fadd float %b2, %b3
+ %b45 = fadd float %b4, %b5
+ %b67 = fadd float %b6, %b7
+ %hadd0 = insertelement <8 x float> poison, float %a01, i32 0
+ %hadd1 = insertelement <8 x float> %hadd0, float %a23, i32 1
+ %hadd2 = insertelement <8 x float> %hadd1, float %b01, i32 2
+ %hadd3 = insertelement <8 x float> %hadd2, float %b23, i32 3
+ %hadd4 = insertelement <8 x float> %hadd3, float %a45, i32 4
+ %hadd5 = insertelement <8 x float> %hadd4, float %a67, i32 5
+ %hadd6 = insertelement <8 x float> %hadd5, float %b45, i32 6
+ %hadd7 = insertelement <8 x float> %hadd6, float %b67, i32 7
+ %result = shufflevector <8 x float> %hadd7, <8 x float> %a, <8 x i32> <i32 0, i32 poison, i32 poison, i32 3, i32 poison, i32 poison, i32 poison, i32 poison>
+ ret <8 x float> %result
+}
+
+define <8 x float> @add_v8f32_01uuuuuu(<8 x float> %a, <8 x float> %b) {
+; SSE2-LABEL: @add_v8f32_01uuuuuu(
+; SSE2-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[A:%.*]], <8 x float> poison, <2 x i32> <i32 1, i32 2>
+; SSE2-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[A]], <8 x float> poison, <2 x i32> <i32 0, i32 3>
+; SSE2-NEXT: [[TMP3:%.*]] = fadd <2 x float> [[TMP1]], [[TMP2]]
+; SSE2-NEXT: [[TMP4:%.*]] = shufflevector <2 x float> [[TMP3]], <2 x float> poison, <8 x i32> <i32 0, i32 1, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE2-NEXT: ret <8 x float> [[TMP4]]
+;
+; SSE4-LABEL: @add_v8f32_01uuuuuu(
+; SSE4-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[A:%.*]], <8 x float> poison, <8 x i32> <i32 1, i32 2, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE4-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[A]], <8 x float> poison, <8 x i32> <i32 0, i32 3, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE4-NEXT: [[TMP3:%.*]] = fadd <8 x float> [[TMP1]], [[TMP2]]
+; SSE4-NEXT: ret <8 x float> [[TMP3]]
+;
+; AVX-LABEL: @add_v8f32_01uuuuuu(
+; AVX-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[A:%.*]], <8 x float> poison, <8 x i32> <i32 1, i32 2, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[A]], <8 x float> poison, <8 x i32> <i32 0, i32 3, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP3:%.*]] = fadd <8 x float> [[TMP1]], [[TMP2]]
+; AVX-NEXT: ret <8 x float> [[TMP3]]
+;
+ %a0 = extractelement <8 x float> %a, i32 0
+ %a1 = extractelement <8 x float> %a, i32 1
+ %a2 = extractelement <8 x float> %a, i32 2
+ %a3 = extractelement <8 x float> %a, i32 3
+ %a4 = extractelement <8 x float> %a, i32 4
+ %a5 = extractelement <8 x float> %a, i32 5
+ %a6 = extractelement <8 x float> %a, i32 6
+ %a7 = extractelement <8 x float> %a, i32 7
+ %a01 = fadd float %a0, %a1
+ %a23 = fadd float %a2, %a3
+ %a45 = fadd float %a4, %a5
+ %a67 = fadd float %a6, %a7
+ %b0 = extractelement <8 x float> %b, i32 0
+ %b1 = extractelement <8 x float> %b, i32 1
+ %b2 = extractelement <8 x float> %b, i32 2
+ %b3 = extractelement <8 x float> %b, i32 3
+ %b4 = extractelement <8 x float> %b, i32 4
+ %b5 = extractelement <8 x float> %b, i32 5
+ %b6 = extractelement <8 x float> %b, i32 6
+ %b7 = extractelement <8 x float> %b, i32 7
+ %b01 = fadd float %b0, %b1
+ %b23 = fadd float %b2, %b3
+ %b45 = fadd float %b4, %b5
+ %b67 = fadd float %b6, %b7
+ %hadd0 = insertelement <8 x float> poison, float %a01, i32 0
+ %hadd1 = insertelement <8 x float> %hadd0, float %a23, i32 1
+ %hadd2 = insertelement <8 x float> %hadd1, float %b01, i32 2
+ %hadd3 = insertelement <8 x float> %hadd2, float %b23, i32 3
+ %hadd4 = insertelement <8 x float> %hadd3, float %a45, i32 4
+ %hadd5 = insertelement <8 x float> %hadd4, float %a67, i32 5
+ %hadd6 = insertelement <8 x float> %hadd5, float %b45, i32 6
+ %hadd7 = insertelement <8 x float> %hadd6, float %b67, i32 7
+ %result = shufflevector <8 x float> %hadd7, <8 x float> %a, <8 x i32> <i32 0, i32 1, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+ ret <8 x float> %result
+}
+
+define <8 x float> @add_v8f32_0uuuuu6u(<8 x float> %a, <8 x float> %b) {
+; SSE2-LABEL: @add_v8f32_0uuuuu6u(
+; SSE2-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[A:%.*]], <8 x float> [[B:%.*]], <8 x i32> <i32 0, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 12, i32 poison>
+; SSE2-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[A]], <8 x float> [[B]], <8 x i32> <i32 1, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 13, i32 poison>
+; SSE2-NEXT: [[TMP3:%.*]] = fadd <8 x float> [[TMP1]], [[TMP2]]
+; SSE2-NEXT: ret <8 x float> [[TMP3]]
+;
+; SSE4-LABEL: @add_v8f32_0uuuuu6u(
+; SSE4-NEXT: [[A0:%.*]] = extractelement <8 x float> [[A:%.*]], i64 0
+; SSE4-NEXT: [[A1:%.*]] = extractelement <8 x float> [[A]], i64 1
+; SSE4-NEXT: [[A01:%.*]] = fadd float [[A0]], [[A1]]
+; SSE4-NEXT: [[B4:%.*]] = extractelement <8 x float> [[B:%.*]], i64 4
+; SSE4-NEXT: [[B5:%.*]] = extractelement <8 x float> [[B]], i64 5
+; SSE4-NEXT: [[B45:%.*]] = fadd float [[B4]], [[B5]]
+; SSE4-NEXT: [[TMP1:%.*]] = insertelement <8 x float> poison, float [[A01]], i64 0
+; SSE4-NEXT: [[RESULT:%.*]] = insertelement <8 x float> [[TMP1]], float [[B45]], i64 6
+; SSE4-NEXT: ret <8 x float> [[RESULT]]
+;
+; AVX-LABEL: @add_v8f32_0uuuuu6u(
+; AVX-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[A:%.*]], <8 x float> [[B:%.*]], <8 x i32> <i32 0, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 12, i32 poison>
+; AVX-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[A]], <8 x float> [[B]], <8 x i32> <i32 1, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 13, i32 poison>
+; AVX-NEXT: [[TMP3:%.*]] = fadd <8 x float> [[TMP1]], [[TMP2]]
+; AVX-NEXT: ret <8 x float> [[TMP3]]
+;
+ %a0 = extractelement <8 x float> %a, i32 0
+ %a1 = extractelement <8 x float> %a, i32 1
+ %a2 = extractelement <8 x float> %a, i32 2
+ %a3 = extractelement <8 x float> %a, i32 3
+ %a4 = extractelement <8 x float> %a, i32 4
+ %a5 = extractelement <8 x float> %a, i32 5
+ %a6 = extractelement <8 x float> %a, i32 6
+ %a7 = extractelement <8 x float> %a, i32 7
+ %a01 = fadd float %a0, %a1
+ %a23 = fadd float %a2, %a3
+ %a45 = fadd float %a4, %a5
+ %a67 = fadd float %a6, %a7
+ %b0 = extractelement <8 x float> %b, i32 0
+ %b1 = extractelement <8 x float> %b, i32 1
+ %b2 = extractelement <8 x float> %b, i32 2
+ %b3 = extractelement <8 x float> %b, i32 3
+ %b4 = extractelement <8 x float> %b, i32 4
+ %b5 = extractelement <8 x float> %b, i32 5
+ %b6 = extractelement <8 x float> %b, i32 6
+ %b7 = extractelement <8 x float> %b, i32 7
+ %b01 = fadd float %b0, %b1
+ %b23 = fadd float %b2, %b3
+ %b45 = fadd float %b4, %b5
+ %b67 = fadd float %b6, %b7
+ %hadd0 = insertelement <8 x float> poison, float %a01, i32 0
+ %hadd1 = insertelement <8 x float> %hadd0, float %a23, i32 1
+ %hadd2 = insertelement <8 x float> %hadd1, float %b01, i32 2
+ %hadd3 = insertelement <8 x float> %hadd2, float %b23, i32 3
+ %hadd4 = insertelement <8 x float> %hadd3, float %a45, i32 4
+ %hadd5 = insertelement <8 x float> %hadd4, float %a67, i32 5
+ %hadd6 = insertelement <8 x float> %hadd5, float %b45, i32 6
+ %hadd7 = insertelement <8 x float> %hadd6, float %b67, i32 7
+ %result = shufflevector <8 x float> %hadd7, <8 x float> %a, <8 x i32> <i32 0, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 6, i32 poison>
+ ret <8 x float> %result
+}
+
+define <8 x float> @add_v8f32_0145uuuu(<8 x float> %a, <8 x float> %b) {
+; SSE2-LABEL: @add_v8f32_0145uuuu(
; SSE2-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[A:%.*]], <8 x float> poison, <4 x i32> <i32 0, i32 2, i32 4, i32 6>
; SSE2-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[A]], <8 x float> poison, <4 x i32> <i32 1, i32 3, i32 5, i32 7>
; SSE2-NEXT: [[TMP3:%.*]] = fadd <4 x float> [[TMP1]], [[TMP2]]
-; SSE2-NEXT: [[B0:%.*]] = extractelement <8 x float> [[B:%.*]], i64 0
-; SSE2-NEXT: [[B1:%.*]] = extractelement <8 x float> [[B]], i64 1
+; SSE2-NEXT: [[TMP4:%.*]] = shufflevector <4 x float> [[TMP3]], <4 x float> poison, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE2-NEXT: ret <8 x float> [[TMP4]]
+;
+; SSE4-LABEL: @add_v8f32_0145uuuu(
+; SSE4-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[A:%.*]], <8 x float> poison, <8 x i32> <i32 0, i32 2, i32 4, i32 6, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE4-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[A]], <8 x float> poison, <8 x i32> <i32 1, i32 3, i32 5, i32 7, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE4-NEXT: [[TMP3:%.*]] = fadd <8 x float> [[TMP1]], [[TMP2]]
+; SSE4-NEXT: ret <8 x float> [[TMP3]]
+;
+; AVX-LABEL: @add_v8f32_0145uuuu(
+; AVX-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[A:%.*]], <8 x float> poison, <8 x i32> <i32 0, i32 2, i32 4, i32 6, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[A]], <8 x float> poison, <8 x i32> <i32 1, i32 3, i32 5, i32 7, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP3:%.*]] = fadd <8 x float> [[TMP1]], [[TMP2]]
+; AVX-NEXT: ret <8 x float> [[TMP3]]
+;
+ %a0 = extractelement <8 x float> %a, i32 0
+ %a1 = extractelement <8 x float> %a, i32 1
+ %a2 = extractelement <8 x float> %a, i32 2
+ %a3 = extractelement <8 x float> %a, i32 3
+ %a4 = extractelement <8 x float> %a, i32 4
+ %a5 = extractelement <8 x float> %a, i32 5
+ %a6 = extractelement <8 x float> %a, i32 6
+ %a7 = extractelement <8 x float> %a, i32 7
+ %a01 = fadd float %a0, %a1
+ %a23 = fadd float %a2, %a3
+ %a45 = fadd float %a4, %a5
+ %a67 = fadd float %a6, %a7
+ %b0 = extractelement <8 x float> %b, i32 0
+ %b1 = extractelement <8 x float> %b, i32 1
+ %b2 = extractelement <8 x float> %b, i32 2
+ %b3 = extractelement <8 x float> %b, i32 3
+ %b4 = extractelement <8 x float> %b, i32 4
+ %b5 = extractelement <8 x float> %b, i32 5
+ %b6 = extractelement <8 x float> %b, i32 6
+ %b7 = extractelement <8 x float> %b, i32 7
+ %b01 = fadd float %b0, %b1
+ %b23 = fadd float %b2, %b3
+ %b45 = fadd float %b4, %b5
+ %b67 = fadd float %b6, %b7
+ %hadd0 = insertelement <8 x float> poison, float %a01, i32 0
+ %hadd1 = insertelement <8 x float> %hadd0, float %a23, i32 1
+ %hadd2 = insertelement <8 x float> %hadd1, float %b01, i32 2
+ %hadd3 = insertelement <8 x float> %hadd2, float %b23, i32 3
+ %hadd4 = insertelement <8 x float> %hadd3, float %a45, i32 4
+ %hadd5 = insertelement <8 x float> %hadd4, float %a67, i32 5
+ %hadd6 = insertelement <8 x float> %hadd5, float %b45, i32 6
+ %hadd7 = insertelement <8 x float> %hadd6, float %b67, i32 7
+ %result = shufflevector <8 x float> %hadd7, <8 x float> %a, <8 x i32> <i32 0, i32 1, i32 4, i32 5, i32 poison, i32 poison, i32 poison, i32 poison>
+ ret <8 x float> %result
+}
+
+define <8 x float> @add_v8f32_76u43210(<8 x float> %a, <8 x float> %b) {
+; SSE2-LABEL: @add_v8f32_76u43210(
+; SSE2-NEXT: [[B0:%.*]] = extractelement <8 x float> [[A:%.*]], i64 4
+; SSE2-NEXT: [[B1:%.*]] = extractelement <8 x float> [[A]], i64 5
; SSE2-NEXT: [[B01:%.*]] = fadd float [[B0]], [[B1]]
+; SSE2-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[A]], <8 x float> [[B:%.*]], <4 x i32> <i32 0, i32 2, i32 8, i32 10>
+; SSE2-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[A]], <8 x float> [[B]], <4 x i32> <i32 1, i32 3, i32 9, i32 11>
+; SSE2-NEXT: [[TMP3:%.*]] = fadd <4 x float> [[TMP1]], [[TMP2]]
; SSE2-NEXT: [[TMP4:%.*]] = shufflevector <8 x float> [[B]], <8 x float> poison, <2 x i32> <i32 5, i32 6>
; SSE2-NEXT: [[TMP5:%.*]] = shufflevector <8 x float> [[B]], <8 x float> poison, <2 x i32> <i32 4, i32 7>
; SSE2-NEXT: [[TMP6:%.*]] = fadd <2 x float> [[TMP4]], [[TMP5]]
@@ -1205,14 +1932,14 @@ define <8 x float> @add_v8f32_76u43210(<8 x float> %a, <8 x float> %b) {
; SSE2-NEXT: ret <8 x float> [[RESULT]]
;
; SSE4-LABEL: @add_v8f32_76u43210(
-; SSE4-NEXT: [[TMP4:%.*]] = shufflevector <8 x float> [[B:%.*]], <8 x float> [[A:%.*]], <8 x i32> <i32 6, i32 5, i32 poison, i32 0, i32 14, i32 12, i32 10, i32 8>
-; SSE4-NEXT: [[TMP5:%.*]] = shufflevector <8 x float> [[B]], <8 x float> [[A]], <8 x i32> <i32 7, i32 4, i32 poison, i32 1, i32 15, i32 13, i32 11, i32 9>
+; SSE4-NEXT: [[TMP4:%.*]] = shufflevector <8 x float> [[B:%.*]], <8 x float> [[A:%.*]], <8 x i32> <i32 6, i32 5, i32 poison, i32 12, i32 2, i32 0, i32 10, i32 8>
+; SSE4-NEXT: [[TMP5:%.*]] = shufflevector <8 x float> [[B]], <8 x float> [[A]], <8 x i32> <i32 7, i32 4, i32 poison, i32 13, i32 3, i32 1, i32 11, i32 9>
; SSE4-NEXT: [[TMP6:%.*]] = fadd <8 x float> [[TMP4]], [[TMP5]]
; SSE4-NEXT: ret <8 x float> [[TMP6]]
;
; AVX-LABEL: @add_v8f32_76u43210(
-; AVX-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[B:%.*]], <8 x float> [[A:%.*]], <8 x i32> <i32 6, i32 5, i32 poison, i32 0, i32 14, i32 12, i32 10, i32 8>
-; AVX-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[B]], <8 x float> [[A]], <8 x i32> <i32 7, i32 4, i32 poison, i32 1, i32 15, i32 13, i32 11, i32 9>
+; AVX-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[B:%.*]], <8 x float> [[A:%.*]], <8 x i32> <i32 6, i32 5, i32 poison, i32 12, i32 2, i32 0, i32 10, i32 8>
+; AVX-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[B]], <8 x float> [[A]], <8 x i32> <i32 7, i32 4, i32 poison, i32 13, i32 3, i32 1, i32 11, i32 9>
; AVX-NEXT: [[RESULT:%.*]] = fadd <8 x float> [[TMP1]], [[TMP2]]
; AVX-NEXT: ret <8 x float> [[RESULT]]
;
@@ -1242,16 +1969,109 @@ define <8 x float> @add_v8f32_76u43210(<8 x float> %a, <8 x float> %b) {
%b67 = fadd float %b6, %b7
%hadd0 = insertelement <8 x float> poison, float %a01, i32 0
%hadd1 = insertelement <8 x float> %hadd0, float %a23, i32 1
- %hadd2 = insertelement <8 x float> %hadd1, float %a45, i32 2
- %hadd3 = insertelement <8 x float> %hadd2, float %a67, i32 3
- %hadd4 = insertelement <8 x float> %hadd3, float %b01, i32 4
- %hadd5 = insertelement <8 x float> %hadd4, float %b23, i32 5
+ %hadd2 = insertelement <8 x float> %hadd1, float %b01, i32 2
+ %hadd3 = insertelement <8 x float> %hadd2, float %b23, i32 3
+ %hadd4 = insertelement <8 x float> %hadd3, float %a45, i32 4
+ %hadd5 = insertelement <8 x float> %hadd4, float %a67, i32 5
%hadd6 = insertelement <8 x float> %hadd5, float %b45, i32 6
%hadd7 = insertelement <8 x float> %hadd6, float %b67, i32 7
%result = shufflevector <8 x float> %hadd7, <8 x float> %a, <8 x i32> <i32 7, i32 6, i32 poison, i32 4, i32 3, i32 2, i32 1, i32 0>
ret <8 x float> %result
}
+;
+; v16f32
+;
+
+define <16 x float> @add_v16f32_0145uuuuuuuuuuuu(<16 x float> %a, <16 x float> %b) {
+; SSE2-LABEL: @add_v16f32_0145uuuuuuuuuuuu(
+; SSE2-NEXT: [[TMP1:%.*]] = shufflevector <16 x float> [[A:%.*]], <16 x float> poison, <4 x i32> <i32 0, i32 2, i32 4, i32 6>
+; SSE2-NEXT: [[TMP2:%.*]] = shufflevector <16 x float> [[A]], <16 x float> poison, <4 x i32> <i32 1, i32 3, i32 5, i32 7>
+; SSE2-NEXT: [[TMP3:%.*]] = fadd <4 x float> [[TMP1]], [[TMP2]]
+; SSE2-NEXT: [[TMP4:%.*]] = shufflevector <4 x float> [[TMP3]], <4 x float> poison, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE2-NEXT: ret <16 x float> [[TMP4]]
+;
+; SSE4-LABEL: @add_v16f32_0145uuuuuuuuuuuu(
+; SSE4-NEXT: [[TMP1:%.*]] = shufflevector <16 x float> [[A:%.*]], <16 x float> poison, <4 x i32> <i32 0, i32 2, i32 4, i32 6>
+; SSE4-NEXT: [[TMP2:%.*]] = shufflevector <16 x float> [[A]], <16 x float> poison, <4 x i32> <i32 1, i32 3, i32 5, i32 7>
+; SSE4-NEXT: [[TMP3:%.*]] = fadd <4 x float> [[TMP1]], [[TMP2]]
+; SSE4-NEXT: [[TMP4:%.*]] = shufflevector <4 x float> [[TMP3]], <4 x float> poison, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE4-NEXT: ret <16 x float> [[TMP4]]
+;
+; AVX-LABEL: @add_v16f32_0145uuuuuuuuuuuu(
+; AVX-NEXT: [[TMP1:%.*]] = shufflevector <16 x float> [[A:%.*]], <16 x float> poison, <16 x i32> <i32 0, i32 2, i32 4, i32 6, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP2:%.*]] = shufflevector <16 x float> [[A]], <16 x float> poison, <16 x i32> <i32 1, i32 3, i32 5, i32 7, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP3:%.*]] = fadd <16 x float> [[TMP1]], [[TMP2]]
+; AVX-NEXT: ret <16 x float> [[TMP3]]
+;
+ %a0 = extractelement <16 x float> %a, i32 0
+ %a1 = extractelement <16 x float> %a, i32 1
+ %a2 = extractelement <16 x float> %a, i32 2
+ %a3 = extractelement <16 x float> %a, i32 3
+ %a4 = extractelement <16 x float> %a, i32 4
+ %a5 = extractelement <16 x float> %a, i32 5
+ %a6 = extractelement <16 x float> %a, i32 6
+ %a7 = extractelement <16 x float> %a, i32 7
+ %a8 = extractelement <16 x float> %a, i32 8
+ %a9 = extractelement <16 x float> %a, i32 9
+ %aA = extractelement <16 x float> %a, i32 10
+ %aB = extractelement <16 x float> %a, i32 11
+ %aC = extractelement <16 x float> %a, i32 12
+ %aD = extractelement <16 x float> %a, i32 13
+ %aE = extractelement <16 x float> %a, i32 14
+ %aF = extractelement <16 x float> %a, i32 15
+ %a01 = fadd float %a0, %a1
+ %a23 = fadd float %a2, %a3
+ %a45 = fadd float %a4, %a5
+ %a67 = fadd float %a6, %a7
+ %a89 = fadd float %a8, %a9
+ %aAB = fadd float %aA, %aB
+ %aCD = fadd float %aC, %aD
+ %aEF = fadd float %aE, %aF
+ %b0 = extractelement <16 x float> %b, i32 0
+ %b1 = extractelement <16 x float> %b, i32 1
+ %b2 = extractelement <16 x float> %b, i32 2
+ %b3 = extractelement <16 x float> %b, i32 3
+ %b4 = extractelement <16 x float> %b, i32 4
+ %b5 = extractelement <16 x float> %b, i32 5
+ %b6 = extractelement <16 x float> %b, i32 6
+ %b7 = extractelement <16 x float> %b, i32 7
+ %b8 = extractelement <16 x float> %b, i32 8
+ %b9 = extractelement <16 x float> %b, i32 9
+ %bA = extractelement <16 x float> %b, i32 10
+ %bB = extractelement <16 x float> %b, i32 11
+ %bC = extractelement <16 x float> %b, i32 12
+ %bD = extractelement <16 x float> %b, i32 13
+ %bE = extractelement <16 x float> %b, i32 14
+ %bF = extractelement <16 x float> %b, i32 15
+ %b01 = fadd float %b0, %b1
+ %b23 = fadd float %b2, %b3
+ %b45 = fadd float %b4, %b5
+ %b67 = fadd float %b6, %b7
+ %b89 = fadd float %b8, %b9
+ %bAB = fadd float %bA, %bB
+ %bCD = fadd float %bC, %bD
+ %bEF = fadd float %bE, %bF
+ %hadd0 = insertelement <16 x float> poison, float %a01, i32 0
+ %hadd1 = insertelement <16 x float> %hadd0, float %a23, i32 1
+ %hadd2 = insertelement <16 x float> %hadd1, float %b01, i32 2
+ %hadd3 = insertelement <16 x float> %hadd2, float %b23, i32 3
+ %hadd4 = insertelement <16 x float> %hadd3, float %a45, i32 4
+ %hadd5 = insertelement <16 x float> %hadd4, float %a67, i32 5
+ %hadd6 = insertelement <16 x float> %hadd5, float %b45, i32 6
+ %hadd7 = insertelement <16 x float> %hadd6, float %b67, i32 7
+ %hadd8 = insertelement <16 x float> %hadd7, float %a89, i32 8
+ %hadd9 = insertelement <16 x float> %hadd8, float %aAB, i32 9
+ %haddA = insertelement <16 x float> %hadd9, float %b89, i32 10
+ %haddB = insertelement <16 x float> %haddA, float %bAB, i32 11
+ %haddC = insertelement <16 x float> %haddB, float %aCD, i32 12
+ %haddD = insertelement <16 x float> %haddC, float %aEF, i32 13
+ %haddE = insertelement <16 x float> %haddD, float %bCD, i32 14
+ %haddF = insertelement <16 x float> %haddE, float %bEF, i32 15
+ %result = shufflevector <16 x float> %haddF, <16 x float> poison, <16 x i32> <i32 0, i32 1, i32 4, i32 5, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+ ret <16 x float> %result
+}
+
;
; v2f64
;
diff --git a/llvm/test/Transforms/PhaseOrdering/X86/hsub.ll b/llvm/test/Transforms/PhaseOrdering/X86/hsub.ll
index 24b1a4c4af405..031d15e346243 100644
--- a/llvm/test/Transforms/PhaseOrdering/X86/hsub.ll
+++ b/llvm/test/Transforms/PhaseOrdering/X86/hsub.ll
@@ -278,11 +278,11 @@ define <16 x i16> @sub_v16i16_0123u56789uBCDEF(<16 x i16> %a, <16 x i16> %b) {
; SSE2-NEXT: [[BEF:%.*]] = sub i16 [[BE]], [[BF]]
; SSE2-NEXT: [[TMP3:%.*]] = shufflevector <16 x i16> [[B]], <16 x i16> [[B1:%.*]], <16 x i32> <i32 0, i32 2, i32 4, i32 6, i32 poison, i32 18, i32 20, i32 22, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
; SSE2-NEXT: [[TMP7:%.*]] = shufflevector <16 x i16> [[B]], <16 x i16> [[B1]], <16 x i32> <i32 1, i32 3, i32 5, i32 7, i32 poison, i32 19, i32 21, i32 23, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
-; SSE2-NEXT: [[HSUB8:%.*]] = sub <16 x i16> [[TMP3]], [[TMP7]]
+; SSE2-NEXT: [[TMP11:%.*]] = sub <16 x i16> [[TMP3]], [[TMP7]]
; SSE2-NEXT: [[TMP4:%.*]] = shufflevector <16 x i16> [[B]], <16 x i16> poison, <16 x i32> <i32 8, i32 10, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
; SSE2-NEXT: [[TMP5:%.*]] = shufflevector <16 x i16> [[B]], <16 x i16> poison, <16 x i32> <i32 9, i32 11, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
; SSE2-NEXT: [[TMP6:%.*]] = sub <16 x i16> [[TMP4]], [[TMP5]]
-; SSE2-NEXT: [[HSUB92:%.*]] = shufflevector <16 x i16> [[HSUB8]], <16 x i16> [[TMP6]], <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 5, i32 6, i32 7, i32 16, i32 17, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE2-NEXT: [[HSUB92:%.*]] = shufflevector <16 x i16> [[TMP11]], <16 x i16> [[TMP6]], <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 5, i32 6, i32 7, i32 16, i32 17, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
; SSE2-NEXT: [[HSUBB:%.*]] = insertelement <16 x i16> [[HSUB92]], i16 [[BEF]], i64 11
; SSE2-NEXT: [[TMP10:%.*]] = shufflevector <16 x i16> [[B1]], <16 x i16> poison, <16 x i32> <i32 8, i32 10, i32 12, i32 14, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
; SSE2-NEXT: [[TMP8:%.*]] = shufflevector <16 x i16> [[B1]], <16 x i16> poison, <16 x i32> <i32 9, i32 11, i32 13, i32 15, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
@@ -841,6 +841,403 @@ define <8 x i32> @sub_v8i32_01234u67(<8 x i32> %a, <8 x i32> %b) {
ret <8 x i32> %result
}
+define <8 x i32> @sub_v8i32_0uu3uuuu(<8 x i32> %a, <8 x i32> %b) {
+; CHECK-LABEL: @sub_v8i32_0uu3uuuu(
+; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <8 x i32> [[A:%.*]], <8 x i32> [[B:%.*]], <8 x i32> <i32 0, i32 poison, i32 poison, i32 10, i32 poison, i32 poison, i32 poison, i32 poison>
+; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <8 x i32> [[A]], <8 x i32> [[B]], <8 x i32> <i32 1, i32 poison, i32 poison, i32 11, i32 poison, i32 poison, i32 poison, i32 poison>
+; CHECK-NEXT: [[TMP3:%.*]] = sub <8 x i32> [[TMP1]], [[TMP2]]
+; CHECK-NEXT: ret <8 x i32> [[TMP3]]
+;
+ %a0 = extractelement <8 x i32> %a, i32 0
+ %a1 = extractelement <8 x i32> %a, i32 1
+ %a2 = extractelement <8 x i32> %a, i32 2
+ %a3 = extractelement <8 x i32> %a, i32 3
+ %a4 = extractelement <8 x i32> %a, i32 4
+ %a5 = extractelement <8 x i32> %a, i32 5
+ %a6 = extractelement <8 x i32> %a, i32 6
+ %a7 = extractelement <8 x i32> %a, i32 7
+ %a01 = sub i32 %a0, %a1
+ %a23 = sub i32 %a2, %a3
+ %a45 = sub i32 %a4, %a5
+ %a67 = sub i32 %a6, %a7
+ %b0 = extractelement <8 x i32> %b, i32 0
+ %b1 = extractelement <8 x i32> %b, i32 1
+ %b2 = extractelement <8 x i32> %b, i32 2
+ %b3 = extractelement <8 x i32> %b, i32 3
+ %b4 = extractelement <8 x i32> %b, i32 4
+ %b5 = extractelement <8 x i32> %b, i32 5
+ %b6 = extractelement <8 x i32> %b, i32 6
+ %b7 = extractelement <8 x i32> %b, i32 7
+ %b01 = sub i32 %b0, %b1
+ %b23 = sub i32 %b2, %b3
+ %b45 = sub i32 %b4, %b5
+ %b67 = sub i32 %b6, %b7
+ %hsub0 = insertelement <8 x i32> poison, i32 %a01, i32 0
+ %hsub1 = insertelement <8 x i32> %hsub0, i32 %a23, i32 1
+ %hsub2 = insertelement <8 x i32> %hsub1, i32 %b01, i32 2
+ %hsub3 = insertelement <8 x i32> %hsub2, i32 %b23, i32 3
+ %hsub4 = insertelement <8 x i32> %hsub3, i32 %a45, i32 4
+ %hsub5 = insertelement <8 x i32> %hsub4, i32 %a67, i32 5
+ %hsub6 = insertelement <8 x i32> %hsub5, i32 %b45, i32 6
+ %hsub7 = insertelement <8 x i32> %hsub6, i32 %b67, i32 7
+ %result = shufflevector <8 x i32> %hsub7, <8 x i32> %a, <8 x i32> <i32 0, i32 poison, i32 poison, i32 3, i32 poison, i32 poison, i32 poison, i32 poison>
+ ret <8 x i32> %result
+}
+
+define <8 x i32> @sub_v8i32_01uuuuuu(<8 x i32> %a, <8 x i32> %b) {
+; CHECK-LABEL: @sub_v8i32_01uuuuuu(
+; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <8 x i32> [[A:%.*]], <8 x i32> poison, <8 x i32> <i32 0, i32 2, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <8 x i32> [[A]], <8 x i32> poison, <8 x i32> <i32 1, i32 3, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; CHECK-NEXT: [[TMP3:%.*]] = sub <8 x i32> [[TMP1]], [[TMP2]]
+; CHECK-NEXT: ret <8 x i32> [[TMP3]]
+;
+ %a0 = extractelement <8 x i32> %a, i32 0
+ %a1 = extractelement <8 x i32> %a, i32 1
+ %a2 = extractelement <8 x i32> %a, i32 2
+ %a3 = extractelement <8 x i32> %a, i32 3
+ %a4 = extractelement <8 x i32> %a, i32 4
+ %a5 = extractelement <8 x i32> %a, i32 5
+ %a6 = extractelement <8 x i32> %a, i32 6
+ %a7 = extractelement <8 x i32> %a, i32 7
+ %a01 = sub i32 %a0, %a1
+ %a23 = sub i32 %a2, %a3
+ %a45 = sub i32 %a4, %a5
+ %a67 = sub i32 %a6, %a7
+ %b0 = extractelement <8 x i32> %b, i32 0
+ %b1 = extractelement <8 x i32> %b, i32 1
+ %b2 = extractelement <8 x i32> %b, i32 2
+ %b3 = extractelement <8 x i32> %b, i32 3
+ %b4 = extractelement <8 x i32> %b, i32 4
+ %b5 = extractelement <8 x i32> %b, i32 5
+ %b6 = extractelement <8 x i32> %b, i32 6
+ %b7 = extractelement <8 x i32> %b, i32 7
+ %b01 = sub i32 %b0, %b1
+ %b23 = sub i32 %b2, %b3
+ %b45 = sub i32 %b4, %b5
+ %b67 = sub i32 %b6, %b7
+ %hsub0 = insertelement <8 x i32> poison, i32 %a01, i32 0
+ %hsub1 = insertelement <8 x i32> %hsub0, i32 %a23, i32 1
+ %hsub2 = insertelement <8 x i32> %hsub1, i32 %b01, i32 2
+ %hsub3 = insertelement <8 x i32> %hsub2, i32 %b23, i32 3
+ %hsub4 = insertelement <8 x i32> %hsub3, i32 %a45, i32 4
+ %hsub5 = insertelement <8 x i32> %hsub4, i32 %a67, i32 5
+ %hsub6 = insertelement <8 x i32> %hsub5, i32 %b45, i32 6
+ %hsub7 = insertelement <8 x i32> %hsub6, i32 %b67, i32 7
+ %result = shufflevector <8 x i32> %hsub7, <8 x i32> %a, <8 x i32> <i32 0, i32 1, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+ ret <8 x i32> %result
+}
+
+define <8 x i32> @sub_v8i32_0145uuuu(<8 x i32> %a, <8 x i32> %b) {
+; CHECK-LABEL: @sub_v8i32_0145uuuu(
+; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <8 x i32> [[A:%.*]], <8 x i32> poison, <8 x i32> <i32 0, i32 2, i32 4, i32 6, i32 poison, i32 poison, i32 poison, i32 poison>
+; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <8 x i32> [[A]], <8 x i32> poison, <8 x i32> <i32 1, i32 3, i32 5, i32 7, i32 poison, i32 poison, i32 poison, i32 poison>
+; CHECK-NEXT: [[TMP3:%.*]] = sub <8 x i32> [[TMP1]], [[TMP2]]
+; CHECK-NEXT: ret <8 x i32> [[TMP3]]
+;
+ %a0 = extractelement <8 x i32> %a, i32 0
+ %a1 = extractelement <8 x i32> %a, i32 1
+ %a2 = extractelement <8 x i32> %a, i32 2
+ %a3 = extractelement <8 x i32> %a, i32 3
+ %a4 = extractelement <8 x i32> %a, i32 4
+ %a5 = extractelement <8 x i32> %a, i32 5
+ %a6 = extractelement <8 x i32> %a, i32 6
+ %a7 = extractelement <8 x i32> %a, i32 7
+ %a01 = sub i32 %a0, %a1
+ %a23 = sub i32 %a2, %a3
+ %a45 = sub i32 %a4, %a5
+ %a67 = sub i32 %a6, %a7
+ %b0 = extractelement <8 x i32> %b, i32 0
+ %b1 = extractelement <8 x i32> %b, i32 1
+ %b2 = extractelement <8 x i32> %b, i32 2
+ %b3 = extractelement <8 x i32> %b, i32 3
+ %b4 = extractelement <8 x i32> %b, i32 4
+ %b5 = extractelement <8 x i32> %b, i32 5
+ %b6 = extractelement <8 x i32> %b, i32 6
+ %b7 = extractelement <8 x i32> %b, i32 7
+ %b01 = sub i32 %b0, %b1
+ %b23 = sub i32 %b2, %b3
+ %b45 = sub i32 %b4, %b5
+ %b67 = sub i32 %b6, %b7
+ %hsub0 = insertelement <8 x i32> poison, i32 %a01, i32 0
+ %hsub1 = insertelement <8 x i32> %hsub0, i32 %a23, i32 1
+ %hsub2 = insertelement <8 x i32> %hsub1, i32 %b01, i32 2
+ %hsub3 = insertelement <8 x i32> %hsub2, i32 %b23, i32 3
+ %hsub4 = insertelement <8 x i32> %hsub3, i32 %a45, i32 4
+ %hsub5 = insertelement <8 x i32> %hsub4, i32 %a67, i32 5
+ %hsub6 = insertelement <8 x i32> %hsub5, i32 %b45, i32 6
+ %hsub7 = insertelement <8 x i32> %hsub6, i32 %b67, i32 7
+ %result = shufflevector <8 x i32> %hsub7, <8 x i32> %a, <8 x i32> <i32 0, i32 1, i32 4, i32 5, i32 poison, i32 poison, i32 poison, i32 poison>
+ ret <8 x i32> %result
+}
+
+define <8 x i32> @sub_v8i32_0uuuuu6u(<8 x i32> %a, <8 x i32> %b) {
+; CHECK-LABEL: @sub_v8i32_0uuuuu6u(
+; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <8 x i32> [[A:%.*]], <8 x i32> [[B:%.*]], <8 x i32> <i32 0, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 12, i32 poison>
+; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <8 x i32> [[A]], <8 x i32> [[B]], <8 x i32> <i32 1, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 13, i32 poison>
+; CHECK-NEXT: [[TMP3:%.*]] = sub <8 x i32> [[TMP1]], [[TMP2]]
+; CHECK-NEXT: ret <8 x i32> [[TMP3]]
+;
+ %a0 = extractelement <8 x i32> %a, i32 0
+ %a1 = extractelement <8 x i32> %a, i32 1
+ %a2 = extractelement <8 x i32> %a, i32 2
+ %a3 = extractelement <8 x i32> %a, i32 3
+ %a4 = extractelement <8 x i32> %a, i32 4
+ %a5 = extractelement <8 x i32> %a, i32 5
+ %a6 = extractelement <8 x i32> %a, i32 6
+ %a7 = extractelement <8 x i32> %a, i32 7
+ %a01 = sub i32 %a0, %a1
+ %a23 = sub i32 %a2, %a3
+ %a45 = sub i32 %a4, %a5
+ %a67 = sub i32 %a6, %a7
+ %b0 = extractelement <8 x i32> %b, i32 0
+ %b1 = extractelement <8 x i32> %b, i32 1
+ %b2 = extractelement <8 x i32> %b, i32 2
+ %b3 = extractelement <8 x i32> %b, i32 3
+ %b4 = extractelement <8 x i32> %b, i32 4
+ %b5 = extractelement <8 x i32> %b, i32 5
+ %b6 = extractelement <8 x i32> %b, i32 6
+ %b7 = extractelement <8 x i32> %b, i32 7
+ %b01 = sub i32 %b0, %b1
+ %b23 = sub i32 %b2, %b3
+ %b45 = sub i32 %b4, %b5
+ %b67 = sub i32 %b6, %b7
+ %hsub0 = insertelement <8 x i32> poison, i32 %a01, i32 0
+ %hsub1 = insertelement <8 x i32> %hsub0, i32 %a23, i32 1
+ %hsub2 = insertelement <8 x i32> %hsub1, i32 %b01, i32 2
+ %hsub3 = insertelement <8 x i32> %hsub2, i32 %b23, i32 3
+ %hsub4 = insertelement <8 x i32> %hsub3, i32 %a45, i32 4
+ %hsub5 = insertelement <8 x i32> %hsub4, i32 %a67, i32 5
+ %hsub6 = insertelement <8 x i32> %hsub5, i32 %b45, i32 6
+ %hsub7 = insertelement <8 x i32> %hsub6, i32 %b67, i32 7
+ %result = shufflevector <8 x i32> %hsub7, <8 x i32> %a, <8 x i32> <i32 0, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 6, i32 poison>
+ ret <8 x i32> %result
+}
+
+define <8 x i32> @sub_v8i32_uuuu4uu7(<8 x i32> %a, <8 x i32> %b) {
+; CHECK-LABEL: @sub_v8i32_uuuu4uu7(
+; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <8 x i32> [[A:%.*]], <8 x i32> [[B:%.*]], <8 x i32> <i32 poison, i32 poison, i32 poison, i32 poison, i32 4, i32 poison, i32 poison, i32 14>
+; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <8 x i32> [[A]], <8 x i32> [[B]], <8 x i32> <i32 poison, i32 poison, i32 poison, i32 poison, i32 5, i32 poison, i32 poison, i32 15>
+; CHECK-NEXT: [[RESULT1:%.*]] = sub <8 x i32> [[TMP1]], [[TMP2]]
+; CHECK-NEXT: ret <8 x i32> [[RESULT1]]
+;
+ %a0 = extractelement <8 x i32> %a, i32 0
+ %a1 = extractelement <8 x i32> %a, i32 1
+ %a2 = extractelement <8 x i32> %a, i32 2
+ %a3 = extractelement <8 x i32> %a, i32 3
+ %a4 = extractelement <8 x i32> %a, i32 4
+ %a5 = extractelement <8 x i32> %a, i32 5
+ %a6 = extractelement <8 x i32> %a, i32 6
+ %a7 = extractelement <8 x i32> %a, i32 7
+ %a01 = sub i32 %a0, %a1
+ %a23 = sub i32 %a2, %a3
+ %a45 = sub i32 %a4, %a5
+ %a67 = sub i32 %a6, %a7
+ %b0 = extractelement <8 x i32> %b, i32 0
+ %b1 = extractelement <8 x i32> %b, i32 1
+ %b2 = extractelement <8 x i32> %b, i32 2
+ %b3 = extractelement <8 x i32> %b, i32 3
+ %b4 = extractelement <8 x i32> %b, i32 4
+ %b5 = extractelement <8 x i32> %b, i32 5
+ %b6 = extractelement <8 x i32> %b, i32 6
+ %b7 = extractelement <8 x i32> %b, i32 7
+ %b01 = sub i32 %b0, %b1
+ %b23 = sub i32 %b2, %b3
+ %b45 = sub i32 %b4, %b5
+ %b67 = sub i32 %b6, %b7
+ %hsub0 = insertelement <8 x i32> poison, i32 %a01, i32 0
+ %hsub1 = insertelement <8 x i32> %hsub0, i32 %a23, i32 1
+ %hsub2 = insertelement <8 x i32> %hsub1, i32 %b01, i32 2
+ %hsub3 = insertelement <8 x i32> %hsub2, i32 %b23, i32 3
+ %hsub4 = insertelement <8 x i32> %hsub3, i32 %a45, i32 4
+ %hsub5 = insertelement <8 x i32> %hsub4, i32 %a67, i32 5
+ %hsub6 = insertelement <8 x i32> %hsub5, i32 %b45, i32 6
+ %hsub7 = insertelement <8 x i32> %hsub6, i32 %b67, i32 7
+ %result = shufflevector <8 x i32> %hsub7, <8 x i32> %a, <8 x i32> <i32 poison, i32 poison, i32 poison, i32 poison, i32 4, i32 poison, i32 poison, i32 7>
+ ret <8 x i32> %result
+}
+
+;
+; v16i32
+;
+
+define <16 x i32> @sub_v16i32_01uuuuuuuuuuuuuu(<16 x i32> %a, <16 x i32> %b) {
+; SSE2-LABEL: @sub_v16i32_01uuuuuuuuuuuuuu(
+; SSE2-NEXT: [[TMP1:%.*]] = shufflevector <16 x i32> [[A:%.*]], <16 x i32> poison, <2 x i32> <i32 0, i32 2>
+; SSE2-NEXT: [[TMP2:%.*]] = shufflevector <16 x i32> [[A]], <16 x i32> poison, <2 x i32> <i32 1, i32 3>
+; SSE2-NEXT: [[TMP3:%.*]] = sub <2 x i32> [[TMP1]], [[TMP2]]
+; SSE2-NEXT: [[TMP4:%.*]] = shufflevector <2 x i32> [[TMP3]], <2 x i32> poison, <16 x i32> <i32 0, i32 1, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE2-NEXT: ret <16 x i32> [[TMP4]]
+;
+; SSE4-LABEL: @sub_v16i32_01uuuuuuuuuuuuuu(
+; SSE4-NEXT: [[TMP1:%.*]] = shufflevector <16 x i32> [[A:%.*]], <16 x i32> poison, <2 x i32> <i32 0, i32 2>
+; SSE4-NEXT: [[TMP2:%.*]] = shufflevector <16 x i32> [[A]], <16 x i32> poison, <2 x i32> <i32 1, i32 3>
+; SSE4-NEXT: [[TMP3:%.*]] = sub <2 x i32> [[TMP1]], [[TMP2]]
+; SSE4-NEXT: [[TMP4:%.*]] = shufflevector <2 x i32> [[TMP3]], <2 x i32> poison, <16 x i32> <i32 0, i32 1, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE4-NEXT: ret <16 x i32> [[TMP4]]
+;
+; AVX-LABEL: @sub_v16i32_01uuuuuuuuuuuuuu(
+; AVX-NEXT: [[TMP1:%.*]] = shufflevector <16 x i32> [[A:%.*]], <16 x i32> poison, <16 x i32> <i32 0, i32 2, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP2:%.*]] = shufflevector <16 x i32> [[A]], <16 x i32> poison, <16 x i32> <i32 1, i32 3, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP3:%.*]] = sub <16 x i32> [[TMP1]], [[TMP2]]
+; AVX-NEXT: ret <16 x i32> [[TMP3]]
+;
+ %a0 = extractelement <16 x i32> %a, i32 0
+ %a1 = extractelement <16 x i32> %a, i32 1
+ %a2 = extractelement <16 x i32> %a, i32 2
+ %a3 = extractelement <16 x i32> %a, i32 3
+ %a4 = extractelement <16 x i32> %a, i32 4
+ %a5 = extractelement <16 x i32> %a, i32 5
+ %a6 = extractelement <16 x i32> %a, i32 6
+ %a7 = extractelement <16 x i32> %a, i32 7
+ %a8 = extractelement <16 x i32> %a, i32 8
+ %a9 = extractelement <16 x i32> %a, i32 9
+ %aA = extractelement <16 x i32> %a, i32 10
+ %aB = extractelement <16 x i32> %a, i32 11
+ %aC = extractelement <16 x i32> %a, i32 12
+ %aD = extractelement <16 x i32> %a, i32 13
+ %aE = extractelement <16 x i32> %a, i32 14
+ %aF = extractelement <16 x i32> %a, i32 15
+ %a01 = sub i32 %a0, %a1
+ %a23 = sub i32 %a2, %a3
+ %a45 = sub i32 %a4, %a5
+ %a67 = sub i32 %a6, %a7
+ %a89 = sub i32 %a8, %a9
+ %aAB = sub i32 %aA, %aB
+ %aCD = sub i32 %aC, %aD
+ %aEF = sub i32 %aE, %aF
+ %b0 = extractelement <16 x i32> %b, i32 0
+ %b1 = extractelement <16 x i32> %b, i32 1
+ %b2 = extractelement <16 x i32> %b, i32 2
+ %b3 = extractelement <16 x i32> %b, i32 3
+ %b4 = extractelement <16 x i32> %b, i32 4
+ %b5 = extractelement <16 x i32> %b, i32 5
+ %b6 = extractelement <16 x i32> %b, i32 6
+ %b7 = extractelement <16 x i32> %b, i32 7
+ %b8 = extractelement <16 x i32> %b, i32 8
+ %b9 = extractelement <16 x i32> %b, i32 9
+ %bA = extractelement <16 x i32> %b, i32 10
+ %bB = extractelement <16 x i32> %b, i32 11
+ %bC = extractelement <16 x i32> %b, i32 12
+ %bD = extractelement <16 x i32> %b, i32 13
+ %bE = extractelement <16 x i32> %b, i32 14
+ %bF = extractelement <16 x i32> %b, i32 15
+ %b01 = sub i32 %b0, %b1
+ %b23 = sub i32 %b2, %b3
+ %b45 = sub i32 %b4, %b5
+ %b67 = sub i32 %b6, %b7
+ %b89 = sub i32 %b8, %b9
+ %bAB = sub i32 %bA, %bB
+ %bCD = sub i32 %bC, %bD
+ %bEF = sub i32 %bE, %bF
+ %hsub0 = insertelement <16 x i32> poison, i32 %a01, i32 0
+ %hsub1 = insertelement <16 x i32> %hsub0, i32 %a23, i32 1
+ %hsub2 = insertelement <16 x i32> %hsub1, i32 %b01, i32 2
+ %hsub3 = insertelement <16 x i32> %hsub2, i32 %b23, i32 3
+ %hsub4 = insertelement <16 x i32> %hsub3, i32 %a45, i32 4
+ %hsub5 = insertelement <16 x i32> %hsub4, i32 %a67, i32 5
+ %hsub6 = insertelement <16 x i32> %hsub5, i32 %b45, i32 6
+ %hsub7 = insertelement <16 x i32> %hsub6, i32 %b67, i32 7
+ %hsub8 = insertelement <16 x i32> %hsub7, i32 %a89, i32 8
+ %hsub9 = insertelement <16 x i32> %hsub8, i32 %aAB, i32 9
+ %hsubA = insertelement <16 x i32> %hsub9, i32 %b89, i32 10
+ %hsubB = insertelement <16 x i32> %hsubA, i32 %bAB, i32 11
+ %hsubC = insertelement <16 x i32> %hsubB, i32 %aCD, i32 12
+ %hsubD = insertelement <16 x i32> %hsubC, i32 %aEF, i32 13
+ %hsubE = insertelement <16 x i32> %hsubD, i32 %bCD, i32 14
+ %hsubF = insertelement <16 x i32> %hsubE, i32 %bEF, i32 15
+ %result = shufflevector <16 x i32> %hsubF, <16 x i32> poison, <16 x i32> <i32 0, i32 1, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+ ret <16 x i32> %result
+}
+
+define <16 x i32> @sub_v16i32_0145uuuuuuuuuuuu(<16 x i32> %a, <16 x i32> %b) {
+; SSE2-LABEL: @sub_v16i32_0145uuuuuuuuuuuu(
+; SSE2-NEXT: [[TMP1:%.*]] = shufflevector <16 x i32> [[A:%.*]], <16 x i32> poison, <4 x i32> <i32 0, i32 2, i32 4, i32 6>
+; SSE2-NEXT: [[TMP2:%.*]] = shufflevector <16 x i32> [[A]], <16 x i32> poison, <4 x i32> <i32 1, i32 3, i32 5, i32 7>
+; SSE2-NEXT: [[TMP3:%.*]] = sub <4 x i32> [[TMP1]], [[TMP2]]
+; SSE2-NEXT: [[TMP4:%.*]] = shufflevector <4 x i32> [[TMP3]], <4 x i32> poison, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE2-NEXT: ret <16 x i32> [[TMP4]]
+;
+; SSE4-LABEL: @sub_v16i32_0145uuuuuuuuuuuu(
+; SSE4-NEXT: [[TMP1:%.*]] = shufflevector <16 x i32> [[A:%.*]], <16 x i32> poison, <4 x i32> <i32 0, i32 2, i32 4, i32 6>
+; SSE4-NEXT: [[TMP2:%.*]] = shufflevector <16 x i32> [[A]], <16 x i32> poison, <4 x i32> <i32 1, i32 3, i32 5, i32 7>
+; SSE4-NEXT: [[TMP3:%.*]] = sub <4 x i32> [[TMP1]], [[TMP2]]
+; SSE4-NEXT: [[TMP4:%.*]] = shufflevector <4 x i32> [[TMP3]], <4 x i32> poison, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE4-NEXT: ret <16 x i32> [[TMP4]]
+;
+; AVX-LABEL: @sub_v16i32_0145uuuuuuuuuuuu(
+; AVX-NEXT: [[TMP1:%.*]] = shufflevector <16 x i32> [[A:%.*]], <16 x i32> poison, <16 x i32> <i32 0, i32 2, i32 4, i32 6, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP2:%.*]] = shufflevector <16 x i32> [[A]], <16 x i32> poison, <16 x i32> <i32 1, i32 3, i32 5, i32 7, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP3:%.*]] = sub <16 x i32> [[TMP1]], [[TMP2]]
+; AVX-NEXT: ret <16 x i32> [[TMP3]]
+;
+ %a0 = extractelement <16 x i32> %a, i32 0
+ %a1 = extractelement <16 x i32> %a, i32 1
+ %a2 = extractelement <16 x i32> %a, i32 2
+ %a3 = extractelement <16 x i32> %a, i32 3
+ %a4 = extractelement <16 x i32> %a, i32 4
+ %a5 = extractelement <16 x i32> %a, i32 5
+ %a6 = extractelement <16 x i32> %a, i32 6
+ %a7 = extractelement <16 x i32> %a, i32 7
+ %a8 = extractelement <16 x i32> %a, i32 8
+ %a9 = extractelement <16 x i32> %a, i32 9
+ %aA = extractelement <16 x i32> %a, i32 10
+ %aB = extractelement <16 x i32> %a, i32 11
+ %aC = extractelement <16 x i32> %a, i32 12
+ %aD = extractelement <16 x i32> %a, i32 13
+ %aE = extractelement <16 x i32> %a, i32 14
+ %aF = extractelement <16 x i32> %a, i32 15
+ %a01 = sub i32 %a0, %a1
+ %a23 = sub i32 %a2, %a3
+ %a45 = sub i32 %a4, %a5
+ %a67 = sub i32 %a6, %a7
+ %a89 = sub i32 %a8, %a9
+ %aAB = sub i32 %aA, %aB
+ %aCD = sub i32 %aC, %aD
+ %aEF = sub i32 %aE, %aF
+ %b0 = extractelement <16 x i32> %b, i32 0
+ %b1 = extractelement <16 x i32> %b, i32 1
+ %b2 = extractelement <16 x i32> %b, i32 2
+ %b3 = extractelement <16 x i32> %b, i32 3
+ %b4 = extractelement <16 x i32> %b, i32 4
+ %b5 = extractelement <16 x i32> %b, i32 5
+ %b6 = extractelement <16 x i32> %b, i32 6
+ %b7 = extractelement <16 x i32> %b, i32 7
+ %b8 = extractelement <16 x i32> %b, i32 8
+ %b9 = extractelement <16 x i32> %b, i32 9
+ %bA = extractelement <16 x i32> %b, i32 10
+ %bB = extractelement <16 x i32> %b, i32 11
+ %bC = extractelement <16 x i32> %b, i32 12
+ %bD = extractelement <16 x i32> %b, i32 13
+ %bE = extractelement <16 x i32> %b, i32 14
+ %bF = extractelement <16 x i32> %b, i32 15
+ %b01 = sub i32 %b0, %b1
+ %b23 = sub i32 %b2, %b3
+ %b45 = sub i32 %b4, %b5
+ %b67 = sub i32 %b6, %b7
+ %b89 = sub i32 %b8, %b9
+ %bAB = sub i32 %bA, %bB
+ %bCD = sub i32 %bC, %bD
+ %bEF = sub i32 %bE, %bF
+ %hsub0 = insertelement <16 x i32> poison, i32 %a01, i32 0
+ %hsub1 = insertelement <16 x i32> %hsub0, i32 %a23, i32 1
+ %hsub2 = insertelement <16 x i32> %hsub1, i32 %b01, i32 2
+ %hsub3 = insertelement <16 x i32> %hsub2, i32 %b23, i32 3
+ %hsub4 = insertelement <16 x i32> %hsub3, i32 %a45, i32 4
+ %hsub5 = insertelement <16 x i32> %hsub4, i32 %a67, i32 5
+ %hsub6 = insertelement <16 x i32> %hsub5, i32 %b45, i32 6
+ %hsub7 = insertelement <16 x i32> %hsub6, i32 %b67, i32 7
+ %hsub8 = insertelement <16 x i32> %hsub7, i32 %a89, i32 8
+ %hsub9 = insertelement <16 x i32> %hsub8, i32 %aAB, i32 9
+ %hsubA = insertelement <16 x i32> %hsub9, i32 %b89, i32 10
+ %hsubB = insertelement <16 x i32> %hsubA, i32 %bAB, i32 11
+ %hsubC = insertelement <16 x i32> %hsubB, i32 %aCD, i32 12
+ %hsubD = insertelement <16 x i32> %hsubC, i32 %aEF, i32 13
+ %hsubE = insertelement <16 x i32> %hsubD, i32 %bCD, i32 14
+ %hsubF = insertelement <16 x i32> %hsubE, i32 %bEF, i32 15
+ %result = shufflevector <16 x i32> %hsubF, <16 x i32> poison, <16 x i32> <i32 0, i32 1, i32 4, i32 5, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+ ret <16 x i32> %result
+}
+
;
; v2f32
;
@@ -1020,6 +1417,77 @@ define <4 x float> @sub_v4f32_012u(<4 x float> %a, <4 x float> %b) {
ret <4 x float> %result
}
+define <4 x float> @sub_v4f32_0uu3(<4 x float> %a, <4 x float> %b) {
+; SSE2-LABEL: @sub_v4f32_0uu3(
+; SSE2-NEXT: [[TMP1:%.*]] = shufflevector <4 x float> [[A:%.*]], <4 x float> [[B:%.*]], <4 x i32> <i32 0, i32 poison, i32 poison, i32 6>
+; SSE2-NEXT: [[TMP2:%.*]] = shufflevector <4 x float> [[A]], <4 x float> [[B]], <4 x i32> <i32 1, i32 poison, i32 poison, i32 7>
+; SSE2-NEXT: [[TMP3:%.*]] = fsub <4 x float> [[TMP1]], [[TMP2]]
+; SSE2-NEXT: ret <4 x float> [[TMP3]]
+;
+; SSE4-LABEL: @sub_v4f32_0uu3(
+; SSE4-NEXT: [[TMP1:%.*]] = shufflevector <4 x float> [[A:%.*]], <4 x float> [[B:%.*]], <4 x i32> <i32 0, i32 poison, i32 poison, i32 6>
+; SSE4-NEXT: [[TMP2:%.*]] = shufflevector <4 x float> [[A]], <4 x float> [[B]], <4 x i32> <i32 1, i32 poison, i32 poison, i32 7>
+; SSE4-NEXT: [[RESULT:%.*]] = fsub <4 x float> [[TMP1]], [[TMP2]]
+; SSE4-NEXT: ret <4 x float> [[RESULT]]
+;
+; AVX2-LABEL: @sub_v4f32_0uu3(
+; AVX2-NEXT: [[TMP1:%.*]] = shufflevector <4 x float> [[A:%.*]], <4 x float> [[B:%.*]], <4 x i32> <i32 0, i32 poison, i32 poison, i32 6>
+; AVX2-NEXT: [[TMP2:%.*]] = shufflevector <4 x float> [[A]], <4 x float> [[B]], <4 x i32> <i32 1, i32 poison, i32 poison, i32 7>
+; AVX2-NEXT: [[RESULT:%.*]] = fsub <4 x float> [[TMP1]], [[TMP2]]
+; AVX2-NEXT: ret <4 x float> [[RESULT]]
+;
+; AVX512-LABEL: @sub_v4f32_0uu3(
+; AVX512-NEXT: [[TMP1:%.*]] = shufflevector <4 x float> [[A:%.*]], <4 x float> [[B:%.*]], <4 x i32> <i32 0, i32 poison, i32 poison, i32 6>
+; AVX512-NEXT: [[TMP2:%.*]] = shufflevector <4 x float> [[A]], <4 x float> [[B]], <4 x i32> <i32 1, i32 poison, i32 poison, i32 7>
+; AVX512-NEXT: [[TMP3:%.*]] = fsub <4 x float> [[TMP1]], [[TMP2]]
+; AVX512-NEXT: ret <4 x float> [[TMP3]]
+;
+ %a0 = extractelement <4 x float> %a, i32 0
+ %a1 = extractelement <4 x float> %a, i32 1
+ %a2 = extractelement <4 x float> %a, i32 2
+ %a3 = extractelement <4 x float> %a, i32 3
+ %a01 = fsub float %a0, %a1
+ %a23 = fsub float %a2, %a3
+ %b0 = extractelement <4 x float> %b, i32 0
+ %b1 = extractelement <4 x float> %b, i32 1
+ %b2 = extractelement <4 x float> %b, i32 2
+ %b3 = extractelement <4 x float> %b, i32 3
+ %b01 = fsub float %b0, %b1
+ %b23 = fsub float %b2, %b3
+ %hsub0 = insertelement <4 x float> poison, float %a01, i32 0
+ %hsub1 = insertelement <4 x float> %hsub0, float %a23, i32 1
+ %hsub2 = insertelement <4 x float> %hsub1, float %b01, i32 2
+ %hsub3 = insertelement <4 x float> %hsub2, float %b23, i32 3
+ %result = shufflevector <4 x float> %hsub3, <4 x float> %a, <4 x i32> <i32 0, i32 poison, i32 poison, i32 3>
+ ret <4 x float> %result
+}
+
+define <4 x float> @sub_v4f32_0uuu(<4 x float> %a, <4 x float> %b) {
+; CHECK-LABEL: @sub_v4f32_0uuu(
+; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <4 x float> [[A:%.*]], <4 x float> poison, <4 x i32> <i32 1, i32 poison, i32 poison, i32 poison>
+; CHECK-NEXT: [[RESULT:%.*]] = fsub <4 x float> [[A]], [[TMP1]]
+; CHECK-NEXT: ret <4 x float> [[RESULT]]
+;
+ %a0 = extractelement <4 x float> %a, i32 0
+ %a1 = extractelement <4 x float> %a, i32 1
+ %a2 = extractelement <4 x float> %a, i32 2
+ %a3 = extractelement <4 x float> %a, i32 3
+ %a01 = fsub float %a0, %a1
+ %a23 = fsub float %a2, %a3
+ %b0 = extractelement <4 x float> %b, i32 0
+ %b1 = extractelement <4 x float> %b, i32 1
+ %b2 = extractelement <4 x float> %b, i32 2
+ %b3 = extractelement <4 x float> %b, i32 3
+ %b01 = fsub float %b0, %b1
+ %b23 = fsub float %b2, %b3
+ %hsub0 = insertelement <4 x float> poison, float %a01, i32 0
+ %hsub1 = insertelement <4 x float> %hsub0, float %a23, i32 1
+ %hsub2 = insertelement <4 x float> %hsub1, float %b01, i32 2
+ %hsub3 = insertelement <4 x float> %hsub2, float %b23, i32 3
+ %result = shufflevector <4 x float> %hsub3, <4 x float> %a, <4 x i32> <i32 0, i32 poison, i32 poison, i32 poison>
+ ret <4 x float> %result
+}
+
define <4 x float> @sub_v4f32_uu23(<4 x float> %a, <4 x float> %b) {
; CHECK-LABEL: @sub_v4f32_uu23(
; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <4 x float> [[B:%.*]], <4 x float> poison, <4 x i32> <i32 poison, i32 poison, i32 0, i32 2>
@@ -1074,6 +1542,32 @@ define <4 x float> @sub_v4f32_01uu(<4 x float> %a, <4 x float> %b) {
ret <4 x float> %result
}
+define <4 x float> @sub_v4f32_0u1u(<4 x float> %a, <4 x float> %b) {
+; CHECK-LABEL: @sub_v4f32_0u1u(
+; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <4 x float> [[TMP1:%.*]], <4 x float> poison, <4 x i32> <i32 1, i32 poison, i32 3, i32 poison>
+; CHECK-NEXT: [[TMP3:%.*]] = fsub <4 x float> [[TMP1]], [[TMP2]]
+; CHECK-NEXT: ret <4 x float> [[TMP3]]
+;
+ %a0 = extractelement <4 x float> %a, i32 0
+ %a1 = extractelement <4 x float> %a, i32 1
+ %a2 = extractelement <4 x float> %a, i32 2
+ %a3 = extractelement <4 x float> %a, i32 3
+ %a01 = fsub float %a0, %a1
+ %a23 = fsub float %a2, %a3
+ %b0 = extractelement <4 x float> %b, i32 0
+ %b1 = extractelement <4 x float> %b, i32 1
+ %b2 = extractelement <4 x float> %b, i32 2
+ %b3 = extractelement <4 x float> %b, i32 3
+ %b01 = fsub float %b0, %b1
+ %b23 = fsub float %b2, %b3
+ %hsub0 = insertelement <4 x float> poison, float %a01, i32 0
+ %hsub1 = insertelement <4 x float> %hsub0, float %a23, i32 1
+ %hsub2 = insertelement <4 x float> %hsub1, float %b01, i32 2
+ %hsub3 = insertelement <4 x float> %hsub2, float %b23, i32 3
+ %result = shufflevector <4 x float> %hsub3, <4 x float> %a, <4 x i32> <i32 0, i32 poison, i32 1, i32 poison>
+ ret <4 x float> %result
+}
+
;
; v8f32
;
@@ -1181,14 +1675,246 @@ define <8 x float> @sub_v8f32_012u4567(<8 x float> %a, <8 x float> %b) {
ret <8 x float> %result
}
-define <8 x float> @sub_v8f32_76u43210(<8 x float> %a, <8 x float> %b) {
-; SSE2-LABEL: @sub_v8f32_76u43210(
+define <8 x float> @sub_v8f32_0uu3uuuu(<8 x float> %a, <8 x float> %b) {
+; SSE2-LABEL: @sub_v8f32_0uu3uuuu(
+; SSE2-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[A:%.*]], <8 x float> [[B:%.*]], <8 x i32> <i32 0, i32 poison, i32 poison, i32 10, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE2-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[A]], <8 x float> [[B]], <8 x i32> <i32 1, i32 poison, i32 poison, i32 11, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE2-NEXT: [[TMP3:%.*]] = fsub <8 x float> [[TMP1]], [[TMP2]]
+; SSE2-NEXT: ret <8 x float> [[TMP3]]
+;
+; SSE4-LABEL: @sub_v8f32_0uu3uuuu(
+; SSE4-NEXT: [[A0:%.*]] = extractelement <8 x float> [[A:%.*]], i64 0
+; SSE4-NEXT: [[A1:%.*]] = extractelement <8 x float> [[A]], i64 1
+; SSE4-NEXT: [[A01:%.*]] = fsub float [[A0]], [[A1]]
+; SSE4-NEXT: [[B2:%.*]] = extractelement <8 x float> [[B:%.*]], i64 2
+; SSE4-NEXT: [[B3:%.*]] = extractelement <8 x float> [[B]], i64 3
+; SSE4-NEXT: [[B23:%.*]] = fsub float [[B2]], [[B3]]
+; SSE4-NEXT: [[TMP1:%.*]] = insertelement <8 x float> poison, float [[A01]], i64 0
+; SSE4-NEXT: [[RESULT:%.*]] = insertelement <8 x float> [[TMP1]], float [[B23]], i64 3
+; SSE4-NEXT: ret <8 x float> [[RESULT]]
+;
+; AVX-LABEL: @sub_v8f32_0uu3uuuu(
+; AVX-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[A:%.*]], <8 x float> [[B:%.*]], <8 x i32> <i32 0, i32 poison, i32 poison, i32 10, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[A]], <8 x float> [[B]], <8 x i32> <i32 1, i32 poison, i32 poison, i32 11, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP3:%.*]] = fsub <8 x float> [[TMP1]], [[TMP2]]
+; AVX-NEXT: ret <8 x float> [[TMP3]]
+;
+ %a0 = extractelement <8 x float> %a, i32 0
+ %a1 = extractelement <8 x float> %a, i32 1
+ %a2 = extractelement <8 x float> %a, i32 2
+ %a3 = extractelement <8 x float> %a, i32 3
+ %a4 = extractelement <8 x float> %a, i32 4
+ %a5 = extractelement <8 x float> %a, i32 5
+ %a6 = extractelement <8 x float> %a, i32 6
+ %a7 = extractelement <8 x float> %a, i32 7
+ %a01 = fsub float %a0, %a1
+ %a23 = fsub float %a2, %a3
+ %a45 = fsub float %a4, %a5
+ %a67 = fsub float %a6, %a7
+ %b0 = extractelement <8 x float> %b, i32 0
+ %b1 = extractelement <8 x float> %b, i32 1
+ %b2 = extractelement <8 x float> %b, i32 2
+ %b3 = extractelement <8 x float> %b, i32 3
+ %b4 = extractelement <8 x float> %b, i32 4
+ %b5 = extractelement <8 x float> %b, i32 5
+ %b6 = extractelement <8 x float> %b, i32 6
+ %b7 = extractelement <8 x float> %b, i32 7
+ %b01 = fsub float %b0, %b1
+ %b23 = fsub float %b2, %b3
+ %b45 = fsub float %b4, %b5
+ %b67 = fsub float %b6, %b7
+ %hsub0 = insertelement <8 x float> poison, float %a01, i32 0
+ %hsub1 = insertelement <8 x float> %hsub0, float %a23, i32 1
+ %hsub2 = insertelement <8 x float> %hsub1, float %b01, i32 2
+ %hsub3 = insertelement <8 x float> %hsub2, float %b23, i32 3
+ %hsub4 = insertelement <8 x float> %hsub3, float %a45, i32 4
+ %hsub5 = insertelement <8 x float> %hsub4, float %a67, i32 5
+ %hsub6 = insertelement <8 x float> %hsub5, float %b45, i32 6
+ %hsub7 = insertelement <8 x float> %hsub6, float %b67, i32 7
+ %result = shufflevector <8 x float> %hsub7, <8 x float> %a, <8 x i32> <i32 0, i32 poison, i32 poison, i32 3, i32 poison, i32 poison, i32 poison, i32 poison>
+ ret <8 x float> %result
+}
+
+define <8 x float> @sub_v8f32_01uuuuuu(<8 x float> %a, <8 x float> %b) {
+; SSE2-LABEL: @sub_v8f32_01uuuuuu(
+; SSE2-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[A:%.*]], <8 x float> poison, <2 x i32> <i32 0, i32 2>
+; SSE2-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[A]], <8 x float> poison, <2 x i32> <i32 1, i32 3>
+; SSE2-NEXT: [[TMP3:%.*]] = fsub <2 x float> [[TMP1]], [[TMP2]]
+; SSE2-NEXT: [[TMP4:%.*]] = shufflevector <2 x float> [[TMP3]], <2 x float> poison, <8 x i32> <i32 0, i32 1, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE2-NEXT: ret <8 x float> [[TMP4]]
+;
+; SSE4-LABEL: @sub_v8f32_01uuuuuu(
+; SSE4-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[A:%.*]], <8 x float> poison, <8 x i32> <i32 0, i32 2, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE4-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[A]], <8 x float> poison, <8 x i32> <i32 1, i32 3, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE4-NEXT: [[TMP3:%.*]] = fsub <8 x float> [[TMP1]], [[TMP2]]
+; SSE4-NEXT: ret <8 x float> [[TMP3]]
+;
+; AVX-LABEL: @sub_v8f32_01uuuuuu(
+; AVX-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[A:%.*]], <8 x float> poison, <8 x i32> <i32 0, i32 2, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[A]], <8 x float> poison, <8 x i32> <i32 1, i32 3, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP3:%.*]] = fsub <8 x float> [[TMP1]], [[TMP2]]
+; AVX-NEXT: ret <8 x float> [[TMP3]]
+;
+ %a0 = extractelement <8 x float> %a, i32 0
+ %a1 = extractelement <8 x float> %a, i32 1
+ %a2 = extractelement <8 x float> %a, i32 2
+ %a3 = extractelement <8 x float> %a, i32 3
+ %a4 = extractelement <8 x float> %a, i32 4
+ %a5 = extractelement <8 x float> %a, i32 5
+ %a6 = extractelement <8 x float> %a, i32 6
+ %a7 = extractelement <8 x float> %a, i32 7
+ %a01 = fsub float %a0, %a1
+ %a23 = fsub float %a2, %a3
+ %a45 = fsub float %a4, %a5
+ %a67 = fsub float %a6, %a7
+ %b0 = extractelement <8 x float> %b, i32 0
+ %b1 = extractelement <8 x float> %b, i32 1
+ %b2 = extractelement <8 x float> %b, i32 2
+ %b3 = extractelement <8 x float> %b, i32 3
+ %b4 = extractelement <8 x float> %b, i32 4
+ %b5 = extractelement <8 x float> %b, i32 5
+ %b6 = extractelement <8 x float> %b, i32 6
+ %b7 = extractelement <8 x float> %b, i32 7
+ %b01 = fsub float %b0, %b1
+ %b23 = fsub float %b2, %b3
+ %b45 = fsub float %b4, %b5
+ %b67 = fsub float %b6, %b7
+ %hsub0 = insertelement <8 x float> poison, float %a01, i32 0
+ %hsub1 = insertelement <8 x float> %hsub0, float %a23, i32 1
+ %hsub2 = insertelement <8 x float> %hsub1, float %b01, i32 2
+ %hsub3 = insertelement <8 x float> %hsub2, float %b23, i32 3
+ %hsub4 = insertelement <8 x float> %hsub3, float %a45, i32 4
+ %hsub5 = insertelement <8 x float> %hsub4, float %a67, i32 5
+ %hsub6 = insertelement <8 x float> %hsub5, float %b45, i32 6
+ %hsub7 = insertelement <8 x float> %hsub6, float %b67, i32 7
+ %result = shufflevector <8 x float> %hsub7, <8 x float> %a, <8 x i32> <i32 0, i32 1, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+ ret <8 x float> %result
+}
+
+define <8 x float> @sub_v8f32_0uuuuu6u(<8 x float> %a, <8 x float> %b) {
+; SSE2-LABEL: @sub_v8f32_0uuuuu6u(
+; SSE2-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[A:%.*]], <8 x float> [[B:%.*]], <8 x i32> <i32 0, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 12, i32 poison>
+; SSE2-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[A]], <8 x float> [[B]], <8 x i32> <i32 1, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 13, i32 poison>
+; SSE2-NEXT: [[TMP3:%.*]] = fsub <8 x float> [[TMP1]], [[TMP2]]
+; SSE2-NEXT: ret <8 x float> [[TMP3]]
+;
+; SSE4-LABEL: @sub_v8f32_0uuuuu6u(
+; SSE4-NEXT: [[A0:%.*]] = extractelement <8 x float> [[A:%.*]], i64 0
+; SSE4-NEXT: [[A1:%.*]] = extractelement <8 x float> [[A]], i64 1
+; SSE4-NEXT: [[A01:%.*]] = fsub float [[A0]], [[A1]]
+; SSE4-NEXT: [[B4:%.*]] = extractelement <8 x float> [[B:%.*]], i64 4
+; SSE4-NEXT: [[B5:%.*]] = extractelement <8 x float> [[B]], i64 5
+; SSE4-NEXT: [[B45:%.*]] = fsub float [[B4]], [[B5]]
+; SSE4-NEXT: [[TMP1:%.*]] = insertelement <8 x float> poison, float [[A01]], i64 0
+; SSE4-NEXT: [[RESULT:%.*]] = insertelement <8 x float> [[TMP1]], float [[B45]], i64 6
+; SSE4-NEXT: ret <8 x float> [[RESULT]]
+;
+; AVX-LABEL: @sub_v8f32_0uuuuu6u(
+; AVX-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[A:%.*]], <8 x float> [[B:%.*]], <8 x i32> <i32 0, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 12, i32 poison>
+; AVX-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[A]], <8 x float> [[B]], <8 x i32> <i32 1, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 13, i32 poison>
+; AVX-NEXT: [[TMP3:%.*]] = fsub <8 x float> [[TMP1]], [[TMP2]]
+; AVX-NEXT: ret <8 x float> [[TMP3]]
+;
+ %a0 = extractelement <8 x float> %a, i32 0
+ %a1 = extractelement <8 x float> %a, i32 1
+ %a2 = extractelement <8 x float> %a, i32 2
+ %a3 = extractelement <8 x float> %a, i32 3
+ %a4 = extractelement <8 x float> %a, i32 4
+ %a5 = extractelement <8 x float> %a, i32 5
+ %a6 = extractelement <8 x float> %a, i32 6
+ %a7 = extractelement <8 x float> %a, i32 7
+ %a01 = fsub float %a0, %a1
+ %a23 = fsub float %a2, %a3
+ %a45 = fsub float %a4, %a5
+ %a67 = fsub float %a6, %a7
+ %b0 = extractelement <8 x float> %b, i32 0
+ %b1 = extractelement <8 x float> %b, i32 1
+ %b2 = extractelement <8 x float> %b, i32 2
+ %b3 = extractelement <8 x float> %b, i32 3
+ %b4 = extractelement <8 x float> %b, i32 4
+ %b5 = extractelement <8 x float> %b, i32 5
+ %b6 = extractelement <8 x float> %b, i32 6
+ %b7 = extractelement <8 x float> %b, i32 7
+ %b01 = fsub float %b0, %b1
+ %b23 = fsub float %b2, %b3
+ %b45 = fsub float %b4, %b5
+ %b67 = fsub float %b6, %b7
+ %hsub0 = insertelement <8 x float> poison, float %a01, i32 0
+ %hsub1 = insertelement <8 x float> %hsub0, float %a23, i32 1
+ %hsub2 = insertelement <8 x float> %hsub1, float %b01, i32 2
+ %hsub3 = insertelement <8 x float> %hsub2, float %b23, i32 3
+ %hsub4 = insertelement <8 x float> %hsub3, float %a45, i32 4
+ %hsub5 = insertelement <8 x float> %hsub4, float %a67, i32 5
+ %hsub6 = insertelement <8 x float> %hsub5, float %b45, i32 6
+ %hsub7 = insertelement <8 x float> %hsub6, float %b67, i32 7
+ %result = shufflevector <8 x float> %hsub7, <8 x float> %a, <8 x i32> <i32 0, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 6, i32 poison>
+ ret <8 x float> %result
+}
+
+define <8 x float> @sub_v8f32_0145uuuu(<8 x float> %a, <8 x float> %b) {
+; SSE2-LABEL: @sub_v8f32_0145uuuu(
; SSE2-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[A:%.*]], <8 x float> poison, <4 x i32> <i32 0, i32 2, i32 4, i32 6>
; SSE2-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[A]], <8 x float> poison, <4 x i32> <i32 1, i32 3, i32 5, i32 7>
; SSE2-NEXT: [[TMP3:%.*]] = fsub <4 x float> [[TMP1]], [[TMP2]]
-; SSE2-NEXT: [[B0:%.*]] = extractelement <8 x float> [[B:%.*]], i64 0
-; SSE2-NEXT: [[B1:%.*]] = extractelement <8 x float> [[B]], i64 1
+; SSE2-NEXT: [[TMP4:%.*]] = shufflevector <4 x float> [[TMP3]], <4 x float> poison, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE2-NEXT: ret <8 x float> [[TMP4]]
+;
+; SSE4-LABEL: @sub_v8f32_0145uuuu(
+; SSE4-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[A:%.*]], <8 x float> poison, <8 x i32> <i32 0, i32 2, i32 4, i32 6, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE4-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[A]], <8 x float> poison, <8 x i32> <i32 1, i32 3, i32 5, i32 7, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE4-NEXT: [[TMP3:%.*]] = fsub <8 x float> [[TMP1]], [[TMP2]]
+; SSE4-NEXT: ret <8 x float> [[TMP3]]
+;
+; AVX-LABEL: @sub_v8f32_0145uuuu(
+; AVX-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[A:%.*]], <8 x float> poison, <8 x i32> <i32 0, i32 2, i32 4, i32 6, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[A]], <8 x float> poison, <8 x i32> <i32 1, i32 3, i32 5, i32 7, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP3:%.*]] = fsub <8 x float> [[TMP1]], [[TMP2]]
+; AVX-NEXT: ret <8 x float> [[TMP3]]
+;
+ %a0 = extractelement <8 x float> %a, i32 0
+ %a1 = extractelement <8 x float> %a, i32 1
+ %a2 = extractelement <8 x float> %a, i32 2
+ %a3 = extractelement <8 x float> %a, i32 3
+ %a4 = extractelement <8 x float> %a, i32 4
+ %a5 = extractelement <8 x float> %a, i32 5
+ %a6 = extractelement <8 x float> %a, i32 6
+ %a7 = extractelement <8 x float> %a, i32 7
+ %a01 = fsub float %a0, %a1
+ %a23 = fsub float %a2, %a3
+ %a45 = fsub float %a4, %a5
+ %a67 = fsub float %a6, %a7
+ %b0 = extractelement <8 x float> %b, i32 0
+ %b1 = extractelement <8 x float> %b, i32 1
+ %b2 = extractelement <8 x float> %b, i32 2
+ %b3 = extractelement <8 x float> %b, i32 3
+ %b4 = extractelement <8 x float> %b, i32 4
+ %b5 = extractelement <8 x float> %b, i32 5
+ %b6 = extractelement <8 x float> %b, i32 6
+ %b7 = extractelement <8 x float> %b, i32 7
+ %b01 = fsub float %b0, %b1
+ %b23 = fsub float %b2, %b3
+ %b45 = fsub float %b4, %b5
+ %b67 = fsub float %b6, %b7
+ %hsub0 = insertelement <8 x float> poison, float %a01, i32 0
+ %hsub1 = insertelement <8 x float> %hsub0, float %a23, i32 1
+ %hsub2 = insertelement <8 x float> %hsub1, float %b01, i32 2
+ %hsub3 = insertelement <8 x float> %hsub2, float %b23, i32 3
+ %hsub4 = insertelement <8 x float> %hsub3, float %a45, i32 4
+ %hsub5 = insertelement <8 x float> %hsub4, float %a67, i32 5
+ %hsub6 = insertelement <8 x float> %hsub5, float %b45, i32 6
+ %hsub7 = insertelement <8 x float> %hsub6, float %b67, i32 7
+ %result = shufflevector <8 x float> %hsub7, <8 x float> %a, <8 x i32> <i32 0, i32 1, i32 4, i32 5, i32 poison, i32 poison, i32 poison, i32 poison>
+ ret <8 x float> %result
+}
+
+define <8 x float> @sub_v8f32_76u43210(<8 x float> %a, <8 x float> %b) {
+; SSE2-LABEL: @sub_v8f32_76u43210(
+; SSE2-NEXT: [[B0:%.*]] = extractelement <8 x float> [[A:%.*]], i64 4
+; SSE2-NEXT: [[B1:%.*]] = extractelement <8 x float> [[A]], i64 5
; SSE2-NEXT: [[B01:%.*]] = fsub float [[B0]], [[B1]]
+; SSE2-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[A]], <8 x float> [[B:%.*]], <4 x i32> <i32 0, i32 2, i32 8, i32 10>
+; SSE2-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[A]], <8 x float> [[B]], <4 x i32> <i32 1, i32 3, i32 9, i32 11>
+; SSE2-NEXT: [[TMP3:%.*]] = fsub <4 x float> [[TMP1]], [[TMP2]]
; SSE2-NEXT: [[TMP4:%.*]] = shufflevector <8 x float> [[B]], <8 x float> poison, <2 x i32> <i32 4, i32 6>
; SSE2-NEXT: [[TMP5:%.*]] = shufflevector <8 x float> [[B]], <8 x float> poison, <2 x i32> <i32 5, i32 7>
; SSE2-NEXT: [[TMP6:%.*]] = fsub <2 x float> [[TMP4]], [[TMP5]]
@@ -1199,14 +1925,14 @@ define <8 x float> @sub_v8f32_76u43210(<8 x float> %a, <8 x float> %b) {
; SSE2-NEXT: ret <8 x float> [[RESULT]]
;
; SSE4-LABEL: @sub_v8f32_76u43210(
-; SSE4-NEXT: [[TMP4:%.*]] = shufflevector <8 x float> [[B:%.*]], <8 x float> [[A:%.*]], <8 x i32> <i32 6, i32 4, i32 poison, i32 0, i32 14, i32 12, i32 10, i32 8>
-; SSE4-NEXT: [[TMP5:%.*]] = shufflevector <8 x float> [[B]], <8 x float> [[A]], <8 x i32> <i32 7, i32 5, i32 poison, i32 1, i32 15, i32 13, i32 11, i32 9>
+; SSE4-NEXT: [[TMP4:%.*]] = shufflevector <8 x float> [[B:%.*]], <8 x float> [[A:%.*]], <8 x i32> <i32 6, i32 4, i32 poison, i32 12, i32 2, i32 0, i32 10, i32 8>
+; SSE4-NEXT: [[TMP5:%.*]] = shufflevector <8 x float> [[B]], <8 x float> [[A]], <8 x i32> <i32 7, i32 5, i32 poison, i32 13, i32 3, i32 1, i32 11, i32 9>
; SSE4-NEXT: [[TMP6:%.*]] = fsub <8 x float> [[TMP4]], [[TMP5]]
; SSE4-NEXT: ret <8 x float> [[TMP6]]
;
; AVX-LABEL: @sub_v8f32_76u43210(
-; AVX-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[B:%.*]], <8 x float> [[A:%.*]], <8 x i32> <i32 6, i32 4, i32 poison, i32 0, i32 14, i32 12, i32 10, i32 8>
-; AVX-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[B]], <8 x float> [[A]], <8 x i32> <i32 7, i32 5, i32 poison, i32 1, i32 15, i32 13, i32 11, i32 9>
+; AVX-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[B:%.*]], <8 x float> [[A:%.*]], <8 x i32> <i32 6, i32 4, i32 poison, i32 12, i32 2, i32 0, i32 10, i32 8>
+; AVX-NEXT: [[TMP2:%.*]] = shufflevector <8 x float> [[B]], <8 x float> [[A]], <8 x i32> <i32 7, i32 5, i32 poison, i32 13, i32 3, i32 1, i32 11, i32 9>
; AVX-NEXT: [[RESULT:%.*]] = fsub <8 x float> [[TMP1]], [[TMP2]]
; AVX-NEXT: ret <8 x float> [[RESULT]]
;
@@ -1236,16 +1962,109 @@ define <8 x float> @sub_v8f32_76u43210(<8 x float> %a, <8 x float> %b) {
%b67 = fsub float %b6, %b7
%hsub0 = insertelement <8 x float> poison, float %a01, i32 0
%hsub1 = insertelement <8 x float> %hsub0, float %a23, i32 1
- %hsub2 = insertelement <8 x float> %hsub1, float %a45, i32 2
- %hsub3 = insertelement <8 x float> %hsub2, float %a67, i32 3
- %hsub4 = insertelement <8 x float> %hsub3, float %b01, i32 4
- %hsub5 = insertelement <8 x float> %hsub4, float %b23, i32 5
+ %hsub2 = insertelement <8 x float> %hsub1, float %b01, i32 2
+ %hsub3 = insertelement <8 x float> %hsub2, float %b23, i32 3
+ %hsub4 = insertelement <8 x float> %hsub3, float %a45, i32 4
+ %hsub5 = insertelement <8 x float> %hsub4, float %a67, i32 5
%hsub6 = insertelement <8 x float> %hsub5, float %b45, i32 6
%hsub7 = insertelement <8 x float> %hsub6, float %b67, i32 7
%result = shufflevector <8 x float> %hsub7, <8 x float> %a, <8 x i32> <i32 7, i32 6, i32 poison, i32 4, i32 3, i32 2, i32 1, i32 0>
ret <8 x float> %result
}
+;
+; v16f32
+;
+
+define <16 x float> @sub_v16f32_0145uuuuuuuuuuuu(<16 x float> %a, <16 x float> %b) {
+; SSE2-LABEL: @sub_v16f32_0145uuuuuuuuuuuu(
+; SSE2-NEXT: [[TMP1:%.*]] = shufflevector <16 x float> [[A:%.*]], <16 x float> poison, <4 x i32> <i32 0, i32 2, i32 4, i32 6>
+; SSE2-NEXT: [[TMP2:%.*]] = shufflevector <16 x float> [[A]], <16 x float> poison, <4 x i32> <i32 1, i32 3, i32 5, i32 7>
+; SSE2-NEXT: [[TMP3:%.*]] = fsub <4 x float> [[TMP1]], [[TMP2]]
+; SSE2-NEXT: [[TMP4:%.*]] = shufflevector <4 x float> [[TMP3]], <4 x float> poison, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE2-NEXT: ret <16 x float> [[TMP4]]
+;
+; SSE4-LABEL: @sub_v16f32_0145uuuuuuuuuuuu(
+; SSE4-NEXT: [[TMP1:%.*]] = shufflevector <16 x float> [[A:%.*]], <16 x float> poison, <4 x i32> <i32 0, i32 2, i32 4, i32 6>
+; SSE4-NEXT: [[TMP2:%.*]] = shufflevector <16 x float> [[A]], <16 x float> poison, <4 x i32> <i32 1, i32 3, i32 5, i32 7>
+; SSE4-NEXT: [[TMP3:%.*]] = fsub <4 x float> [[TMP1]], [[TMP2]]
+; SSE4-NEXT: [[TMP4:%.*]] = shufflevector <4 x float> [[TMP3]], <4 x float> poison, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; SSE4-NEXT: ret <16 x float> [[TMP4]]
+;
+; AVX-LABEL: @sub_v16f32_0145uuuuuuuuuuuu(
+; AVX-NEXT: [[TMP1:%.*]] = shufflevector <16 x float> [[A:%.*]], <16 x float> poison, <16 x i32> <i32 0, i32 2, i32 4, i32 6, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP2:%.*]] = shufflevector <16 x float> [[A]], <16 x float> poison, <16 x i32> <i32 1, i32 3, i32 5, i32 7, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+; AVX-NEXT: [[TMP3:%.*]] = fsub <16 x float> [[TMP1]], [[TMP2]]
+; AVX-NEXT: ret <16 x float> [[TMP3]]
+;
+ %a0 = extractelement <16 x float> %a, i32 0
+ %a1 = extractelement <16 x float> %a, i32 1
+ %a2 = extractelement <16 x float> %a, i32 2
+ %a3 = extractelement <16 x float> %a, i32 3
+ %a4 = extractelement <16 x float> %a, i32 4
+ %a5 = extractelement <16 x float> %a, i32 5
+ %a6 = extractelement <16 x float> %a, i32 6
+ %a7 = extractelement <16 x float> %a, i32 7
+ %a8 = extractelement <16 x float> %a, i32 8
+ %a9 = extractelement <16 x float> %a, i32 9
+ %aA = extractelement <16 x float> %a, i32 10
+ %aB = extractelement <16 x float> %a, i32 11
+ %aC = extractelement <16 x float> %a, i32 12
+ %aD = extractelement <16 x float> %a, i32 13
+ %aE = extractelement <16 x float> %a, i32 14
+ %aF = extractelement <16 x float> %a, i32 15
+ %a01 = fsub float %a0, %a1
+ %a23 = fsub float %a2, %a3
+ %a45 = fsub float %a4, %a5
+ %a67 = fsub float %a6, %a7
+ %a89 = fsub float %a8, %a9
+ %aAB = fsub float %aA, %aB
+ %aCD = fsub float %aC, %aD
+ %aEF = fsub float %aE, %aF
+ %b0 = extractelement <16 x float> %b, i32 0
+ %b1 = extractelement <16 x float> %b, i32 1
+ %b2 = extractelement <16 x float> %b, i32 2
+ %b3 = extractelement <16 x float> %b, i32 3
+ %b4 = extractelement <16 x float> %b, i32 4
+ %b5 = extractelement <16 x float> %b, i32 5
+ %b6 = extractelement <16 x float> %b, i32 6
+ %b7 = extractelement <16 x float> %b, i32 7
+ %b8 = extractelement <16 x float> %b, i32 8
+ %b9 = extractelement <16 x float> %b, i32 9
+ %bA = extractelement <16 x float> %b, i32 10
+ %bB = extractelement <16 x float> %b, i32 11
+ %bC = extractelement <16 x float> %b, i32 12
+ %bD = extractelement <16 x float> %b, i32 13
+ %bE = extractelement <16 x float> %b, i32 14
+ %bF = extractelement <16 x float> %b, i32 15
+ %b01 = fsub float %b0, %b1
+ %b23 = fsub float %b2, %b3
+ %b45 = fsub float %b4, %b5
+ %b67 = fsub float %b6, %b7
+ %b89 = fsub float %b8, %b9
+ %bAB = fsub float %bA, %bB
+ %bCD = fsub float %bC, %bD
+ %bEF = fsub float %bE, %bF
+ %hsub0 = insertelement <16 x float> poison, float %a01, i32 0
+ %hsub1 = insertelement <16 x float> %hsub0, float %a23, i32 1
+ %hsub2 = insertelement <16 x float> %hsub1, float %b01, i32 2
+ %hsub3 = insertelement <16 x float> %hsub2, float %b23, i32 3
+ %hsub4 = insertelement <16 x float> %hsub3, float %a45, i32 4
+ %hsub5 = insertelement <16 x float> %hsub4, float %a67, i32 5
+ %hsub6 = insertelement <16 x float> %hsub5, float %b45, i32 6
+ %hsub7 = insertelement <16 x float> %hsub6, float %b67, i32 7
+ %hsub8 = insertelement <16 x float> %hsub7, float %a89, i32 8
+ %hsub9 = insertelement <16 x float> %hsub8, float %aAB, i32 9
+ %hsubA = insertelement <16 x float> %hsub9, float %b89, i32 10
+ %hsubB = insertelement <16 x float> %hsubA, float %bAB, i32 11
+ %hsubC = insertelement <16 x float> %hsubB, float %aCD, i32 12
+ %hsubD = insertelement <16 x float> %hsubC, float %aEF, i32 13
+ %hsubE = insertelement <16 x float> %hsubD, float %bCD, i32 14
+ %hsubF = insertelement <16 x float> %hsubE, float %bEF, i32 15
+ %result = shufflevector <16 x float> %hsubF, <16 x float> poison, <16 x i32> <i32 0, i32 1, i32 4, i32 5, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
+ ret <16 x float> %result
+}
+
;
; v2f64
;
More information about the llvm-commits
mailing list