| // REQUIRES: arm |
| // RUN: llvm-mc -arm-add-build-attributes -filetype=obj -triple=thumbv7a-none-linux-gnueabi %s -o %t |
| // RUN: echo "SECTIONS { \ |
| // RUN: .text 0x100000 : { *(.text) } \ |
| // RUN: .textl : { *(.text_l0*) *(.text_l1*) *(.text_l2*) *(.text_l3*) } \ |
| // RUN: .texth : { *(.text_h0*) *(.text_h1*) *(.text_h2*) *(.text_h3*) } \ |
| // RUN: }" > %t.script |
| // RUN: ld.lld --script %t.script %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 -d %t2 --start-address=0x100000 --stop-address=0x100012 | FileCheck --check-prefix=CHECK1 %s |
| // RUN: llvm-objdump -d %t2 --start-address=0x200000 --stop-address=0x200008 | FileCheck --check-prefix=CHECK2 %s |
| // RUN: llvm-objdump -d %t2 --start-address=0xb00004 --stop-address=0xb0000e | FileCheck --check-prefix=CHECK3 %s |
| // RUN: llvm-objdump -d %t2 --start-address=0x2100000 --stop-address=0x210001a | FileCheck --check-prefix=CHECK4 %s |
| // RUN: llvm-objdump -d %t2 --start-address=0x2200000 --stop-address=0x220000e | FileCheck --check-prefix=CHECK5 %s |
| // RUN: llvm-objdump -d %t2 --start-address=0x4100000 --stop-address=0x4100020 | FileCheck --check-prefix=CHECK6 %s |
| |
| // Test the range extensions in a linker script where there are several |
| // OutputSections requiring range extension Thunks. We should be able to reuse |
| // Thunks between OutputSections but our placement of new Thunks is done on a |
| // per OutputSection basis |
| .syntax unified |
| |
| // Define a function that we can match with .text_l* aligned on a megabyte |
| // boundary |
| .macro FUNCTIONL suff |
| .section .text_l\suff\(), "ax", %progbits |
| .thumb |
| .balign 0x100000 |
| .globl tfuncl\suff\() |
| .type tfuncl\suff\(), %function |
| tfuncl\suff\(): |
| bx lr |
| .endm |
| |
| // Define a function that we can match with .text_h* aligned on a megabyte |
| // boundary |
| .macro FUNCTIONH suff |
| .section .text_h\suff\(), "ax", %progbits |
| .thumb |
| .balign 0x100000 |
| .globl tfunch\suff\() |
| .type tfunch\suff\(), %function |
| tfunch\suff\(): |
| bx lr |
| .endm |
| |
| .section .text, "ax", %progbits |
| .thumb |
| .globl _start |
| _start: |
| bl tfuncl00 |
| // Expect a range extension thunk in .text OutputSection |
| bl tfunch31 |
| // CHECK1: Disassembly of section .text: |
| // CHECK1-EMPTY: |
| // CHECK1-NEXT: <_start>: |
| // CHECK1-NEXT: 100000: ff f0 fe ff bl 0x200000 <tfuncl00> |
| // CHECK1-NEXT: 100004: 00 f0 00 f8 bl 0x100008 <__Thumbv7ABSLongThunk_tfunch31> |
| // CHECK1: <__Thumbv7ABSLongThunk_tfunch31>: |
| // CHECK1-NEXT: 100008: 40 f2 01 0c movw r12, #1 |
| // CHECK1-NEXT: 10000c: c0 f2 10 4c movt r12, #1040 |
| // CHECK1-NEXT: 100010: 60 47 bx r12 |
| FUNCTIONL 00 |
| // Create a range extension thunk in .textl |
| bl tfuncl24 |
| // We can reuse existing thunk in .text |
| bl tfunch31 |
| // CHECK2: Disassembly of section .textl: |
| // CHECK2-EMPTY: |
| // CHECK2-NEXT: <tfuncl00>: |
| // CHECK2-NEXT: 200000: 70 47 bx lr |
| // CHECK2-NEXT: 200002: ff f0 ff df bl 0xb00004 <__Thumbv7ABSLongThunk_tfuncl24> |
| // CHECK2-NEXT: 200006: ff f6 ff ff bl 0x100008 <__Thumbv7ABSLongThunk_tfunch31> |
| FUNCTIONL 01 |
| FUNCTIONL 02 |
| FUNCTIONL 03 |
| FUNCTIONL 04 |
| FUNCTIONL 05 |
| FUNCTIONL 06 |
| FUNCTIONL 07 |
| FUNCTIONL 08 |
| FUNCTIONL 09 |
| // CHECK3: <__Thumbv7ABSLongThunk_tfuncl24>: |
| // CHECK3-NEXT: b00004: ff f2 fc 97 b.w 0x1a00000 <tfuncl24> |
| FUNCTIONL 10 |
| FUNCTIONL 11 |
| FUNCTIONL 12 |
| FUNCTIONL 13 |
| FUNCTIONL 14 |
| FUNCTIONL 15 |
| FUNCTIONL 16 |
| FUNCTIONL 17 |
| FUNCTIONL 18 |
| FUNCTIONL 19 |
| FUNCTIONL 20 |
| FUNCTIONL 21 |
| FUNCTIONL 22 |
| FUNCTIONL 23 |
| FUNCTIONL 24 |
| FUNCTIONL 25 |
| FUNCTIONL 26 |
| FUNCTIONL 27 |
| FUNCTIONL 28 |
| FUNCTIONL 29 |
| FUNCTIONL 30 |
| FUNCTIONL 31 |
| // Create range extension thunks in .textl |
| bl tfuncl00 |
| bl tfuncl24 |
| // Shouldn't need a thunk |
| bl tfunch00 |
| // CHECK4: 2100002: 00 f0 05 f8 bl 0x2100010 <__Thumbv7ABSLongThunk_tfuncl00> |
| // CHECK4-NEXT: 2100006: ff f4 fb f7 bl 0x1a00000 <tfuncl24> |
| // CHECK4-NEXT: 210000a: ff f0 f9 ff bl 0x2200000 <tfunch00> |
| // CHECK4: <__Thumbv7ABSLongThunk_tfuncl00>: |
| // CHECK4-NEXT: 2100010: 40 f2 01 0c movw r12, #1 |
| // CHECK4-NEXT: 2100014: c0 f2 20 0c movt r12, #32 |
| // CHECK4-NEXT: 2100018: 60 47 bx r12 |
| FUNCTIONH 00 |
| // Can reuse existing thunks in .textl |
| bl tfuncl00 |
| bl tfuncl24 |
| // Shouldn't need a thunk |
| bl tfuncl31 |
| // CHECK5: Disassembly of section .texth: |
| // CHECK5-EMPTY: |
| // CHECK5-NEXT: <tfunch00>: |
| // CHECK5-NEXT: 2200000: 70 47 bx lr |
| // CHECK5-NEXT: 2200002: 00 f7 05 f8 bl 0x2100010 <__Thumbv7ABSLongThunk_tfuncl00> |
| // CHECK5-NEXT: 2200006: ff f7 fb df bl 0x1a00000 <tfuncl24> |
| // CHECK5-NEXT: 220000a: ff f6 f9 ff bl 0x2100000 <tfuncl31> |
| FUNCTIONH 01 |
| FUNCTIONH 02 |
| FUNCTIONH 03 |
| FUNCTIONH 04 |
| FUNCTIONH 05 |
| FUNCTIONH 06 |
| FUNCTIONH 07 |
| FUNCTIONH 08 |
| FUNCTIONH 09 |
| FUNCTIONH 10 |
| FUNCTIONH 11 |
| FUNCTIONH 12 |
| FUNCTIONH 13 |
| FUNCTIONH 14 |
| FUNCTIONH 15 |
| FUNCTIONH 16 |
| FUNCTIONH 17 |
| FUNCTIONH 18 |
| FUNCTIONH 19 |
| FUNCTIONH 20 |
| FUNCTIONH 21 |
| FUNCTIONH 22 |
| FUNCTIONH 23 |
| FUNCTIONH 24 |
| FUNCTIONH 25 |
| FUNCTIONH 26 |
| FUNCTIONH 27 |
| FUNCTIONH 28 |
| FUNCTIONH 29 |
| FUNCTIONH 30 |
| FUNCTIONH 31 |
| // expect Thunks in .texth |
| bl tfuncl00 |
| bl tfunch00 |
| // CHECK6: <tfunch31>: |
| // CHECK6-NEXT: 4100000: 70 47 bx lr |
| // CHECK6-NEXT: 4100002: 00 f0 03 f8 bl 0x410000c <__Thumbv7ABSLongThunk_tfuncl00> |
| // CHECK6-NEXT: 4100006: 00 f0 06 f8 bl 0x4100016 <__Thumbv7ABSLongThunk_tfunch00> |
| // CHECK6: <__Thumbv7ABSLongThunk_tfuncl00>: |
| // CHECK6-NEXT: 410000c: 40 f2 01 0c movw r12, #1 |
| // CHECK6-NEXT: 4100010: c0 f2 20 0c movt r12, #32 |
| // CHECK6-NEXT: 4100014: 60 47 bx r12 |
| // CHECK6: <__Thumbv7ABSLongThunk_tfunch00>: |
| // CHECK6-NEXT: 4100016: 40 f2 01 0c movw r12, #1 |
| // CHECK6-NEXT: 410001a: c0 f2 20 2c movt r12, #544 |
| // CHECK6-NEXT: 410001e: 60 47 bx r12 |
