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