summaryrefslogtreecommitdiff
path: root/test/MC/AArch64/elf-globaladdress.ll
blob: 3ca361d9f2a1d2d9f276b61be33ea484d657abb6 (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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
;; RUN: llc -march=aarch64 -filetype=obj %s -o - | \
;; RUN:   elf-dump | FileCheck -check-prefix=OBJ %s

; Also take it on a round-trip through llvm-mc to stretch assembly-parsing's legs:
;; RUN: llc -march=aarch64 %s -o - | \
;; RUN:     llvm-mc -arch=aarch64 -filetype=obj -o - | \
;; RUN:     elf-dump | FileCheck -check-prefix=OBJ %s

@var8 = global i8 0
@var16 = global i16 0
@var32 = global i32 0
@var64 = global i64 0

define void @loadstore() {
    %val8 = load i8* @var8
    store volatile i8 %val8, i8* @var8

    %val16 = load i16* @var16
    store volatile i16 %val16, i16* @var16

    %val32 = load i32* @var32
    store volatile i32 %val32, i32* @var32

    %val64 = load i64* @var64
    store volatile i64 %val64, i64* @var64

    ret void
}

@globaddr = global i64* null

define void @address() {
    store i64* @var64, i64** @globaddr
    ret void
}

; Check we're using EM_AARCH64
; OBJ: 'e_machine', 0x00

; OBJ: .rela.text

; var8
; R_AARCH64_ADR_PREL_PG_HI21 against var8
; OBJ: 'r_sym', 0x0000000f
; OBJ-NEXT: 'r_type', 0x00000113

; R_AARCH64_LDST8_ABS_LO12_NC against var8
; OBJ: 'r_sym', 0x0000000f
; OBJ-NEXT: 'r_type', 0x00000116


; var16
; R_AARCH64_ADR_PREL_PG_HI21 against var16
; OBJ: 'r_sym', 0x0000000c
; OBJ-NEXT: 'r_type', 0x00000113

; R_AARCH64_LDST16_ABS_LO12_NC against var16
; OBJ: 'r_sym', 0x0000000c
; OBJ-NEXT: 'r_type', 0x0000011c


; var32
; R_AARCH64_ADR_PREL_PG_HI21 against var32
; OBJ: 'r_sym', 0x0000000d
; OBJ-NEXT: 'r_type', 0x00000113

; R_AARCH64_LDST32_ABS_LO12_NC against var32
; OBJ: 'r_sym', 0x0000000d
; OBJ-NEXT: 'r_type', 0x0000011d


; var64
; R_AARCH64_ADR_PREL_PG_HI21 against var64
; OBJ: 'r_sym', 0x0000000e
; OBJ-NEXT: 'r_type', 0x00000113

; R_AARCH64_LDST64_ABS_LO12_NC against var64
; OBJ: 'r_sym', 0x0000000e
; OBJ-NEXT: 'r_type', 0x0000011e

; This is on the store, so not really important, but it stops the next
; match working.
; R_AARCH64_LDST64_ABS_LO12_NC against var64
; OBJ: 'r_sym', 0x0000000e
; OBJ-NEXT: 'r_type', 0x0000011e


; Pure address-calculation against var64
; R_AARCH64_ADR_PREL_PG_HI21 against var64
; OBJ: 'r_sym', 0x0000000e
; OBJ-NEXT: 'r_type', 0x00000113

; R_AARCH64_ADD_ABS_LO12_NC against var64
; OBJ: 'r_sym', 0x0000000e
; OBJ-NEXT: 'r_type', 0x00000115


; Make sure the symbols don't move around, otherwise relocation info
; will be wrong:

; OBJ: Symbol 12
; OBJ-NEXT: var16

; OBJ: Symbol 13
; OBJ-NEXT: var32

; OBJ: Symbol 14
; OBJ-NEXT: var64

; OBJ: Symbol 15
; OBJ-NEXT: var8