From 9acd5ab38bdcb4f7caeb0f1e24afd17b6acf1797 Mon Sep 17 00:00:00 2001 From: Matthew Simpson Date: Tue, 1 May 2018 15:59:26 +0000 Subject: [PATCH] [SLP] Add additional test for transposable binary operations with reuse git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@331274 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/SLPVectorizer/AArch64/transpose.ll | 46 +++++++++++++++++++++- 1 file changed, 44 insertions(+), 2 deletions(-) diff --git a/test/Transforms/SLPVectorizer/AArch64/transpose.ll b/test/Transforms/SLPVectorizer/AArch64/transpose.ll index b934655432c..0a6efb075cb 100644 --- a/test/Transforms/SLPVectorizer/AArch64/transpose.ll +++ b/test/Transforms/SLPVectorizer/AArch64/transpose.ll @@ -129,8 +129,8 @@ define <4 x i32> @build_vec_v4i32(<4 x i32> %v0, <4 x i32> %v1) { ret <4 x i32> %tmp3.3 } -define <4 x i32> @build_vec_v4i32_reuse(<2 x i32> %v0, <2 x i32> %v1) { -; CHECK-LABEL: @build_vec_v4i32_reuse( +define <4 x i32> @build_vec_v4i32_reuse_0(<2 x i32> %v0, <2 x i32> %v1) { +; CHECK-LABEL: @build_vec_v4i32_reuse_0( ; CHECK-NEXT: [[V0_0:%.*]] = extractelement <2 x i32> %v0, i32 0 ; CHECK-NEXT: [[V0_1:%.*]] = extractelement <2 x i32> %v0, i32 1 ; CHECK-NEXT: [[V1_0:%.*]] = extractelement <2 x i32> %v1, i32 0 @@ -164,6 +164,48 @@ define <4 x i32> @build_vec_v4i32_reuse(<2 x i32> %v0, <2 x i32> %v1) { ret <4 x i32> %tmp3.3 } +define <4 x i32> @build_vec_v4i32_reuse_1(<2 x i32> %v0, <2 x i32> %v1) { +; CHECK-LABEL: @build_vec_v4i32_reuse_1( +; CHECK-NEXT: [[V0_0:%.*]] = extractelement <2 x i32> %v0, i32 0 +; CHECK-NEXT: [[V0_1:%.*]] = extractelement <2 x i32> %v0, i32 1 +; CHECK-NEXT: [[V1_0:%.*]] = extractelement <2 x i32> %v1, i32 0 +; CHECK-NEXT: [[V1_1:%.*]] = extractelement <2 x i32> %v1, i32 1 +; CHECK-NEXT: [[TMP0_0:%.*]] = add i32 [[V0_0]], [[V1_0]] +; CHECK-NEXT: [[TMP0_1:%.*]] = add i32 [[V0_1]], [[V1_1]] +; CHECK-NEXT: [[TMP0_2:%.*]] = xor i32 [[V0_0]], [[V1_0]] +; CHECK-NEXT: [[TMP0_3:%.*]] = xor i32 [[V0_1]], [[V1_1]] +; CHECK-NEXT: [[TMP1:%.*]] = insertelement <2 x i32> undef, i32 [[TMP0_0]], i32 0 +; CHECK-NEXT: [[TMP2:%.*]] = insertelement <2 x i32> undef, i32 [[TMP0_1]], i32 0 +; CHECK-NEXT: [[TMP3:%.*]] = sub <2 x i32> [[TMP1]], [[TMP2]] +; CHECK-NEXT: [[TMP1_2:%.*]] = sub i32 [[TMP0_2]], [[TMP0_3]] +; CHECK-NEXT: [[TMP1_3:%.*]] = sub i32 [[TMP0_3]], [[TMP0_2]] +; CHECK-NEXT: [[TMP4:%.*]] = extractelement <2 x i32> [[TMP3]], i32 0 +; CHECK-NEXT: [[TMP2_0:%.*]] = insertelement <4 x i32> undef, i32 [[TMP4]], i32 0 +; CHECK-NEXT: [[TMP5:%.*]] = extractelement <2 x i32> [[TMP3]], i32 0 +; CHECK-NEXT: [[TMP2_1:%.*]] = insertelement <4 x i32> [[TMP2_0]], i32 [[TMP5]], i32 1 +; CHECK-NEXT: [[TMP2_2:%.*]] = insertelement <4 x i32> [[TMP2_1]], i32 [[TMP1_2]], i32 2 +; CHECK-NEXT: [[TMP2_3:%.*]] = insertelement <4 x i32> [[TMP2_2]], i32 [[TMP1_3]], i32 3 +; CHECK-NEXT: ret <4 x i32> [[TMP2_3]] +; + %v0.0 = extractelement <2 x i32> %v0, i32 0 + %v0.1 = extractelement <2 x i32> %v0, i32 1 + %v1.0 = extractelement <2 x i32> %v1, i32 0 + %v1.1 = extractelement <2 x i32> %v1, i32 1 + %tmp0.0 = add i32 %v0.0, %v1.0 + %tmp0.1 = add i32 %v0.1, %v1.1 + %tmp0.2 = xor i32 %v0.0, %v1.0 + %tmp0.3 = xor i32 %v0.1, %v1.1 + %tmp1.0 = sub i32 %tmp0.0, %tmp0.1 + %tmp1.1 = sub i32 %tmp0.0, %tmp0.1 + %tmp1.2 = sub i32 %tmp0.2, %tmp0.3 + %tmp1.3 = sub i32 %tmp0.3, %tmp0.2 + %tmp2.0 = insertelement <4 x i32> undef, i32 %tmp1.0, i32 0 + %tmp2.1 = insertelement <4 x i32> %tmp2.0, i32 %tmp1.1, i32 1 + %tmp2.2 = insertelement <4 x i32> %tmp2.1, i32 %tmp1.2, i32 2 + %tmp2.3 = insertelement <4 x i32> %tmp2.2, i32 %tmp1.3, i32 3 + ret <4 x i32> %tmp2.3 +} + define <4 x i32> @build_vec_v4i32_3_binops(<2 x i32> %v0, <2 x i32> %v1) { ; CHECK-LABEL: @build_vec_v4i32_3_binops( ; CHECK-NEXT: [[V0_0:%.*]] = extractelement <2 x i32> %v0, i32 0 -- 2.11.0