| // REQUIRES: arm |
| // RUN: llvm-mc -arm-add-build-attributes -filetype=obj -triple=armv6m-none-eabi %s -o %t |
| // RUN: echo "SECTIONS { \ |
| // RUN: . = SIZEOF_HEADERS; \ |
| // RUN: .text_low : { *(.text_low) *(.text_low2) } \ |
| // RUN: .text_high 0x2000000 : { *(.text_high) *(.text_high2) } \ |
| // RUN: } " > %t.script |
| // RUN: ld.lld --script %t.script %t -o %t2 |
| // RUN: llvm-objdump -d %t2 -triple=armv6m-none-eabi | FileCheck %s |
| // RUN: ld.lld --script %t.script %t -o %t3 --pie |
| // RUN: llvm-objdump -d %t3 -triple=armv6m-none-eabi | FileCheck -check-prefix=CHECK-PI %s |
| |
| // Range extension thunks for Arm Architecture v6m. Only Thumb instructions |
| // are permitted which limits the access to instructions that can access the |
| // high registers (r8 - r15), this means that the thunks have to spill |
| // low registers (r0 - r7) in order to perform the transfer of control. |
| |
| .syntax unified |
| .section .text_low, "ax", %progbits |
| .thumb |
| .type _start, %function |
| .balign 4 |
| .globl _start |
| _start: |
| bl far |
| |
| .section .text_high, "ax", %progbits |
| .globl far |
| .type far, %function |
| far: |
| bx lr |
| |
| // CHECK: Disassembly of section .text_low: |
| // CHECK-NEXT: _start: |
| // CHECK-NEXT: 94: 00 f0 00 f8 bl #0 |
| // CHECK: __Thumbv6MABSLongThunk_far: |
| // CHECK-NEXT: 98: 03 b4 push {r0, r1} |
| // CHECK-NEXT: 9a: 01 48 ldr r0, [pc, #4] |
| // CHECK-NEXT: 9c: 01 90 str r0, [sp, #4] |
| // CHECK-NEXT: 9e: 01 bd pop {r0, pc} |
| // CHECK: a0: 01 00 00 02 .word 0x02000001 |
| // CHECK: Disassembly of section .text_high: |
| // CHECK-NEXT: far: |
| // CHECK-NEXT: 2000000: 70 47 bx lr |
| |
| // CHECK-PI: Disassembly of section .text_low: |
| // CHECK-PI-NEXT: _start: |
| // CHECK-PI-NEXT: 130: 00 f0 00 f8 bl #0 |
| // CHECK-PI: __Thumbv6MPILongThunk_far: |
| // CHECK-PI-NEXT: 134: 01 b4 push {r0} |
| // CHECK-PI-NEXT: 136: 02 48 ldr r0, [pc, #8] |
| // CHECK-PI-NEXT: 138: 84 46 mov r12, r0 |
| // CHECK-PI-NEXT: 13a: 01 bc pop {r0} |
| // pc = pc (0x13c + 4) + r12 (1fffec1) = 0x2000001 = .far |
| // CHECK-PI-NEXT: 13c: e7 44 add pc, r12 |
| // CHECK-PI-NEXT: 13e: c0 46 mov r8, r8 |
| // CHECK-PI: 140: c1 fe ff 01 .word 0x01fffec1 |
| |
| // CHECK-PI: Disassembly of section .text_high: |
| // CHECK-PI-NEXT: far: |
| // CHECK-PI-NEXT: 2000000: 70 47 bx lr |