| // REQUIRES: arm |
| // RUN: llvm-mc -arm-add-build-attributes -filetype=obj -triple=armv7a-none-linux-gnueabi %s -o %t |
| // RUN: ld.lld %t -o %t2 |
| // The output file is large, most of it zeroes. We dissassemble only the |
| // parts we need to speed up the test and avoid a large output file |
| // RUN: llvm-objdump --no-print-imm-hex -d %t2 --start-address=0x100002 --stop-address=0x10000a | FileCheck --check-prefix=CHECK1 %s |
| // RUN: llvm-objdump --no-print-imm-hex -d %t2 --start-address=0x1000004 --stop-address=0x1000026 | FileCheck --check-prefix=CHECK2 %s |
| // RUN: llvm-objdump --no-print-imm-hex -d %t2 --start-address=0x1100014 --stop-address=0x1100022 | FileCheck --check-prefix=CHECK3 %s |
| // In this test case a branch that is in range and does not need its range |
| // extended can be pushed out of range by another Thunk, necessitating another |
| // pass |
| |
| .macro FUNCTION suff |
| .section .text.\suff\(), "ax", %progbits |
| .thumb |
| .balign 0x100000 |
| .globl tfunc\suff\() |
| .type tfunc\suff\(), %function |
| tfunc\suff\(): |
| bx lr |
| .endm |
| |
| FUNCTION 00 |
| .globl _start |
| _start: |
| bl target |
| b.w arm_target |
| // arm_target is in range but needs an interworking thunk |
| // CHECK1: <_start>: |
| // CHECK1-NEXT: 100002: f300 d006 bl 0x1000012 <__Thumbv7ABSLongThunk_target> |
| // CHECK1-NEXT: 100006: f2ff 97ff b.w 0x1000008 <__Thumbv7ABSLongThunk_arm_target> |
| nop |
| nop |
| nop |
| .globl target2 |
| .type target2, %function |
| nop |
| |
| target2: |
| FUNCTION 01 |
| FUNCTION 02 |
| FUNCTION 03 |
| FUNCTION 04 |
| FUNCTION 05 |
| FUNCTION 06 |
| FUNCTION 07 |
| FUNCTION 08 |
| FUNCTION 09 |
| FUNCTION 10 |
| FUNCTION 11 |
| FUNCTION 12 |
| FUNCTION 13 |
| FUNCTION 14 |
| FUNCTION 15 |
| |
| .section .text.16, "ax", %progbits |
| .arm |
| .globl arm_target |
| .type arm_target, %function |
| arm_target: |
| bx lr |
| // CHECK2: 01000004 <arm_target>: |
| // CHECK2: <__Thumbv7ABSLongThunk_arm_target>: |
| // CHECK2-NEXT: 1000008: f240 0c04 movw r12, #4 |
| // CHECK2-NEXT: 100000c: f2c0 1c00 movt r12, #256 |
| // CHECK2-NEXT: 1000010: 4760 bx r12 |
| // CHECK2: <__Thumbv7ABSLongThunk_target>: |
| // CHECK2-NEXT: 1000012: f0ff bfff b.w 0x1100014 <target> |
| // CHECK2: <__Thumbv7ABSLongThunk_target2>: |
| // CHECK2-NEXT: 1000016: f4ff 97fc b.w 0x100012 <target2> |
| |
| .section .text.17, "ax", %progbits |
| // Just enough space so that bl target is in range if no extension thunks are |
| // generated. |
| |
| .space 0x100000 - 6 |
| |
| .section .text.18, "ax", %progbits |
| .thumb |
| .globl target |
| .type target, %function |
| // target is at maximum ARM branch range away from caller. |
| target: |
| // Similar case in the backwards direction |
| bl target2 |
| nop |
| nop |
| bx lr |
| // CHECK3: <target>: |
| // CHECK3-NEXT: 1100014: f6ff ffff bl 0x1000016 <__Thumbv7ABSLongThunk_target2> |
| // CHECK3-NEXT: 1100018: bf00 nop |
| // CHECK3-NEXT: 110001a: bf00 nop |
| // CHECK3-NEXT: 110001c: 4770 bx lr |
