[WebNN] Reject conv2d/pool2d/convTranspose2d strides, dilations and

filters that exceed the usable extent

conv2d, pooling and convTranspose2d take strides and dilations as
unsigned long and the only validation was a != 0 check on each value.
When the input spatial size and the filter/window are 1x1, the derived
output size collapses to 1 for any stride/dilation, so an arbitrarily
large value survives all output-size math and is serialized
verbatim into the backend graph, even though it is semantically
equivalent to a much smaller value and cannot legitimately arise.

This CL adds an upper bound in the output-size validation:
- Forward conv2d and pool2d: reject a stride or dilation larger than
  the padded input spatial size. Padding is included so that valid
  padded windows are not rejected. A value larger than the padded
  input can place the window at most once, so it is always equivalent
  to a smaller value.
- Forward conv2d and pool2d: reject an effective (dilated) filter
  window larger than the padded input spatial size. when the
  effective filter size exceeds the padded input, the window can
  never be fully placed, so the operation has no valid output.
- ConvTranspose2d: a stride or dilation larger than the output size
  can only arise when input==1 or filter==1, where its value is a pure
  no-op. Reject such values so that unbounded uint32 strides/dilations
  can not flow unchecked into backends

This CL also adds WPTs for the new checks.

There is a related discussion about this in the spec issue[1].

[1] webmachinelearning/webnn#928 (comment)

Fixed: 546106051
Change-Id: I37eea4793cbd42d2e80aab23e68c127ff0f5381d
Reviewed-on: https://chromium-review.googlesource.com/c/chromium/src/+/8250961
Reviewed-by: Reilly Grant <reillyg@chromium.org>
Reviewed-by: Phillis Tang <phillis@chromium.org>
Reviewed-by: Hu, Ningxin <ningxin.hu@intel.com>
Commit-Queue: Wang, Wei4 <wei4.wang@intel.com>
Cr-Commit-Position: refs/heads/main@{#1682769}

Author: wangw-1991

webnn/validation_tests/conv2d.https.any.js

@@ -549,6 +549,67 @@ const tests = [
       label: label,
     },
   },
+  {
+    name: '[conv2d] Throw if a stride is larger than the padded input height.',
+    input: {dataType: 'float32', shape: [1, 1, 5, 5]},
+    filter: {dataType: 'float32', shape: [1, 1, 1, 1]},
+    options: {
+      strides: [kMaxUnsignedLong, 1],
+      label: label,
+    },
+  },
+  {
+    name: '[conv2d] Throw if a stride is larger than the padded input width.',
+    input: {dataType: 'float32', shape: [1, 1, 5, 5]},
+    filter: {dataType: 'float32', shape: [1, 1, 1, 1]},
+    options: {
+      strides: [1, kMaxUnsignedLong],
+      label: label,
+    },
+  },
+  {
+    name:
+        '[conv2d] Throw if a dilation is larger than the padded input height.',
+    input: {dataType: 'float32', shape: [1, 1, 5, 5]},
+    filter: {dataType: 'float32', shape: [1, 1, 1, 1]},
+    options: {
+      dilations: [kMaxUnsignedLong, 1],
+      label: label,
+    },
+  },
+  {
+    name: '[conv2d] Throw if a dilation is larger than the padded input width.',
+    input: {dataType: 'float32', shape: [1, 1, 5, 5]},
+    filter: {dataType: 'float32', shape: [1, 1, 1, 1]},
+    options: {
+      dilations: [1, kMaxUnsignedLong],
+      label: label,
+    },
+  },
+  {
+    name: '[conv2d] Throw if the dilated effective filter height is larger ' +
+        'than the padded input height.',
+    input: {dataType: 'float32', shape: [1, 1, 5, 5]},
+    filter: {dataType: 'float32', shape: [1, 1, 3, 1]},
+    // Effective filter height = (3 - 1) * 3 + 1 = 7 > padded height 5, while
+    // the dilation itself (3) is not larger than the padded input.
+    options: {
+      dilations: [3, 1],
+      label: label,
+    },
+  },
+  {
+    name: '[conv2d] Throw if the dilated effective filter width is larger ' +
+        'than the padded input width.',
+    input: {dataType: 'float32', shape: [1, 1, 5, 5]},
+    filter: {dataType: 'float32', shape: [1, 1, 1, 3]},
+    // Effective filter width = (3 - 1) * 3 + 1 = 7 > padded width 5, while the
+    // dilation itself (3) is not larger than the padded input.
+    options: {
+      dilations: [1, 3],
+      label: label,
+    },
+  },
 ];
 
 tests.forEach(

webnn/validation_tests/convTranspose2d.https.any.js

@@ -549,6 +549,46 @@ const tests = [
       label: label,
     },
   },
