[Mlir-commits] [mlir] [TOSA] Add pass to sanitize gather/scatter indices (PR #221200)

[Luke Hutton]

================
@@ -0,0 +1,9 @@
+// RUN: not mlir-opt %s -tosa-gather-scatter-hardening 2>&1 | FileCheck %s
+
+func.func @dynamic_indexed_dimension(%arg0: tensor<3x?x5xi8>,
+                                     %arg1: tensor<3x6xi32>)
+    -> tensor<3x6x5xi8> {
+  // CHECK: error: 'tosa.gather' op requires a statically known indexed dimension for gather/scatter hardening
----------------
lhutton1 wrote:

nit: usually I see this written using `-verify-diagnostics` and `expected-error`, not sure which pattern is preferred in general

https://github.com/llvm/llvm-project/pull/221200