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
|
/// Test that annotations are properly carried over to fixed calls.
/// Note that --enable-bat is used to force offsets to be kept.
// RUN: llvm-mc -triple riscv64 -mattr=+c -filetype obj -o %t.o %s
// RUN: ld.lld --emit-relocs -o %t %t.o
// RUN: llvm-bolt --enable-bat --print-cfg --print-fix-riscv-calls \
// RUN: -o %t.null %t | FileCheck %s
.text
.option norvc
.global f
.p2align 1
f:
ret
.size f, .-f
// CHECK-LABEL: Binary Function "_start" after building cfg {
// CHECK: auipc ra, f
// CHECK-NEXT: jalr -0x4(ra) # Offset: 4
// CHECK-NEXT: jal f # Offset: 8
// CHECK-NEXT: j f # TAILCALL # Offset: 12
// CHECK-LABEL: Binary Function "long_tail" after building cfg {
// CHECK: auipc t1, f
// CHECK-NEXT: jr -0x18(t1) # TAILCALL # Offset: 8
// CHECK-LABEL: Binary Function "compressed_tail" after building cfg {
// CHECK: jr a0 # TAILCALL # Offset: 0
// CHECK-LABEL: Binary Function "_start" after fix-riscv-calls {
// CHECK: call f # Offset: 0
// CHECK-NEXT: call f # Offset: 8
// CHECK-NEXT: tail f # TAILCALL # Offset: 12
// CHECK-LABEL: Binary Function "long_tail" after fix-riscv-calls {
// CHECK: tail f # TAILCALL # Offset: 4
// CHECK-LABEL: Binary Function "compressed_tail" after fix-riscv-calls {
// CHECK: jr a0 # TAILCALL # Offset: 0
.globl _start
.p2align 1
_start:
call f
jal f
jal zero, f
.size _start, .-_start
.globl long_tail
.p2align 1
long_tail:
// NOTE: BOLT assumes indirect calls in single-BB functions are tail calls
// so artificially introduce a second BB to force RISC-V-specific analysis
// to get triggered.
beq a0, a1, 1f
1:
tail f
.size long_tail, .-long_tail
.globl compressed_tail
.p2align 1
.option rvc
compressed_tail:
c.jr a0
.size compressed_tail, .-compressed_tail
|
