2020-10-10 01:27:50 +02:00
|
|
|
// UNSUPPORTED: system-windows
|
2021-04-14 23:34:17 +02:00
|
|
|
// RUN: mlir-reduce %s -opt-reduction-pass='opt-pass=symbol-dce test=%S/failure-test.sh' | FileCheck %s
|
2020-08-18 18:47:06 +02:00
|
|
|
// This input should be reduced by the pass pipeline so that only
|
2020-08-27 08:37:23 +02:00
|
|
|
// the @simple1 function remains as the other functions should be
|
2020-08-18 18:47:06 +02:00
|
|
|
// removed by the dead code elimination pass.
|
|
|
|
|
2021-03-22 18:44:50 +01:00
|
|
|
// CHECK-NOT: func private @dead_private_function
|
2020-11-09 17:23:55 +01:00
|
|
|
func private @dead_private_function()
|
2020-08-18 18:47:06 +02:00
|
|
|
|
2021-03-22 18:44:50 +01:00
|
|
|
// CHECK-NOT: func nested @dead_nested_function
|
2020-11-09 17:23:55 +01:00
|
|
|
func nested @dead_nested_function()
|
2020-08-18 18:47:06 +02:00
|
|
|
|
2021-03-22 18:44:50 +01:00
|
|
|
// CHECK-LABEL: func @simple1(%arg0: i1, %arg1: memref<2xf32>, %arg2: memref<2xf32>) {
|
2020-08-18 18:47:06 +02:00
|
|
|
func @simple1(%arg0: i1, %arg1: memref<2xf32>, %arg2: memref<2xf32>) {
|
2021-06-02 01:00:19 +02:00
|
|
|
"test.op_crash" () : () -> ()
|
2020-08-18 18:47:06 +02:00
|
|
|
return
|
|
|
|
}
|