| # RUN: llvm-mc -filetype=obj -triple riscv32 -mattr=+relax < %s \ |
| # RUN: | llvm-readobj -r | FileCheck -check-prefix=RELAX-RELOC %s |
| # RUN: llvm-mc -filetype=obj -triple riscv32 -mattr=-relax < %s \ |
| # RUN: | llvm-readobj -r | FileCheck -check-prefix=NORELAX-RELOC %s |
| # RUN: llvm-mc -triple riscv32 -mattr=+relax < %s -show-encoding \ |
| # RUN: | FileCheck -check-prefix=RELAX-FIXUP %s |
| # RUN: llvm-mc -filetype=obj -triple riscv64 -mattr=+relax < %s \ |
| # RUN: | llvm-readobj -r | FileCheck -check-prefix=RELAX-RELOC %s |
| # RUN: llvm-mc -filetype=obj -triple riscv64 -mattr=-relax < %s \ |
| # RUN: | llvm-readobj -r | FileCheck -check-prefix=NORELAX-RELOC %s |
| # RUN: llvm-mc -triple riscv64 -mattr=+relax < %s -show-encoding \ |
| # RUN: | FileCheck -check-prefix=RELAX-FIXUP %s |
| |
| .long foo |
| |
| call foo |
| # NORELAX-RELOC: R_RISCV_CALL foo 0x0 |
| # NORELAX-RELOC-NOT: R_RISCV_RELAX |
| # RELAX-RELOC: R_RISCV_CALL foo 0x0 |
| # RELAX-RELOC: R_RISCV_RELAX - 0x0 |
| # RELAX-FIXUP: fixup A - offset: 0, value: foo, kind: fixup_riscv_call |
| # RELAX-FIXUP: fixup B - offset: 0, value: 0, kind: fixup_riscv_relax |
| |
| lui t1, %hi(foo) |
| # NORELAX-RELOC: R_RISCV_HI20 foo 0x0 |
| # NORELAX-RELOC-NOT: R_RISCV_RELAX |
| # RELAX-RELOC: R_RISCV_HI20 foo 0x0 |
| # RELAX-RELOC: R_RISCV_RELAX - 0x0 |
| # RELAX-FIXUP: fixup A - offset: 0, value: %hi(foo), kind: fixup_riscv_hi20 |
| # RELAX-FIXUP: fixup B - offset: 0, value: 0, kind: fixup_riscv_relax |
| |
| addi t1, t1, %lo(foo) |
| # NORELAX-RELOC: R_RISCV_LO12_I foo 0x0 |
| # NORELAX-RELOC-NOT: R_RISCV_RELAX |
| # RELAX-RELOC: R_RISCV_LO12_I foo 0x0 |
| # RELAX-RELOC: R_RISCV_RELAX - 0x0 |
| # RELAX-FIXUP: fixup A - offset: 0, value: %lo(foo), kind: fixup_riscv_lo12_i |
| # RELAX-FIXUP: fixup B - offset: 0, value: 0, kind: fixup_riscv_relax |
| |
| sb t1, %lo(foo)(a2) |
| # NORELAX-RELOC: R_RISCV_LO12_S foo 0x0 |
| # NORELAX-RELOC-NOT: R_RISCV_RELAX |
| # RELAX-RELOC: R_RISCV_LO12_S foo 0x0 |
| # RELAX-RELOC: R_RISCV_RELAX - 0x0 |
| # RELAX-FIXUP: fixup A - offset: 0, value: %lo(foo), kind: fixup_riscv_lo12_s |
| # RELAX-FIXUP: fixup B - offset: 0, value: 0, kind: fixup_riscv_relax |
| |
| auipc t1, %pcrel_hi(foo) |
| # NORELAX-RELOC: R_RISCV_PCREL_HI20 foo 0x0 |
| # NORELAX-RELOC-NOT: R_RISCV_RELAX |
| # RELAX-RELOC: R_RISCV_PCREL_HI20 foo 0x0 |
| # RELAX-RELOC: R_RISCV_RELAX - 0x0 |
| # RELAX-FIXUP: fixup A - offset: 0, value: %pcrel_hi(foo), kind: fixup_riscv_pcrel_hi20 |
| # RELAX-FIXUP: fixup B - offset: 0, value: 0, kind: fixup_riscv_relax |
| |
| addi t1, t1, %pcrel_lo(foo) |
| # NORELAX-RELOC: R_RISCV_PCREL_LO12_I foo 0x0 |
| # NORELAX-RELOC-NOT: R_RISCV_RELAX |
| # RELAX-RELOC: R_RISCV_PCREL_LO12_I foo 0x0 |
| # RELAX-RELOC: R_RISCV_RELAX - 0x0 |
| # RELAX-FIXUP: fixup A - offset: 0, value: %pcrel_lo(foo), kind: fixup_riscv_pcrel_lo12_i |
| # RELAX-FIXUP: fixup B - offset: 0, value: 0, kind: fixup_riscv_relax |
| |
| sb t1, %pcrel_lo(foo)(a2) |
| # NORELAX-RELOC: R_RISCV_PCREL_LO12_S foo 0x0 |
| # NORELAX-RELOC-NOT: R_RISCV_RELAX |
| # RELAX-RELOC: R_RISCV_PCREL_LO12_S foo 0x0 |
| # RELAX-RELOC: R_RISCV_RELAX - 0x0 |
| # RELAX-FIXUP: fixup A - offset: 0, value: %pcrel_lo(foo), kind: fixup_riscv_pcrel_lo12_s |
| # RELAX-FIXUP: fixup B - offset: 0, value: 0, kind: fixup_riscv_relax |
| |
| |
| # Check behaviour when a locally defined symbol is referenced. |
| bar: |
| |
| beq s1, s1, bar |
| # NORELAX-RELOC-NOT: R_RISCV_BRANCH |
| # RELAX-RELOC: R_RISCV_BRANCH bar 0x0 |
| # RELAX-FIXUP: fixup A - offset: 0, value: bar, kind: fixup_riscv_branch |
| # RELAX-FIXUP-NOT: fixup B - offset: 0, value: 0, kind: fixup_riscv_relax |
| |
| call bar |
| # NORELAX-RELOC-NOT: R_RISCV_CALL |
| # NORELAX-RELOC-NOT: R_RISCV_RELAX |
| # RELAX-RELOC: R_RISCV_CALL bar 0x0 |
| # RELAX-RELOC: R_RISCV_RELAX - 0x0 |
| # RELAX-FIXUP: fixup A - offset: 0, value: bar, kind: fixup_riscv_call |
| # RELAX-FIXUP: fixup B - offset: 0, value: 0, kind: fixup_riscv_relax |
| |
| lui t1, %hi(bar) |
| # NORELAX-RELOC: R_RISCV_HI20 bar 0x0 |
| # NORELAX-RELOC-NOT: R_RISCV_RELAX |
| # RELAX-RELOC: R_RISCV_HI20 bar 0x0 |
| # RELAX-RELOC: R_RISCV_RELAX - 0x0 |
| # RELAX-FIXUP: fixup A - offset: 0, value: %hi(bar), kind: fixup_riscv_hi20 |
| # RELAX-FIXUP: fixup B - offset: 0, value: 0, kind: fixup_riscv_relax |
| |
| addi t1, t1, %lo(bar) |
| # NORELAX-RELOC: R_RISCV_LO12_I bar 0x0 |
| # NORELAX-RELOC-NOT: R_RISCV_RELAX |
| # RELAX-RELOC: R_RISCV_LO12_I bar 0x0 |
| # RELAX-RELOC: R_RISCV_RELAX - 0x0 |
| # RELAX-FIXUP: fixup A - offset: 0, value: %lo(bar), kind: fixup_riscv_lo12_i |
| # RELAX-FIXUP: fixup B - offset: 0, value: 0, kind: fixup_riscv_relax |
| |
| sb t1, %lo(bar)(a2) |
| # NORELAX-RELOC: R_RISCV_LO12_S bar 0x0 |
| # NORELAX-RELOC-NOT: R_RISCV_RELAX |
| # RELAX-RELOC: R_RISCV_LO12_S bar 0x0 |
| # RELAX-RELOC: R_RISCV_RELAX - 0x0 |
| # RELAX-FIXUP: fixup A - offset: 0, value: %lo(bar), kind: fixup_riscv_lo12_s |
| # RELAX-FIXUP: fixup B - offset: 0, value: 0, kind: fixup_riscv_relax |
| |
| auipc t1, %pcrel_hi(bar) |
| # NORELAX-RELOC-NOT: R_RISCV_PCREL_HI20 |
| # NORELAX-RELOC-NOT: R_RISCV_RELAX |
| # RELAX-RELOC: R_RISCV_PCREL_HI20 bar 0x0 |
| # RELAX-RELOC: R_RISCV_RELAX - 0x0 |
| # RELAX-FIXUP: fixup A - offset: 0, value: %pcrel_hi(bar), kind: fixup_riscv_pcrel_hi20 |
| # RELAX-FIXUP: fixup B - offset: 0, value: 0, kind: fixup_riscv_relax |
| |
| # TODO/FIXME: %pcrel_lo(bar) will produce an error finding the corresponding |
| # %pcrel_hi. |
| |
| #addi t1, t1, %pcrel_lo(bar) |
| #sb t1, %pcrel_lo(bar)(a2) |
