mlir/test/mlir-translate/unregistered-dialects.mlir

   1 // RUN: not mlir-translate %s --allow-unregistered-dialect --mlir-to-llvmir -verify-diagnostics 2>&1 | FileCheck --check-prefix=UNREGOK %s
   2 // RUN: not mlir-translate %s --mlir-to-llvmir -verify-diagnostics 2>&1 | FileCheck --check-prefix=REGONLY %s
   3
   4
   5 // If the parser allows unregistered operations, then the translation fails,
   6 // otherwise the parse fails.
   7
   8 // UNREGOK: cannot be converted to LLVM IR
   9 // REGONLY: operation being parsed with an unregistered dialect
  10
  11 func.func @trivial() {
  12   "simple.terminator"() : () -> ()
  13 }