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