1 files changed, 156 insertions, 0 deletions
diff --git a/dom/webgpu/tests/cts/checkout/src/webgpu/shader/execution/expression/binary/i32_arithmetic.spec.ts b/dom/webgpu/tests/cts/checkout/src/webgpu/shader/execution/expression/binary/i32_arithmetic.spec.ts
new file mode 100644
index 0000000000..bbdb260a2d
--- /dev/null
+++ b/dom/webgpu/tests/cts/checkout/src/webgpu/shader/execution/expression/binary/i32_arithmetic.spec.ts
@@ -0,0 +1,156 @@
+export const description = `
+Execution Tests for the i32 arithmetic binary expression operations
+`;
+
+import { makeTestGroup } from '../../../../../common/framework/test_group.js';
+import { GPUTest } from '../../../../gpu_test.js';
+import { kValue } from '../../../../util/constants.js';
+import { TypeI32 } from '../../../../util/conversion.js';
+import { fullI32Range } from '../../../../util/math.js';
+import { makeCaseCache } from '../case_cache.js';
+import { allInputSources, generateBinaryToI32Cases, run } from '../expression.js';
+
+import { binary } from './binary.js';
+
+export const g = makeTestGroup(GPUTest);
+
+export const d = makeCaseCache('binary/i32_arithmetic', {
+  addition: () => {
+    return generateBinaryToI32Cases(fullI32Range(), fullI32Range(), (x, y) => {
+      return x + y;
+    });
+  },
+  subtraction: () => {
+    return generateBinaryToI32Cases(fullI32Range(), fullI32Range(), (x, y) => {
+      return x - y;
+    });
+  },
+  multiplication: () => {
+    return generateBinaryToI32Cases(fullI32Range(), fullI32Range(), (x, y) => {
+      return Math.imul(x, y);
+    });
+  },
+  division_non_const: () => {
+    return generateBinaryToI32Cases(fullI32Range(), fullI32Range(), (x, y) => {
+      if (y === 0) {
+        return x;
+      }
+      if (x === kValue.i32.negative.min && y === -1) {
+        return x;
+      }
+      return x / y;
+    });
+  },
+  division_const: () => {
+    return generateBinaryToI32Cases(fullI32Range(), fullI32Range(), (x, y) => {
+      if (y === 0) {
+        return undefined;
+      }
+      if (x === kValue.i32.negative.min && y === -1) {
+        return undefined;
+      }
+      return x / y;
+    });
+  },
+  remainder_non_const: () => {
+    return generateBinaryToI32Cases(fullI32Range(), fullI32Range(), (x, y) => {
+      if (y === 0) {
+        return 0;
+      }
+      if (x === kValue.i32.negative.min && y === -1) {
+        return 0;
+      }
+      return x % y;
+    });
+  },
+  remainder_const: () => {
+    return generateBinaryToI32Cases(fullI32Range(), fullI32Range(), (x, y) => {
+      if (y === 0) {
+        return undefined;
+      }
+      if (x === kValue.i32.negative.min && y === -1) {
+        return undefined;
+      }
+      return x % y;
+    });
+  },
+});
+
+g.test('addition')
+  .specURL('https://www.w3.org/TR/WGSL/#floating-point-evaluation')
+  .desc(
+    `
+Expression: x + y
+`
+  )
+  .params(u =>
+    u.combine('inputSource', allInputSources).combine('vectorize', [undefined, 2, 3, 4] as const)
+  )
+  .fn(async t => {
+    const cases = await d.get('addition');
+    await run(t, binary('+'), [TypeI32, TypeI32], TypeI32, t.params, cases);
+  });
+
+g.test('subtraction')
+  .specURL('https://www.w3.org/TR/WGSL/#floating-point-evaluation')
+  .desc(
+    `
+Expression: x - y
+`
+  )
+  .params(u =>
+    u.combine('inputSource', allInputSources).combine('vectorize', [undefined, 2, 3, 4] as const)
+  )
+  .fn(async t => {
+    const cases = await d.get('subtraction');
+    await run(t, binary('-'), [TypeI32, TypeI32], TypeI32, t.params, cases);
+  });
+
+g.test('multiplication')
+  .specURL('https://www.w3.org/TR/WGSL/#floating-point-evaluation')
+  .desc(
+    `
+Expression: x * y
+`
+  )
+  .params(u =>
+    u.combine('inputSource', allInputSources).combine('vectorize', [undefined, 2, 3, 4] as const)
+  )
+  .fn(async t => {
+    const cases = await d.get('multiplication');
+    await run(t, binary('*'), [TypeI32, TypeI32], TypeI32, t.params, cases);
+  });
+
+g.test('division')
+  .specURL('https://www.w3.org/TR/WGSL/#floating-point-evaluation')
+  .desc(
+    `
+Expression: x / y
+`
+  )
+  .params(u =>
+    u.combine('inputSource', allInputSources).combine('vectorize', [undefined, 2, 3, 4] as const)
+  )
+  .fn(async t => {
+    const cases = await d.get(
+      t.params.inputSource === 'const' ? 'division_const' : 'division_non_const'
+    );
+    await run(t, binary('/'), [TypeI32, TypeI32], TypeI32, t.params, cases);
+  });
+
+g.test('remainder')
+  .specURL('https://www.w3.org/TR/WGSL/#floating-point-evaluation')
+  .desc(
+    `
+Expression: x % y
+`
+  )
+  .params(u =>
+    u.combine('inputSource', allInputSources).combine('vectorize', [undefined, 2, 3, 4] as const)
+  )
+  .fn(async t => {
+    const cases = await d.get(
+      t.params.inputSource === 'const' ? 'remainder_const' : 'remainder_non_const'
+    );
+    await run(t, binary('%'), [TypeI32, TypeI32], TypeI32, t.params, cases);
+  });