[mlir][arith] Validate pass options in arith-int-narrowing

Exist gracefully instead of triggering an assertions.

Fixes: #64257

Reviewed By: springerm

Differential Revision: https://reviews.llvm.org/D156694

Author: kuhar

mlir/lib/Dialect/Arith/Transforms/IntNarrowing.cpp

@@ -748,6 +748,12 @@ struct ArithIntNarrowingPass final
   using ArithIntNarrowingBase::ArithIntNarrowingBase;
 
   void runOnOperation() override {
+    if (bitwidthsSupported.empty() ||
+        llvm::is_contained(bitwidthsSupported, 0)) {
+      // Invalid pass options.
+      return signalPassFailure();
+    }
+
     Operation *op = getOperation();
     MLIRContext *ctx = op->getContext();
     RewritePatternSet patterns(ctx);

mlir/test/Dialect/Arith/int-narrowing-invalid-options.mlir

@@ -0,0 +1,16 @@
+// RUN: not mlir-opt %s --arith-int-narrowing --mlir-print-ir-after-failure 2>&1 \
+// RUN:   | FileCheck %s
+
+// RUN: not mlir-opt %s --arith-int-narrowing="int-bitwidths-supported=0" \
+// RUN:   --mlir-print-ir-after-failure 2>&1 | FileCheck %s
+
+// Make sure we do not crash on invalid pass options.
+
+// CHECK:       IR Dump After ArithIntNarrowing Failed (arith-int-narrowing)
+// CHECK-LABEL: func.func @addi_extsi_i8
+func.func @addi_extsi_i8(%lhs: i8, %rhs: i8) -> i32 {
+  %a = arith.extsi %lhs : i8 to i32
+  %b = arith.extsi %rhs : i8 to i32
+  %r = arith.addi %a, %b : i32
+  return %r : i32
+}