summaryrefslogtreecommitdiffstats
path: root/tests/language-feature/spirv-asm/specialized-generic.slang
blob: c362e8c7a59d0d9facb3c83ce48b393b4f6640dd (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
//TEST(compute):COMPARE_COMPUTE(filecheck-buffer=CHECK):-vk -shaderobj -emit-spirv-directly -output-using-type

//TEST_INPUT:ubuffer(data=[1 2 3 4], stride=4):out,name=outputBuffer
RWStructuredBuffer<int> outputBuffer;

// CHECK:      10
// CHECK-NEXT: 20
// CHECK-NEXT: 30
// CHECK-NEXT: 40

//
// This test checks that although we have a generic function and the spirv_asm
// block references the type parameter 'T', specialization resolves this before
// the SPIR-V is rendered.
//
func foo<T : __BuiltinFloatingPointType>(T x) -> T
{
    return spirv_asm
    {
        OpConstant $$int %int_10 10;
        OpConvertSToF $$T %float_10 %int_10;
        OpFMul $$T result $x %float_10;
    };
}

[numthreads(4, 1, 1)]
void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID)
{
    int i = dispatchThreadID.x;
    int n = outputBuffer[i];
    outputBuffer[i] = int(foo<float>(n));
}