1; RUN: opt -S -passes=dxil-translate-metadata,dxil-op-lower %s | FileCheck %s 2; RUN: opt -S -passes=dxil-pretty-printer %s 2>&1 >/dev/null | FileCheck --check-prefix=CHECK-PRETTY %s 3 4; CHECK-PRETTY: Type Format Dim ID HLSL Bind Count 5; CHECK-PRETTY: ---------- ------- ----------- ------- -------------- --------- 6; CHECK-PRETTY: SRV f32 buf T0 t7 unbounded 7; CHECK-PRETTY: SRV byte r/o T1 t8,space1 1 8; CHECK-PRETTY: SRV struct r/o T2 t2,space4 1 9; CHECK-PRETTY: SRV u32 buf T3 t3,space5 24 10; CHECK-PRETTY: UAV i32 buf U0 u7,space2 1 11; CHECK-PRETTY: UAV f32 buf U1 u5,space3 1 12 13target triple = "dxil-pc-shadermodel6.6-compute" 14 15declare i32 @some_val(); 16 17define void @test_bindings() { 18 ; RWBuffer<float4> Buf : register(u5, space3) 19 %typed0 = call target("dx.TypedBuffer", <4 x float>, 1, 0, 0) 20 @llvm.dx.resource.handlefrombinding.tdx.TypedBuffer_v4f32_1_0_0( 21 i32 3, i32 5, i32 1, i32 0, i1 false) 22 ; CHECK: [[BUF0:%.*]] = call %dx.types.Handle @dx.op.createHandleFromBinding(i32 217, %dx.types.ResBind { i32 5, i32 5, i32 3, i8 1 }, i32 5, i1 false) #[[#ATTR:]] 23 ; CHECK: call %dx.types.Handle @dx.op.annotateHandle(i32 216, %dx.types.Handle [[BUF0]], %dx.types.ResourceProperties { i32 4106, i32 1033 }) #[[#ATTR]] 24 25 ; RWBuffer<int> Buf : register(u7, space2) 26 %typed1 = call target("dx.TypedBuffer", i32, 1, 0, 1) 27 @llvm.dx.resource.handlefrombinding.tdx.TypedBuffer_i32_1_0_0t( 28 i32 2, i32 7, i32 1, i32 0, i1 false) 29 ; CHECK: [[BUF1:%.*]] = call %dx.types.Handle @dx.op.createHandleFromBinding(i32 217, %dx.types.ResBind { i32 7, i32 7, i32 2, i8 1 }, i32 7, i1 false) #[[#ATTR]] 30 ; CHECK: call %dx.types.Handle @dx.op.annotateHandle(i32 216, %dx.types.Handle [[BUF1]], %dx.types.ResourceProperties { i32 4106, i32 260 }) #[[#ATTR]] 31 32 ; Buffer<uint4> Buf[24] : register(t3, space5) 33 ; Buffer<uint4> typed2 = Buf[4] 34 ; Note that the index below is 3 + 4 = 7 35 %typed2 = call target("dx.TypedBuffer", <4 x i32>, 0, 0, 0) 36 @llvm.dx.resource.handlefrombinding.tdx.TypedBuffer_i32_0_0_0t( 37 i32 5, i32 3, i32 24, i32 4, i1 false) 38 ; CHECK: [[BUF2:%.*]] = call %dx.types.Handle @dx.op.createHandleFromBinding(i32 217, %dx.types.ResBind { i32 3, i32 26, i32 5, i8 0 }, i32 7, i1 false) #[[#ATTR]] 39 ; CHECK: call %dx.types.Handle @dx.op.annotateHandle(i32 216, %dx.types.Handle [[BUF2]], %dx.types.ResourceProperties { i32 10, i32 1029 }) #[[#ATTR]] 40 41 ; struct S { float4 a; uint4 b; }; 42 ; StructuredBuffer<S> Buf : register(t2, space4) 43 %struct0 = call target("dx.RawBuffer", {<4 x float>, <4 x i32>}, 0, 0) 44 @llvm.dx.resource.handlefrombinding.tdx.RawBuffer_sl_v4f32v4i32s_0_0t( 45 i32 4, i32 2, i32 1, i32 0, i1 true) 46 ; CHECK: [[BUF3:%.*]] = call %dx.types.Handle @dx.op.createHandleFromBinding(i32 217, %dx.types.ResBind { i32 2, i32 2, i32 4, i8 0 }, i32 2, i1 true) #[[#ATTR]] 47 ; CHECK: = call %dx.types.Handle @dx.op.annotateHandle(i32 216, %dx.types.Handle [[BUF3]], %dx.types.ResourceProperties { i32 1036, i32 32 }) #[[#ATTR]] 48 49 ; ByteAddressBuffer Buf : register(t8, space1) 50 %byteaddr0 = call target("dx.RawBuffer", i8, 0, 0) 51 @llvm.dx.resource.handlefrombinding.tdx.RawBuffer_i8_0_0t( 52 i32 1, i32 8, i32 1, i32 0, i1 false) 53 ; CHECK: [[BUF4:%.*]] = call %dx.types.Handle @dx.op.createHandleFromBinding(i32 217, %dx.types.ResBind { i32 8, i32 8, i32 1, i8 0 }, i32 8, i1 false) #[[#ATTR]] 54 ; CHECK: call %dx.types.Handle @dx.op.annotateHandle(i32 216, %dx.types.Handle [[BUF4]], %dx.types.ResourceProperties { i32 11, i32 0 }) #[[#ATTR]] 55 56 ; Buffer<float4> Buf[] : register(t7) 57 ; Buffer<float4> typed3 = Buf[ix] 58 %typed3_ix = call i32 @some_val() 59 %typed3 = call target("dx.TypedBuffer", <4 x float>, 0, 0, 0) 60 @llvm.dx.resource.handlefrombinding.tdx.TypedBuffer_v4f32_0_0_0t( 61 i32 0, i32 7, i32 -1, i32 %typed3_ix, i1 false) 62 ; CHECK: %[[IX:.*]] = add i32 %typed3_ix, 7 63 ; CHECK: [[BUF5:%.*]] = call %dx.types.Handle @dx.op.createHandleFromBinding(i32 217, %dx.types.ResBind { i32 7, i32 -1, i32 0, i8 0 }, i32 %[[IX]], i1 false) #[[#ATTR]] 64 ; CHECK: call %dx.types.Handle @dx.op.annotateHandle(i32 216, %dx.types.Handle [[BUF5]], %dx.types.ResourceProperties { i32 10, i32 1033 }) #[[#ATTR]] 65 66 ret void 67} 68 69; CHECK: attributes #[[#ATTR]] = {{{.*}} memory(none) {{.*}}} 70 71; Just check that we have the right types and number of metadata nodes, the 72; contents of the metadata are tested elsewhere. 73; 74; CHECK: !dx.resources = !{[[RESMD:![0-9]+]]} 75; CHECK: [[RESMD]] = !{[[SRVMD:![0-9]+]], [[UAVMD:![0-9]+]], null, null} 76; CHECK-DAG: [[SRVMD]] = !{!{{[0-9]+}}, !{{[0-9]+}}, !{{[0-9]+}}, !{{[0-9]+}}} 77; CHECK-DAG: [[UAVMD]] = !{!{{[0-9]+}}, !{{[0-9]+}}} 78 79attributes #0 = { nocallback nofree nosync nounwind willreturn memory(none) } 80