1 files changed, 91 insertions, 0 deletions
diff --git a/testing/web-platform/mozilla/tests/webgpu/webgpu/shader/validation/expression/call/builtin/min.spec.js b/testing/web-platform/mozilla/tests/webgpu/webgpu/shader/validation/expression/call/builtin/min.spec.js
new file mode 100644
index 0000000000..377480a029
--- /dev/null
+++ b/testing/web-platform/mozilla/tests/webgpu/webgpu/shader/validation/expression/call/builtin/min.spec.js
@@ -0,0 +1,91 @@
+/**
+* AUTO-GENERATED - DO NOT EDIT. Source: https://github.com/gpuweb/cts
+**/const builtin = 'min';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 {
+  Type,
+  kAllNumericScalarsAndVectors,
+  scalarTypeOf } from
+'../../../../../util/conversion.js';
+import { ShaderValidationTest } from '../../../shader_validation_test.js';
+
+import {
+  fullRangeForType,
+  kConstantAndOverrideStages,
+  stageSupportsType,
+  validateConstOrOverrideBuiltinEval } from
+'./const_override_validation.js';
+
+export const g = makeTestGroup(ShaderValidationTest);
+
+const kValuesTypes = objectsToRecord(kAllNumericScalarsAndVectors);
+
+g.test('values').
+desc(
+  `
+Validates that constant evaluation and override evaluation of ${builtin}() never errors
+`
+).
+params((u) =>
+u.
+combine('stage', kConstantAndOverrideStages).
+combine('type', keysOf(kValuesTypes)).
+filter((u) => stageSupportsType(u.stage, kValuesTypes[u.type])).
+beginSubcases().
+expand('a', (u) => fullRangeForType(kValuesTypes[u.type], 5)).
+expand('b', (u) => fullRangeForType(kValuesTypes[u.type], 5))
+).
+beforeAllSubcases((t) => {
+  if (scalarTypeOf(kValuesTypes[t.params.type]) === Type.f16) {
+    t.selectDeviceOrSkipTestCase('shader-f16');
+  }
+}).
+fn((t) => {
+  const type = kValuesTypes[t.params.type];
+  const expectedResult = true; // should never error
+  validateConstOrOverrideBuiltinEval(
+    t,
+    builtin,
+    expectedResult,
+    [type.create(t.params.a), type.create(t.params.b)],
+    t.params.stage
+  );
+});
+
+const kArgCases = {
+  good: '(1.1, 2.2)',
+  bad_no_parens: '',
+  // Bad number of args
+  bad_0args: '()',
+  bad_1arg: '(1.0)',
+  bad_3arg: '(1.0, 2.0, 3.0)',
+  // Bad value for arg 0
+  bad_0bool: '(false, 1.0)',
+  bad_0array: '(array(1.1,2.2), 1.0)',
+  bad_0struct: '(modf(2.2), 1.0)',
+  // Bad value type for arg 1
+  bad_1bool: '(1.0, true)',
+  bad_1array: '(1.0, array(1.1,2.2))',
+  bad_1struct: '(1.0, modf(2.2))'
+};
+
+g.test('args').
+desc(`Test compilation failure of ${builtin} with variously shaped and typed arguments`).
+params((u) => u.combine('arg', keysOf(kArgCases))).
+fn((t) => {
+  t.expectCompileResult(
+    t.params.arg === 'good',
+    `const c = ${builtin}${kArgCases[t.params.arg]};`
+  );
+});
+
+g.test('must_use').
+desc(`Result of ${builtin} must be used`).
+params((u) => u.combine('use', [true, false])).
+fn((t) => {
+  const use_it = t.params.use ? '_ = ' : '';
+  t.expectCompileResult(t.params.use, `fn f() { ${use_it}${builtin}${kArgCases['good']}; }`);
+});
+\ No newline at end of file