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
100
101
102
| ; RUN: llc < %s -mtriple=aarch64-unknown-linux-gnu -filetype=obj -o - \
; RUN: | llvm-objdump -triple aarch64-unknown-linux-gnu -d - \
; RUN: | FileCheck %s
%struct.c = type { i1 (...)* }
@l = common hidden local_unnamed_addr global i32 0, align 4
; CHECK-LABEL: test1:
; CHECK-LABEL: $d.1:
; CHECK-LABEL: $x.2:
; CHECK-NEXT: b #16 <$x.4+0x4>
; CHECK-LABEL: $x.4:
; CHECK-NEXT: b #4 <$x.4+0x4>
; CHECK-NEXT: mov w0, wzr
; CHECK-NEXT: ldr x30, [sp], #16
; CHECK-NEXT: ret
define hidden i32 @test1() {
%1 = tail call i32 bitcast (i32 (...)* @g to i32 ()*)()
%2 = icmp eq i32 %1, 0
br i1 %2, label %3, label %5
3: ; preds = %0
callbr void asm sideeffect "1: nop\0A\09.quad a\0A\09b ${1:l}\0A\09.quad ${0:c}", "i,X"(i32* null, i8* blockaddress(@test1, %7))
to label %4 [label %7]
4: ; preds = %3
br label %7
5: ; preds = %0
%6 = tail call i32 bitcast (i32 (...)* @i to i32 ()*)()
br label %7
7: ; preds = %3, %4, %5
%8 = phi i32 [ %6, %5 ], [ 0, %4 ], [ 0, %3 ]
ret i32 %8
}
declare dso_local i32 @g(...) local_unnamed_addr
declare dso_local i32 @i(...) local_unnamed_addr
; CHECK-LABEL: test2:
; CHECK: bl #0 <test2+0x10>
; CHECK-LABEL: $d.5:
; CHECK-LABEL: $x.6:
; CHECK-NEXT: b #16 <$x.8+0x4>
define hidden i32 @test2() local_unnamed_addr {
%1 = load i32, i32* @l, align 4
%2 = icmp eq i32 %1, 0
br i1 %2, label %10, label %3
3: ; preds = %0
%4 = tail call i32 bitcast (i32 (...)* @g to i32 ()*)()
%5 = icmp eq i32 %4, 0
br i1 %5, label %6, label %7
6: ; preds = %3
callbr void asm sideeffect "1: nop\0A\09.quad b\0A\09b ${1:l}\0A\09.quad ${0:c}", "i,X"(i32* null, i8* blockaddress(@test2, %7))
to label %10 [label %7]
7: ; preds = %3
%8 = tail call i32 bitcast (i32 (...)* @i to i32 ()*)()
br label %10
9: ; preds = %6
br label %10
10: ; preds = %7, %0, %6, %9
ret i32 undef
}
; CHECK-LABEL: test3:
; CHECK-LABEL: $d.9:
; CHECK-LABEL: $x.10:
; CHECK-NEXT: b #20 <$x.12+0x8>
; CHECK-LABEL: $x.12:
; CHECK-NEXT: b #4 <$x.12+0x4>
; CHECK-NEXT: mov w0, wzr
; CHECK-NEXT: ldr x30, [sp], #16
; CHECK-NEXT: ret
define internal i1 @test3() {
%1 = tail call i32 bitcast (i32 (...)* @g to i32 ()*)()
%2 = icmp eq i32 %1, 0
br i1 %2, label %3, label %5
3: ; preds = %0
callbr void asm sideeffect "1: nop\0A\09.quad c\0A\09b ${1:l}\0A\09.quad ${0:c}", "i,X"(i32* null, i8* blockaddress(@test3, %8))
to label %4 [label %8]
4: ; preds = %3
br label %8
5: ; preds = %0
%6 = tail call i32 bitcast (i32 (...)* @i to i32 ()*)()
%7 = icmp ne i32 %6, 0
br label %8
8: ; preds = %3, %4, %5
%9 = phi i1 [ %7, %5 ], [ false, %4 ], [ false, %3 ]
ret i1 %9
}
|