blob: b5c8f9371f0d1aab06802ef841942eb136c4c4bb (
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
|
; RUN: llvm-as %s -o %t.bc
; RUN: llvm-bcanalyzer -dump %t.bc | FileCheck %s
; RUN: llvm-dis %t.bc
; There's a curious case where blockaddress constants may refer to functions
; outside of the function they're used in. There's a special bitcode function
; code, FUNC_CODE_BLOCKADDR_USERS, used to signify that this is the case.
; The intent of this test is two-fold:
; 1. Ensure we produce BLOCKADDR_USERS bitcode function code on the first fn,
; @repro, since @fun and @fun2 both refer to @repro via blockaddress
; constants.
; 2. Ensure we can round-trip serializing+desearlizing such case.
; CHECK: <FUNCTION_BLOCK
; CHECK: <BLOCKADDR_USERS op0=1 op1=2
; CHECK: <FUNCTION_BLOCK
; CHECK: <FUNCTION_BLOCK
define void @repro() {
br label %label
label:
call void @fun()
ret void
}
define void @fun() noinline {
call void @f(i64 add (i64 ptrtoint (i8* blockaddress(@repro, %label) to i64), i64 1))
ret void
}
define void @fun2() noinline {
call void @f(i64 add (i64 ptrtoint (i8* blockaddress(@repro, %label) to i64), i64 2))
ret void
}
declare void @f(i64)
|
