xref: /llvm-project/lld/test/ELF/arm-thumb-branch.s (revision 2b38f589301d7defef6099b57ecf45139010a5a7)
1// REQUIRES: arm
2// RUN: llvm-mc -arm-add-build-attributes -filetype=obj -triple=thumbv7a-none-linux-gnueabi %s -o %t
3// RUN: llvm-mc -arm-add-build-attributes -filetype=obj -triple=thumbv7a-none-linux-gnueabi %S/Inputs/far-arm-thumb-abs.s -o %tfar
4// RUN: echo "SECTIONS { \
5// RUN:          . = 0xb4; \
6// RUN:          .callee1 : { *(.callee_low) } \
7// RUN:          .caller : { *(.text) } \
8// RUN:          .callee2 : { *(.callee_high) } } " > %t.script
9// RUN: ld.lld --script %t.script %t %tfar -o %t2
10// RUN: llvm-objdump -d %t2 | FileCheck  %s
11
12 .syntax unified
13 .thumb
14 .section .callee_low, "ax",%progbits
15 .align 2
16 .type callee_low,%function
17callee_low:
18 bx lr
19
20 .section .text, "ax",%progbits
21 .globl _start
22 .balign 0x10000
23 .type _start,%function
24_start:
25 bl  callee_low
26 b   callee_low
27 beq callee_low
28 bl  callee_high
29 b   callee_high
30 bne callee_high
31 bl  far_uncond
32 b   far_uncond
33 bgt far_cond
34 bx lr
35
36 .section .callee_high, "ax",%progbits
37 .align 2
38 .type callee_high,%function
39callee_high:
40 bx lr
41
42// CHECK: Disassembly of section .callee1:
43// CHECK-EMPTY:
44// CHECK-NEXT: <callee_low>:
45// CHECK-NEXT:      b4:       4770    bx      lr
46// CHECK-EMPTY:
47// CHECK-NEXT: Disassembly of section .caller:
48// CHECK-EMPTY:
49// CHECK-NEXT: <_start>:
50// CHECK-NEXT:   10000:       f7f0 f858       bl      0xb4 <callee_low>
51// CHECK-NEXT:   10004:       f7f0 b856       b.w     0xb4 <callee_low>
52// CHECK-NEXT:   10008:       f430 a854       beq.w   0xb4 <callee_low>
53// CHECK-NEXT:   1000c:       f000 f80c       bl      0x10028 <callee_high>
54// CHECK-NEXT:   10010:       f000 b80a       b.w     0x10028 <callee_high>
55// CHECK-NEXT:   10014:       f040 8008       bne.w   0x10028 <callee_high>
56/// far_uncond = 0x101001b
57// CHECK-NEXT:   10018:       f3ff d7ff       bl      0x101001a
58// CHECK-NEXT:   1001c:       f3ff 97fd       b.w     0x101001a
59/// far_cond = 0x110023
60// CHECK-NEXT:   10020:       f33f afff       bgt.w   0x110022
61// CHECK-NEXT:   10024:       4770    bx      lr
62// CHECK-NEXT:   10026:
63// CHECK-EMPTY:
64// CHECK-NEXT: Disassembly of section .callee2:
65// CHECK-EMPTY:
66// CHECK-NEXT: <callee_high>:
67// CHECK-NEXT:   10028:       4770    bx      lr
68