From: Catherine Moore Date: Wed, 27 May 2009 14:14:42 +0000 (+0000) Subject: 2009-05-26 Catherine Moore X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ff2390383ba80b170776e9682e036943ab095d9b;p=binutils-gdb.git 2009-05-26 Catherine Moore gas/ * config/tc-mips.c (check_for_24k_errata): Remove. (md_mips_end): Remove call to check_for_24k_errata. (start_noreorder): Likewise. (s_change_sec): Likewise. (s_change_section): Likewise. (insns_between): Add 24k errata checks. (append_insn): Remove declaration and references to nhdx_24k. Remove calls to check_for_24k_errata. gas/testsuite: * eret.s, eret.d eret.l: Remove. * eret-1.s, eret-1.d: New. * eret-2.s, eret-2.d: New. * eret-3.s, eret-3.d: New. * mips.exp: Run new tests. Remove old tests. --- diff --git a/gas/ChangeLog b/gas/ChangeLog index 47b1f033827..f0cc69871a2 100644 --- a/gas/ChangeLog +++ b/gas/ChangeLog @@ -1,3 +1,14 @@ +2009-05-26 Catherine Moore + + * config/tc-mips.c (check_for_24k_errata): Remove. + (md_mips_end): Remove call to check_for_24k_errata. + (start_noreorder): Likewise. + (s_change_sec): Likewise. + (s_change_section): Likewise. + (insns_between): Add 24k errata checks. + (append_insn): Remove declaration and references to nhdx_24k. + Remove calls to check_for_24k_errata. + 2009-05-26 Nick Clifton * po/id.po: Updated Indonesian translation. diff --git a/gas/config/tc-mips.c b/gas/config/tc-mips.c index 6b8b4df0ab0..f129cb7cdbc 100644 --- a/gas/config/tc-mips.c +++ b/gas/config/tc-mips.c @@ -1792,85 +1792,6 @@ reg_lookup (char **s, unsigned int types, unsigned int *regnop) return reg >= 0; } -#define INSN_ERET 0x42000018 -#define INSN_DERET 0x4200001f - -/* Implement the ERET/DERET Errata for MIPS 24k. - - If an ERET/DERET is encountered in a noreorder block, - warn if the ERET/DERET is followed by a branch instruction. - Also warn if the ERET/DERET is the last instruction in the - noreorder block. - - IF an ERET/DERET is in a reorder block and is followed by a - branch instruction, insert a nop. */ - -static void -check_for_24k_errata (struct mips_cl_insn *insn, int eret_ndx) -{ - bfd_boolean next_insn_is_branch = FALSE; - - /* eret_ndx will be -1 for the last instruction in a section - and the ERET/DERET will be in insn, not history. */ - if (insn - && eret_ndx == -1 - && (insn->insn_opcode == INSN_ERET - || insn->insn_opcode == INSN_DERET) - && insn->noreorder_p) - { - as_warn (_("ERET and DERET must be followed by a NOP on the 24K.")); - return; - } - - if (history[eret_ndx].insn_opcode != INSN_ERET - && history[eret_ndx].insn_opcode != INSN_DERET) - return; - - if (!insn) - { - if (history[eret_ndx].noreorder_p) - as_warn (_("ERET and DERET must be followed by a NOP on the 24K.")); - return; - } - - next_insn_is_branch = ((insn->insn_opcode == INSN_ERET) - || (insn->insn_opcode == INSN_DERET) - || (insn->insn_mo->pinfo - & (INSN_UNCOND_BRANCH_DELAY - | INSN_COND_BRANCH_DELAY - | INSN_COND_BRANCH_LIKELY))); - - if (next_insn_is_branch && history[eret_ndx].noreorder_p) - { - as_warn (_("ERET and DERET must be followed by a NOP on the 24K.")); - return; - } - - /* Emit nop if the next instruction is a branch. */ - if (next_insn_is_branch) - { - long nop_where, br_where; - struct frag *nop_frag, *br_frag; - struct mips_cl_insn br_insn, nop_insn; - - emit_nop (); - - nop_insn = history[eret_ndx - 1]; - nop_frag = history[eret_ndx - 1].frag; - nop_where = history[eret_ndx - 1].where; - - br_insn = history[eret_ndx]; - br_frag = history[eret_ndx].frag; - br_where = history[eret_ndx].where; - - move_insn (&nop_insn, br_frag, br_where); - move_insn (&br_insn, nop_frag, nop_where); - - history[eret_ndx-1] = br_insn; - history[eret_ndx] = nop_insn; - } -} - /* Return TRUE if opcode MO is valid on the currently selected ISA and architecture. If EXPANSIONP is TRUE then this check is done while expanding a macro. Use is_opcode_valid_16 for MIPS16 opcodes. */ @@ -2156,9 +2077,6 @@ md_begin (void) void md_mips_end (void) { - if (mips_fix_24k) - check_for_24k_errata ((struct mips_cl_insn *) &history[0], -1); - if (! ECOFF_DEBUGGING) md_obj_end (); } @@ -2536,6 +2454,9 @@ classify_vr4120_insn (const char *name) return NUM_FIX_VR4120_CLASSES; } +#define INSN_ERET 0x42000018 +#define INSN_DERET 0x4200001f + /* Return the number of instructions that must separate INSN1 and INSN2, where INSN1 is the earlier instruction. Return the worst-case value for any INSN2 if INSN2 is null. */ @@ -2573,6 +2494,24 @@ insns_between (const struct mips_cl_insn *insn1, && INSN2_USES_REG (EXTRACT_OPERAND (RD, *insn1), MIPS_GR_REG)) return 2; + /* If we're working around 24K errata, one instruction is required + if an ERET or DERET is followed by a branch instruction. */ + if (mips_fix_24k) + { + if (insn1->insn_opcode == INSN_ERET + || insn1->insn_opcode == INSN_DERET) + { + if (insn2 == NULL + || insn2->insn_opcode == INSN_ERET + || insn2->insn_opcode == INSN_DERET + || (insn2->insn_mo->pinfo + & (INSN_UNCOND_BRANCH_DELAY + | INSN_COND_BRANCH_DELAY + | INSN_COND_BRANCH_LIKELY)) != 0) + return 1; + } + } + /* If working around VR4120 errata, check for combinations that need a single intervening instruction. */ if (mips_fix_vr4120) @@ -2789,7 +2728,6 @@ append_insn (struct mips_cl_insn *ip, expressionS *address_expr, bfd_reloc_code_real_type *reloc_type) { unsigned long prev_pinfo, pinfo; - int hndx_24k = 0; relax_stateT prev_insn_frag_type = 0; bfd_boolean relaxed_branch = FALSE; segment_info_type *si = seg_info (now_seg); @@ -3347,8 +3285,6 @@ append_insn (struct mips_cl_insn *ip, expressionS *address_expr, slot, and bump the destination address. */ insert_into_history (0, 1, ip); emit_nop (); - if (mips_fix_24k) - hndx_24k++; } if (mips_relax.sequence) @@ -3389,11 +3325,6 @@ append_insn (struct mips_cl_insn *ip, expressionS *address_expr, insn information. */ if (pinfo & INSN_UNCOND_BRANCH_DELAY) { - /* Check for eret/deret before clearing history. */ - if (mips_fix_24k) - check_for_24k_errata ( - (struct mips_cl_insn *) &history[hndx_24k], - hndx_24k+1); mips_no_prev_insn (); } } @@ -3405,8 +3336,6 @@ append_insn (struct mips_cl_insn *ip, expressionS *address_expr, the next instruction. */ insert_into_history (0, 1, ip); emit_nop (); - if (mips_fix_24k) - hndx_24k++; } else insert_into_history (0, 1, ip); @@ -3414,10 +3343,6 @@ append_insn (struct mips_cl_insn *ip, expressionS *address_expr, else insert_into_history (0, 1, ip); - if (mips_fix_24k) - check_for_24k_errata ((struct mips_cl_insn *) &history[hndx_24k], - hndx_24k+1); - /* We just output an insn, so the next one doesn't have a label. */ mips_clear_insn_labels (); } @@ -3504,8 +3429,6 @@ start_noreorder (void) static void end_noreorder (void) { - if (mips_fix_24k) - check_for_24k_errata (NULL, 0); mips_opts.noreorder--; if (mips_opts.noreorder == 0 && prev_nop_frag != NULL) @@ -12588,9 +12511,6 @@ s_change_sec (int sec) mips_emit_delays (); - if (mips_fix_24k) - check_for_24k_errata ((struct mips_cl_insn *) &history[0], -1); - switch (sec) { case 't': @@ -12649,9 +12569,6 @@ s_change_section (int ignore ATTRIBUTE_UNUSED) if (!IS_ELF) return; - if (mips_fix_24k) - check_for_24k_errata ((struct mips_cl_insn *) &history[0], -1); - section_name = input_line_pointer; c = get_symbol_end (); if (c) diff --git a/gas/testsuite/ChangeLog b/gas/testsuite/ChangeLog index 28434ca99da..76507cd7721 100644 --- a/gas/testsuite/ChangeLog +++ b/gas/testsuite/ChangeLog @@ -1,3 +1,16 @@ +2009-05-26 Catherine Moore + + * gas/mips/eret.s: Remove. + * gas/mips/ eret.d: Remove. + * gas/mips/eret.l: Remove. + * gas/mips/eret-1.s: New. + * gas/mips/eret-1.d: New. + * gas/mips/eret-2.s: New. + * gas/mips/eret-2.d: New. + * gas/mips/eret-3.s: New. + * gas/mips/eret-3.d: New. + * gas/mips/mips.exp: Run new tests. Remove old tests. + 2009-05-23 Richard Sandiford * gas/mips/vr4130.s, gas/mips/vr4130.d: Expect part A to have nops. diff --git a/gas/testsuite/gas/mips/eret-1.d b/gas/testsuite/gas/mips/eret-1.d new file mode 100644 index 00000000000..1171d2d1f08 --- /dev/null +++ b/gas/testsuite/gas/mips/eret-1.d @@ -0,0 +1,41 @@ +#objdump: -d +#name: MIPS eret-1 disassembly +#as: -mfix-24k -march=24kc --no-warn + +.*\.o: file format .*mips.* + +Disassembly of section \.text: + +00000000 <\.text>: + 0: 240c0000 li t4,0 + 4: 42000018 eret + 8: 00000000 nop + c: 10000003 b 0x1c + 10: 00000000 nop + 14: 240a0003 li t2,3 + 18: 42000018 eret + 1c: 24040000 li a0,0 + 20: 4200001f deret + 24: 00000000 nop + 28: 116afffa beq t3,t2,0x14 + 2c: 00000000 nop + 30: 4200001f deret + 34: 00000000 nop + 38: 42000018 eret + 3c: 00000000 nop + 40: 42000018 eret + 44: 00000000 nop + 48: 1000fff4 b 0x1c + 4c: 00000000 nop + 50: 240c0004 li t4,4 + 54: 4200001f deret + 58: 240c0003 li t4,3 + 5c: 42000018 eret + 60: 10000005 b 0x78 + 64: 240c0003 li t4,3 + 68: 42000018 eret + 6c: 00000000 nop + 70: 10000001 b 0x78 + 74: 240c0003 li t4,3 + 78: 240c0003 li t4,3 + 7c: 42000018 eret diff --git a/gas/testsuite/gas/mips/eret-1.s b/gas/testsuite/gas/mips/eret-1.s new file mode 100644 index 00000000000..081d01ef921 --- /dev/null +++ b/gas/testsuite/gas/mips/eret-1.s @@ -0,0 +1,27 @@ + .text + li $t4, 0 + eret + b 2f +1: li $t2, 3 + eret +2: li $a0, 0 + deret + beq $t3,$t2,1b + deret + eret + eret + b 2b + + .set noreorder + li $t4, 4 + deret + li $t4, 3 + eret + b 1f + li $t4, 3 + eret + nop + b 1f + li $t4, 3 +1: li $t4, 3 + eret diff --git a/gas/testsuite/gas/mips/eret-2.d b/gas/testsuite/gas/mips/eret-2.d new file mode 100644 index 00000000000..3b8e4afc07f --- /dev/null +++ b/gas/testsuite/gas/mips/eret-2.d @@ -0,0 +1,16 @@ +#objdump: -d +#name: MIPS eret-2 disassembly +#as: -mfix-24k -march=24kc --no-warn + +.*\.o: file format .*mips.* + +Disassembly of section \.text: + +00000000 <\.text>: + 0: 42000018 eret + 4: 00000000 nop + 8: 1000fffd b 0x0 + c: 00000000 nop + 10: 42000018 eret + 14: 00000000 nop + 18: 1000fffd b 0x10 diff --git a/gas/testsuite/gas/mips/eret-2.s b/gas/testsuite/gas/mips/eret-2.s new file mode 100644 index 00000000000..4c15f2107b1 --- /dev/null +++ b/gas/testsuite/gas/mips/eret-2.s @@ -0,0 +1,9 @@ + .set noreorder +1: eret + .set reorder + b 1b + +1: eret + .set noreorder + b 1b + .set reorder diff --git a/gas/testsuite/gas/mips/eret-3.d b/gas/testsuite/gas/mips/eret-3.d new file mode 100644 index 00000000000..98346991824 --- /dev/null +++ b/gas/testsuite/gas/mips/eret-3.d @@ -0,0 +1,18 @@ +#objdump: -d +#name: MIPS eret-3 disassembly +#as: -mfix-24k -march=24kc --no-warn + +.*\.o: file format .*mips.* + +Disassembly of section \.text: + +00000000 : + 0: 42000018 eret + 4: 00000000 nop + +00000008 : + 8: 10800002 beqz a0,14 + c: 00000000 nop + 10: aca40000 sw a0,0\(a1\) + 14: 03e00008 jr ra + 18: 00000000 nop diff --git a/gas/testsuite/gas/mips/eret-3.s b/gas/testsuite/gas/mips/eret-3.s new file mode 100644 index 00000000000..cebe260b296 --- /dev/null +++ b/gas/testsuite/gas/mips/eret-3.s @@ -0,0 +1,14 @@ + .globl foo + .ent foo +foo: + eret + .end foo + + .globl bar + .ent bar +bar: + beq $4,$0,1f + sw $4,0($5) +1: + jr $31 + .end bar diff --git a/gas/testsuite/gas/mips/eret.d b/gas/testsuite/gas/mips/eret.d deleted file mode 100644 index 1c0124a2481..00000000000 --- a/gas/testsuite/gas/mips/eret.d +++ /dev/null @@ -1,41 +0,0 @@ -#objdump: -d -#name: MIPS eret disassembly -#as: -mfix-24k -march=24kc --no-warn - -.*\.o: file format .*mips.* - -Disassembly of section \.text: - -00000000 <\.text>: - 0: 240c0000 li t4,0 - 4: 42000018 eret - 8: 00000000 nop - c: 10000003 b 0x1c - 10: 00000000 nop - 14: 240a0003 li t2,3 - 18: 42000018 eret - 1c: 24040000 li a0,0 - 20: 4200001f deret - 24: 00000000 nop - 28: 116afffa beq t3,t2,0x14 - 2c: 00000000 nop - 30: 4200001f deret - 34: 00000000 nop - 38: 42000018 eret - 3c: 00000000 nop - 40: 42000018 eret - 44: 00000000 nop - 48: 1000fff4 b 0x1c - 4c: 00000000 nop - 50: 240c0004 li t4,4 - 54: 4200001f deret - 58: 240c0003 li t4,3 - 5c: 42000018 eret - 60: 10000005 b 0x78 - 64: 240c0003 li t4,3 - 68: 42000018 eret - 6c: 00000000 nop - 70: 10000001 b 0x78 - 74: 240c0003 li t4,3 - 78: 240c0003 li t4,3 - 7c: 42000018 eret diff --git a/gas/testsuite/gas/mips/eret.l b/gas/testsuite/gas/mips/eret.l deleted file mode 100644 index 327dd95252b..00000000000 --- a/gas/testsuite/gas/mips/eret.l +++ /dev/null @@ -1,3 +0,0 @@ -.*\.s: Assembler messages: -.*\.s:20: Warning: ERET and DERET must be followed by a NOP on the 24K\. -.*\.s:27: Warning: ERET and DERET must be followed by a NOP on the 24K\. diff --git a/gas/testsuite/gas/mips/eret.s b/gas/testsuite/gas/mips/eret.s deleted file mode 100644 index 081d01ef921..00000000000 --- a/gas/testsuite/gas/mips/eret.s +++ /dev/null @@ -1,27 +0,0 @@ - .text - li $t4, 0 - eret - b 2f -1: li $t2, 3 - eret -2: li $a0, 0 - deret - beq $t3,$t2,1b - deret - eret - eret - b 2b - - .set noreorder - li $t4, 4 - deret - li $t4, 3 - eret - b 1f - li $t4, 3 - eret - nop - b 1f - li $t4, 3 -1: li $t4, 3 - eret diff --git a/gas/testsuite/gas/mips/mips.exp b/gas/testsuite/gas/mips/mips.exp index 627232f43d7..ebe17c57bc7 100644 --- a/gas/testsuite/gas/mips/mips.exp +++ b/gas/testsuite/gas/mips/mips.exp @@ -436,8 +436,9 @@ if { [istarget mips*-*-vxworks*] } { } else { run_dump_test "jal" } - run_dump_test "eret" - run_list_test "eret" "-mfix-24k -march=24kc" "MIPS eret warnings" + run_dump_test "eret-1" + run_dump_test "eret-2" + run_dump_test "eret-3" if $elf { run_dump_test "jal-svr4pic" } if $elf { run_dump_test "jal-xgot" }