From ef713e27b1b9f685adc1ae35526d92c6ad0324e5 Mon Sep 17 00:00:00 2001 From: Zoran Jovanovic Date: Thu, 24 Oct 2013 10:55:00 +0000 Subject: [PATCH] Added tests for microMIPS relocations 1. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193332 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/MC/Mips/micromips-expansions.s | 57 ++++++++++++++++ test/MC/Mips/micromips-expressions.s | 35 ++++++++++ test/MC/Mips/micromips-relocations.s | 99 ++++++++++++++++++++++++++++ 3 files changed, 191 insertions(+) create mode 100644 test/MC/Mips/micromips-expansions.s create mode 100644 test/MC/Mips/micromips-expressions.s create mode 100644 test/MC/Mips/micromips-relocations.s diff --git a/test/MC/Mips/micromips-expansions.s b/test/MC/Mips/micromips-expansions.s new file mode 100644 index 00000000000..af4d3b57900 --- /dev/null +++ b/test/MC/Mips/micromips-expansions.s @@ -0,0 +1,57 @@ +# RUN: llvm-mc %s -triple=mipsel-unknown-linux -show-encoding \ +# RUN: -mcpu=mips32r2 -mattr=micromips | FileCheck %s +# Check that the assembler can handle the documented syntax +# for macro instructions +#------------------------------------------------------------------------------ +# Load immediate instructions +#------------------------------------------------------------------------------ +# CHECK: ori $5, $zero, 123 # encoding: [0xa0,0x50,0x7b,0x00] +# CHECK: addiu $6, $zero, -2345 # encoding: [0xc0,0x30,0xd7,0xf6] +# CHECK: lui $7, 1 # encoding: [0xa7,0x41,0x01,0x00] +# CHECK: ori $7, $7, 2 # encoding: [0xe7,0x50,0x02,0x00] +# CHECK: addiu $4, $zero, 20 # encoding: [0x80,0x30,0x14,0x00] +# CHECK: lui $7, 1 # encoding: [0xa7,0x41,0x01,0x00] +# CHECK: ori $7, $7, 2 # encoding: [0xe7,0x50,0x02,0x00] +# CHECK: addiu $4, $5, 20 # encoding: [0x85,0x30,0x14,0x00] +# CHECK: lui $7, 1 # encoding: [0xa7,0x41,0x01,0x00] +# CHECK: ori $7, $7, 2 # encoding: [0xe7,0x50,0x02,0x00] +# CHECK: addu $7, $7, $8 # encoding: [0x07,0x01,0x50,0x39] +# CHECK: lui $10, %hi(symbol) # encoding: [0xaa'A',0x41'A',0x00,0x00] +# CHECK: # fixup A - offset: 0, +# CHECK: value: symbol@ABS_HI, +# CHECK: kind: fixup_MICROMIPS_HI16 +# CHECK: addu $10, $10, $4 # encoding: [0x8a,0x00,0x50,0x51] +# CHECK: lw $10, %lo(symbol)($10) # encoding: [0x4a'A',0xfd'A',0x00,0x00] +# CHECK: # fixup A - offset: 0, +# CHECK: value: symbol@ABS_LO, +# CHECK: kind: fixup_MICROMIPS_LO16 +# CHECK: lui $1, %hi(symbol) # encoding: [0xa1'A',0x41'A',0x00,0x00] +# CHECK: # fixup A - offset: 0, +# CHECK: value: symbol@ABS_HI, +# CHECK: kind: fixup_MICROMIPS_HI16 +# CHECK: addu $1, $1, $9 # encoding: [0x21,0x01,0x50,0x09] +# CHECK: sw $10, %lo(symbol)($1) # encoding: [0x41'A',0xf9'A',0x00,0x00] +# CHECK: # fixup A - offset: 0, +# CHECK: value: symbol@ABS_LO, +# CHECK: kind: fixup_MICROMIPS_LO16 +# CHECK: lui $10, 10 # encoding: [0xaa,0x41,0x0a,0x00] +# CHECK: addu $10, $10, $4 # encoding: [0x8a,0x00,0x50,0x51] +# CHECK: lw $10, 123($10) # encoding: [0x4a,0xfd,0x7b,0x00] +# CHECK: lui $1, 2 # encoding: [0xa1,0x41,0x02,0x00] +# CHECK: addu $1, $1, $9 # encoding: [0x21,0x01,0x50,0x09] +# CHECK: sw $10, 57920($1) # encoding: [0x41,0xf9,0x40,0xe2] + + li $5,123 + li $6,-2345 + li $7,65538 + + la $a0, 20 + la $7,65538 + la $a0, 20($a1) + la $7,65538($8) + + lw $t2, symbol($a0) + sw $t2, symbol($t1) + + lw $t2, 655483($a0) + sw $t2, 123456($t1) diff --git a/test/MC/Mips/micromips-expressions.s b/test/MC/Mips/micromips-expressions.s new file mode 100644 index 00000000000..509e98072bb --- /dev/null +++ b/test/MC/Mips/micromips-expressions.s @@ -0,0 +1,35 @@ +# RUN: llvm-mc %s -triple=mipsel-unknown-linux -show-encoding \ +# RUN: -mcpu=mips32r2 -mattr=micromips | FileCheck %s +# Check that the assembler can handle the expressions as operands. +# CHECK: .text +# CHECK: .globl foo +# CHECK: foo: +# CHECK: lw $4, %lo(foo)($4) # encoding: [0x84'A',0xfc'A',0x00,0x00] +# CHECK: # fixup A - offset: 0, +# CHECK: value: foo@ABS_LO, +# CHECK: kind: fixup_MICROMIPS_LO16 +# CHECK: lw $4, 56($4) # encoding: [0x84,0xfc,0x38,0x00] +# CHECK: lw $4, %lo(foo+8)($4) # encoding: [0x84'A',0xfc'A',0x08,0x00] +# CHECK: # fixup A - offset: 0, +# CHECK: value: foo@ABS_LO, +# CHECK: kind: fixup_MICROMIPS_LO16 +# CHECK: lw $4, %lo(foo+8)($4) # encoding: [0x84'A',0xfc'A',0x08,0x00] +# CHECK: # fixup A - offset: 0, +# CHECK: value: foo@ABS_LO, +# CHECK: kind: fixup_MICROMIPS_LO16 +# CHECK: lw $4, %lo(foo+8)($4) # encoding: [0x84'A',0xfc'A',0x08,0x00] +# CHECK: # fixup A - offset: 0, +# CHECK: value: foo@ABS_LO, +# CHECK: kind: fixup_MICROMIPS_LO16 +# CHECK: .space 64 + + .globl foo + .ent foo +foo: + lw $4,%lo(foo)($4) + lw $4,((10 + 4) * 4)($4) + lw $4,%lo (2 * 4) + foo($4) + lw $4,%lo((2 * 4) + foo)($4) + lw $4,(((%lo ((2 * 4) + foo))))($4) + .space 64 + .end foo diff --git a/test/MC/Mips/micromips-relocations.s b/test/MC/Mips/micromips-relocations.s new file mode 100644 index 00000000000..804dd2f595f --- /dev/null +++ b/test/MC/Mips/micromips-relocations.s @@ -0,0 +1,99 @@ +# 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: _gp_disp@ABS_HI, +# 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: _gp_disp@ABS_LO, +# 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: strchr@GOT_CALL, +# 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: loop_1@GOT, +# 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: _gp_disp@DTPREL_HI, +# 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: _gp_disp@DTPREL_LO, +# 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: loop_1@GOT, +# 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: loop_2@GOT_DISP, +# 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: loop_3@GOT_PAGE, +# 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: loop_4@GOT_OFST, +# 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: _gp_disp@TPREL_HI, +# 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: _gp_disp@TPREL_LO, +# CHECK-FIXUP: kind: fixup_MICROMIPS_TLS_TPREL_LO16 +#------------------------------------------------------------------------------ +# 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: ] + + 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)