162 lines
5.1 KiB
ArmAsm
162 lines
5.1 KiB
ArmAsm
# REQUIRES: riscv
|
|
## Test that we can handle R_RISCV_ALIGN.
|
|
|
|
# RUN: rm -rf %t && mkdir %t && cd %t
|
|
|
|
# RUN: llvm-mc -filetype=obj -triple=riscv32 -mattr=+relax %s -o 32.o
|
|
# RUN: ld.lld -Ttext=0x10000 32.o -o 32
|
|
# RUN: llvm-objdump -td --no-show-raw-insn -M no-aliases 32 | FileCheck %s
|
|
## R_RISCV_ALIGN is handled regarldess of --no-relax.
|
|
# RUN: ld.lld -Ttext=0x10000 --no-relax 32.o -o 32.norelax
|
|
# RUN: llvm-objdump -td --no-show-raw-insn -M no-aliases 32.norelax | FileCheck %s
|
|
|
|
# RUN: llvm-mc -filetype=obj -triple=riscv64 -mattr=+relax %s -o 64.o
|
|
# RUN: ld.lld -Ttext=0x10000 64.o -o 64
|
|
# RUN: llvm-objdump -td --no-show-raw-insn -M no-aliases 64 | FileCheck %s
|
|
# RUN: ld.lld -Ttext=0x10000 --no-relax 64.o -o 64.norelax
|
|
# RUN: llvm-objdump -td --no-show-raw-insn -M no-aliases 64.norelax | FileCheck %s
|
|
|
|
# RUN: ld.lld -Ttext=0x10000 --gc-sections 64.o -o 64.gc
|
|
# RUN: llvm-objdump -td --no-show-raw-insn -M no-aliases 64.gc | FileCheck %s --check-prefix=GC
|
|
|
|
## -r keeps section contents unchanged.
|
|
# RUN: ld.lld -r 64.o -o 64.r
|
|
# RUN: llvm-objdump -dr --no-show-raw-insn -M no-aliases 64.r | FileCheck %s --check-prefix=CHECKR
|
|
|
|
# CHECK-DAG: 00010004 l .text {{0*}}1c a
|
|
# CHECK-DAG: 00010008 l .text {{0*}}28 b
|
|
# CHECK-DAG: 00010014 l .text {{0*}}20 c
|
|
# CHECK-DAG: 00010000 g .text {{0*}}38 _start
|
|
|
|
# CHECK: <_start>:
|
|
# CHECK-NEXT: addi a0, a0, 1
|
|
# CHECK-EMPTY:
|
|
# CHECK-NEXT: <a>:
|
|
# CHECK-NEXT: addi a0, a0, 2
|
|
# CHECK-EMPTY:
|
|
# CHECK-NEXT: <b>:
|
|
# CHECK-NEXT: addi zero, zero, 0
|
|
# CHECK-NEXT: addi zero, zero, 0
|
|
# CHECK-NEXT: 10010: addi a0, a0, 3
|
|
# CHECK-EMPTY:
|
|
# CHECK-NEXT: <c>:
|
|
# CHECK-NEXT: addi a0, a0, 4
|
|
# CHECK-NEXT: addi a0, a0, 5
|
|
# CHECK-NEXT: addi zero, zero, 0
|
|
# CHECK-NEXT: 10020: addi a0, a0, 6
|
|
# CHECK-NEXT: addi a0, a0, 7
|
|
# CHECK-NEXT: addi zero, zero, 0
|
|
# CHECK-NEXT: addi zero, zero, 0
|
|
# CHECK-NEXT: 10030: addi a0, a0, 8
|
|
# CHECK-NEXT: addi a0, a0, 9
|
|
# CHECK-EMPTY:
|
|
# CHECK: <e>:
|
|
# CHECK-NEXT: addi a0, a0, 1
|
|
# CHECK-EMPTY:
|
|
# CHECK-NEXT: <f>:
|
|
# CHECK-NEXT: 10044: addi a0, a0, 2
|
|
# CHECK-NEXT: addi zero, zero, 0
|
|
# CHECK-NEXT: addi zero, zero, 0
|
|
# CHECK-NEXT: addi zero, zero, 0
|
|
# CHECK-NEXT: addi zero, zero, 0
|
|
# CHECK-NEXT: addi zero, zero, 0
|
|
# CHECK-NEXT: addi zero, zero, 0
|
|
# CHECK-NEXT: 10060: addi a0, a0, 3
|
|
# CHECK-EMPTY:
|
|
|
|
## _start-0x10070 = 0x10000-0x10070 = -112
|
|
# CHECK: <.L1>:
|
|
# CHECK-NEXT: 10070: auipc a0, 0
|
|
# CHECK-NEXT: addi a0, a0, -112
|
|
# CHECK-NEXT: addi zero, zero, 0
|
|
# CHECK-NEXT: addi zero, zero, 0
|
|
# CHECK-NEXT: auipc a0, 0
|
|
# CHECK-NEXT: addi a0, a0, -112
|
|
# CHECK-EMPTY:
|
|
|
|
# GC-DAG: 00010004 l .text {{0*}}1c a
|
|
# GC-DAG: 00010008 l .text {{0*}}28 b
|
|
# GC-DAG: 00010014 l .text {{0*}}20 c
|
|
# GC-DAG: 00010000 g .text {{0*}}38 _start
|
|
# GC: <_start>:
|
|
# GC-NOT: <d>:
|
|
|
|
# CHECKR: <_start>:
|
|
# CHECKR-NEXT: addi a0, a0, 1
|
|
# CHECKR-EMPTY:
|
|
# CHECKR-NEXT: <a>:
|
|
# CHECKR-NEXT: addi a0, a0, 2
|
|
# CHECKR-EMPTY:
|
|
# CHECKR-NEXT: <b>:
|
|
# CHECKR-NEXT: addi zero, zero, 0
|
|
# CHECKR-NEXT: 0000000000000008: R_RISCV_ALIGN *ABS*+0xc
|
|
# CHECKR-NEXT: addi zero, zero, 0
|
|
# CHECKR-NEXT: addi zero, zero, 0
|
|
# CHECKR-NEXT: addi a0, a0, 3
|
|
# CHECKR-EMPTY:
|
|
# CHECKR-NEXT: <c>:
|
|
# CHECKR-NEXT: addi a0, a0, 4
|
|
# CHECKR-NEXT: addi a0, a0, 5
|
|
# CHECKR-NEXT: addi zero, zero, 0
|
|
# CHECKR-NEXT: 0000000000000020: R_RISCV_ALIGN *ABS*+0x1c
|
|
# CHECKR-NEXT: addi zero, zero, 0
|
|
# CHECKR-NEXT: addi zero, zero, 0
|
|
# CHECKR-NEXT: addi zero, zero, 0
|
|
# CHECKR-NEXT: addi zero, zero, 0
|
|
# CHECKR-NEXT: addi zero, zero, 0
|
|
# CHECKR-NEXT: addi zero, zero, 0
|
|
# CHECKR-NEXT: addi a0, a0, 6
|
|
# CHECKR-NEXT: addi a0, a0, 7
|
|
# CHECKR-NEXT: addi zero, zero, 0
|
|
# CHECKR-NEXT: 0000000000000044: R_RISCV_ALIGN *ABS*+0xc
|
|
# CHECKR-NEXT: addi zero, zero, 0
|
|
# CHECKR-NEXT: addi zero, zero, 0
|
|
# CHECKR-NEXT: addi a0, a0, 8
|
|
# CHECKR-NEXT: addi a0, a0, 9
|
|
|
|
.global _start
|
|
_start:
|
|
addi a0, a0, 1
|
|
a:
|
|
addi a0, a0, 2
|
|
b:
|
|
.balign 16
|
|
addi a0, a0, 3
|
|
c:
|
|
addi a0, a0, 4
|
|
addi a0, a0, 5
|
|
.balign 32
|
|
.size a, . - a
|
|
addi a0, a0, 6
|
|
addi a0, a0, 7
|
|
.balign 16
|
|
.size b, . - b
|
|
addi a0, a0, 8
|
|
.size c, . - c
|
|
addi a0, a0, 9
|
|
.size _start, . - _start
|
|
|
|
## Test another text section.
|
|
.section .text2,"ax",@progbits
|
|
d:
|
|
e:
|
|
.balign 8
|
|
addi a0, a0, 1
|
|
f:
|
|
addi a0, a0, 2
|
|
.balign 32
|
|
.size d, . - d
|
|
addi a0, a0, 3
|
|
.size e, . - e
|
|
.size f, . - f
|
|
|
|
## Test that matching HI20 can be found despite deleted bytes.
|
|
.section .pcrel,"ax",@progbits
|
|
.L1:
|
|
auipc a0, %pcrel_hi(_start)
|
|
addi a0, a0, %pcrel_lo(.L1)
|
|
.balign 16
|
|
.L2:
|
|
auipc a0, %pcrel_hi(_start)
|
|
addi a0, a0, %pcrel_lo(.L1)
|