| ;; RUN: llc -mtriple=aarch64-none-linux-gnu -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 -mtriple=aarch64-none-linux-gnu %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 |