1 files changed, 62 insertions, 0 deletions
diff --git a/dom/webgpu/tests/cts/checkout/src/webgpu/shader/validation/expression/call/builtin/pack4xU8Clamp.spec.ts b/dom/webgpu/tests/cts/checkout/src/webgpu/shader/validation/expression/call/builtin/pack4xU8Clamp.spec.ts
new file mode 100644
index 0000000000..9d7bd0353b
--- /dev/null
+++ b/dom/webgpu/tests/cts/checkout/src/webgpu/shader/validation/expression/call/builtin/pack4xU8Clamp.spec.ts
@@ -0,0 +1,62 @@
+export const description = `Validate pack4xU8Clamp`;
+
+import { makeTestGroup } from '../../../../../../common/framework/test_group.js';
+import { keysOf } from '../../../../../../common/util/data_tables.js';
+import { ShaderValidationTest } from '../../../shader_validation_test.js';
+
+const kFeature = 'packed_4x8_integer_dot_product';
+const kFn = 'pack4xU8Clamp';
+const kArgCases = {
+  good: '(vec4u())',
+  bad_0args: '()',
+  bad_2args: '(vec4u(),vec4u())',
+  bad_0i32: '(1i)',
+  bad_0f32: '(1f)',
+  bad_0bool: '(false)',
+  bad_0vec4i: '(vec4i())',
+  bad_0vec4f: '(vec4f())',
+  bad_0vec4b: '(vec4<bool>())',
+  bad_0vec2u: '(vec2u())',
+  bad_0vec3u: '(vec3u())',
+  bad_0array: '(array(1))',
+  bad_0struct: '(modf(1.1))',
+};
+const kGoodArgs = kArgCases['good'];
+
+export const g = makeTestGroup(ShaderValidationTest);
+
+g.test('unsupported')
+  .desc(`Test absence of ${kFn} when ${kFeature} is not supported.`)
+  .params(u => u.combine('requires', [false, true]))
+  .fn(t => {
+    t.skipIfLanguageFeatureSupported(kFeature);
+    const preamble = t.params.requires ? `requires ${kFeature}; ` : '';
+    const code = `${preamble}const c = ${kFn}${kGoodArgs};`;
+    t.expectCompileResult(false, code);
+  });
+
+g.test('supported')
+  .desc(`Test presence of ${kFn} when ${kFeature} is supported.`)
+  .params(u => u.combine('requires', [false, true]))
+  .fn(t => {
+    t.skipIfLanguageFeatureNotSupported(kFeature);
+    const preamble = t.params.requires ? `requires ${kFeature}; ` : '';
+    const code = `${preamble}const c = ${kFn}${kGoodArgs};`;
+    t.expectCompileResult(true, code);
+  });
+
+g.test('args')
+  .desc(`Test compilation failure of ${kFn} with various numbers of and types of arguments`)
+  .params(u => u.combine('arg', keysOf(kArgCases)))
+  .fn(t => {
+    t.skipIfLanguageFeatureNotSupported(kFeature);
+    t.expectCompileResult(t.params.arg === 'good', `const c = ${kFn}${kArgCases[t.params.arg]};`);
+  });
+
+g.test('must_use')
+  .desc(`Result of ${kFn} 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}${kFn}${kGoodArgs}; }`);
+  });