diff options
| -rw-r--r-- | llvm/test/Transforms/InstCombine/shuffle_select.ll | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/llvm/test/Transforms/InstCombine/shuffle_select.ll b/llvm/test/Transforms/InstCombine/shuffle_select.ll index 767627d2154..ecc1d92fea8 100644 --- a/llvm/test/Transforms/InstCombine/shuffle_select.ll +++ b/llvm/test/Transforms/InstCombine/shuffle_select.ll @@ -358,17 +358,21 @@ define <4 x i32> @or_2_vars(<4 x i32> %v0, <4 x i32> %v1) { ret <4 x i32> %t3 } +; But we don't transform if both intermediate values have extra uses. + define <4 x i32> @xor_2_vars(<4 x i32> %v0, <4 x i32> %v1) { ; CHECK-LABEL: @xor_2_vars( -; CHECK-NEXT: [[T1:%.*]] = xor <4 x i32> [[V0:%.*]], <i32 1, i32 undef, i32 3, i32 4> +; CHECK-NEXT: [[T1:%.*]] = xor <4 x i32> [[V0:%.*]], <i32 1, i32 2, i32 3, i32 4> ; CHECK-NEXT: [[T2:%.*]] = xor <4 x i32> [[V1:%.*]], <i32 5, i32 6, i32 7, i32 8> ; CHECK-NEXT: [[T3:%.*]] = shufflevector <4 x i32> [[T1]], <4 x i32> [[T2]], <4 x i32> <i32 0, i32 5, i32 2, i32 3> +; CHECK-NEXT: call void @use_v4i32(<4 x i32> [[T1]]) ; CHECK-NEXT: call void @use_v4i32(<4 x i32> [[T2]]) ; CHECK-NEXT: ret <4 x i32> [[T3]] ; %t1 = xor <4 x i32> %v0, <i32 1, i32 2, i32 3, i32 4> %t2 = xor <4 x i32> %v1, <i32 5, i32 6, i32 7, i32 8> %t3 = shufflevector <4 x i32> %t1, <4 x i32> %t2, <4 x i32> <i32 0, i32 5, i32 2, i32 3> + call void @use_v4i32(<4 x i32> %t1) call void @use_v4i32(<4 x i32> %t2) ret <4 x i32> %t3 } @@ -380,15 +384,11 @@ define <4 x i32> @udiv_2_vars(<4 x i32> %v0, <4 x i32> %v1) { ; CHECK-NEXT: [[T1:%.*]] = udiv <4 x i32> <i32 1, i32 2, i32 3, i32 4>, [[V0:%.*]] ; CHECK-NEXT: [[T2:%.*]] = udiv <4 x i32> <i32 5, i32 6, i32 7, i32 8>, [[V1:%.*]] ; CHECK-NEXT: [[T3:%.*]] = shufflevector <4 x i32> [[T1]], <4 x i32> [[T2]], <4 x i32> <i32 undef, i32 1, i32 2, i32 7> -; CHECK-NEXT: call void @use_v4i32(<4 x i32> [[T1]]) -; CHECK-NEXT: call void @use_v4i32(<4 x i32> [[T2]]) ; CHECK-NEXT: ret <4 x i32> [[T3]] ; %t1 = udiv <4 x i32> <i32 1, i32 2, i32 3, i32 4>, %v0 %t2 = udiv <4 x i32> <i32 5, i32 6, i32 7, i32 8>, %v1 %t3 = shufflevector <4 x i32> %t1, <4 x i32> %t2, <4 x i32> <i32 undef, i32 1, i32 2, i32 7> - call void @use_v4i32(<4 x i32> %t1) - call void @use_v4i32(<4 x i32> %t2) ret <4 x i32> %t3 } |
