aboutsummaryrefslogtreecommitdiff
path: root/lld/test/ELF/arm-undefined-weak.s
blob: 727b9a7b07db654209b62f3d6fa12c04daf6b8c9 (plain)
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
// REQUIRES: arm
// RUN: llvm-mc -arm-add-build-attributes -filetype=obj -triple=armv7a-none-linux-gnueabi %s -o %t
// RUN: ld.lld --image-base=0x10000000 %t -o %t2
// RUN: llvm-objdump --triple=armv7a-none-linux-gnueabi --no-show-raw-insn -d %t2 | FileCheck %s

// Check that the ARM ABI rules for undefined weak symbols are applied.
// Branch instructions are resolved to the next instruction. Undefined
// Symbols in relative are resolved to the place so S - P + A = A.
// We place the image-base at 0x10000000 to test that a range extensions thunk
// is not generated.

 .syntax unified

 .weak target
 .type target, %function

 .text
 .global _start
_start:
// R_ARM_JUMP24
 b target
// R_ARM_CALL
 bl target
// R_ARM_CALL with exchange
 blx target
// R_ARM_MOVT_PREL
 movt r0, :upper16:target - .
// R_ARM_MOVW_PREL_NC
 movw r0, :lower16:target - .
// R_ARM_REL32
 .word target - .

// CHECK: Disassembly of section .text:
// CHECK-EMPTY:
// CHECK-NEXT: 100010b4 <_start>:
// CHECK-NEXT: 100010b4: b       #-4
// CHECK-NEXT: 100010b8: bl      #-4
// CHECK-NEXT: 100010bc: bl      #-4
// CHECK-NEXT: 100010c0: movt    r0, #0
// CHECK-NEXT: 100010c4: movw    r0, #0
// CHECK:      100010c8: 00 00 00 00     .word   0x00000000