106 lines · plain
1 2// RUN: %clang_cc1 -triple dxil-pc-shadermodel6.3-library -emit-llvm -disable-llvm-passes -o - %s | FileCheck %s3 4void fn(float x[2]) { }5 6// CHECK-LABEL: define hidden void {{.*}}call{{.*}}7// CHECK: [[Arr:%.*]] = alloca [2 x float]8// CHECK: [[Tmp:%.*]] = alloca [2 x float]9// CHECK: call void @llvm.memset.p0.i32(ptr align 4 [[Arr]], i8 0, i32 8, i1 false)10// CHECK: call void @llvm.memcpy.p0.p0.i32(ptr align 4 [[Tmp]], ptr align 4 [[Arr]], i32 8, i1 false)11// CHECK: call void {{.*}}fn{{.*}}(ptr noundef byval([2 x float]) align 4 [[Tmp]])12void call() {13 float Arr[2] = {0, 0};14 fn(Arr);15}16 17struct Obj {18 float V;19 int X;20};21 22void fn2(Obj O[4]) { }23 24// CHECK-LABEL: define hidden void {{.*}}call2{{.*}}25// CHECK: [[Arr:%.*]] = alloca [4 x %struct.Obj]26// CHECK: [[Tmp:%.*]] = alloca [4 x %struct.Obj]27// CHECK: call void @llvm.memset.p0.i32(ptr align 1 [[Arr]], i8 0, i32 32, i1 false)28// CHECK: call void @llvm.memcpy.p0.p0.i32(ptr align 1 [[Tmp]], ptr align 1 [[Arr]], i32 32, i1 false)29// CHECK: call void {{.*}}fn2{{.*}}(ptr noundef byval([4 x %struct.Obj]) align 1 [[Tmp]])30void call2() {31 Obj Arr[4] = {{0, 0}, {0, 0}, {0, 0}, {0, 0}};32 fn2(Arr);33}34 35 36void fn3(float x[2][2]) { }37 38// CHECK-LABEL: define hidden void {{.*}}call3{{.*}}39// CHECK: [[Arr:%.*]] = alloca [2 x [2 x float]]40// CHECK: [[Tmp:%.*]] = alloca [2 x [2 x float]]41// CHECK: call void @llvm.memcpy.p0.p0.i32(ptr align 4 [[Arr]], ptr align 4 {{.*}}, i32 16, i1 false)42// CHECK: call void @llvm.memcpy.p0.p0.i32(ptr align 4 [[Tmp]], ptr align 4 [[Arr]], i32 16, i1 false)43// CHECK: call void {{.*}}fn3{{.*}}(ptr noundef byval([2 x [2 x float]]) align 4 [[Tmp]])44void call3() {45 float Arr[2][2] = {{0, 0}, {1,1}};46 fn3(Arr);47}48 49// CHECK-LABEL: define hidden void {{.*}}call4{{.*}}(ptr50// CHECK-SAME: noundef byval([2 x [2 x float]]) align 4 [[Arr:%.*]])51// CHECK: [[Tmp:%.*]] = alloca [2 x [2 x float]]52// CHECK: call void @llvm.memcpy.p0.p0.i32(ptr align 4 [[Tmp]], ptr align 4 [[Arr]], i32 16, i1 false)53// CHECK: call void {{.*}}fn3{{.*}}(ptr noundef byval([2 x [2 x float]]) align 4 [[Tmp]])54 55void call4(float Arr[2][2]) {56 fn3(Arr);57}58 59// Verify that each template instantiation codegens to a unique and correctly60// mangled function name.61 62// CHECK-LABEL: define hidden void {{.*}}template_call{{.*}}(ptr63 64// CHECK-SAME: noundef byval([2 x float]) align 4 [[FA2:%[0-9A-Z]+]],65// CHECK-SAME: ptr noundef byval([4 x float]) align 4 [[FA4:%[0-9A-Z]+]],66// CHECK-SAME: ptr noundef byval([3 x i32]) align 4 [[IA3:%[0-9A-Z]+]]67 68// CHECK: [[Tmp1:%.*]] = alloca [2 x float]69// CHECK: [[Tmp2:%.*]] = alloca [4 x float]70// CHECK: [[Tmp3:%.*]] = alloca [3 x i32]71// CHECK: call void @llvm.memcpy.p0.p0.i32(ptr align 4 [[Tmp1]], ptr align 4 [[FA2]], i32 8, i1 false)72// CHECK: call void @_Z11template_fnIA2_fEvT_(ptr noundef byval([2 x float]) align 4 [[Tmp1]])73// CHECK: call void @llvm.memcpy.p0.p0.i32(ptr align 4 [[Tmp2]], ptr align 4 [[FA4]], i32 16, i1 false)74// CHECK: call void @_Z11template_fnIA4_fEvT_(ptr noundef byval([4 x float]) align 4 [[Tmp2]])75// CHECK: call void @llvm.memcpy.p0.p0.i32(ptr align 4 [[Tmp3]], ptr align 4 [[IA3]], i32 12, i1 false)76// CHECK: call void @_Z11template_fnIA3_iEvT_(ptr noundef byval([3 x i32]) align 4 [[Tmp3]])77 78template<typename T>79void template_fn(T Val) {}80 81void template_call(float FA2[2], float FA4[4], int IA3[3]) {82 template_fn(FA2);83 template_fn(FA4);84 template_fn(IA3);85}86 87 88// Verify that Array parameter element access correctly codegens.89// CHECK-LABEL: define hidden void {{.*}}element_access{{.*}}(ptr90// CHECK-SAME: noundef byval([2 x float]) align 4 [[FA2:%[0-9A-Z]+]]91 92// CHECK: [[Addr:%.*]] = getelementptr inbounds [2 x float], ptr [[FA2]], i32 0, i32 093// CHECK: [[Tmp:%.*]] = load float, ptr [[Addr]]94// CHECK: call void @_Z11template_fnIfEvT_(float noundef nofpclass(nan inf) [[Tmp]])95 96// CHECK: [[Idx0:%.*]] = getelementptr inbounds [2 x float], ptr [[FA2]], i32 0, i32 097// CHECK: [[Val0:%.*]] = load float, ptr [[Idx0]]98// CHECK: [[Sum:%.*]] = fadd reassoc nnan ninf nsz arcp afn float [[Val0]], 5.000000e+0099// CHECK: [[Idx1:%.*]] = getelementptr inbounds [2 x float], ptr [[FA2]], i32 0, i32 1100// CHECK: store float [[Sum]], ptr [[Idx1]]101 102void element_access(float FA2[2]) {103 template_fn(FA2[0]);104 FA2[1] = FA2[0] + 5;105}106