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
|
const builtin = 'tan';
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,
elementType,
kAllFloatScalarsAndVectors,
kAllIntegerScalarsAndVectors,
} from '../../../../../util/conversion.js';
import { fpTraitsFor } from '../../../../../util/floating_point.js';
import { ShaderValidationTest } from '../../../shader_validation_test.js';
import {
fullRangeForType,
kConstantAndOverrideStages,
kMinus3PiTo3Pi,
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('value', u => unique(kMinus3PiTo3Pi, fullRangeForType(kValuesTypes[u.type])))
)
.beforeAllSubcases(t => {
if (elementType(kValuesTypes[t.params.type]) === TypeF16) {
t.selectDeviceOrSkipTestCase('shader-f16');
}
})
.fn(t => {
const type = kValuesTypes[t.params.type];
const fp = fpTraitsFor(elementType(type));
const smallestPositive = fp.constants().positive.min;
const v = fp.quantize(t.params.value);
const expectedResult = Math.abs(Math.cos(v)) > smallestPositive;
validateConstOrOverrideBuiltinEval(
t,
builtin,
expectedResult,
[type.create(t.params.value)],
t.params.stage
);
});
const kIntegerArgumentTypes = objectsToRecord([TypeF32, ...kAllIntegerScalarsAndVectors]);
g.test('integer_argument')
.desc(
`
Validates that scalar and vector integer arguments are rejected by ${builtin}()
`
)
.params(u => u.combine('type', keysOf(kIntegerArgumentTypes)))
.fn(t => {
const type = kIntegerArgumentTypes[t.params.type];
validateConstOrOverrideBuiltinEval(
t,
builtin,
/* expectedResult */ type === TypeF32,
[type.create(0)],
'constant'
);
});
|
