mlir/test/mlir-reduce/crashop-reduction.mlir

   1 // UNSUPPORTED: system-windows
   2 // RUN: mlir-reduce %s -reduction-tree='traversal-mode=0 test=%S/failure-test.sh' | FileCheck %s
   3 // "test.op_crash_long" should be replaced with a shorter form "test.op_crash_short".
   4
   5 // CHECK-NOT: func @simple1() {
   6 func.func @simple1() {
   7   return
   8 }
   9
  10 // CHECK-LABEL: func @simple2(%arg0: i32, %arg1: i32, %arg2: i32) {
  11 func.func @simple2(%arg0: i32, %arg1: i32, %arg2: i32) {
  12   // CHECK-LABEL: %0 = "test.op_crash_short"() : () -> i32
  13   %0 = "test.op_crash_long" (%arg0, %arg1, %arg2) : (i32, i32, i32) -> i32
  14   return
  15 }
  16
  17 // CHECK-NOT: func @simple5() {
  18 func.func @simple5() {
  19   return
  20 }