blob: 038329e8787e3f68ed22925d9d9c5831bfc79f18 (
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
33
34
35
36
37
38
39
40
41
|
//TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=CHECK):-slang -compute -shaderobj -output-using-type
//TEST(compute, vulkan):COMPARE_COMPUTE_EX(filecheck-buffer=CHECK):-vk -compute -shaderobj -output-using-type
interface IValueGeneric<let D : int> {}
struct ValGenericImpl<let D : int> : IValueGeneric<D> {}
struct NestedValueGeneric<let D : int, S : IValueGeneric<D>>
{
int x;
}
void acceptor<let D : int, S : IValueGeneric<D>>(NestedValueGeneric<D, S> x)
{
outputBuffer[0] = D + x.x;
}
extension<let D : int, S : IValueGeneric<D>> NestedValueGeneric<D, S>
{
void foo()
{
acceptor(this);
}
}
void test2(NestedValueGeneric<2, ValGenericImpl<2>> x)
{
// 'foo' should be a member of 'NestedValueGeneric<2, ValGenericImpl<2>>' through
// the extension above.
x.foo();
}
//TEST_INPUT:ubuffer(data=[0 0 0 0], stride=4):out,name=outputBuffer
RWStructuredBuffer<int> outputBuffer;
[numthreads(1, 1, 1)]
void computeMain(int3 dispatchThreadID: SV_DispatchThreadID)
{
NestedValueGeneric<2, ValGenericImpl<2>> x;
x.x = 1;
test2(x);
// CHECK: 3
}
|
