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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
// RUN: mlir-opt --test-print-callgraph --split-input-file %s 2>&1 | FileCheck %s
// CHECK: Testing : "Normal function call"
module attributes {"test.name" = "Normal function call"} {
// CHECK-LABEL: ---- CallGraph ----
// CHECK: - Node : 'llvm.func' {{.*}} sym_name = "foo"
// CHECK-NEXT: -- Call-Edge : 'llvm.func' {{.*}} sym_name = "bar"
// CHECK: - Node : 'llvm.func' {{.*}} sym_name = "bar"
// CHECK-NEXT: -- Call-Edge : 'llvm.func' {{.*}} sym_name = "foo"
// CHECK: - Node : 'llvm.func' {{.*}} sym_name = "entry"
// CHECK-DAG: -- Call-Edge : 'llvm.func' {{.*}} sym_name = "foo"
// CHECK-DAG: -- Call-Edge : 'llvm.func' {{.*}} sym_name = "bar"
// CHECK-LABEL: -- SCCs --
// CHECK: - SCC :
// CHECK-DAG: -- Node :'llvm.func' {{.*}} sym_name = "foo"
// CHECK-DAG: -- Node :'llvm.func' {{.*}} sym_name = "bar"
// CHECK: - SCC :
// CHECK-DAG: -- Node :'llvm.func' {{.*}} sym_name = "entry"
llvm.func @foo(%arg0: i32) -> i32 {
%0 = llvm.mlir.constant(2 : i32) : i32
%1 = llvm.sub %arg0, %0 : i32
%2 = llvm.call @bar(%arg0, %1) : (i32, i32) -> i32
llvm.return %2 : i32
}
llvm.func @bar(%arg0: i32, %arg1: i32) -> i32 {
%0 = llvm.add %arg0, %arg1 : i32
%1 = llvm.call @foo(%0) : (i32) -> i32
llvm.return %1 : i32
}
llvm.func @entry(%arg0: i32) -> i32 {
%0 = llvm.mlir.constant(2 : i32) : i32
%1 = llvm.mlir.constant(0 : i32) : i32
%2 = llvm.icmp "sgt" %arg0, %1 : i32
llvm.cond_br %2, ^bb1, ^bb2
^bb1: // pred: ^bb0
%3 = llvm.call @foo(%arg0) : (i32) -> i32
llvm.br ^bb3(%3 : i32)
^bb2: // pred: ^bb0
%4 = llvm.add %arg0, %0 : i32
%5 = llvm.call @bar(%arg0, %4) : (i32, i32) -> i32
llvm.br ^bb3(%5 : i32)
^bb3(%6: i32): // 2 preds: ^bb1, ^bb2
llvm.return %6 : i32
}
}
// -----
// CHECK: Testing : "Invoke call"
module attributes {"test.name" = "Invoke call"} {
// CHECK-LABEL: ---- CallGraph ----
// CHECK: - Node : 'llvm.func' {{.*}} sym_name = "invokeLandingpad"
// CHECK-DAG: -- Call-Edge : <Unknown-Callee-Node>
// CHECK: -- SCCs --
llvm.mlir.global external constant @_ZTIi() : !llvm.ptr
llvm.func @foo(%arg0: i32) -> !llvm.struct<(i32, f64, i32)>
llvm.func @bar(!llvm.ptr, !llvm.ptr, !llvm.ptr)
llvm.func @__gxx_personality_v0(...) -> i32
llvm.func @invokeLandingpad() -> i32 attributes { personality = @__gxx_personality_v0 } {
%0 = llvm.mlir.constant(0 : i32) : i32
%1 = llvm.mlir.constant(3 : i32) : i32
%2 = llvm.mlir.constant("\01") : !llvm.array<1 x i8>
%3 = llvm.mlir.null : !llvm.ptr
%4 = llvm.mlir.null : !llvm.ptr
%5 = llvm.mlir.addressof @_ZTIi : !llvm.ptr
%6 = llvm.mlir.constant(1 : i32) : i32
%7 = llvm.alloca %6 x i8 : (i32) -> !llvm.ptr
%8 = llvm.invoke @foo(%6) to ^bb2 unwind ^bb1 : (i32) -> !llvm.struct<(i32, f64, i32)>
^bb1:
%10 = llvm.landingpad cleanup (catch %3 : !llvm.ptr) (catch %5 : !llvm.ptr) (filter %2 : !llvm.array<1 x i8>) : !llvm.struct<(ptr, i32)>
%11 = llvm.intr.eh.typeid.for %5 : (!llvm.ptr) -> i32
llvm.resume %10 : !llvm.struct<(ptr, i32)>
^bb2:
llvm.return %6 : i32
^bb3:
llvm.invoke @bar(%7, %5, %4) to ^bb2 unwind ^bb1 : (!llvm.ptr, !llvm.ptr, !llvm.ptr) -> ()
^bb4:
llvm.return %0 : i32
}
}
|
