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
|
/**
* AUTO-GENERATED - DO NOT EDIT. Source: https://github.com/gpuweb/cts
**/const builtin = 'exp2';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 { kValue } from '../../../../../util/constants.js';
import {
TypeF16,
TypeF32,
elementType,
kAllFloatScalarsAndVectors,
kAllIntegerScalarsAndVectors } from
'../../../../../util/conversion.js';
import { isRepresentable } from '../../../../../util/floating_point.js';
import { ShaderValidationTest } from '../../../shader_validation_test.js';
import {
kConstantAndOverrideStages,
stageSupportsType,
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().
combine('value', [
-1e2,
-1e3,
-4,
-3,
-2,
-1,
-1e-1,
-1e-2,
-1e-3,
0,
1e-3,
1e-2,
1e-1,
1,
2,
3,
4,
1e2,
1e3,
Math.log2(kValue.f16.positive.max) - 0.1,
Math.log2(kValue.f16.positive.max) + 0.1,
Math.log2(kValue.f32.positive.max) - 0.1,
Math.log2(kValue.f32.positive.max) + 0.1]
)
).
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.pow(2, t.params.value), elementType(type));
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'
);
});
|