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
92
93
94
95
96
97
98
99
| ; RUN: opt -S -hotcoldsplit -hotcoldsplit-threshold=0 < %s | FileCheck %s
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.14.0"
; CHECK-LABEL: define {{.*}}@foo(
; CHECK: landingpad
; CHECK: sideeffect(i32 2)
define void @foo(i32 %cond) personality i8 0 {
entry:
invoke void @llvm.donothing() to label %normal unwind label %exception
exception:
; Note: EH pads are not candidates for region entry points.
%cleanup = landingpad i8 cleanup
br label %continue_exception
continue_exception:
call void @sideeffect(i32 0)
call void @sink()
ret void
normal:
call void @sideeffect(i32 2)
ret void
}
; See llvm.org/PR39917. It's currently not safe to outline landingpad
; instructions.
;
; CHECK-LABEL: define {{.*}}@bar(
; CHECK: landingpad
define void @bar(i32 %cond) personality i8 0 {
entry:
br i1 undef, label %exit, label %continue
exit:
ret void
continue:
invoke void @sink() to label %normal unwind label %exception
exception:
; Note: EH pads are not candidates for region entry points.
%cleanup = landingpad i8 cleanup
br label %trivial-eh-handler
trivial-eh-handler:
call void @sideeffect(i32 1)
br label %normal
normal:
call void @sideeffect(i32 0)
ret void
}
define void @baz() personality i8 0 {
entry:
br i1 undef, label %exit, label %cold1
exit:
ret void
cold1:
; The predecessor of a cold invoke may still be extracted (see baz.cold.2).
call void @sideeffect(i32 0)
br label %cold2
cold2:
invoke void @sink() to label %cold3 unwind label %cold4
cold3:
; The successor of a cold invoke may still be extracted (see baz.cold.1).
call void @sideeffect(i32 1)
ret void
cold4:
landingpad i8 cleanup
ret void
}
; CHECK-LABEL: define {{.*}}@foo.cold.1(
; CHECK: sideeffect(i32 0)
; CHECK: sink
; CHECK-LABEL: define {{.*}}@bar.cold.1(
; CHECK: sideeffect(i32 1)
; CHECK-LABEL: define {{.*}}@baz.cold.1(
; CHECK: sideeffect(i32 1)
; CHECK-LABEL: define {{.*}}@baz.cold.2(
; CHECK: sideeffect(i32 0)
declare void @sideeffect(i32)
declare void @sink() cold
declare void @llvm.donothing() nounwind readnone
|