+  {
+    name:
+        '[convTranspose2d] Throw if a stride is larger than the output height.',
+    input: {dataType: 'float32', shape: [1, 1, 1, 1]},
+    filter: {dataType: 'float32', shape: [1, 1, 1, 1]},
+    options: {
+      strides: [kMaxUnsignedLong, 1],
+      label: label,
+    },
+  },
+  {
+    name:
+        '[convTranspose2d] Throw if a stride is larger than the output width.',
+    input: {dataType: 'float32', shape: [1, 1, 1, 1]},
+    filter: {dataType: 'float32', shape: [1, 1, 1, 1]},
+    options: {
+      strides: [1, kMaxUnsignedLong],
+      label: label,
+    },
+  },
+  {
+    name:
+        '[convTranspose2d] Throw if a dilation is larger than the output height.',
+    input: {dataType: 'float32', shape: [1, 1, 3, 3]},
+    filter: {dataType: 'float32', shape: [1, 1, 1, 1]},
+    options: {
+      dilations: [kMaxUnsignedLong, 1],
+      label: label,
+    },
+  },
+  {
+    name:
+        '[convTranspose2d] Throw if a dilation is larger than the output width.',
+    input: {dataType: 'float32', shape: [1, 1, 3, 3]},
+    filter: {dataType: 'float32', shape: [1, 1, 1, 1]},
+    options: {
+      dilations: [1, kMaxUnsignedLong],
+      label: label,
+    },
+  },
 ];
 
 tests.forEach(

webnn/validation_tests/pooling.https.any.js

@@ -307,6 +307,66 @@ const tests = [
       label: label,
     },
   },
+  {
+    name: 'Throw if a stride is larger than the padded input height.',
+    input: {dataType: 'float32', shape: [1, 3, 5, 5]},
+    options: {
+      windowDimensions: [1, 1],
+      strides: [kMaxUnsignedLong, 1],
+      label: label,
+    },
+  },
+  {
+    name: 'Throw if a stride is larger than the padded input width.',
+    input: {dataType: 'float32', shape: [1, 3, 5, 5]},
+    options: {
+      windowDimensions: [1, 1],
+      strides: [1, kMaxUnsignedLong],
+      label: label,
+    },
+  },
+  {
+    name: 'Throw if a dilation is larger than the padded input height.',
+    input: {dataType: 'float32', shape: [1, 3, 5, 5]},
+    options: {
+      windowDimensions: [1, 1],
+      dilations: [kMaxUnsignedLong, 1],
+      label: label,
+    },
+  },
+  {
+    name: 'Throw if a dilation is larger than the padded input width.',
+    input: {dataType: 'float32', shape: [1, 3, 5, 5]},
+    options: {
+      windowDimensions: [1, 1],
+      dilations: [1, kMaxUnsignedLong],
+      label: label,
+    },
+  },
+  {
+    name: 'Throw if the dilated effective window height is larger than the ' +
+        'padded input height.',
+    input: {dataType: 'float32', shape: [1, 3, 5, 5]},
+    // Effective window height = (3 - 1) * 3 + 1 = 7 > padded height 5, while
+    // the dilation itself (3) is not larger than the padded input.
+    options: {
+      windowDimensions: [3, 1],
+      dilations: [3, 1],
+      label: label,
+    },
+  },
+  {
+    name: 'Throw if the dilated effective window width is larger than the ' +
+        'padded input width.',
+    input: {dataType: 'float32', shape: [1, 3, 5, 5]},
+    // Effective window width = (3 - 1) * 3 + 1 = 7 > padded width 5, while the
+    // dilation itself (3) is not larger than the padded input.
+    options: {
+      windowDimensions: [1, 3],
+      dilations: [1, 3],
+      label: label,
+    },
+  },
 ];
 
 tests.forEach(