187b9c0311f96c35109204a49d4bda909aa72b62aEli Friedman// RUN: %clang -emit-llvm -S -o - %s | FileCheck %s
287b9c0311f96c35109204a49d4bda909aa72b62aEli Friedman
387b9c0311f96c35109204a49d4bda909aa72b62aEli Friedmantypedef float float4 __attribute__((ext_vector_type(4)));
487b9c0311f96c35109204a49d4bda909aa72b62aEli Friedmantypedef unsigned int uint4 __attribute__((ext_vector_type(4)));
587b9c0311f96c35109204a49d4bda909aa72b62aEli Friedman
687d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar// CHECK-LABEL: define {{.*}}void @clang_shufflevector_v_v(
787b9c0311f96c35109204a49d4bda909aa72b62aEli Friedmanvoid clang_shufflevector_v_v( float4* A, float4 x, uint4 mask ) {
887b9c0311f96c35109204a49d4bda909aa72b62aEli Friedman// CHECK: [[MASK:%.*]] = and <4 x i32> {{%.*}}, <i32 3, i32 3, i32 3, i32 3>
9c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines// CHECK: [[I:%.*]] = extractelement <4 x i32> [[MASK]], i{{[0-9]+}} 0
10c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines// CHECK: [[E:%.*]] = extractelement <4 x float> [[X:%.*]], i{{[0-9]+}} [[I]]
1187b9c0311f96c35109204a49d4bda909aa72b62aEli Friedman//
1287b9c0311f96c35109204a49d4bda909aa72b62aEli Friedman// Here is where ToT Clang code generation makes a mistake.
1387b9c0311f96c35109204a49d4bda909aa72b62aEli Friedman// It uses [[I]] as the insertion index instead of 0.
1487b9c0311f96c35109204a49d4bda909aa72b62aEli Friedman// Similarly on the remaining insertelement.
15c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines// CHECK: [[V:%[a-zA-Z0-9._]+]] = insertelement <4 x float> undef, float [[E]], i{{[0-9]+}} 0
1687b9c0311f96c35109204a49d4bda909aa72b62aEli Friedman
17c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines// CHECK: [[I:%.*]] = extractelement <4 x i32> [[MASK]], i{{[0-9]+}} 1
18c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines// CHECK: [[E:%.*]] = extractelement <4 x float> [[X]], i{{[0-9]+}} [[I]]
19c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines// CHECK: [[V2:%.*]] = insertelement <4 x float> [[V]], float [[E]], i{{[0-9]+}} 1
20c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines// CHECK: [[I:%.*]] = extractelement <4 x i32> [[MASK]], i{{[0-9]+}} 2
21c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines// CHECK: [[E:%.*]] = extractelement <4 x float> [[X]], i{{[0-9]+}} [[I]]
22c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines// CHECK: [[V3:%.*]] = insertelement <4 x float> [[V2]], float [[E]], i{{[0-9]+}} 2
23c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines// CHECK: [[I:%.*]] = extractelement <4 x i32> [[MASK]], i{{[0-9]+}} 3
24c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines// CHECK: [[E:%.*]] = extractelement <4 x float> [[X]], i{{[0-9]+}} [[I]]
25c568f1e98938584c0ef0b12ae5018ff7d90a4072Stephen Hines// CHECK: [[V4:%.*]] = insertelement <4 x float> [[V3]], float [[E]], i{{[0-9]+}} 3
26ac5586591aacfe86e14aab3d2524a2d5b936efd4Eli Bendersky// CHECK: store <4 x float> [[V4]], <4 x float>* {{%.*}},
2787b9c0311f96c35109204a49d4bda909aa72b62aEli Friedman  *A = __builtin_shufflevector( x, mask );
2887b9c0311f96c35109204a49d4bda909aa72b62aEli Friedman}
2987b9c0311f96c35109204a49d4bda909aa72b62aEli Friedman
3087d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar// CHECK-LABEL: define {{.*}}void @clang_shufflevector_v_v_c(
316f4f8083931a92f9959168d4430da7ddf9183100Craig Toppervoid clang_shufflevector_v_v_c( float4* A, float4 x, float4 y) {
3287b9c0311f96c35109204a49d4bda909aa72b62aEli Friedman// CHECK: [[V:%.*]] = shufflevector <4 x float> {{%.*}}, <4 x float> {{%.*}}, <4 x i32> <i32 0, i32 4, i32 1, i32 5>
3387b9c0311f96c35109204a49d4bda909aa72b62aEli Friedman// CHECK: store <4 x float> [[V]], <4 x float>* {{%.*}}
3487b9c0311f96c35109204a49d4bda909aa72b62aEli Friedman  *A = __builtin_shufflevector( x, y, 0, 4, 1, 5 );
3587b9c0311f96c35109204a49d4bda909aa72b62aEli Friedman}
366f4f8083931a92f9959168d4430da7ddf9183100Craig Topper
3787d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar// CHECK-LABEL: define {{.*}}void @clang_shufflevector_v_v_undef(
386f4f8083931a92f9959168d4430da7ddf9183100Craig Toppervoid clang_shufflevector_v_v_undef( float4* A, float4 x, float4 y) {
396f4f8083931a92f9959168d4430da7ddf9183100Craig Topper// CHECK: [[V:%.*]] = shufflevector <4 x float> {{%.*}}, <4 x float> {{%.*}}, <4 x i32> <i32 0, i32 4, i32 undef, i32 5>
406f4f8083931a92f9959168d4430da7ddf9183100Craig Topper// CHECK: store <4 x float> [[V]], <4 x float>* {{%.*}}
416f4f8083931a92f9959168d4430da7ddf9183100Craig Topper  *A = __builtin_shufflevector( x, y, 0, 4, -1, 5 );
426f4f8083931a92f9959168d4430da7ddf9183100Craig Topper}
43