162 lines · plain
1; RUN: opt -S -dxil-translate-metadata < %s | FileCheck %s2; RUN: opt -S --passes="dxil-pretty-printer" < %s 2>&1 | FileCheck %s --check-prefix=PRINT3; RUN: llc %s --filetype=asm -o - 2>&1 | FileCheck %s --check-prefixes=CHECK,PRINT4 5target datalayout = "e-m:e-p:32:32-i1:32-i8:8-i16:16-i32:32-i64:64-f16:16-f32:32-f64:64-n8:16:32:64"6target triple = "dxil-pc-shadermodel6.6-compute"7 8@Zero.str = private unnamed_addr constant [5 x i8] c"Zero\00", align 19@One.str = private unnamed_addr constant [4 x i8] c"One\00", align 110@Two.str = private unnamed_addr constant [4 x i8] c"Two\00", align 111@Three.str = private unnamed_addr constant [6 x i8] c"Three\00", align 112@Four.str = private unnamed_addr constant [5 x i8] c"Four\00", align 113@Five.str = private unnamed_addr constant [5 x i8] c"Five\00", align 114@Six.str = private unnamed_addr constant [4 x i8] c"Six\00", align 115@Seven.str = private unnamed_addr constant [6 x i8] c"Seven\00", align 116@Eight.str = private unnamed_addr constant [6 x i8] c"Eight\00", align 117@Nine.str = private unnamed_addr constant [5 x i8] c"Nine\00", align 118@Ten.str = private unnamed_addr constant [4 x i8] c"Ten\00", align 119@Array.str = private unnamed_addr constant [6 x i8] c"Array\00", align 120@Array2.str = private unnamed_addr constant [7 x i8] c"Array2\00", align 121 22; PRINT:; Resource Bindings:23; PRINT-NEXT:;24; PRINT-NEXT:; Name Type Format Dim ID HLSL Bind Count25; PRINT-NEXT:; ------------------------------ ---------- ------- ----------- ------- -------------- ---------26; PRINT-NEXT:; Zero UAV f16 buf U0 u0 127; PRINT-NEXT:; One UAV f32 buf U1 u1 128; PRINT-NEXT:; Two UAV u32 buf U2 u2 129; PRINT-NEXT:; Three UAV i32 buf U3 u3 130; PRINT-NEXT:; Four UAV byte r/w U4 u5 131; PRINT-NEXT:; Five UAV struct r/w U5 u6 132; PRINT-NEXT:; Six UAV i32 buf U6 u7 133; PRINT-NEXT:; Seven UAV struct r/w U7 u8 134; PRINT-NEXT:; Eight UAV byte r/w U8 u9 135; PRINT-NEXT:; Nine UAV u32 buf U9 u10,space2 136; PRINT-NEXT:; Array UAV f32 buf U10 u4,space3 10037; PRINT-NEXT:; Array2 UAV u32 buf U11 u2,space4 unbounded38; PRINT-NEXT:; Ten UAV u32 buf U12 u22,space5 139 40define void @test() #0 {41 ; RWBuffer<half4> Zero : register(u0)42 %Zero_h = call target("dx.TypedBuffer", <4 x half>, 1, 0, 0)43 @llvm.dx.resource.handlefrombinding(i32 0, i32 0, i32 1, i32 0, ptr @Zero.str)44 45 ; RWBuffer<float4> One : register(u1)46 %One_h = call target("dx.TypedBuffer", <2 x float>, 1, 0, 0)47 @llvm.dx.resource.handlefrombinding(i32 0, i32 1, i32 1, i32 0, ptr @One.str)48 49 ; RWBuffer<double> Two : register(u2);50 %Two_h = call target("dx.TypedBuffer", double, 1, 0, 0)51 @llvm.dx.resource.handlefrombinding(i32 0, i32 2, i32 1, i32 0, ptr @Two.str)52 53 ; RWBuffer<int4> Three : register(u3);54 %Three_h = call target("dx.TypedBuffer", <4 x i32>, 1, 0, 1)55 @llvm.dx.resource.handlefrombinding(i32 0, i32 3, i32 1, i32 0, ptr @Three.str)56 57 ; ByteAddressBuffer Four : register(u5)58 %Four_h = call target("dx.RawBuffer", i8, 1, 0)59 @llvm.dx.resource.handlefrombinding(i32 0, i32 5, i32 1, i32 0, ptr @Four.str)60 61 ; RWStructuredBuffer<int16_t> Five : register(u6);62 %Five_h = call target("dx.RawBuffer", i16, 1, 0)63 @llvm.dx.resource.handlefrombinding(i32 0, i32 6, i32 1, i32 0, ptr @Five.str)64 65 ; RasterizerOrderedBuffer<int4> Six : register(u7);66 %Six_h = call target("dx.TypedBuffer", <4 x i32>, 1, 1, 1)67 @llvm.dx.resource.handlefrombinding(i32 0, i32 7, i32 1, i32 0, ptr @Six.str)68 69 ; RasterizerOrderedStructuredBuffer<uint4> Seven : register(u3, space10);70 %Seven_h = call target("dx.RawBuffer", <4 x i32>, 1, 1)71 @llvm.dx.resource.handlefrombinding(i32 0, i32 8, i32 1, i32 0, ptr @Seven.str)72 73 ; RasterizerOrderedByteAddressBuffer Eight : register(u9); 74 %Eight_h = call target("dx.RawBuffer", i8, 1, 1) 75 @llvm.dx.resource.handlefrombinding(i32 0, i32 9, i32 1, i32 0, ptr @Eight.str)76 77 ; RWBuffer<double> Nine : register(u2);78 %Nine_h = call target("dx.TypedBuffer", i64, 1, 0, 0)79 @llvm.dx.resource.handlefrombinding(i32 2, i32 10, i32 1, i32 0, ptr @Nine.str)80 81 ; RWBuffer<float4> Array[100] : register(u4, space3);82 ; RWBuffer<float4> B1 = Array[30];83 ; RWBuffer<float4> B2 = Array[42];84 ; resource array accesses should produce one metadata entry 85 %Array_30_h = call target("dx.TypedBuffer", <4 x float>, 1, 0, 0)86 @llvm.dx.resource.handlefrombinding(i32 3, i32 4, i32 100, i32 30, ptr @Array.str)87 %Array_42_h = call target("dx.TypedBuffer", <4 x float>, 1, 0, 0)88 @llvm.dx.resource.handlefrombinding(i32 3, i32 4, i32 100, i32 42, ptr @Array.str)89 90 ; test unbounded resource array91 ; RWBuffer<double> Array2[] : register(u2, space4);92 ; RWBuffer<double> C1 = Array[10];93 ; RWBuffer<double> C2 = Array[20];94 %Array2_10_h = call target("dx.TypedBuffer", double, 1, 0, 0)95 @llvm.dx.resource.handlefrombinding(i32 4, i32 2, i32 -1, i32 10, ptr @Array2.str)96 %Array2_20_h = call target("dx.TypedBuffer", double, 1, 0, 0)97 @llvm.dx.resource.handlefrombinding(i32 4, i32 2, i32 -1, i32 20, ptr @Array2.str)98 99 ; Same buffer type as Nine - should have the same type in metadata100 ; RWBuffer<double> Ten : register(u2);101 %Ten_h = call target("dx.TypedBuffer", i64, 1, 0, 0)102 @llvm.dx.resource.handlefrombinding(i32 5, i32 22, i32 1, i32 0, ptr @Ten.str)103 104 ret void105}106 107attributes #0 = { noinline nounwind "hlsl.shader"="compute" }108 109; CHECK: %"RWBuffer<half4>" = type { <4 x half> }110; CHECK: %"RWBuffer<float2>" = type { <2 x float> }111; CHECK: %"RWBuffer<double>" = type { double }112; CHECK: %"RWBuffer<int32_t4>" = type { <4 x i32> }113; CHECK: %RWByteAddressBuffer = type { i32 }114; CHECK: %"RWStructuredBuffer<int16_t>" = type { i16 }115; CHECK: %"RasterizerOrderedBuffer<int32_t4>" = type { <4 x i32> }116; CHECK: %"RasterizerOrderedStructuredBuffer<int32_t4>" = type { <4 x i32> }117; CHECK: %RasterizerOrderedByteAddressBuffer = type { i32 }118; CHECK: %"RWBuffer<uint32_t>" = type { i64 }119; CHECK: %"RWBuffer<float4>" = type { <4 x float> }120 121; CHECK: @Zero = external constant %"RWBuffer<half4>"122; CHECK: @One = external constant %"RWBuffer<float2>"123; CHECK: @Two = external constant %"RWBuffer<double>"124; CHECK: @Three = external constant %"RWBuffer<int32_t4>"125; CHECK: @Four = external constant %RWByteAddressBuffer126; CHECK: @Five = external constant %"RWStructuredBuffer<int16_t>"127; CHECK: @Six = external constant %"RasterizerOrderedBuffer<int32_t4>"128; CHECK: @Seven = external constant %"RasterizerOrderedStructuredBuffer<int32_t4>"129; CHECK: @Eight = external constant %RasterizerOrderedByteAddressBuffer130; CHECK: @Nine = external constant %"RWBuffer<uint32_t>"131; CHECK: @Array = external constant [100 x %"RWBuffer<float4>"]132; CHECK: @Array2 = external constant [0 x %"RWBuffer<double>"]133; CHECK: @Ten = external constant %"RWBuffer<uint32_t>"134 135; CHECK: !dx.resources = !{[[ResList:[!][0-9]+]]}136 137; CHECK: [[ResList]] = !{null, [[UAVList:[!][0-9]+]], null, null}138; CHECK: [[UAVList]] = !{![[Zero:[0-9]+]], ![[One:[0-9]+]], ![[Two:[0-9]+]],139; CHECK-SAME: ![[Three:[0-9]+]], ![[Four:[0-9]+]], ![[Five:[0-9]+]],140; CHECK-SAME: ![[Six:[0-9]+]], ![[Seven:[0-9]+]], ![[Eight:[0-9]+]],141; CHECK-SAME: ![[Nine:[0-9]+]], ![[Array:[0-9]+]], ![[Array2:[0-9]+]], ![[Ten:[0-9]+]]}142 143; CHECK: ![[Zero]] = !{i32 0, ptr @Zero, !"Zero", i32 0, i32 0, i32 1, i32 10, i1 false, i1 false, i1 false, ![[Half:[0-9]+]]}144; CHECK: ![[Half]] = !{i32 0, i32 8}145; CHECK: ![[One]] = !{i32 1, ptr @One, !"One", i32 0, i32 1, i32 1, i32 10, i1 false, i1 false, i1 false, ![[Float:[0-9]+]]}146; CHECK: ![[Float]] = !{i32 0, i32 9}147; CHECK: ![[Two]] = !{i32 2, ptr @Two, !"Two", i32 0, i32 2, i32 1, i32 10, i1 false, i1 false, i1 false, ![[U32:[0-9]+]]}148; CHECK: ![[U32]] = !{i32 0, i32 5}149; CHECK: ![[Three]] = !{i32 3, ptr @Three, !"Three", i32 0, i32 3, i32 1, i32 10, i1 false, i1 false, i1 false, ![[I32:[0-9]+]]}150; CHECK: ![[I32]] = !{i32 0, i32 4}151; CHECK: ![[Four]] = !{i32 4, ptr @Four, !"Four", i32 0, i32 5, i32 1, i32 11, i1 false, i1 false, i1 false, null}152; CHECK: ![[Five]] = !{i32 5, ptr @Five, !"Five", i32 0, i32 6, i32 1, i32 12, i1 false, i1 false, i1 false, ![[FiveStride:[0-9]+]]}153; CHECK: ![[FiveStride]] = !{i32 1, i32 2}154; CHECK: ![[Six]] = !{i32 6, ptr @Six, !"Six", i32 0, i32 7, i32 1, i32 10, i1 false, i1 false, i1 true, ![[I32]]}155; CHECK: ![[Seven]] = !{i32 7, ptr @Seven, !"Seven", i32 0, i32 8, i32 1, i32 12, i1 false, i1 false, i1 true, ![[SevenStride:[0-9]+]]}156; CHECK: ![[SevenStride]] = !{i32 1, i32 16}157; CHECK: ![[Eight]] = !{i32 8, ptr @Eight, !"Eight", i32 0, i32 9, i32 1, i32 11, i1 false, i1 false, i1 true, null}158; CHECK: ![[Nine]] = !{i32 9, ptr @Nine, !"Nine", i32 2, i32 10, i32 1, i32 10, i1 false, i1 false, i1 false, ![[U32]]}159; CHECK: ![[Array]] = !{i32 10, ptr @Array, !"Array", i32 3, i32 4, i32 100, i32 10, i1 false, i1 false, i1 false, ![[Float]]}160; CHECK: ![[Array2]] = !{i32 11, ptr @Array2, !"Array2", i32 4, i32 2, i32 -1, i32 10, i1 false, i1 false, i1 false, ![[U32]]}161; CHECK: ![[Ten]] = !{i32 12, ptr @Ten, !"Ten", i32 5, i32 22, i32 1, i32 10, i1 false, i1 false, i1 false, ![[U64:[0-9]+]]}162