14 lines · plain
1// RUN: not mlir-translate %s --allow-unregistered-dialect --mlir-to-llvmir -verify-diagnostics 2>&1 | FileCheck --check-prefix=UNREGOK %s2// RUN: not mlir-translate %s --mlir-to-llvmir -verify-diagnostics 2>&1 | FileCheck --check-prefix=REGONLY %s3 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 IR9// REGONLY: operation being parsed with an unregistered dialect10 11func.func @trivial() {12 "simple.terminator"() : () -> ()13}14