1*67e74705SXin Li // RUN: %clang -emit-llvm -S -o - %s | FileCheck %s
2*67e74705SXin Li
3*67e74705SXin Li typedef float float4 __attribute__((ext_vector_type(4)));
4*67e74705SXin Li typedef unsigned int uint4 __attribute__((ext_vector_type(4)));
5*67e74705SXin Li
6*67e74705SXin Li // CHECK-LABEL: define {{.*}}void @clang_shufflevector_v_v(
clang_shufflevector_v_v(float4 * A,float4 x,uint4 mask)7*67e74705SXin Li void clang_shufflevector_v_v( float4* A, float4 x, uint4 mask ) {
8*67e74705SXin Li // CHECK: [[MASK:%.*]] = and <4 x i32> {{%.*}}, <i32 3, i32 3, i32 3, i32 3>
9*67e74705SXin Li // CHECK: [[I:%.*]] = extractelement <4 x i32> [[MASK]], i{{[0-9]+}} 0
10*67e74705SXin Li // CHECK: [[E:%.*]] = extractelement <4 x float> [[X:%.*]], i{{[0-9]+}} [[I]]
11*67e74705SXin Li //
12*67e74705SXin Li // Here is where ToT Clang code generation makes a mistake.
13*67e74705SXin Li // It uses [[I]] as the insertion index instead of 0.
14*67e74705SXin Li // Similarly on the remaining insertelement.
15*67e74705SXin Li // CHECK: [[V:%[a-zA-Z0-9._]+]] = insertelement <4 x float> undef, float [[E]], i{{[0-9]+}} 0
16*67e74705SXin Li
17*67e74705SXin Li // CHECK: [[I:%.*]] = extractelement <4 x i32> [[MASK]], i{{[0-9]+}} 1
18*67e74705SXin Li // CHECK: [[E:%.*]] = extractelement <4 x float> [[X]], i{{[0-9]+}} [[I]]
19*67e74705SXin Li // CHECK: [[V2:%.*]] = insertelement <4 x float> [[V]], float [[E]], i{{[0-9]+}} 1
20*67e74705SXin Li // CHECK: [[I:%.*]] = extractelement <4 x i32> [[MASK]], i{{[0-9]+}} 2
21*67e74705SXin Li // CHECK: [[E:%.*]] = extractelement <4 x float> [[X]], i{{[0-9]+}} [[I]]
22*67e74705SXin Li // CHECK: [[V3:%.*]] = insertelement <4 x float> [[V2]], float [[E]], i{{[0-9]+}} 2
23*67e74705SXin Li // CHECK: [[I:%.*]] = extractelement <4 x i32> [[MASK]], i{{[0-9]+}} 3
24*67e74705SXin Li // CHECK: [[E:%.*]] = extractelement <4 x float> [[X]], i{{[0-9]+}} [[I]]
25*67e74705SXin Li // CHECK: [[V4:%.*]] = insertelement <4 x float> [[V3]], float [[E]], i{{[0-9]+}} 3
26*67e74705SXin Li // CHECK: store <4 x float> [[V4]], <4 x float>* {{%.*}},
27*67e74705SXin Li *A = __builtin_shufflevector( x, mask );
28*67e74705SXin Li }
29*67e74705SXin Li
30*67e74705SXin Li // CHECK-LABEL: define {{.*}}void @clang_shufflevector_v_v_c(
clang_shufflevector_v_v_c(float4 * A,float4 x,float4 y)31*67e74705SXin Li void clang_shufflevector_v_v_c( float4* A, float4 x, float4 y) {
32*67e74705SXin Li // CHECK: [[V:%.*]] = shufflevector <4 x float> {{%.*}}, <4 x float> {{%.*}}, <4 x i32> <i32 0, i32 4, i32 1, i32 5>
33*67e74705SXin Li // CHECK: store <4 x float> [[V]], <4 x float>* {{%.*}}
34*67e74705SXin Li *A = __builtin_shufflevector( x, y, 0, 4, 1, 5 );
35*67e74705SXin Li }
36*67e74705SXin Li
37*67e74705SXin Li // CHECK-LABEL: define {{.*}}void @clang_shufflevector_v_v_undef(
clang_shufflevector_v_v_undef(float4 * A,float4 x,float4 y)38*67e74705SXin Li void clang_shufflevector_v_v_undef( float4* A, float4 x, float4 y) {
39*67e74705SXin Li // CHECK: [[V:%.*]] = shufflevector <4 x float> {{%.*}}, <4 x float> {{%.*}}, <4 x i32> <i32 0, i32 4, i32 undef, i32 5>
40*67e74705SXin Li // CHECK: store <4 x float> [[V]], <4 x float>* {{%.*}}
41*67e74705SXin Li *A = __builtin_shufflevector( x, y, 0, 4, -1, 5 );
42*67e74705SXin Li }
43