blob: 7f516b0d55638ff25f02e208c51472b612b39c5b (
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
//TEST(compute):COMPARE_COMPUTE:-dx11 -shaderobj
//TEST(compute):COMPARE_COMPUTE:-vk -shaderobj
//TEST(compute):COMPARE_COMPUTE:-cpu -xslang -disable-specialization -shaderobj
//TEST(compute):COMPARE_COMPUTE:-cuda -xslang -disable-specialization -shaderobj
// Test dynamic dispatch code gen for associated-typed return values
// and local variables.
// TODO: test arguments of associated type.
[anyValueSize(8)]
interface IAssoc
{
int Compute();
}
[anyValueSize(16)]
interface IInterface
{
associatedtype TAssoc : IAssoc;
[mutating]
void SetVal(int inVal);
TAssoc GetAssoc();
};
T.TAssoc CreateT_Assoc_Inner<T:IInterface>(int inVal)
{
T obj;
obj.SetVal(inVal);
return obj.GetAssoc();
}
T.TAssoc CreateT_Assoc<T:IInterface>(int inVal)
{
return CreateT_Assoc_Inner<T>(inVal);
}
T CreateT<T:IInterface>(int inVal)
{
T obj;
obj.SetVal(inVal);
return obj;
}
struct Impl : IInterface
{
struct TAssoc : IAssoc
{
int base;
int Compute()
{
return base;
}
};
TAssoc assoc;
[mutating]
void SetVal(int inVal)
{
assoc.base = inVal;
}
TAssoc GetAssoc()
{
return assoc;
}
};
int test()
{
var obj = CreateT<Impl>(2);
var obj2 = CreateT_Assoc<Impl>(1);
// TODO: compiler crash if type parameter is missing.
// (hitting lowering logic of TypeEqualityWitness)
var obj3 = CreateT_Assoc_Inner<Impl>(1);
return obj.GetAssoc().Compute() + obj2.Compute() + obj3.Compute();
}
//TEST_INPUT:ubuffer(data=[0 1 2 3], stride=4):out,name=outputBuffer
RWStructuredBuffer<int> outputBuffer;
[numthreads(4, 1, 1)]
void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID)
{
uint tid = dispatchThreadID.x;
int outVal = test();
outputBuffer[tid] = outVal;
}
|
