blob: e2dbcc2851b98af7f4471d531b75495137e13015 (
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
|
//TEST(smoke,compute):COMPARE_COMPUTE:-cpu -shaderobj
//TEST_INPUT:ubuffer(data=[0 0 0 0], stride=4):out,name=outputBuffer
RWStructuredBuffer<int> outputBuffer;
struct A<let I : int>
{
int f() { return I; }
};
struct B<let U : uint> : IDefaultInitializable
{
A<U> a;
};
int foo<let I : int>(A<I> a)
{
return a.f();
}
int bar<let U : uint>(B<U> b)
{
return foo(b.a);
// We previously were inferring the type at which to call `foo` as `U`
// instead of `int(U)`. This then cause the typechecker to impmediately
// fail because `U` does not unify with the type of `B<U>`'s `a` member,
// namely `int(U)`.
}
[numthreads(4, 1, 1)]
void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID)
{
A<1> a;
B<1> b;
b.a = a;
outputBuffer[dispatchThreadID.x] = bar<1>(b);
}
|
