// REQUIRES: arm // RUN: llvm-mc -filetype=obj -triple=armv7a-none-linux-gnueabi %p/Inputs/arm-plt-reloc.s -o %t1 // RUN: llvm-mc -filetype=obj -triple=armv7a-none-linux-gnueabi %s -o %t2 // RUN: ld.lld %t1 %t2 -o %t // RUN: llvm-objdump --triple=armv7a-none-linux-gnueabi -d --no-show-raw-insn %t | FileCheck %s // RUN: ld.lld -shared %t1 %t2 -o %t3 // RUN: llvm-objdump --triple=armv7a-none-linux-gnueabi -d --no-show-raw-insn %t3 | FileCheck --check-prefix=DSO %s // RUN: llvm-readobj -S -r %t3 | FileCheck -check-prefix=DSOREL %s // // Test PLT entry generation .syntax unified .text .align 2 .globl _start .type _start,%function _start: b func1 bl func2 beq func3 // Executable, expect no PLT // CHECK: Disassembly of section .text: // CHECK-EMPTY: // CHECK-NEXT: : // CHECK-NEXT: 200b4: bx lr // CHECK: : // CHECK-NEXT: 200b8: bx lr // CHECK: : // CHECK-NEXT: 200bc: bx lr // CHECK: <_start>: // CHECK-NEXT: 200c0: b #-20 // CHECK-NEXT: 200c4: bl #-20 // CHECK-NEXT: 200c8: beq #-20 // Expect PLT entries as symbols can be preempted // The .got.plt and .plt displacement is small so we can use small PLT entries. // DSO: Disassembly of section .text: // DSO-EMPTY: // DSO-NEXT: : // DSO-NEXT: 10214: bx lr // DSO: : // DSO-NEXT: 10218: bx lr // DSO: : // DSO-NEXT: 1021c: bx lr // DSO: <_start>: // S(0x10214) - P(0x10220) + A(-8) = 0x2c = 32 // DSO-NEXT: 10220: b #40 // S(0x10218) - P(0x10224) + A(-8) = 0x38 = 56 // DSO-NEXT: 10224: bl #52 // S(0x1021c) - P(0x10228) + A(-8) = 0x44 = 68 // DSO-NEXT: 10228: beq #64 // DSO-EMPTY: // DSO-NEXT: Disassembly of section .plt: // DSO-EMPTY: // DSO-NEXT: <$a>: // DSO-NEXT: 10230: str lr, [sp, #-4]! // (0x10234 + 8) + (0 RoR 12) + 8192 + 164 = 0x32e0 = .got.plt[2] // DSO-NEXT: 10234: add lr, pc, #0, #12 // DSO-NEXT: 10238: add lr, lr, #32 // DSO-NEXT: 1023c: ldr pc, [lr, #164]! // DSO: <$d>: // DSO-NEXT: 10240: d4 d4 d4 d4 .word 0xd4d4d4d4 // DSO-NEXT: 10244: d4 d4 d4 d4 .word 0xd4d4d4d4 // DSO-NEXT: 10248: d4 d4 d4 d4 .word 0xd4d4d4d4 // DSO-NEXT: 1024c: d4 d4 d4 d4 .word 0xd4d4d4d4 // DSO: <$a>: // (0x10250 + 8) + (0 RoR 12) + 8192 + 140 = 0x32e4 // DSO-NEXT: 10250: add r12, pc, #0, #12 // DSO-NEXT: 10254: add r12, r12, #32 // DSO-NEXT: 10258: ldr pc, [r12, #140]! // DSO: <$d>: // DSO-NEXT: 1025c: d4 d4 d4 d4 .word 0xd4d4d4d4 // DSO: <$a>: // (0x10260 + 8) + (0 RoR 12) + 8192 + 128 = 0x32e8 // DSO-NEXT: 10260: add r12, pc, #0, #12 // DSO-NEXT: 10264: add r12, r12, #32 // DSO-NEXT: 10268: ldr pc, [r12, #128]! // DSO: <$d>: // DSO-NEXT: 1026c: d4 d4 d4 d4 .word 0xd4d4d4d4 // DSO: <$a>: // (0x10270 + 8) + (0 RoR 12) + 8192 + 116 = 0x32ec // DSO-NEXT: 10270: add r12, pc, #0, #12 // DSO-NEXT: 10274: add r12, r12, #32 // DSO-NEXT: 10278: ldr pc, [r12, #116]! // DSO: <$d>: // DSO-NEXT: 1027c: d4 d4 d4 d4 .word 0xd4d4d4d4 // DSOREL: Name: .got.plt // DSOREL-NEXT: Type: SHT_PROGBITS // DSOREL-NEXT: Flags [ // DSOREL-NEXT: SHF_ALLOC // DSOREL-NEXT: SHF_WRITE // DSOREL-NEXT: ] // DSOREL-NEXT: Address: 0x302D8 // DSOREL-NEXT: Offset: // DSOREL-NEXT: Size: 24 // DSOREL-NEXT: Link: // DSOREL-NEXT: Info: // DSOREL-NEXT: AddressAlignment: 4 // DSOREL-NEXT: EntrySize: // DSOREL: Relocations [ // DSOREL-NEXT: Section {{.*}} .rel.plt { // DSOREL-NEXT: 0x302E4 R_ARM_JUMP_SLOT func1 0x0 // DSOREL-NEXT: 0x302E8 R_ARM_JUMP_SLOT func2 0x0 // DSOREL-NEXT: 0x302EC R_ARM_JUMP_SLOT func3 0x0 // Test a large separation between the .plt and .got.plt // The .got.plt and .plt displacement is large but still within the range // of the short plt sequence. // RUN: echo "SECTIONS { \ // RUN: .text 0x1000 : { *(.text) } \ // RUN: .plt 0x2000 : { *(.plt) *(.plt.*) } \ // RUN: .got.plt 0x1100000 : { *(.got.plt) } \ // RUN: }" > %t.script // RUN: ld.lld --hash-style=sysv --script %t.script -shared %t1 %t2 -o %t4 // RUN: llvm-objdump --triple=armv7a-none-linux-gnueabi -d --no-show-raw-insn %t4 | FileCheck --check-prefix=CHECKHIGH %s // RUN: llvm-readobj -S -r %t4 | FileCheck --check-prefix=DSORELHIGH %s // CHECKHIGH: Disassembly of section .text: // CHECKHIGH-EMPTY: // CHECKHIGH-NEXT: : // CHECKHIGH-NEXT: 1000: bx lr // CHECKHIGH: : // CHECKHIGH-NEXT: 1004: bx lr // CHECKHIGH: : // CHECKHIGH-NEXT: 1008: bx lr // CHECKHIGH: <_start>: // CHECKHIGH-NEXT: 100c: b #4108 <$a> // CHECKHIGH-NEXT: 1010: bl #4120 <$a> // CHECKHIGH-NEXT: 1014: beq #4132 <$a> // CHECKHIGH-EMPTY: // CHECKHIGH-NEXT: Disassembly of section .plt: // CHECKHIGH-EMPTY: // CHECKHIGH-NEXT: <$a>: // CHECKHIGH-NEXT: 2000: str lr, [sp, #-4]! // CHECKHIGH-NEXT: 2004: add lr, pc, #16, #12 // CHECKHIGH-NEXT: 2008: add lr, lr, #1036288 // CHECKHIGH-NEXT: 200c: ldr pc, [lr, #4092]! // CHECKHIGH: <$d>: // CHECKHIGH-NEXT: 2010: d4 d4 d4 d4 .word 0xd4d4d4d4 // CHECKHIGH-NEXT: 2014: d4 d4 d4 d4 .word 0xd4d4d4d4 // CHECKHIGH-NEXT: 2018: d4 d4 d4 d4 .word 0xd4d4d4d4 // CHECKHIGH-NEXT: 201c: d4 d4 d4 d4 .word 0xd4d4d4d4 // CHECKHIGH: <$a>: // CHECKHIGH-NEXT: 2020: add r12, pc, #16, #12 // CHECKHIGH-NEXT: 2024: add r12, r12, #1036288 // CHECKHIGH-NEXT: 2028: ldr pc, [r12, #4068]! // CHECKHIGH: <$d>: // CHECKHIGH-NEXT: 202c: d4 d4 d4 d4 .word 0xd4d4d4d4 // CHECKHIGH: <$a>: // CHECKHIGH-NEXT: 2030: add r12, pc, #16, #12 // CHECKHIGH-NEXT: 2034: add r12, r12, #1036288 // CHECKHIGH-NEXT: 2038: ldr pc, [r12, #4056]! // CHECKHIGH: <$d>: // CHECKHIGH-NEXT: 203c: d4 d4 d4 d4 .word 0xd4d4d4d4 // CHECKHIGH: <$a>: // CHECKHIGH-NEXT: 2040: add r12, pc, #16, #12 // CHECKHIGH-NEXT: 2044: add r12, r12, #1036288 // CHECKHIGH-NEXT: 2048: ldr pc, [r12, #4044]! // CHECKHIGH: <$d>: // CHECKHIGH-NEXT: 204c: d4 d4 d4 d4 .word 0xd4d4d4d4 // DSORELHIGH: Name: .got.plt // DSORELHIGH-NEXT: Type: SHT_PROGBITS // DSORELHIGH-NEXT: Flags [ // DSORELHIGH-NEXT: SHF_ALLOC // DSORELHIGH-NEXT: SHF_WRITE // DSORELHIGH-NEXT: ] // DSORELHIGH-NEXT: Address: 0x1100000 // DSORELHIGH: Relocations [ // DSORELHIGH-NEXT: Section {{.*}} .rel.plt { // DSORELHIGH-NEXT: 0x110000C R_ARM_JUMP_SLOT func1 0x0 // DSORELHIGH-NEXT: 0x1100010 R_ARM_JUMP_SLOT func2 0x0 // DSORELHIGH-NEXT: 0x1100014 R_ARM_JUMP_SLOT func3 0x0 // Test a very large separation between the .plt and .got.plt so we must use // large plt entries that do not have any range restriction. // RUN: echo "SECTIONS { \ // RUN: .text 0x1000 : { *(.text) } \ // RUN: .plt 0x2000 : { *(.plt) *(.plt.*) } \ // RUN: .got.plt 0x11111100 : { *(.got.plt) } \ // RUN: }" > %t2.script // RUN: ld.lld --hash-style=sysv --script %t2.script -shared %t1 %t2 -o %t5 // RUN: llvm-objdump --triple=armv7a-none-linux-gnueabi -d --no-show-raw-insn %t5 | FileCheck --check-prefix=CHECKLONG %s // RUN: llvm-readobj -S -r %t5 | FileCheck --check-prefix=DSORELLONG %s // CHECKLONG: Disassembly of section .text: // CHECKLONG-EMPTY: // CHECKLONG-NEXT: : // CHECKLONG-NEXT: 1000: bx lr // CHECKLONG: : // CHECKLONG-NEXT: 1004: bx lr // CHECKLONG: : // CHECKLONG-NEXT: 1008: bx lr // CHECKLONG: <_start>: // CHECKLONG-NEXT: 100c: b #4108 <$a> // CHECKLONG-NEXT: 1010: bl #4120 <$a> // CHECKLONG-NEXT: 1014: beq #4132 <$a> // CHECKLONG-EMPTY: // CHECKLONG-NEXT: Disassembly of section .plt: // CHECKLONG-EMPTY: // CHECKLONG-NEXT: <$a>: // CHECKLONG-NEXT: 2000: str lr, [sp, #-4]! // CHECKLONG-NEXT: 2004: ldr lr, [pc, #4] // CHECKLONG-NEXT: 2008: add lr, pc, lr // CHECKLONG-NEXT: 200c: ldr pc, [lr, #8]! // CHECKLONG: <$d>: // CHECKLONG-NEXT: 2010: f0 f0 10 11 .word 0x1110f0f0 // CHECKLONG-NEXT: 2014: d4 d4 d4 d4 .word 0xd4d4d4d4 // CHECKLONG-NEXT: 2018: d4 d4 d4 d4 .word 0xd4d4d4d4 // CHECKLONG-NEXT: 201c: d4 d4 d4 d4 .word 0xd4d4d4d4 // CHECKLONG: <$a>: // CHECKLONG-NEXT: 2020: ldr r12, [pc, #4] // CHECKLONG-NEXT: 2024: add r12, r12, pc // CHECKLONG-NEXT: 2028: ldr pc, [r12] // CHECKLONG: <$d>: // CHECKLONG-NEXT: 202c: e0 f0 10 11 .word 0x1110f0e0 // CHECKLONG: <$a>: // CHECKLONG-NEXT: 2030: ldr r12, [pc, #4] // CHECKLONG-NEXT: 2034: add r12, r12, pc // CHECKLONG-NEXT: 2038: ldr pc, [r12] // CHECKLONG: <$d>: // CHECKLONG-NEXT: 203c: d4 f0 10 11 .word 0x1110f0d4 // CHECKLONG: <$a>: // CHECKLONG-NEXT: 2040: ldr r12, [pc, #4] // CHECKLONG-NEXT: 2044: add r12, r12, pc // CHECKLONG-NEXT: 2048: ldr pc, [r12] // CHECKLONG: <$d>: // CHECKLONG-NEXT: 204c: c8 f0 10 11 .word 0x1110f0c8 // DSORELLONG: Name: .got.plt // DSORELLONG-NEXT: Type: SHT_PROGBITS // DSORELLONG-NEXT: Flags [ // DSORELLONG-NEXT: SHF_ALLOC // DSORELLONG-NEXT: SHF_WRITE // DSORELLONG-NEXT: ] // DSORELLONG-NEXT: Address: 0x11111100 // DSORELLONG: Relocations [ // DSORELLONG-NEXT: Section {{.*}} .rel.plt { // DSORELLONG-NEXT: 0x1111110C R_ARM_JUMP_SLOT func1 0x0 // DSORELLONG-NEXT: 0x11111110 R_ARM_JUMP_SLOT func2 0x0 // DSORELLONG-NEXT: 0x11111114 R_ARM_JUMP_SLOT func3 0x0 // Test a separation between the .plt and .got.plt that is part in range of // short table entries and part needing long entries. We use the long entries // only when we need to. // RUN: echo "SECTIONS { \ // RUN: .text 0x1000 : { *(.text) } \ // RUN: .plt 0x2000 : { *(.plt) *(.plt.*) } \ // RUN: .got.plt 0x8002020 : { *(.got.plt) } \ // RUN: }" > %t3.script // RUN: ld.lld --hash-style=sysv --script %t3.script -shared %t1 %t2 -o %t6 // RUN: llvm-objdump --triple=armv7a-none-linux-gnueabi -d --no-show-raw-insn %t6 | FileCheck --check-prefix=CHECKMIX %s // RUN: llvm-readobj -S -r %t6 | FileCheck --check-prefix=DSORELMIX %s // CHECKMIX: Disassembly of section .text: // CHECKMIX-EMPTY: // CHECKMIX-NEXT: : // CHECKMIX-NEXT: 1000: bx lr // CHECKMIX: : // CHECKMIX-NEXT: 1004: bx lr // CHECKMIX: : // CHECKMIX-NEXT: 1008: bx lr // CHECKMIX: <_start>: // CHECKMIX-NEXT: 100c: b #4108 <$a> // CHECKMIX-NEXT: 1010: bl #4120 <$a> // CHECKMIX-NEXT: 1014: beq #4132 <$a> // CHECKMIX-EMPTY: // CHECKMIX-NEXT: Disassembly of section .plt: // CHECKMIX-EMPTY: // CHECKMIX-NEXT: <$a>: // CHECKMIX-NEXT: 2000: str lr, [sp, #-4]! // CHECKMIX-NEXT: 2004: ldr lr, [pc, #4] // CHECKMIX-NEXT: 2008: add lr, pc, lr // CHECKMIX-NEXT: 200c: ldr pc, [lr, #8]! // CHECKMIX: <$d>: // CHECKMIX-NEXT: 2010: 10 00 00 08 .word 0x08000010 // CHECKMIX-NEXT: 2014: d4 d4 d4 d4 .word 0xd4d4d4d4 // CHECKMIX-NEXT: 2018: d4 d4 d4 d4 .word 0xd4d4d4d4 // CHECKMIX-NEXT: 201c: d4 d4 d4 d4 .word 0xd4d4d4d4 // CHECKMIX: <$a>: // CHECKMIX-NEXT: 2020: ldr r12, [pc, #4] // CHECKMIX-NEXT: 2024: add r12, r12, pc // CHECKMIX-NEXT: 2028: ldr pc, [r12] // CHECKMIX: <$d>: // CHECKMIX-NEXT: 202c: 00 00 00 08 .word 0x08000000 // CHECKMIX: <$a>: // CHECKMIX-NEXT: 2030: add r12, pc, #133169152 // CHECKMIX-NEXT: 2034: add r12, r12, #1044480 // CHECKMIX-NEXT: 2038: ldr pc, [r12, #4088]! // CHECKMIX: <$d>: // CHECKMIX-NEXT: 203c: d4 d4 d4 d4 .word 0xd4d4d4d4 // CHECKMIX: <$a>: // CHECKMIX-NEXT: 2040: add r12, pc, #133169152 // CHECKMIX-NEXT: 2044: add r12, r12, #1044480 // CHECKMIX-NEXT: 2048: ldr pc, [r12, #4076]! // CHECKMIX: <$d>: // CHECKMIX-NEXT: 204c: d4 d4 d4 d4 .word 0xd4d4d4d4 // DSORELMIX: Name: .got.plt // DSORELMIX-NEXT: Type: SHT_PROGBITS // DSORELMIX-NEXT: Flags [ // DSORELMIX-NEXT: SHF_ALLOC // DSORELMIX-NEXT: SHF_WRITE // DSORELMIX-NEXT: ] // DSORELMIX-NEXT: Address: 0x8002020 // DSORELMIX: Section {{.*}} .rel.plt { // DSORELMIX-NEXT: 0x800202C R_ARM_JUMP_SLOT func1 0x0 // DSORELMIX-NEXT: 0x8002030 R_ARM_JUMP_SLOT func2 0x0 // DSORELMIX-NEXT: 0x8002034 R_ARM_JUMP_SLOT func3 0x0