xref: /llvm-project/mlir/test/mlir-reduce/crashop-reduction.mlir (revision 63237cddc1d0c1d0e5541d2d69954d6dde843da3)
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.func @simple1() {
7  return
8}
9
10// CHECK-LABEL: func @simple2(%arg0: i32, %arg1: i32, %arg2: i32) {
11func.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() {
18func.func @simple5() {
19  return
20}
21