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
|
//TEST(compute):COMPARE_COMPUTE(filecheck-buffer=CHECK): -vk
//TEST(compute):COMPARE_COMPUTE(filecheck-buffer=CHECK): -dx12
//TEST(compute):COMPARE_COMPUTE(filecheck-buffer=CHECK): -cpu
// CHECK: 5
// CHECK-NEXT: 5
// CHECK-NEXT: 5
// CHECK-NEXT: 1
// CHECK-NEXT: 1
// CHECK-NEXT: 1
// CHECK-NEXT: 1
//TEST_INPUT:ubuffer(data=[0 0 0 0 0 0 0], stride=4):out,name=outputBuffer
RWStructuredBuffer<int> outputBuffer;
interface IFoo
{
property uint value { get; }
};
struct Foo : IFoo
{
property uint value
{
get { return _value; }
}
uint _value;
};
void issue1(Foo foo)
{
int array[10] = {0,1,2,3,4,5,6,7,8,9};
outputBuffer[0] = array[foo._value]; // ok
outputBuffer[1] = array[uint(foo.value)]; // ok
outputBuffer[2] = array[foo.value]; // Used to cause error, 'value' was not resolved before checking that it's an integer
}
void issue2(Foo foo, uint arg)
{
bool b1 = foo._value < arg; // ok
bool b2 = uint(foo.value) < arg; // ok
bool b3 = foo.value < arg; // Used to crash the compiler
bool b4 = foo.value > arg; // ok
if (b1) outputBuffer[3] = 1;
if (b2) outputBuffer[4] = 1;
if (b3) outputBuffer[5] = 1;
if (!b4) outputBuffer[6] = 1;
}
[numthreads(1, 1, 1)]
void computeMain(int3 dispatchThreadID: SV_DispatchThreadID)
{
Foo foo;
foo._value = 5;
issue1(foo);
foo._value = 42;
issue2(foo, 43);
}
|
