mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-24 03:33:20 +01:00
be0ced1166
Summary:
This is much closer to the way MIPS relocation expressions work
(%hi(foo + 2) rather than %hi(foo) + 2) and removes the need for the
various bodges in MipsAsmParser::evaluateRelocExpr().
Removing those bodges ensures that the constant stored in MCValue is the
full 32 or 64-bit (depending on ABI) offset from the symbol. This will be used
to correct the %hi/%lo matching needed to sort the relocation table correctly.
As part of this:
* Gave MCExpr::print() the ability to omit parenthesis when emitting a
symbol reference inside a MipsMCExpr operator like %hi(X). Without this
we print things like %lo(($L1)).
* %hi(%neg(%gprel(X))) is now three MipsMCExpr's instead of one. Most of
the related special cases have been removed or moved to MipsMCExpr. We
can remove the rest as we gain support for the less common relocations
when they are not part of this specific combination.
* Renamed MipsMCExpr::VariantKind and the enum prefix ('VK_') to avoid confusion
with MCSymbolRefExpr::VariantKind and its prefix (also 'VK_').
* fixup_Mips_GOT_Local and fixup_Mips_GOT_Global were found to be identical
and merged into fixup_Mips_GOT.
* MO_GOT16 and MO_GOT turned out to be identical and have been merged into
MO_GOT.
* VK_Mips_GOT and VK_Mips_GOT16 turned out to be the same thing so they
have been merged into MEK_GOT
Reviewers: sdardis
Subscribers: dsanders, sdardis, llvm-commits
Differential Revision: http://reviews.llvm.org/D19716
llvm-svn: 268379
112 lines
5.4 KiB
ArmAsm
112 lines
5.4 KiB
ArmAsm
# RUN: llvm-mc %s -triple=mipsel-unknown-linux -show-encoding \
|
|
# RUN: -mattr=micromips | FileCheck %s -check-prefix=CHECK-FIXUP
|
|
# RUN: llvm-mc %s -filetype=obj -triple=mipsel-unknown-linux \
|
|
# RUN: -mattr=micromips | llvm-readobj -r \
|
|
# RUN: | FileCheck %s -check-prefix=CHECK-ELF
|
|
#------------------------------------------------------------------------------
|
|
# Check that the assembler can handle the documented syntax
|
|
# for relocations.
|
|
#------------------------------------------------------------------------------
|
|
# CHECK-FIXUP: lui $2, %hi(_gp_disp)
|
|
# CHECK-FIXUP: # encoding: [0xa2'A',0x41'A',0x00,0x00]
|
|
# CHECK-FIXUP: # fixup A - offset: 0,
|
|
# CHECK-FIXUP: value: %hi(_gp_disp),
|
|
# CHECK-FIXUP: kind: fixup_MICROMIPS_HI16
|
|
# CHECK-FIXUP: addiu $2, $2, %lo(_gp_disp)
|
|
# CHECK-FIXUP: # encoding: [0x42'A',0x30'A',0x00,0x00]
|
|
# CHECK-FIXUP: # fixup A - offset: 0,
|
|
# CHECK-FIXUP: value: %lo(_gp_disp),
|
|
# CHECK-FIXUP: kind: fixup_MICROMIPS_LO16
|
|
# CHECK-FIXUP: lw $25, %call16(strchr)($gp)
|
|
# CHECK-FIXUP: # encoding: [0x3c'A',0xff'A',0x00,0x00]
|
|
# CHECK-FIXUP: # fixup A - offset: 0,
|
|
# CHECK-FIXUP: value: %call16(strchr),
|
|
# CHECK-FIXUP: kind: fixup_MICROMIPS_CALL16
|
|
# CHECK-FIXUP: lw $3, %got(loop_1)($2)
|
|
# CHECK-FIXUP: # encoding: [0x62'A',0xfc'A',0x00,0x00]
|
|
# CHECK-FIXUP: # fixup A - offset: 0,
|
|
# CHECK-FIXUP: value: %got(loop_1),
|
|
# CHECK-FIXUP: kind: fixup_MICROMIPS_GOT16
|
|
# CHECK-FIXUP: lui $2, %dtprel_hi(_gp_disp)
|
|
# CHECK-FIXUP: # encoding: [0xa2'A',0x41'A',0x00,0x00]
|
|
# CHECK-FIXUP: # fixup A - offset: 0,
|
|
# CHECK-FIXUP: value: %dtprel_hi(_gp_disp),
|
|
# CHECK-FIXUP: kind: fixup_MICROMIPS_TLS_DTPREL_HI16
|
|
# CHECK-FIXUP: addiu $2, $2, %dtprel_lo(_gp_disp)
|
|
# CHECK-FIXUP: # encoding: [0x42'A',0x30'A',0x00,0x00]
|
|
# CHECK-FIXUP: # fixup A - offset: 0,
|
|
# CHECK-FIXUP: value: %dtprel_lo(_gp_disp),
|
|
# CHECK-FIXUP: kind: fixup_MICROMIPS_TLS_DTPREL_LO16
|
|
# CHECK-FIXUP: lw $3, %got(loop_1)($2)
|
|
# CHECK-FIXUP: # encoding: [0x62'A',0xfc'A',0x00,0x00]
|
|
# CHECK-FIXUP: # fixup A - offset: 0,
|
|
# CHECK-FIXUP: value: %got(loop_1),
|
|
# CHECK-FIXUP: kind: fixup_MICROMIPS_GOT16
|
|
# CHECK-FIXUP: lw $4, %got_disp(loop_2)($3)
|
|
# CHECK-FIXUP: # encoding: [0x83'A',0xfc'A',0x00,0x00]
|
|
# CHECK-FIXUP: # fixup A - offset: 0,
|
|
# CHECK-FIXUP: value: %got_disp(loop_2),
|
|
# CHECK-FIXUP: kind: fixup_MICROMIPS_GOT_DISP
|
|
# CHECK-FIXUP: lw $5, %got_page(loop_3)($4)
|
|
# CHECK-FIXUP: # encoding: [0xa4'A',0xfc'A',0x00,0x00]
|
|
# CHECK-FIXUP: # fixup A - offset: 0,
|
|
# CHECK-FIXUP: value: %got_page(loop_3),
|
|
# CHECK-FIXUP: kind: fixup_MICROMIPS_GOT_PAGE
|
|
# CHECK-FIXUP: lw $6, %got_ofst(loop_4)($5)
|
|
# CHECK-FIXUP: # encoding: [0xc5'A',0xfc'A',0x00,0x00]
|
|
# CHECK-FIXUP: # fixup A - offset: 0,
|
|
# CHECK-FIXUP: value: %got_ofst(loop_4),
|
|
# CHECK-FIXUP: kind: fixup_MICROMIPS_GOT_OFST
|
|
# CHECK-FIXUP: lui $2, %tprel_hi(_gp_disp)
|
|
# CHECK-FIXUP: # encoding: [0xa2'A',0x41'A',0x00,0x00]
|
|
# CHECK-FIXUP: # fixup A - offset: 0,
|
|
# CHECK-FIXUP: value: %tprel_hi(_gp_disp),
|
|
# CHECK-FIXUP: kind: fixup_MICROMIPS_TLS_TPREL_HI16
|
|
# CHECK-FIXUP: addiu $2, $2, %tprel_lo(_gp_disp)
|
|
# CHECK-FIXUP: # encoding: [0x42'A',0x30'A',0x00,0x00]
|
|
# CHECK-FIXUP: # fixup A - offset: 0,
|
|
# CHECK-FIXUP: value: %tprel_lo(_gp_disp),
|
|
# CHECK-FIXUP: kind: fixup_MICROMIPS_TLS_TPREL_LO16
|
|
# CHECK-FIXUP: addiu $4, $gp, %tlsgd(a)
|
|
# CHECK-FIXUP: # encoding: [0x9c'A',0x30'A',0x00,0x00]
|
|
# CHECK-FIXUP: # fixup A - offset: 0,
|
|
# CHECK-FIXUP: value: %tlsgd(a), kind: fixup_MICROMIPS_TLS_GD
|
|
# CHECK-FIXUP: addiu $4, $gp, %tlsldm(f.i)
|
|
# CHECK-FIXUP: # encoding: [0x9c'A',0x30'A',0x00,0x00]
|
|
# CHECK-FIXUP: # fixup A - offset: 0,
|
|
# CHECK-FIXUP: value: %tlsldm(f.i), kind: fixup_MICROMIPS_TLS_LDM
|
|
#------------------------------------------------------------------------------
|
|
# Check that the appropriate relocations were created.
|
|
#------------------------------------------------------------------------------
|
|
# CHECK-ELF: Relocations [
|
|
# CHECK-ELF: 0x{{[0-9,A-F]+}} R_MICROMIPS_HI16
|
|
# CHECK-ELF: 0x{{[0-9,A-F]+}} R_MICROMIPS_LO16
|
|
# CHECK-ELF: 0x{{[0-9,A-F]+}} R_MICROMIPS_CALL16
|
|
# CHECK-ELF: 0x{{[0-9,A-F]+}} R_MICROMIPS_GOT16
|
|
# CHECK-ELF: 0x{{[0-9,A-F]+}} R_MICROMIPS_TLS_DTPREL_HI16
|
|
# CHECK-ELF: 0x{{[0-9,A-F]+}} R_MICROMIPS_TLS_DTPREL_LO16
|
|
# CHECK-ELF: 0x{{[0-9,A-F]+}} R_MICROMIPS_GOT16
|
|
# CHECK-ELF: 0x{{[0-9,A-F]+}} R_MICROMIPS_GOT_DISP
|
|
# CHECK-ELF: 0x{{[0-9,A-F]+}} R_MICROMIPS_GOT_PAGE
|
|
# CHECK-ELF: 0x{{[0-9,A-F]+}} R_MICROMIPS_GOT_OFST
|
|
# CHECK-ELF: 0x{{[0-9,A-F]+}} R_MICROMIPS_TLS_TPREL_HI16
|
|
# CHECK-ELF: 0x{{[0-9,A-F]+}} R_MICROMIPS_TLS_TPREL_LO16
|
|
# CHECK-ELF: 0x{{[0-9,A-F]+}} R_MICROMIPS_TLS_GD
|
|
# CHECK-ELF: 0x{{[0-9,A-F]+}} R_MICROMIPS_TLS_LDM
|
|
# CHECK-ELF: ]
|
|
|
|
lui $2, %hi(_gp_disp)
|
|
addiu $2, $2, %lo(_gp_disp)
|
|
lw $25, %call16(strchr)($gp)
|
|
lw $3, %got(loop_1)($2)
|
|
lui $2, %dtprel_hi(_gp_disp)
|
|
addiu $2, $2, %dtprel_lo(_gp_disp)
|
|
lw $3, %got(loop_1)($2)
|
|
lw $4, %got_disp(loop_2)($3)
|
|
lw $5, %got_page(loop_3)($4)
|
|
lw $6, %got_ofst(loop_4)($5)
|
|
lui $2, %tprel_hi(_gp_disp)
|
|
addiu $2, $2, %tprel_lo(_gp_disp)
|
|
addiu $4, $gp, %tlsgd(a)
|
|
addiu $4, $gp, %tlsldm(f.i)
|