mlir/test/Pass/crash-recovery-dynamic-failure.mlir

   1 // The crash recovery mechanism will leak memory allocated in the crashing thread.
   2 // RUN: export LSAN_OPTIONS=detect_leaks=0
   3
   4 // Check that local reproducers will also traverse dynamic pass pipelines.
   5 // RUN: mlir-opt %s -pass-pipeline='builtin.module(test-module-pass,test-dynamic-pipeline{op-name=inner_mod1 run-on-nested-operations=1 dynamic-pipeline=test-pass-failure})' -mlir-pass-pipeline-crash-reproducer=%t -verify-diagnostics -mlir-pass-pipeline-local-reproducer --mlir-disable-threading
   6 // RUN: cat %t | FileCheck -check-prefix=REPRO_LOCAL_DYNAMIC_FAILURE %s
   7
   8 module @inner_mod1 {
   9   // expected-error@below {{Failures have been detected while processing an MLIR pass pipeline}}
  10   // expected-note@below {{Pipeline failed while executing}}
  11   module @foo {}
  12 }
  13
  14
  15 // REPRO_LOCAL_DYNAMIC_FAILURE: module @inner_mod1
  16 // REPRO_LOCAL_DYNAMIC_FAILURE: module @foo {
  17
  18 // REPRO_LOCAL_DYNAMIC_FAILURE: pipeline: "builtin.module(builtin.module(test-pass-failure{gen-diagnostics=false}))"