1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
// REQUIRES: arm
// RUN: split-file %s %t
// RUN: llvm-mc --triple=armv7a-none-eabi --arm-add-build-attributes -filetype=obj -o %t.o %t/asm
// RUN: not ld.lld --script %t/lds %t.o -o /dev/null 2>&1 | FileCheck %s
//--- lds
SECTIONS {
.text.0 0x0100000 : AT(0x0100000) { *(.text.0) }
.text.1 0x0800000 : AT(0x0800000) { *(.text.1) }
.text.2 0xf0f0000 : AT(0xf0f0000) { *(.text.2) }
}
//--- asm
/// This is a variant of arm-adr-long.s with some _NC relocs changed into their
/// checking counterparts, to verify that out-of-range references are caught.
.section .text.0, "ax", %progbits
dat1:
.word 0
.section .text.1, "ax", %progbits
.global _start
.type _start, %function
_start:
.inst 0xe24f0008 // sub r0, pc, #8
.inst 0xe2400004 // sub r0, r0, #4
.reloc 0, R_ARM_ALU_PC_G0, dat1
// CHECK: {{.*}}.s.tmp.o:(.text.1+0x0): unencodeable immediate 7340040 for relocation R_ARM_ALU_PC_G0
.reloc 4, R_ARM_ALU_PC_G1, dat1
.inst 0xe24f1008 // sub r1, pc, #8
.inst 0xe2411004 // sub r1, r1, #4
.inst 0xe2411000 // sub r1, r1, #0
.reloc 8, R_ARM_ALU_PC_G0_NC, dat2
.reloc 12, R_ARM_ALU_PC_G1, dat2
// CHECK: {{.*}}.s.tmp.o:(.text.1+0xc): unencodeable immediate 244252656 for relocation R_ARM_ALU_PC_G1
.reloc 16, R_ARM_ALU_PC_G2, dat2
.inst 0xe24f0008 // sub r0, pc, #8
.inst 0xe2400004 // sub r0, r0, #4
.inst 0xe2400000 // sub r0, r0, #0
.reloc 20, R_ARM_ALU_PC_G0, dat1
// CHECK: {{.*}}.s.tmp.o:(.text.1+0x14): unencodeable immediate 7340060 for relocation R_ARM_ALU_PC_G0
.reloc 24, R_ARM_ALU_PC_G1, dat1
.reloc 28, R_ARM_ALU_PC_G2, dat1
.inst 0xe24f0008 // sub r0, pc, #8
.inst 0xe2400004 // sub r0, r0, #4
.inst 0xe1c000d0 // ldrd r0, r1, [r0, #0]
.reloc 32, R_ARM_ALU_PC_G0_NC, dat2
.reloc 36, R_ARM_ALU_PC_G1_NC, dat2
// CHECK: {{.*}}.s.tmp.o:(.text.1+0x28): relocation R_ARM_LDRS_PC_G2 out of range: 4056 is not in [0, 255]; references 'dat2'
.reloc 40, R_ARM_LDRS_PC_G2, dat2
.section .text.2, "ax", %progbits
dat2:
.word 0
|
