aboutsummaryrefslogtreecommitdiff
path: root/test/ELF/arm-undefined-weak.s
blob: df67b467e2635e3d9a3701999cdc362437c9d1e5 (plain) (blame)
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
// RUN: llvm-mc -filetype=obj -triple=armv7a-none-linux-gnueabi %s -o %t
// RUN: ld.lld %t -o %t2 2>&1
// RUN: llvm-objdump -triple=armv7a-none-linux-gnueabi -d %t2 | FileCheck %s
// REQUIRES: arm

// 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.

 .syntax unified

 .weak target

 .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:
// 69636 = 0x11004
// CHECK:         11000:       01 44 00 ea     b       #69636
// CHECK-NEXT:    11004:       02 44 00 eb     bl      #69640
// blx is transformed into bl so we don't change state
// CHECK-NEXT:    11008:       03 44 00 eb     bl      #69644
// CHECK-NEXT:    1100c:       00 00 40 e3     movt    r0, #0
// CHECK-NEXT:    11010:       00 00 00 e3     movw    r0, #0
// CHECK:         11014:       00 00 00 00     .word   0x00000000