blob: f6296064b36fbbe46d3d695f4c9f2ee27df1c43e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
// RUN: mlir-opt -allow-unregistered-dialect %s -test-inline | FileCheck %s
// CHECK-LABEL: func @inline_with_arg
func.func @inline_with_arg(%arg0 : i32) -> i32 {
// CHECK-NEXT: %[[ADD:.*]] = arith.addi %{{.*}}, %{{.*}} : i32
// CHECK-NEXT: return %[[ADD]] : i32
%fn = "test.functional_region_op"() ({
^bb0(%a : i32):
%b = arith.addi %a, %a : i32
"test.return"(%b) : (i32) -> ()
}) : () -> ((i32) -> i32)
%0 = call_indirect %fn(%arg0) : (i32) -> i32
return %0 : i32
}
// CHECK-LABEL: func @no_inline_invalid_nested_operation
func.func @no_inline_invalid_nested_operation() {
// CHECK: call_indirect
// test.region is analyzed recursively, so it must not have an invalid op.
%fn = "test.functional_region_op"() ({
"test.region"() ({
"foo.noinline_operation"() : () -> ()
}) : () -> ()
"test.return"() : () -> ()
}) : () -> (() -> ())
call_indirect %fn() : () -> ()
return
}
// CHECK-LABEL: func @inline_ignore_invalid_nested_operation
func.func @inline_ignore_invalid_nested_operation() {
// CHECK-NOT: call_indirect
// test.functional_region_op is not analyzed recursively, so it may have an
// invalid op.
%fn = "test.functional_region_op"() ({
%internal_fn = "test.functional_region_op"() ({
"foo.noinline_operation"() : () -> ()
}) : () -> (() -> ())
"test.return"() : () -> ()
}) : () -> (() -> ())
call_indirect %fn() : () -> ()
return
}
// CHECK-LABEL: func @no_inline_invalid_dest_region
func.func @no_inline_invalid_dest_region() {
// CHECK: call_indirect
// foo.unknown_region is unknown, so we can't inline into it.
"foo.unknown_region"() ({
%fn = "test.functional_region_op"() ({
"test.return"() : () -> ()
}) : () -> (() -> ())
call_indirect %fn() : () -> ()
"test.return"() : () -> ()
}) : () -> ()
return
}
|
