343 lines · plain
1# RUN: rm -rf %t && mkdir -p %t2# RUN: llvm-mc -triple=aarch64-unknown-linux-gnu -x86-relax-relocations=false \3# RUN: -position-independent -filetype=obj -o %t/elf_reloc.o %s4# RUN: llvm-jitlink -noexec \5# RUN: -abs external_data=0xdeadbeef \6# RUN: -abs external_func=0xcafef00d \7# RUN: -check %s %t/elf_reloc.o8 9 .text10 11 .globl main12 .p2align 213 .type main,@function14main:15 ret16 17 .size main, .-main18 19# Check R_AARCH64_CALL26 / R_AARCH64_JUMP26 relocation of a local function call20#21# jitlink-check: decode_operand(local_func_call26, 0)[25:0] = (local_func - local_func_call26)[27:2]22# jitlink-check: decode_operand(local_func_jump26, 0)[25:0] = (local_func - local_func_jump26)[27:2]23 .globl local_func24 .p2align 225 .type local_func,@function26local_func:27 ret28 .size local_func, .-local_func29 30 .globl local_func_call2631 .p2align 232local_func_call26:33 bl local_func34 .size local_func_call26, .-local_func_call2635 36 .globl local_func_jump2637 .p2align 238local_func_jump26:39 b local_func40 .size local_func_jump26, .-local_func_jump2641 42# Check R_AARCH64_ADR_PREL_LO21 relocation of a local symbol43#44# jitlink-check: decode_operand(test_adr_prel_lo21, 1) = (adr_data - test_adr_prel_lo21)[20:0]45 .globl test_adr_prel_lo21, adr_data46 .p2align 247test_adr_prel_lo21:48 adr x0, adr_data49 .size test_adr_prel_lo21, .-test_adr_prel_lo2150## ADR encoding is a bit tricky so use an offset with an irregular bit pattern51## to test this bit better52adr_data = test_adr_prel_lo21 + 0xe46f253 54# Check R_AARCH64_LD_PREL_LO19 relocation of a local symbol55#56# jitlink-check: decode_operand(test_ldr_prel_lo19 + 0, 1)[19:0] = \57# jitlink-check: (ldr_data - test_ldr_prel_lo19 + 0x4)[21:2]58 .globl test_ldr_prel_lo19, ldr_data59 .p2align 260test_ldr_prel_lo19:61 ldr x0, ldr_data + 0x462 .size test_ldr_prel_lo19, .-test_ldr_prel_lo1963ldr_data = test_ldr_prel_lo19 + 464 65# Check R_AARCH64_ADR_PREL_PG_HI21 / R_AARCH64_ADD_ABS_LO12_NC relocation of a local symbol66#67# For the ADR_PREL_PG_HI21/ADRP instruction we have the 21-bit delta to the 4k page68# containing the global.69#70# jitlink-check: decode_operand(test_adr_prel, 1) = (named_data - test_adr_prel)[32:12]71# jitlink-check: decode_operand(test_add_abs_lo12, 2) = (named_data + 0)[11:0]72 .globl test_adr_prel73 .p2align 274test_adr_prel:75 adrp x0, named_data76 .size test_adr_prel, .-test_adr_prel77 78 .globl test_add_abs_lo1279 .p2align 280test_add_abs_lo12:81 add x0, x0, :lo12:named_data82 .size test_add_abs_lo12, .-test_add_abs_lo1283 84# Check that calls/jumps to external functions trigger the generation of stubs and GOT85# entries.86#87# jitlink-check: decode_operand(test_external_call, 0) = (stub_addr(elf_reloc.o, external_func) - test_external_call)[27:2]88# jitlink-check: decode_operand(test_external_jump, 0) = (stub_addr(elf_reloc.o, external_func) - test_external_jump)[27:2]89# jitlink-check: *{8}(got_addr(elf_reloc.o, external_func)) = external_func90 .globl test_external_call91 .p2align 292test_external_call:93 bl external_func94 .size test_external_call, .-test_external_call95 96 .globl test_external_jump97 .p2align 298test_external_jump:99 b external_func100 .size test_external_jump, .-test_external_jump101 102# Check R_AARCH64_LDST*_ABS_LO12_NC relocation of a local symbol103#104# The immediate value should be the symbol address right shifted according to its instruction bitwidth.105#106# jitlink-check: decode_operand(test_ldrb, 2) = named_data[11:0]107# jitlink-check: decode_operand(test_ldrsb, 2) = (named_data + 0)[11:0]108# jitlink-check: decode_operand(test_ldrh, 2) = (named_data + 0)[11:1]109# jitlink-check: decode_operand(test_ldrsh, 2) = (named_data + 0)[11:1]110# jitlink-check: decode_operand(test_ldr_32bit, 2) = (named_data + 0)[11:2]111# jitlink-check: decode_operand(test_ldr_64bit, 2) = (named_data + 0)[11:3]112# jitlink-check: decode_operand(test_strb, 2) = named_data[11:0]113# jitlink-check: decode_operand(test_strh, 2) = (named_data + 0)[11:1]114# jitlink-check: decode_operand(test_str_32bit, 2) = (named_data + 0)[11:2]115# jitlink-check: decode_operand(test_str_64bit, 2) = (named_data + 0)[11:3]116 117 .globl test_ldrb118test_ldrb:119 ldrb w0, [x1, :lo12:named_data]120 .size test_ldrb, .-test_ldrb121 122 .globl test_ldrsb123test_ldrsb:124 ldrsb w0, [x1, :lo12:named_data]125 .size test_ldrsb, .-test_ldrsb126 127 .globl test_ldrh128test_ldrh:129 ldrh w0, [x1, :lo12:named_data]130 .size test_ldrh, .-test_ldrh131 132 .globl test_ldrsh133test_ldrsh:134 ldrsh w0, [x1, :lo12:named_data]135 .size test_ldrsh, .-test_ldrsh136 137 .globl test_ldr_32bit138test_ldr_32bit:139 ldr w0, [x1, :lo12:named_data]140 .size test_ldr_32bit, .-test_ldr_32bit141 142 .globl test_ldr_64bit143test_ldr_64bit:144 ldr x0, [x1, :lo12:named_data]145 .size test_ldr_64bit, .-test_ldr_64bit146 147 .globl test_strb148test_strb:149 strb w0, [x1, :lo12:named_data]150 .size test_strb, .-test_strb151 152 .globl test_strh153test_strh:154 strh w0, [x1, :lo12:named_data]155 .size test_strh, .-test_strh156 157 .globl test_str_32bit158test_str_32bit:159 str w0, [x1, :lo12:named_data]160 .size test_str_32bit, .-test_str_32bit161 162 .globl test_str_64bit163test_str_64bit:164 str x0, [x1, :lo12:named_data]165 .size test_str_64bit, .-test_str_64bit166 167 168# Check R_AARCH64_MOVW_UABS_G*_NC relocation of a local symbol169#170# The immediate value should be the symbol address right shifted according to LSL value171#172# jitlink-check: decode_operand(test_movz_g0_nc, 1) = named_data[15:0]173# jitlink-check: decode_operand(test_movk_g0_nc, 2) = named_data[15:0]174# jitlink-check: decode_operand(test_movz_g1_nc, 1) = named_data[31:16]175# jitlink-check: decode_operand(test_movk_g1_nc, 2) = named_data[31:16]176# jitlink-check: decode_operand(test_movz_g2_nc, 1) = named_data[47:32]177# jitlink-check: decode_operand(test_movk_g2_nc, 2) = named_data[47:32]178# jitlink-check: decode_operand(test_movz_g3, 1) = named_data[63:48]179# jitlink-check: decode_operand(test_movk_g3, 2) = named_data[63:48]180 181 .globl test_movz_g0_nc182test_movz_g0_nc:183 movz x0, #:abs_g0_nc:named_data184 .size test_movz_g0_nc, .-test_movz_g0_nc185 186 .globl test_movk_g0_nc187test_movk_g0_nc:188 movk x0, #:abs_g0_nc:named_data189 .size test_movk_g0_nc, .-test_movk_g0_nc190 191 .globl test_movz_g1_nc192test_movz_g1_nc:193 movz x0, #:abs_g1_nc:named_data194 .size test_movz_g1_nc, .-test_movz_g1_nc195 196 .globl test_movk_g1_nc197test_movk_g1_nc:198 movk x0, #:abs_g1_nc:named_data199 .size test_movk_g1_nc, .-test_movk_g1_nc200 201 .globl test_movz_g2_nc202test_movz_g2_nc:203 movz x0, #:abs_g2_nc:named_data204 .size test_movz_g2_nc, .-test_movz_g2_nc205 206 .globl test_movk_g2_nc207test_movk_g2_nc:208 movk x0, #:abs_g2_nc:named_data209 .size test_movk_g2_nc, .-test_movk_g2_nc210 211 .globl test_movk_g3212test_movk_g3:213 movk x0, #:abs_g3:named_data214 .size test_movk_g3, .-test_movk_g3215 216 .globl test_movz_g3217test_movz_g3:218 movz x0, #:abs_g3:named_data219 .size test_movz_g3, .-test_movz_g3220 221# Check R_AARCH64_ABS64 relocation of a function pointer to local symbol222#223# jitlink-check: *{8}local_func_addr_quad = named_func224 .globl local_func_addr_quad225 .p2align 3226local_func_addr_quad:227 .xword named_func228 .size local_func_addr_quad, 8229 230# Check R_AARCH64_ABS64 relocation of a function pointer to external symbol231#232# jitlink-check: *{8}external_func_addr_quad = external_func233 .globl external_func_addr_quad234 .p2align 3235external_func_addr_quad:236 .xword external_func237 .size external_func_addr_quad, 8238 239# Check R_AARCH64_ADR_GOT_PAGE / R_AARCH64_LD64_GOT_LO12_NC handling with a240# reference to an external symbol. Validate both the reference to the GOT entry,241# and also the content of the GOT entry.242#243# For the ADRP :got: instruction we have the 21-bit delta to the 4k page244# containing the GOT entry for external_data.245#246# For the LDR :got_lo12: instruction we have the 12-bit offset of the entry247# within the page.248#249# jitlink-check: *{8}(got_addr(elf_reloc.o, external_data)) = external_data250# jitlink-check: decode_operand(test_adr_gotpage_external, 1) = \251# jitlink-check: (got_addr(elf_reloc.o, external_data)[32:12] - \252# jitlink-check: test_adr_gotpage_external[32:12])253# jitlink-check: decode_operand(test_ld64_gotlo12_external, 2) = \254# jitlink-check: got_addr(elf_reloc.o, external_data)[11:3]255 .globl test_adr_gotpage_external256 .p2align 2257test_adr_gotpage_external:258 adrp x0, :got:external_data259 .size test_adr_gotpage_external, .-test_adr_gotpage_external260 261 .globl test_ld64_gotlo12_external262 .p2align 2263test_ld64_gotlo12_external:264 ldr x0, [x0, :got_lo12:external_data]265 .size test_ld64_gotlo12_external, .-test_ld64_gotlo12_external266 267# Check R_AARCH64_LD64_GOTPAGE_LO15 handling with a reference to an external268# symbol. Validate the reference to the GOT entry.269# For the LDR :gotpage_lo15: instruction we have the 15-bit offset of the GOT270# entry from the page containing the GOT.271# jitlink-check: decode_operand(test_ld64_gotpagelo15_external, 2) = \272# jitlink-check: (got_addr(elf_reloc.o, external_data) - \273# jitlink-check: (section_addr(elf_reloc.o, $__GOT) & 0xfffffffffffff000)) \274# jitlink-check: [15:3]275 .globl test_ld64_gotpagelo15_external276 .p2align 2277test_ld64_gotpagelo15_external:278 ldr x0, [x0, :gotpage_lo15:external_data]279 .size test_ld64_gotpagelo15_external, .-test_ld64_gotpagelo15_external280 281# Check R_AARCH64_TSTBR14 for tbz282#283# jitlink-check: decode_operand(test_tstbr14_tbz, 2) = \284# jitlink-check: (test_tstbr14_tbz_target - test_tstbr14_tbz)[16:2]285 .globl test_tstbr14_tbz, test_tstbr14_tbz_target286 .p2align 2287test_tstbr14_tbz:288 tbz x0, 0, test_tstbr14_tbz_target289 .skip (1 << 14)290test_tstbr14_tbz_target:291 .size test_tstbr14_tbz, .-test_tstbr14_tbz292 293# Check R_AARCH64_TSTBR14 for tbnz294#295# jitlink-check: decode_operand(test_tstbr14_tbnz, 2) = \296# jitlink-check: (test_tstbr14_tbnz_target - test_tstbr14_tbnz)[16:2]297 .globl test_tstbr14_tbnz, test_tstbr14_tbnz_target298 .p2align 2299test_tstbr14_tbnz:300 tbnz x0, 0, test_tstbr14_tbnz_target301 .skip (1 << 14)302test_tstbr14_tbnz_target:303 .size test_tstbr14_tbnz, .-test_tstbr14_tbnz304 305# Check R_AARCH64_CONDBR19 for compare and branch instructions306#307# jitlink-check: decode_operand(test_condbr19_cbz, 1) = \308# jitlink-check: (test_condbr19_cbz_target - test_condbr19_cbz)[21:2]309 .globl test_condbr19_cbz, test_condbr19_cbz_target310 .p2align 2311test_condbr19_cbz:312 cbz x0, test_condbr19_cbz_target313 .skip (1 << 19)314test_condbr19_cbz_target:315 .size test_condbr19_cbz, .-test_condbr19_cbz316 317# Check R_AARCH64_CONDBR19 for conditional branch instructions318#319# jitlink-check: decode_operand(test_condbr19_bc, 1) = \320# jitlink-check: (test_condbr19_bc_target - test_condbr19_bc)[21:2]321 .globl test_condbr19_bc, test_condbr19_bc_target322 .p2align 2323test_condbr19_bc:324 b.eq test_condbr19_bc_target325 .skip (1 << 19)326test_condbr19_bc_target:327 .size test_condbr19_bc, .-test_condbr19_bc328 329 .globl named_data330 .p2align 4331 .type named_data,@object332named_data:333 .quad 0x2222222222222222334 .quad 0x3333333333333333335 .size named_data, .-named_data336 337 .globl named_func338 .p2align 2339 .type named_func,@function340named_func:341 ret342 .size named_func, .-named_func343