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() { 6func @simple1() { 7 return 8} 9 10// CHECK-LABEL: func @simple2(%arg0: i32, %arg1: i32, %arg2: i32) { 11func @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() { 18func @simple5() { 19 return 20} 21