| Mauricio Sifontes | 8f4859d | 2020-08-18 16:47:06 | [diff] [blame] | 1 | // UNSUPPORTED: -windows- |
| 2 | // RUN: mlir-reduce %s -test %S/failure-test.sh -pass-test DCE | FileCheck %s |
| 3 | // This input should be reduced by the pass pipeline so that only |
| Kazuaki Ishizaki | a23d055 | 2020-08-27 06:37:23 | [diff] [blame^] | 4 | // the @simple1 function remains as the other functions should be |
| Mauricio Sifontes | 8f4859d | 2020-08-18 16:47:06 | [diff] [blame] | 5 | // removed by the dead code elimination pass. |
| 6 | // CHECK-LABEL: func @simple1(%arg0: i1, %arg1: memref<2xf32>, %arg2: memref<2xf32>) { |
| 7 | |
| 8 | // CHECK-NOT: func @dead_nested_function |
| 9 | func @dead_private_function() attributes { sym_visibility = "private" } |
| 10 | |
| 11 | // CHECK-NOT: func @dead_nested_function |
| 12 | func @dead_nested_function() attributes { sym_visibility = "nested" } |
| 13 | |
| 14 | func @simple1(%arg0: i1, %arg1: memref<2xf32>, %arg2: memref<2xf32>) { |
| 15 | "test.crashOp" () : () -> () |
| 16 | return |
| 17 | } |
