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
99
100
101
102
103
104
105
106
|
const builtin = 'atan2';
export const description = `
Validation tests for the ${builtin}() builtin.
`;
import { makeTestGroup } from '../../../../../../common/framework/test_group.js';
import { keysOf, objectsToRecord } from '../../../../../../common/util/data_tables.js';
import {
TypeF16,
TypeF32,
Vector,
VectorType,
elementType,
kAllFloatScalarsAndVectors,
kAllIntegerScalarsAndVectors,
} from '../../../../../util/conversion.js';
import { isRepresentable } from '../../../../../util/floating_point.js';
import { ShaderValidationTest } from '../../../shader_validation_test.js';
import {
fullRangeForType,
kConstantAndOverrideStages,
kSparseMinus3PiTo3Pi,
stageSupportsType,
unique,
validateConstOrOverrideBuiltinEval,
} from './const_override_validation.js';
export const g = makeTestGroup(ShaderValidationTest);
const kValuesTypes = objectsToRecord(kAllFloatScalarsAndVectors);
g.test('values')
.desc(
`
Validates that constant evaluation and override evaluation of ${builtin}() rejects invalid values
`
)
.params(u =>
u
.combine('stage', kConstantAndOverrideStages)
.combine('type', keysOf(kValuesTypes))
.filter(u => stageSupportsType(u.stage, kValuesTypes[u.type]))
.beginSubcases()
.expand('y', u => unique(kSparseMinus3PiTo3Pi, fullRangeForType(kValuesTypes[u.type], 4)))
.expand('x', u => unique(kSparseMinus3PiTo3Pi, fullRangeForType(kValuesTypes[u.type], 4)))
)
.beforeAllSubcases(t => {
if (elementType(kValuesTypes[t.params.type]) === TypeF16) {
t.selectDeviceOrSkipTestCase('shader-f16');
}
})
.fn(t => {
const type = kValuesTypes[t.params.type];
const expectedResult = isRepresentable(
Math.abs(Math.atan2(t.params.y, t.params.x)),
elementType(type)
);
validateConstOrOverrideBuiltinEval(
t,
builtin,
expectedResult,
[type.create(t.params.y), type.create(t.params.x)],
t.params.stage
);
});
const kIntegerArgumentTypes = objectsToRecord([TypeF32, ...kAllIntegerScalarsAndVectors]);
g.test('integer_argument_y')
.desc(
`
Validates that scalar and vector integer arguments are rejected by ${builtin}()
`
)
.params(u => u.combine('type', keysOf(kIntegerArgumentTypes)))
.fn(t => {
const yTy = kIntegerArgumentTypes[t.params.type];
const xTy = yTy instanceof Vector ? new VectorType(yTy.size, TypeF32) : TypeF32;
validateConstOrOverrideBuiltinEval(
t,
builtin,
/* expectedResult */ yTy === TypeF32,
[yTy.create(1), xTy.create(1)],
'constant'
);
});
g.test('integer_argument_x')
.desc(
`
Validates that scalar and vector integer arguments are rejected by ${builtin}()
`
)
.params(u => u.combine('type', keysOf(kIntegerArgumentTypes)))
.fn(t => {
const xTy = kIntegerArgumentTypes[t.params.type];
const yTy = xTy instanceof Vector ? new VectorType(xTy.size, TypeF32) : TypeF32;
validateConstOrOverrideBuiltinEval(
t,
builtin,
/* expectedResult */ xTy === TypeF32,
[yTy.create(1), xTy.create(1)],
'constant'
);
});
|