blob: c5077122eeff9aed28ae886f17bd41db51ab78bb (
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
88
89
90
91
92
93
94
95
96
97
98
|
//DIAGNOSTIC_TEST:SIMPLE(filecheck=CHECK): -target hlsl -entry main -profile cs_6_0 -validate-uniformity
RWStructuredBuffer<int> output;
void expectUniform(dynamic_uniform int v)
{
output[0] = v;
}
[NonUniformReturn]
int produceNonUniform() { return 0; }
struct B
{
int a;
int c;
dynamic_uniform int d;
dynamic_uniform int d1;
dynamic_uniform int d2;
dynamic_uniform int d3;
dynamic_uniform int d4;
}
int getBa(B obj)
{
return obj.a;
}
int getBaFromInout(inout B obj)
{
return obj.a;
}
int getBdFromInout(inout B obj)
{
return obj.d;
}
ConstantBuffer<B> ub;
void main(int tid: SV_DispatchThreadID)
{
int d = ub.a + ub.c;
int f = ub.a + tid;
int ff = ub.a + produceNonUniform();
// CHECK-DAG: ([[# @LINE+1]]): warning 41201
expectUniform(f);
// CHECK-DAG: ([[# @LINE+1]]): warning 41201
expectUniform(ff);
B obj = ub;
// CHECK-DAG: ([[# @LINE+1]]): warning 41201
expectUniform(getBaFromInout(obj));
obj.a = ff;
// CHECK-DAG: ([[# @LINE+1]]): warning 41201
expectUniform(getBa(obj));
// CHECK-DAG: ([[# @LINE+1]]): warning 41201
obj.d = ff;
int t = 0;
if (tid == 0)
t = 1;
// CHECK-DAG: ([[# @LINE+1]]): warning 41201
obj.d1 = t;
int u = 0;
if (ub.a == 0)
u = 1;
// CHECK-NOT: ([[# @LINE+1]]): warning 41201
obj.d2 = u;
int vv = 0;
if (tid == 0)
vv = 2;
else
vv = 2;
// CHECK-NOT: ([[# @LINE+1]]): warning 41201
obj.d3 = vv;
// CHECK-NOT: ([[# @LINE+1]]): warning 41201
expectUniform(getBdFromInout(obj));
// CHECK-NOT: ([[# @LINE+1]]): warning 41201
obj.d4 = d; // OK
// CHECK-NOT: ([[# @LINE+1]]): warning 41201
expectUniform(d);
// CHECK-NOT: ([[# @LINE+1]]): warning 41201
expectUniform(getBa(ub));
// CHECK-NOT: ([[# @LINE+1]]): warning 41201
expectUniform(asDynamicUniform(ff));
}
|
