25 lines · plain
1// Check that verify-diagnostics=only-expected passes with only one actual `expected-error`2// RUN: mlir-translate %s --allow-unregistered-dialect -verify-diagnostics=only-expected -split-input-file -mlir-to-llvmir3 4// Check that verify-diagnostics=all fails because we're missing two `expected-error`5// RUN: not mlir-translate %s --allow-unregistered-dialect -verify-diagnostics=all -split-input-file -mlir-to-llvmir 2>&1 | FileCheck %s --check-prefix=CHECK-VERIFY-ALL6// CHECK-VERIFY-ALL: unexpected error: cannot be converted to LLVM IR: missing `LLVMTranslationDialectInterface` registration for dialect for op: simple.terminator17// CHECK-VERIFY-ALL: unexpected error: cannot be converted to LLVM IR: missing `LLVMTranslationDialectInterface` registration for dialect for op: simple.terminator38 9llvm.func @trivial() {10 "simple.terminator1"() : () -> ()11}12 13// -----14 15llvm.func @trivial() {16 // expected-error @+1 {{cannot be converted to LLVM IR: missing `LLVMTranslationDialectInterface` registration for dialect for op: simple.terminator2}}17 "simple.terminator2"() : () -> ()18}19 20// -----21 22llvm.func @trivial() {23 "simple.terminator3"() : () -> ()24}25