102 lines · plain
1# RUN: llvm-mc --triple=riscv32be %s --show-encoding \2# RUN: | FileCheck --check-prefixes=CHECK-FIXUP,CHECK-ENCODING %s3# RUN: llvm-mc --filetype=obj --triple=riscv32be %s \4# RUN: | llvm-objdump -d - | FileCheck --check-prefix=CHECK-INSTR %s5# RUN: llvm-mc --filetype=obj --triple=riscv32be %s \6# RUN: | llvm-readobj -r - | FileCheck --check-prefix=CHECK-REL %s7 8# RUN: llvm-mc --triple=riscv64be %s --show-encoding \9# RUN: | FileCheck --check-prefixes=CHECK-FIXUP,CHECK-ENCODING %s10# RUN: llvm-mc --filetype=obj --triple=riscv64be %s \11# RUN: | llvm-objdump -d - | FileCheck --check-prefix=CHECK-INSTR %s12# RUN: llvm-mc --filetype=obj --triple=riscv64be %s \13# RUN: | llvm-readobj -r - | FileCheck --check-prefix=CHECK-REL %s14 15## Checks that fixups that can be resolved within the same object file are16## applied correctly on big-endian RISC-V targets.17##18## This test verifies that RISC-V instructions remain little-endian even on19## big-endian systems. This is a fundamental property of RISC-V:20## - Instructions are always little-endian21## - Data can be big-endian or little-endian depending on the system22 23.LBB0:24addi t0, t0, 125# CHECK-ENCODING: encoding: [0x93,0x82,0x12,0x00]26# CHECK-INSTR: addi t0, t0, 0x127 28lui t1, %hi(val)29# CHECK-ENCODING: encoding: [0x37,0bAAAA0011,A,A]30# CHECK-FIXUP: fixup A - offset: 0, value: %hi(val), kind: fixup_riscv_hi2031# CHECK-INSTR: lui t1, 0x1234532 33lw a0, %lo(val)(t1)34# CHECK-ENCODING: encoding: [0x03,0x25,0bAAAA0011,A]35# CHECK-FIXUP: fixup A - offset: 0, value: %lo(val), kind: fixup_riscv_lo12_i36# CHECK-INSTR: lw a0, 0x678(t1)37 38addi a1, t1, %lo(val)39# CHECK-ENCODING: encoding: [0x93,0x05,0bAAAA0011,A]40# CHECK-FIXUP: fixup A - offset: 0, value: %lo(val), kind: fixup_riscv_lo12_i41# CHECK-INSTR: addi a1, t1, 0x67842 43sw a0, %lo(val)(t1)44# CHECK-ENCODING: encoding: [0x23'A',0x20'A',0xa3'A',A]45# CHECK-FIXUP: fixup A - offset: 0, value: %lo(val), kind: fixup_riscv_lo12_s46# CHECK-INSTR: sw a0, 0x678(t1)47 481:49auipc t1, %pcrel_hi(.LBB0)50# CHECK-ENCODING: encoding: [0x17,0bAAAA0011,A,A]51# CHECK-FIXUP: fixup A - offset: 0, value: %pcrel_hi(.LBB0), kind: fixup_riscv_pcrel_hi2052# CHECK-INSTR: auipc t1, 053 54addi t1, t1, %pcrel_lo(1b)55# CHECK-ENCODING: encoding: [0x13,0x03,0bAAAA0011,A]56# CHECK-FIXUP: fixup A - offset: 0, value: %pcrel_lo({{.*}}), kind: fixup_riscv_pcrel_lo12_i57# CHECK-INSTR: addi t1, t1, -0x1458 59sw t1, %pcrel_lo(1b)(t1)60# CHECK-ENCODING: encoding: [0x23'A',0x20'A',0x63'A',A]61# CHECK-FIXUP: fixup A - offset: 0, value: %pcrel_lo({{.*}}), kind: fixup_riscv_pcrel_lo12_s62# CHECK-INSTR: sw t1, -0x14(t1)63 64jal zero, .LBB065# CHECK-ENCODING: encoding: [0x6f,0bAAAA0000,A,A]66# CHECK-FIXUP: fixup A - offset: 0, value: .LBB0, kind: fixup_riscv_jal67# CHECK-INSTR: j 0x0 <.text>68 69jal zero, .LBB270# CHECK-ENCODING: encoding: [0x6f,0bAAAA0000,A,A]71# CHECK-FIXUP: fixup A - offset: 0, value: .LBB2, kind: fixup_riscv_jal72# CHECK-INSTR: j 0x50d18 <.text+0x50d18>73 74beq a0, a1, .LBB075# CHECK-ENCODING: encoding: [0x63'A',A,0xb5'A',A]76# CHECK-FIXUP: fixup A - offset: 0, value: .LBB0, kind: fixup_riscv_branch77# CHECK-INSTR: beq a0, a1, 0x0 <.text>78 79blt a0, a1, .LBB180# CHECK-ENCODING: encoding: [0x63'A',0x40'A',0xb5'A',A]81# CHECK-FIXUP: fixup A - offset: 0, value: .LBB1, kind: fixup_riscv_branch82# CHECK-INSTR: blt a0, a1, 0x480 <.text+0x480>83 84.fill 110485 86.LBB1:87 88.fill 32987689addi zero, zero, 090.LBB2:91 92.set val, 0x1234567893 94# CHECK-REL-NOT: R_RISCV95 96.data97.align 398data_label:99 .word val # On BE: 0x12345678 stored as [0x12, 0x34, 0x56, 0x78]100 .long val # On BE: 0x12345678 stored as [0x12, 0x34, 0x56, 0x78]101 .quad val # On BE: 0x0000000012345678 stored as [0x00, 0x00, 0x00, 0x00, 0x12, 0x34, 0x56, 0x78]102