Changeset View
Changeset View
Standalone View
Standalone View
mlir/test/Pass/crash-recovery.mlir
| // RUN: mlir-opt %s -pass-pipeline='func(test-function-pass, test-pass-crash)' -pass-pipeline-crash-reproducer=%t -verify-diagnostics | // RUN: mlir-opt %s -pass-pipeline='func(test-function-pass, test-pass-crash)' -pass-pipeline-crash-reproducer=%t -verify-diagnostics | ||||
| // RUN: cat %t | FileCheck -check-prefix=REPRO %s | // RUN: cat %t | FileCheck -check-prefix=REPRO %s | ||||
| // RUN: mlir-opt %s -pass-pipeline='func(test-function-pass, test-pass-crash)' -pass-pipeline-crash-reproducer=%t -verify-diagnostics -pass-pipeline-local-reproducer | |||||
| // RUN: cat %t | FileCheck -check-prefix=REPRO_LOCAL %s | |||||
| // expected-error@+1 {{A failure has been detected while processing the MLIR module}} | // expected-error@+1 {{A failure has been detected while processing the MLIR module}} | ||||
| module { | module { | ||||
| func @foo() { | func @foo() { | ||||
| return | return | ||||
| } | } | ||||
| } | } | ||||
| // REPRO: configuration: -pass-pipeline='func(test-function-pass, test-pass-crash)' | // REPRO: configuration: -pass-pipeline='func(test-function-pass, test-pass-crash)' | ||||
| // REPRO: module | // REPRO: module | ||||
| // REPRO: func @foo() { | // REPRO: func @foo() { | ||||
| // REPRO-NEXT: return | // REPRO-NEXT: return | ||||
| // REPRO_LOCAL: configuration: -pass-pipeline='func(test-pass-crash)' | |||||
| // REPRO_LOCAL: module | |||||
| // REPRO_LOCAL: func @foo() { | |||||
| // REPRO_LOCAL-NEXT: return | |||||