122 lines · plain
1; RUN: opt -S -dxil-resource-access -mtriple=dxil %s | FileCheck %s2 3; cbuffer CB {4; float3 a1; // offset 0, size 12 (+4)5; double3 a2; // offset 16, size 246; float16_t2 a3; // offset 40, size 4 (+4)7; uint64_t3 a4; // offset 48, size 24 (+8)8; int4 a5; // offset 80, size 169; uint16_t3 a6; // offset 96, size 610; };11%__cblayout_CB = type <{ <3 x float>, target("dx.Padding", 4), <3 x double>, <2 x half>, target("dx.Padding", 4), <3 x i64>, target("dx.Padding", 8), <4 x i32>, <3 x i16> }>12 13@CB.cb = local_unnamed_addr global target("dx.CBuffer", %__cblayout_CB) poison14 15; CHECK: define void @f16define void @f(ptr %dst) {17entry:18 %CB.cb_h.i.i = tail call target("dx.CBuffer", %__cblayout_CB) @llvm.dx.resource.handlefrombinding(i32 0, i32 0, i32 1, i32 0, ptr null)19 store target("dx.CBuffer", %__cblayout_CB) %CB.cb_h.i.i, ptr @CB.cb, align 420 21 ; CHECK: [[CB:%.*]] = load target("dx.CBuffer", %__cblayout_CB), ptr @CB.cb22 %CB.cb = load target("dx.CBuffer", %__cblayout_CB), ptr @CB.cb, align 823 24 ;; a125 ;26 ; CHECK: [[LOAD:%.*]] = call { float, float, float, float } @llvm.dx.resource.load.cbufferrow.4.{{.*}}(target("dx.CBuffer", %__cblayout_CB) [[CB]], i32 0)27 ; CHECK: [[X:%.*]] = extractvalue { float, float, float, float } [[LOAD]], 028 ; CHECK: [[Y:%.*]] = extractvalue { float, float, float, float } [[LOAD]], 129 ; CHECK: [[Z:%.*]] = extractvalue { float, float, float, float } [[LOAD]], 230 ; CHECK: [[VEC0:%.*]] = insertelement <3 x float> poison, float [[X]], i32 031 ; CHECK: [[VEC1:%.*]] = insertelement <3 x float> [[VEC0]], float [[Y]], i32 132 ; CHECK: [[VEC2:%.*]] = insertelement <3 x float> [[VEC1]], float [[Z]], i32 233 ; CHECK: store <3 x float> [[VEC2]], ptr %dst34 %a1_gep = call ptr addrspace(2) @llvm.dx.resource.getpointer(target("dx.CBuffer", %__cblayout_CB) %CB.cb, i32 0)35 %a1 = load <3 x float>, ptr addrspace(2) %a1_gep, align 1636 store <3 x float> %a1, ptr %dst, align 437 38 ;; a239 ;40 ; CHECK: [[LOAD:%.*]] = call { double, double } @llvm.dx.resource.load.cbufferrow.2.{{.*}}(target("dx.CBuffer", %__cblayout_CB) [[CB]], i32 1)41 ; CHECK: [[X:%.*]] = extractvalue { double, double } [[LOAD]], 042 ; CHECK: [[Y:%.*]] = extractvalue { double, double } [[LOAD]], 143 ; CHECK: [[LOAD:%.*]] = call { double, double } @llvm.dx.resource.load.cbufferrow.2.{{.*}}(target("dx.CBuffer", %__cblayout_CB) [[CB]], i32 2)44 ; CHECK: [[Z:%.*]] = extractvalue { double, double } [[LOAD]], 045 ; CHECK: [[VEC0:%.*]] = insertelement <3 x double> poison, double [[X]], i32 046 ; CHECK: [[VEC1:%.*]] = insertelement <3 x double> [[VEC0]], double [[Y]], i32 147 ; CHECK: [[VEC2:%.*]] = insertelement <3 x double> [[VEC1]], double [[Z]], i32 248 ; CHECK: [[PTR:%.*]] = getelementptr inbounds nuw i8, ptr %dst, i32 1649 ; CHECK: store <3 x double> [[VEC2]], ptr [[PTR]]50 %a2_gep = call ptr addrspace(2) @llvm.dx.resource.getpointer(target("dx.CBuffer", %__cblayout_CB) %CB.cb, i32 16)51 %a2 = load <3 x double>, ptr addrspace(2) %a2_gep, align 3252 %a2.i = getelementptr inbounds nuw i8, ptr %dst, i32 1653 store <3 x double> %a2, ptr %a2.i, align 854 55 ;; a356 ;57 ; CHECK: [[LOAD:%.*]] = call { half, half, half, half, half, half, half, half } @llvm.dx.resource.load.cbufferrow.8.{{.*}}(target("dx.CBuffer", %__cblayout_CB) [[CB]], i32 2)58 ; CHECK: [[X:%.*]] = extractvalue { half, half, half, half, half, half, half, half } [[LOAD]], 459 ; CHECK: [[Y:%.*]] = extractvalue { half, half, half, half, half, half, half, half } [[LOAD]], 560 ; CHECK: [[VEC0:%.*]] = insertelement <2 x half> poison, half [[X]], i32 061 ; CHECK: [[VEC1:%.*]] = insertelement <2 x half> [[VEC0]], half [[Y]], i32 162 ; CHECK: [[PTR:%.*]] = getelementptr inbounds nuw i8, ptr %dst, i32 4063 ; CHECK: store <2 x half> [[VEC1]], ptr [[PTR]]64 %a3_gep = call ptr addrspace(2) @llvm.dx.resource.getpointer(target("dx.CBuffer", %__cblayout_CB) %CB.cb, i32 40)65 %a3 = load <2 x half>, ptr addrspace(2) %a3_gep, align 466 %a3.i = getelementptr inbounds nuw i8, ptr %dst, i32 4067 store <2 x half> %a3, ptr %a3.i, align 268 69 ;; a470 ;71 ; CHECK: [[LOAD:%.*]] = call { i64, i64 } @llvm.dx.resource.load.cbufferrow.2.{{.*}}(target("dx.CBuffer", %__cblayout_CB) [[CB]], i32 3)72 ; CHECK: [[X:%.*]] = extractvalue { i64, i64 } [[LOAD]], 073 ; CHECK: [[Y:%.*]] = extractvalue { i64, i64 } [[LOAD]], 174 ; CHECK: [[LOAD:%.*]] = call { i64, i64 } @llvm.dx.resource.load.cbufferrow.2.{{.*}}(target("dx.CBuffer", %__cblayout_CB) [[CB]], i32 4)75 ; CHECK: [[Z:%.*]] = extractvalue { i64, i64 } [[LOAD]], 076 ; CHECK: [[VEC0:%.*]] = insertelement <3 x i64> poison, i64 [[X]], i32 077 ; CHECK: [[VEC1:%.*]] = insertelement <3 x i64> [[VEC0]], i64 [[Y]], i32 178 ; CHECK: [[VEC2:%.*]] = insertelement <3 x i64> [[VEC1]], i64 [[Z]], i32 279 ; CHECK: [[PTR:%.*]] = getelementptr inbounds nuw i8, ptr %dst, i32 4880 ; CHECK: store <3 x i64> [[VEC2]], ptr [[PTR]]81 %a4_gep = call ptr addrspace(2) @llvm.dx.resource.getpointer(target("dx.CBuffer", %__cblayout_CB) %CB.cb, i32 48)82 %a4 = load <3 x i64>, ptr addrspace(2) %a4_gep, align 3283 %a4.i = getelementptr inbounds nuw i8, ptr %dst, i32 4884 store <3 x i64> %a4, ptr %a4.i, align 885 86 ;; a587 ;88 ; CHECK: [[LOAD:%.*]] = call { i32, i32, i32, i32 } @llvm.dx.resource.load.cbufferrow.4.{{.*}}(target("dx.CBuffer", %__cblayout_CB) [[CB]], i32 5)89 ; CHECK: [[X:%.*]] = extractvalue { i32, i32, i32, i32 } [[LOAD]], 090 ; CHECK: [[Y:%.*]] = extractvalue { i32, i32, i32, i32 } [[LOAD]], 191 ; CHECK: [[Z:%.*]] = extractvalue { i32, i32, i32, i32 } [[LOAD]], 292 ; CHECK: [[A:%.*]] = extractvalue { i32, i32, i32, i32 } [[LOAD]], 393 ; CHECK: [[VEC0:%.*]] = insertelement <4 x i32> poison, i32 [[X]], i32 094 ; CHECK: [[VEC1:%.*]] = insertelement <4 x i32> [[VEC0]], i32 [[Y]], i32 195 ; CHECK: [[VEC2:%.*]] = insertelement <4 x i32> [[VEC1]], i32 [[Z]], i32 296 ; CHECK: [[VEC3:%.*]] = insertelement <4 x i32> [[VEC2]], i32 [[A]], i32 397 ; CHECK: [[PTR:%.*]] = getelementptr inbounds nuw i8, ptr %dst, i32 7298 ; CHECK: store <4 x i32> [[VEC3]], ptr [[PTR]]99 %a5_gep = call ptr addrspace(2) @llvm.dx.resource.getpointer(target("dx.CBuffer", %__cblayout_CB) %CB.cb, i32 80)100 %a5 = load <4 x i32>, ptr addrspace(2) %a5_gep, align 16101 %a5.i = getelementptr inbounds nuw i8, ptr %dst, i32 72102 store <4 x i32> %a5, ptr %a5.i, align 4103 104 ;; a6105 ;106 ; CHECK: [[LOAD:%.*]] = call { i16, i16, i16, i16, i16, i16, i16, i16 } @llvm.dx.resource.load.cbufferrow.8.{{.*}}(target("dx.CBuffer", %__cblayout_CB) [[CB]], i32 6)107 ; CHECK: [[X:%.*]] = extractvalue { i16, i16, i16, i16, i16, i16, i16, i16 } [[LOAD]], 0108 ; CHECK: [[Y:%.*]] = extractvalue { i16, i16, i16, i16, i16, i16, i16, i16 } [[LOAD]], 1109 ; CHECK: [[Z:%.*]] = extractvalue { i16, i16, i16, i16, i16, i16, i16, i16 } [[LOAD]], 2110 ; CHECK: [[VEC0:%.*]] = insertelement <3 x i16> poison, i16 [[X]], i32 0111 ; CHECK: [[VEC1:%.*]] = insertelement <3 x i16> [[VEC0]], i16 [[Y]], i32 1112 ; CHECK: [[VEC2:%.*]] = insertelement <3 x i16> [[VEC1]], i16 [[Z]], i32 2113 ; CHECK: [[PTR:%.*]] = getelementptr inbounds nuw i8, ptr %dst, i32 88114 ; CHECK: store <3 x i16> [[VEC2]], ptr [[PTR]]115 %a6_gep = call ptr addrspace(2) @llvm.dx.resource.getpointer(target("dx.CBuffer", %__cblayout_CB) %CB.cb, i32 96)116 %a6 = load <3 x i16>, ptr addrspace(2) %a6_gep, align 8117 %a6.i = getelementptr inbounds nuw i8, ptr %dst, i32 88118 store <3 x i16> %a6, ptr %a6.i, align 2119 120 ret void121}122