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