# RUN: llvm-mc -filetype=obj -crel -triple=x86_64 %s -o %t.o
# RUN: llvm-readelf -Sr -x .crelrodata2 -x .crelrodata16 %t.o | FileCheck %s
# RUN: %if aarch64-registered-target %{ llvm-mc -filetype=obj -crel -triple=aarch64_be %s -o %t.be.o %}
# RUN: %if aarch64-registered-target %{ llvm-readelf -r %t.be.o | FileCheck %s --check-prefix=A64BE %}
# CHECK: [ 4] .data PROGBITS 0000000000000000 {{.*}} 000008 00 WA 0 0 1
# CHECK-NEXT: [ 5] .crel.data CREL 0000000000000000 {{.*}} 00002c 01 I 14 4 1
# CHECK-NEXT: [ 6] .rodata PROGBITS 0000000000000000 {{.*}} 00002b 00 A 0 0 1
# CHECK-NEXT: [ 7] .crel.rodata CREL 0000000000000000 {{.*}} 000010 01 I 14 6 1
# CHECK-NEXT: [ 8] rodata2 PROGBITS 0000000000000000 {{.*}} 000008 00 A 0 0 1
# CHECK-NEXT: [ 9] .crelrodata2 CREL 0000000000000000 {{.*}} 000005 01 I 14 8 1
# CHECK-NEXT: [10] rodata16 PROGBITS 0000000000000000 {{.*}} 000010 00 A 0 0 1
# CHECK-NEXT: [11] .crelrodata16 CREL 0000000000000000 {{.*}} 000004 01 I 14 10 1
# CHECK-NEXT: [12] noalloc PROGBITS 0000000000000000 {{.*}} 000004 00 0 0 1
# CHECK-NEXT: [13] .crelnoalloc CREL 0000000000000000 {{.*}} 000005 01 I 14 12 1
# CHECK-NEXT: [14] .symtab SYMTAB
# CHECK: Relocation section '.crel.data' at offset {{.*}} contains 8 entries:
# CHECK-NEXT: Offset Info Type Symbol's Value Symbol's Name + Addend
# CHECK-NEXT: 0000000000000000 {{.*}} R_X86_64_NONE 0000000000000000 a0 + 0
# CHECK-NEXT: 0000000000000001 {{.*}} R_X86_64_NONE 0000000000000000 a1 - 1
# CHECK-NEXT: 0000000000000002 {{.*}} R_X86_64_NONE 0000000000000000 a2 - 1
# CHECK-NEXT: 0000000000000004 {{.*}} R_X86_64_32 0000000000000000 a3 + 4000
# CHECK-NEXT: 0000000000000005 {{.*}} R_X86_64_64 0000000000000000 a3 - 8000000000000000
# CHECK-NEXT: 0000000000000005 {{.*}} R_X86_64_64 0000000000000000 a1 + 7fffffffffffffff
# CHECK-NEXT: 0000000000000005 {{.*}} R_X86_64_32 0000000000000000 a1 - 1
# CHECK-NEXT: 0000000000000005 {{.*}} R_X86_64_64 0000000000000000 a2 - 1
# CHECK-EMPTY:
# CHECK-NEXT: Relocation section '.crel.rodata' at offset {{.*}} contains 4 entries:
# CHECK-NEXT: Offset Info Type Symbol's Value Symbol's Name + Addend
# CHECK-NEXT: 0000000000000000 {{.*}} R_X86_64_PC32 0000000000000000 foo + 0
# CHECK-NEXT: 000000000000000f {{.*}} R_X86_64_PC32 0000000000000000 foo + 3f
# CHECK-NEXT: 000000000000001f {{.*}} R_X86_64_PC64 0000000000000000 foo + 7f
# CHECK-NEXT: 0000000000000027 {{.*}} R_X86_64_PC32 0000000000000000 _start - 1f81
# CHECK-EMPTY:
# CHECK-NEXT: Relocation section '.crelrodata2' at offset {{.*}} contains 2 entries:
# CHECK-NEXT: Offset Info Type Symbol's Value Symbol's Name + Addend
# CHECK-NEXT: 0000000000000002 {{.*}} R_X86_64_32 0000000000000000 .data + 0
# CHECK-NEXT: 0000000000000008 {{.*}} R_X86_64_32 0000000000000000 .data + 0
# CHECK-EMPTY:
# CHECK-NEXT: Relocation section '.crelrodata16' at offset {{.*}} contains 1 entries:
# CHECK-NEXT: Offset Info Type Symbol's Value Symbol's Name + Addend
# CHECK-NEXT: 0000000000000008 {{.*}} R_X86_64_64 0000000000000000 rodata16 + 0
# CHECK-EMPTY:
# CHECK-NEXT: Relocation section '.crelnoalloc' at offset {{.*}} contains 1 entries:
# CHECK-NEXT: Offset Info Type Symbol's Value Symbol's Name + Addend
# CHECK-NEXT: 0000000000000000 {{.*}} R_X86_64_32 0000000000000000 .text + 4
## count * 8 + 4 + shift = 2*8+4+1 = 21
# CHECK: Hex dump of section '.crelrodata2':
# CHECK-NEXT: 0x00000000 150b020a 18 .
## count * 8 + 4 + shift = 1*8+4+3 = 15
# CHECK: Hex dump of section '.crelrodata16':
# CHECK-NEXT: 0x00000000 0f0b0301 .
# A64BE: 0000000000000000 {{.*}} R_AARCH64_NONE 0000000000000000 a0 + 0
# A64BE-NEXT: 0000000000000001 {{.*}} R_AARCH64_NONE 0000000000000000 a1 - 1
# A64BE-NEXT: 0000000000000002 {{.*}} R_AARCH64_NONE 0000000000000000 a2 - 1
# A64BE-NEXT: 0000000000000004 {{.*}} R_AARCH64_ABS32 0000000000000000 a3 + 4000
# A64BE-NEXT: 0000000000000005 {{.*}} R_AARCH64_ABS64 0000000000000000 a3 - 8000000000000000
# A64BE-NEXT: 0000000000000005 {{.*}} R_AARCH64_ABS64 0000000000000000 a1 + 7fffffffffffffff
# A64BE-NEXT: 0000000000000005 {{.*}} R_AARCH64_ABS32 0000000000000000 a1 - 1
# A64BE-NEXT: 0000000000000005 {{.*}} R_AARCH64_ABS64 0000000000000000 a2 - 1
# A64BE-EMPTY:
.globl _start
_start:
ret
.section .text.1,"ax"
ret
## Test various combinations of delta offset and flags, delta symbol index
## (if present), delta type (if present), delta addend (if present).
.data
.reloc .+0, BFD_RELOC_NONE, a0
.reloc .+1, BFD_RELOC_NONE, a1-1 // same type
.reloc .+2, BFD_RELOC_NONE, a2-1 // same type and addend
.reloc .+4, BFD_RELOC_32, a3+0x4000
.reloc .+5, BFD_RELOC_64, a3-0x8000000000000000 // same symbol index
.reloc .+5, BFD_RELOC_64, a1+0x7fffffffffffffff // same offset and type; addend+=UINT64_MAX
.reloc .+5, BFD_RELOC_32, a1-1 // same offset and symbol index
.reloc .+5, BFD_RELOC_64, a2-1 // same offset and addend
.quad 0
.section .rodata,"a"
.long foo - .
.space 15-4
.long foo - . + 63 // offset+=15
.space 16-4
.quad foo - . + 127 // offset+=16
.long _start - . - 8065
.section rodata2,"a"
.space 2
.reloc ., BFD_RELOC_32, .data
.space 6
.reloc ., BFD_RELOC_32, .data
.section rodata16,"a"
.quad 0
.quad rodata16
.section noalloc
.long .text + 4