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
|
; RUN: llc %s -o - -mtriple=thumbv7-apple-darwin10
; RUN: llc %s -o -
; REQUIRES: arm-registered-target
; NVPTX cannot select BlockAddress
; XFAIL: target=nvptx{{.*}}
; The behavior of this test is not well defined. On PowerPC the test may pass
; or fail depending on the order in which the test functions are processed by
; llc.
; UNSUPPORTED: target=powerpc{{.*}}
;; Reference to a label that gets deleted.
define ptr @test1() nounwind {
entry:
ret ptr blockaddress(@test1b, %test_label)
}
define i32 @test1b() nounwind {
entry:
ret i32 -1
test_label:
br label %ret
ret:
ret i32 -1
}
; Issues with referring to a label that gets RAUW'd later.
define i32 @test2a() nounwind {
entry:
%target = bitcast ptr blockaddress(@test2b, %test_label) to ptr
call i32 @test2b(ptr %target)
ret i32 0
}
define i32 @test2b(ptr %target) nounwind {
entry:
indirectbr ptr %target, [label %test_label]
test_label:
; assume some code here...
br label %ret
ret:
ret i32 -1
}
; Issues with a BB that gets RAUW'd to another one after references are
; generated.
define void @test3(ptr %P, ptr %Q) nounwind {
entry:
store ptr blockaddress(@test3b, %test_label), ptr %P
store ptr blockaddress(@test3b, %ret), ptr %Q
ret void
}
define i32 @test3b() nounwind {
entry:
br label %test_label
test_label:
br label %ret
ret:
ret i32 -1
}
; PR6673
define i64 @test4a() {
%target = bitcast ptr blockaddress(@test4b, %usermain) to ptr
%ret = call i64 @test4b(ptr %target)
ret i64 %ret
}
define i64 @test4b(ptr %Code) {
entry:
indirectbr ptr %Code, [label %usermain]
usermain:
br label %label_line_0
label_line_0:
br label %label_line_1
label_line_1:
%target = ptrtoint ptr blockaddress(@test4b, %label_line_0) to i64
ret i64 %target
}
|
