96 lines · plain
1# RUN: llvm-mc -triple=arm64-none-linux-gnu -filetype=obj -o %t %s2# RUN: llvm-rtdyld -triple=arm64-none-linux-gnu -verify -dummy-extern f=0x0123456789abcdef -dummy-extern symbol=0xf00f -check=%s %t3 4 .globl Q5 .section .dummy, "ax"6Q:7 nop8 9 .text10 .globl g11 .p2align 212 .type g,@function13g:14# R_AARCH64_MOVW_UABS_G315 movz x0, #:abs_g3:f16# R_AARCH64_MOVW_UABS_G2_NC17 movk x0, #:abs_g2_nc:f18# R_AARCH64_MOVW_UABS_G1_NC19 movk x0, #:abs_g1_nc:f20# R_AARCH64_MOVW_UABS_G0_NC21 movk x0, #:abs_g0_nc:f22l:23# R_AARCH64_LDST8_ABS_LO12_NC24 ldrsb x4, [x5, :lo12:a+1]25# R_AARCH64_LDST16_ABS_LO12_NC26 ldrh w4, [x5, :lo12:a+2]27# R_AARCH64_LDST32_ABS_LO12_NC28 ldr s4, [x5, :lo12:a]29# R_AARCH64_LDST64_ABS_LO12_NC30 ldr x4, [x5, :lo12:a]31# R_AARCH64_LDST128_ABS_LO12_NC32 ldr q4, [x5, :lo12:a]33p:34# R_AARCH64_ADR_PREL_PG_HI2135# Test both low and high immediate values36 adrp x4, a + 20480 // 16384 + 409637# Align next label to 16 bytes, so that LDST immediate38# fields will be non-zero 39 .align 440a:41# R_AARCH64_ADD_ABS_LO12_NC42 add x0, x0, :lo12:f43 ret44 .Lfunc_end0:45 .size g, .Lfunc_end0-g46 47 .type k,@object48 .data49 .globl k50 .p2align 351k:52 .xword f53 .size k, 1654r:55# R_AARCH64_PREL32: use Q instead of f to fit in 32 bits.56 .word Q - . 57# R_AARCH64_PREL6458 .p2align 359 .xword f - .60 61# rtdyld-check: *{4}(g) = 0xd2e0246062# rtdyld-check: *{4}(g + 4) = 0xf2c8ace063# rtdyld-check: *{4}(g + 8) = 0xf2b1356064# rtdyld-check: *{4}(g + 12) = 0xf299bde065 66## Check LDSTXX_ABS_LO12_NC67# rtdyld-check: (*{4}l)[21:10] = (a+1)[11:0]68# rtdyld-check: (*{4}(l+4))[21:10] = (a+2)[11:1]69# rtdyld-check: (*{4}(l+8))[21:10] = a[11:2]70# rtdyld-check: (*{4}(l+12))[21:10] = a[11:3]71# rtdyld-check: (*{4}(l+16))[21:10] = a[11:4]72 73## Check ADR_PREL_PG_HI21. Low order bits of immediate value74## go to bits 30:29. High order bits go to bits 23:575# rtdyld-check: (*{4}p)[30:29] = (a - p + 20480)[13:12]76# rtdyld-check: (*{4}p)[23:5] = (a - p + 20480)[32:14]77 78# rtdyld-check: *{8}k = f79# rtdyld-check: *{4}r = (Q - r)[31:0]80# rtdyld-check: *{8}(r + 8) = f - r - 881 82## f & 0xFFF = 0xdef (bits 11:0 of f)83## 0xdef << 10 = 0x37bc0084# rtdyld-check: *{4}(a) = 0x9137bc0085 86 .data87ABS16:88 .short symbol89# rtdyld-check: (*{2}ABS16) = symbol[15:0]90ABS32:91 .long symbol92# rtdyld-check: (*{4}ABS32) = symbol[31:0]93ABS64:94 .xword symbol95# rtdyld-check: (*{8}ABS64) = symbol96