48 lines · plain
1; RUN: opt -S -dxil-resource-implicit-binding %s | FileCheck %s2 3; Resources defined (with random order of handlefromimplicitbinding calls):4; RWBuffer<float> A : register(u2);5; RWBuffer<float> B[4]; // gets u3 because it does not fit before A (range 4)6; RWBuffer<int> C[2]; // gets u0 because it fits before A (range 2)7; RWBuffer<float> E[5]; // gets u7 which is right after B (range 5)8 9target triple = "dxil-pc-shadermodel6.6-compute"10 11define void @test_arrays() {12 13; RWBuffer<float> A : register(u2);14 %bufA = call target("dx.TypedBuffer", float, 1, 0, 0)15 @llvm.dx.resource.handlefrombinding(i32 0, i32 2, i32 1, i32 0, ptr null)16; no change to llvm.dx.resource.handlefrombinding17; CHECK: %bufA = call target("dx.TypedBuffer", float, 1, 0, 0)18; CHECK-SAME: @llvm.dx.resource.handlefrombinding.tdx.TypedBuffer_f32_1_0_0t(i32 0, i32 2, i32 1, i32 0, ptr null)19 20; RWBuffer<float> E[2];21 %bufE = call target("dx.TypedBuffer", float, 1, 0, 0)22 @llvm.dx.resource.handlefromimplicitbinding(i32 30, i32 0, i32 5, i32 4, ptr null)23; CHECK: %{{.*}} = call target("dx.TypedBuffer", float, 1, 0, 0)24; CHECK-SAME: @llvm.dx.resource.handlefrombinding.tdx.TypedBuffer_f32_1_0_0t(i32 0, i32 7, i32 5, i32 4, ptr null)25 26; RWBuffer<float> B[4];27 %bufB = call target("dx.TypedBuffer", float, 1, 0, 0)28 @llvm.dx.resource.handlefromimplicitbinding(i32 10, i32 0, i32 4, i32 2, ptr null)29; CHECK: %{{.*}} = call target("dx.TypedBuffer", float, 1, 0, 0)30; CHECK-SAME: @llvm.dx.resource.handlefrombinding.tdx.TypedBuffer_f32_1_0_0t(i32 0, i32 3, i32 4, i32 2, ptr null)31 32; RWBuffer<int> C[2];33 %bufC = call target("dx.TypedBuffer", i32, 1, 0, 0)34 @llvm.dx.resource.handlefromimplicitbinding(i32 20, i32 0, i32 2, i32 1, ptr null)35; CHECK: %{{.*}} = call target("dx.TypedBuffer", i32, 1, 0, 0)36; CHECK-SAME: @llvm.dx.resource.handlefrombinding.tdx.TypedBuffer_i32_1_0_0t(i32 0, i32 0, i32 2, i32 1, ptr null)37 38; another access to resource array B to make sure it gets the same binding39 %bufB2 = call target("dx.TypedBuffer", float, 1, 0, 0)40 @llvm.dx.resource.handlefromimplicitbinding(i32 10, i32 0, i32 4, i32 0, ptr null)41; CHECK: %{{.*}} = call target("dx.TypedBuffer", float, 1, 0, 0)42; CHECK-SAME: @llvm.dx.resource.handlefrombinding.tdx.TypedBuffer_f32_1_0_0t(i32 0, i32 3, i32 4, i32 0, ptr null)43 44; CHECK-NOT: @llvm.dx.resource.handlefromimplicitbinding45 ret void46}47 48