projects / binutils-gdb.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 5c2c8c6)
MIPS/gas: Fix order of instructions in LI macro expansion
authorFaraz Shahbazker <fshahbazker@wavecomp.com>
Wed, 19 Jun 2019 22:55:04 +0000 (15:55 -0700)
committerFaraz Shahbazker <fshahbazker@wavecomp.com>
Tue, 25 Jun 2019 16:29:55 +0000 (09:29 -0700)
When MTHC1 instruction is paired with MTC1 to write a value to a
64-bit FPR, the MTC1 must be executed first, because the semantic
definition of MTC1 is not aware that software will be using an MTHC1
to complete the operation, and sets the upper half of the 64-bit FPR
to an UNPREDICTABLE value[1].

Fix the order of MTHC1 and MTC1 instructions in LI macro expansion.
Modify the expansions to exploit moves from $zero directly by-passing
the use of $AT, where ever possible.

[1] "MIPS Architecture for Programmers Volume II-A: The MIPS32
     Instruction Set Manual", Wave Computing, Inc., Document
     Number: MD00086, Revision 5.04, December 11, 2013, Section 3.2
     "Alphabetical List of Instructions", pp. 217.

gas/
* config/tc-mips.c (macro) <M_LI>: Re-order MTHC1 with
respect to MTC1 and use $0 for either part where possible.
* testsuite/gas/mips/li-d.s: Add test cases for non-zero
words in double precision constants.
* testsuite/gas/mips/li-d.d: Update reference output.
* testsuite/gas/mips/micromips@isa-override-1.d: Likewise.
* testsuite/gas/mips/mips32r2@isa-override-1.d: Likewise.
* testsuite/gas/mips/mips64r2@isa-override-1.d: Likewise.

gas/ChangeLog patch | blob | history
gas/config/tc-mips.c patch | blob | history
gas/testsuite/gas/mips/li-d.d patch | blob | history
gas/testsuite/gas/mips/li-d.s patch | blob | history
gas/testsuite/gas/mips/micromips@isa-override-1.d patch | blob | history
gas/testsuite/gas/mips/mips32r2@isa-override-1.d patch | blob | history
gas/testsuite/gas/mips/mips64r2@isa-override-1.d patch | blob | history

diff --git a/gas/ChangeLog b/gas/ChangeLog
index 7272221aecdefbebf73dc0a404403bde8271646f..bcc193ec7b693fd1c5899054fe16c5af522112c9 100644 (file)
--- a/gas/ChangeLog
+++ b/gas/ChangeLog
@@ -1,3 +1,14 @@
+2019-06-25  Faraz Shahbazker  <fshahbazker@wavecomp.com>
+
+       * config/tc-mips.c (macro) <M_LI>: Re-order MTHC1 with
+       respect to MTC1 and use $0 for either part where possible.
+       * testsuite/gas/mips/li-d.s: Add test cases for non-zero
+       words in double precision constants.
+       * testsuite/gas/mips/li-d.d: Update reference output.
+       * testsuite/gas/mips/micromips@isa-override-1.d: Likewise.
+       * testsuite/gas/mips/mips32r2@isa-override-1.d: Likewise.
+       * testsuite/gas/mips/mips64r2@isa-override-1.d: Likewise.
+
 2019-06-25  Jan Beulich  <jbeulich@suse.com>
 
        * tc-i386.c (acc32, acc64): Delete.
diff --git a/gas/config/tc-mips.c b/gas/config/tc-mips.c
index 0f0ace5180018d007959d2f901867345d566d8b7..671d74aab72e1d82f3a015e1b9e21d6bb1fc7f20 100644 (file)
--- a/gas/config/tc-mips.c
+++ b/gas/config/tc-mips.c
@@ -12780,20 +12780,28 @@ macro (struct mips_cl_insn *ip, char *str)
          OFFSET_EXPR.  */
       if (imm_expr.X_op == O_constant)
        {
-         used_at = 1;
-         load_register (AT, &imm_expr, FPR_SIZE == 64);
+         tempreg = ZERO;
+         if (((FPR_SIZE == 64 && GPR_SIZE == 64)
+              || !ISA_HAS_MXHC1 (mips_opts.isa))
+             && imm_expr.X_add_number != 0)
+           {
+             used_at = 1;
+             tempreg = AT;
+             load_register (AT, &imm_expr, FPR_SIZE == 64);
+           }
          if (FPR_SIZE == 64 && GPR_SIZE == 64)
-           macro_build (NULL, "dmtc1", "t,S", AT, op[0]);
+           macro_build (NULL, "dmtc1", "t,S", tempreg, op[0]);
          else
            {
-             if (ISA_HAS_MXHC1 (mips_opts.isa))
-               macro_build (NULL, "mthc1", "t,G", AT, op[0]);
-             else if (FPR_SIZE != 32)
-               as_bad (_("Unable to generate `%s' compliant code "
-                         "without mthc1"),
-                       (FPR_SIZE == 64) ? "fp64" : "fpxx");
-             else
-               macro_build (NULL, "mtc1", "t,G", AT, op[0] + 1);
+             if (!ISA_HAS_MXHC1 (mips_opts.isa))
+               {
+                 if (FPR_SIZE != 32)
+                   as_bad (_("Unable to generate `%s' compliant code "
+                             "without mthc1"),
+                           (FPR_SIZE == 64) ? "fp64" : "fpxx");
+                 else
+                   macro_build (NULL, "mtc1", "t,G", tempreg, op[0] + 1);
+               }
              if (offset_expr.X_op == O_absent)
                macro_build (NULL, "mtc1", "t,G", 0, op[0]);
              else
@@ -12802,6 +12810,16 @@ macro (struct mips_cl_insn *ip, char *str)
                  load_register (AT, &offset_expr, 0);
                  macro_build (NULL, "mtc1", "t,G", AT, op[0]);
                }
+             if (ISA_HAS_MXHC1 (mips_opts.isa))
+               {
+                 if (imm_expr.X_add_number != 0)
+                   {
+                     used_at = 1;
+                     tempreg = AT;
+                     load_register (AT, &imm_expr, 0);
+                   }
+                 macro_build (NULL, "mthc1", "t,G", tempreg, op[0]);
+               }
            }
          break;
        }
diff --git a/gas/testsuite/gas/mips/li-d.d b/gas/testsuite/gas/mips/li-d.d
index ca24570720a1f33092c09717b3e3d1258d1e90cf..9c569a18ecbfaff40f881998d8e73a2e535b8d14 100644 (file)
--- a/gas/testsuite/gas/mips/li-d.d
+++ b/gas/testsuite/gas/mips/li-d.d
@@ -10,22 +10,57 @@
 Disassembly of section \.text:
 [0-9a-f]+ <[^>]*> li   v(0|1),0
 [0-9a-f]+ <[^>]*> move v(1|0),zero
-[0-9a-f]+ <[^>]*> li   at,0
+[0-9a-f]+ <[^>]*> mtc1 zero,\$f1
+[0-9a-f]+ <[^>]*> mtc1 zero,\$f0
+[0-9a-f]+ <[^>]*> mtc1 zero,\$f1
+[0-9a-f]+ <[^>]*> mtc1 zero,\$f0
+[0-9a-f]+ <[^>]*> ldc1 \$f0,0\(gp\)
+[0-9a-f]+ <[^>]*> mtc1 zero,\$f0
+[0-9a-f]+ <[^>]*> mthc1        zero,\$f0
+[0-9a-f]+ <[^>]*> mtc1 zero,\$f0
+[0-9a-f]+ <[^>]*> mthc1        zero,\$f0
+[0-9a-f]+ <[^>]*> mtc1 zero,\$f0
+[0-9a-f]+ <[^>]*> mthc1        zero,\$f0
+[0-9a-f]+ <[^>]*> dmtc1        zero,\$f0
+[0-9a-f]+ <[^>]*> lui  v[01],0x3ff0
+[0-9a-f]+ <[^>]*> move v[01],zero
+[0-9a-f]+ <[^>]*> lui  at,0x3ff0
 [0-9a-f]+ <[^>]*> mtc1 at,\$f1
 [0-9a-f]+ <[^>]*> mtc1 zero,\$f0
-[0-9a-f]+ <[^>]*> li   at,0
+[0-9a-f]+ <[^>]*> lui  at,0x3ff0
 [0-9a-f]+ <[^>]*> mtc1 at,\$f1
 [0-9a-f]+ <[^>]*> mtc1 zero,\$f0
-[0-9a-f]+ <[^>]*> ldc1 \$f0,0\(gp\)
-[0-9a-f]+ <[^>]*> li   at,0
-[0-9a-f]+ <[^>]*> mthc1        at,\$f0
+[0-9a-f]+ <[^>]*> ldc1 \$f0,(0|8)\(gp\)
 [0-9a-f]+ <[^>]*> mtc1 zero,\$f0
-[0-9a-f]+ <[^>]*> li   at,0
+[0-9a-f]+ <[^>]*> lui  at,0x3ff0
 [0-9a-f]+ <[^>]*> mthc1        at,\$f0
 [0-9a-f]+ <[^>]*> mtc1 zero,\$f0
-[0-9a-f]+ <[^>]*> li   at,0
+[0-9a-f]+ <[^>]*> lui  at,0x3ff0
 [0-9a-f]+ <[^>]*> mthc1        at,\$f0
 [0-9a-f]+ <[^>]*> mtc1 zero,\$f0
-[0-9a-f]+ <[^>]*> li   at,0
+[0-9a-f]+ <[^>]*> lui  at,0x3ff0
+[0-9a-f]+ <[^>]*> mthc1        at,\$f0
+[0-9a-f]+ <[^>]*> li   at,0xffc0
+[0-9a-f]+ <[^>]*> dsll32       at,at,0xe
+[0-9a-f]+ <[^>]*> dmtc1        at,\$f0
+[0-9a-f]+ <[^>]*> li   v[01],0
+[0-9a-f]+ <[^>]*> li   v[01],4250
+[0-9a-f]+ <[^>]*> mtc1 zero,\$f1
+[0-9a-f]+ <[^>]*> li   at,4250
+[0-9a-f]+ <[^>]*> mtc1 at,\$f0
+[0-9a-f]+ <[^>]*> mtc1 zero,\$f1
+[0-9a-f]+ <[^>]*> li   at,4250
+[0-9a-f]+ <[^>]*> mtc1 at,\$f0
+[0-9a-f]+ <[^>]*> ldc1 \$f0,(0|16)\(gp\)
+[0-9a-f]+ <[^>]*> li   at,4250
+[0-9a-f]+ <[^>]*> mtc1 at,\$f0
+[0-9a-f]+ <[^>]*> mthc1        zero,\$f0
+[0-9a-f]+ <[^>]*> li   at,4250
+[0-9a-f]+ <[^>]*> mtc1 at,\$f0
+[0-9a-f]+ <[^>]*> mthc1        zero,\$f0
+[0-9a-f]+ <[^>]*> li   at,4250
+[0-9a-f]+ <[^>]*> mtc1 at,\$f0
+[0-9a-f]+ <[^>]*> mthc1        zero,\$f0
+[0-9a-f]+ <[^>]*> li   at,4250
 [0-9a-f]+ <[^>]*> dmtc1        at,\$f0
        \.\.\.
diff --git a/gas/testsuite/gas/mips/li-d.s b/gas/testsuite/gas/mips/li-d.s
index 8578097a53b190da73d36de2d9e8d4544a17150b..561f2bc2ae83af3c986f249018392827173bda0d 100644 (file)
--- a/gas/testsuite/gas/mips/li-d.s
+++ b/gas/testsuite/gas/mips/li-d.s
@@ -1,6 +1,7 @@
 # Source file used to test the li macro.
 
 foo:
+       # Both words zero
        .set mips1
        .set fp=32
        li.d $2, 0
@@ -19,6 +20,44 @@ foo:
        .set mips3
        li.d $f0, 0
 
+       # Only upper 16 bits of 64 non-zero
+       .set mips1
+       .set fp=32
+       li.d $2, 1.0
+       li.d $f0, 1.0
+       .set mips2
+       li.d $f0, 1.0
+       .set fp=xx
+       li.d $f0, 1.0
+       .set mips32r2
+       .set fp=32
+       li.d $f0, 1.0
+       .set fp=xx
+       li.d $f0, 1.0
+       .set fp=64
+       li.d $f0, 1.0
+       .set mips3
+       li.d $f0, 1.0
+
+       # Only lower 16 bits of 64 non-zero
+       .set mips1
+       .set fp=32
+       li.d $2, 2.1e-320
+       li.d $f0, 2.1e-320
+       .set mips2
+       li.d $f0, 2.1e-320
+       .set fp=xx
+       li.d $f0, 2.1e-320
+       .set mips32r2
+       .set fp=32
+       li.d $f0, 2.1e-320
+       .set fp=xx
+       li.d $f0, 2.1e-320
+       .set fp=64
+       li.d $f0, 2.1e-320
+       .set mips3
+       li.d $f0, 2.1e-320
+
 # Force at least 8 (non-delay-slot) zero bytes, to make 'objdump' print ...
        .align  2
        .space  8
diff --git a/gas/testsuite/gas/mips/micromips@isa-override-1.d b/gas/testsuite/gas/mips/micromips@isa-override-1.d
index e600ff8ea34bde4fe427a07159f68f1e213c0684..34036968183151c166d8704baacebe6aaa7c9fee 100644 (file)
--- a/gas/testsuite/gas/mips/micromips@isa-override-1.d
+++ b/gas/testsuite/gas/mips/micromips@isa-override-1.d
@@ -11,10 +11,10 @@ Disassembly of section \.text:
 [0-9a-f]+ <[^>]*> 41a1 89ab    lui     at,0x89ab
 [0-9a-f]+ <[^>]*> 0022 1290    or      v0,v0,at
 [0-9a-f]+ <[^>]*> bc44 0000    ldc1    \$f2,0\(a0\)
-[0-9a-f]+ <[^>]*> 41a1 3ff0    lui     at,0x3ff0
-[0-9a-f]+ <[^>]*> 5422 383b    mthc1   at,\$f2
 [0-9a-f]+ <[^>]*> 41a1 89ab    lui     at,0x89ab
 [0-9a-f]+ <[^>]*> 5422 283b    mtc1    at,\$f2
+[0-9a-f]+ <[^>]*> 41a1 3ff0    lui     at,0x3ff0
+[0-9a-f]+ <[^>]*> 5422 383b    mthc1   at,\$f2
 [0-9a-f]+ <[^>]*> dc44 0000    ld      v0,0\(a0\)
 [0-9a-f]+ <[^>]*> 5020 89ab    li      at,0x89ab
 [0-9a-f]+ <[^>]*> 5821 8000    dsll    at,at,0x10
@@ -34,17 +34,17 @@ Disassembly of section \.text:
 [0-9a-f]+ <[^>]*> 41a1 89ab    lui     at,0x89ab
 [0-9a-f]+ <[^>]*> 0022 1290    or      v0,v0,at
 [0-9a-f]+ <[^>]*> bc44 0000    ldc1    \$f2,0\(a0\)
-[0-9a-f]+ <[^>]*> 41a1 3ff0    lui     at,0x3ff0
-[0-9a-f]+ <[^>]*> 5422 383b    mthc1   at,\$f2
 [0-9a-f]+ <[^>]*> 41a1 89ab    lui     at,0x89ab
 [0-9a-f]+ <[^>]*> 5422 283b    mtc1    at,\$f2
+[0-9a-f]+ <[^>]*> 41a1 3ff0    lui     at,0x3ff0
+[0-9a-f]+ <[^>]*> 5422 383b    mthc1   at,\$f2
 [0-9a-f]+ <[^>]*> fc44 0000    lw      v0,0\(a0\)
 [0-9a-f]+ <[^>]*> fc64 0004    lw      v1,4\(a0\)
 [0-9a-f]+ <[^>]*> 41a1 89ab    lui     at,0x89ab
 [0-9a-f]+ <[^>]*> 0022 1290    or      v0,v0,at
 [0-9a-f]+ <[^>]*> bc44 0000    ldc1    \$f2,0\(a0\)
-[0-9a-f]+ <[^>]*> 41a1 3ff0    lui     at,0x3ff0
-[0-9a-f]+ <[^>]*> 5422 383b    mthc1   at,\$f2
 [0-9a-f]+ <[^>]*> 41a1 89ab    lui     at,0x89ab
 [0-9a-f]+ <[^>]*> 5422 283b    mtc1    at,\$f2
+[0-9a-f]+ <[^>]*> 41a1 3ff0    lui     at,0x3ff0
+[0-9a-f]+ <[^>]*> 5422 383b    mthc1   at,\$f2
        \.\.\.
diff --git a/gas/testsuite/gas/mips/mips32r2@isa-override-1.d b/gas/testsuite/gas/mips/mips32r2@isa-override-1.d
index 0ab21b972afd4883d5e05c360655e41a9173be2d..0dc753adc2c7e26ba3d9d717bdc7f19584b7878a 100644 (file)
--- a/gas/testsuite/gas/mips/mips32r2@isa-override-1.d
+++ b/gas/testsuite/gas/mips/mips32r2@isa-override-1.d
@@ -11,10 +11,10 @@ Disassembly of section \.text:
 [0-9a-f]+ <[^>]*> 3c0189ab     lui     at,0x89ab
 [0-9a-f]+ <[^>]*> 00411025     or      v0,v0,at
 [0-9a-f]+ <[^>]*> d4820000     ldc1    \$f2,0\(a0\)
-[0-9a-f]+ <[^>]*> 3c013ff0     lui     at,0x3ff0
-[0-9a-f]+ <[^>]*> 44e11000     mthc1   at,\$f2
 [0-9a-f]+ <[^>]*> 3c0189ab     lui     at,0x89ab
 [0-9a-f]+ <[^>]*> 44811000     mtc1    at,\$f2
+[0-9a-f]+ <[^>]*> 3c013ff0     lui     at,0x3ff0
+[0-9a-f]+ <[^>]*> 44e11000     mthc1   at,\$f2
 [0-9a-f]+ <[^>]*> dc820000     ldc3    \$2,0\(a0\)
 [0-9a-f]+ <[^>]*> 340189ab     li      at,0x89ab
 [0-9a-f]+ <[^>]*> 00010c38     0x10c38
@@ -34,17 +34,17 @@ Disassembly of section \.text:
 [0-9a-f]+ <[^>]*> 3c0189ab     lui     at,0x89ab
 [0-9a-f]+ <[^>]*> 00411025     or      v0,v0,at
 [0-9a-f]+ <[^>]*> d4820000     ldc1    \$f2,0\(a0\)
-[0-9a-f]+ <[^>]*> 3c013ff0     lui     at,0x3ff0
-[0-9a-f]+ <[^>]*> 44e11000     mthc1   at,\$f2
 [0-9a-f]+ <[^>]*> 3c0189ab     lui     at,0x89ab
 [0-9a-f]+ <[^>]*> 44811000     mtc1    at,\$f2
+[0-9a-f]+ <[^>]*> 3c013ff0     lui     at,0x3ff0
+[0-9a-f]+ <[^>]*> 44e11000     mthc1   at,\$f2
 [0-9a-f]+ <[^>]*> 8c820000     lw      v0,0\(a0\)
 [0-9a-f]+ <[^>]*> 8c830004     lw      v1,4\(a0\)
 [0-9a-f]+ <[^>]*> 3c0189ab     lui     at,0x89ab
 [0-9a-f]+ <[^>]*> 00411025     or      v0,v0,at
 [0-9a-f]+ <[^>]*> d4820000     ldc1    \$f2,0\(a0\)
-[0-9a-f]+ <[^>]*> 3c013ff0     lui     at,0x3ff0
-[0-9a-f]+ <[^>]*> 44e11000     mthc1   at,\$f2
 [0-9a-f]+ <[^>]*> 3c0189ab     lui     at,0x89ab
 [0-9a-f]+ <[^>]*> 44811000     mtc1    at,\$f2
+[0-9a-f]+ <[^>]*> 3c013ff0     lui     at,0x3ff0
+[0-9a-f]+ <[^>]*> 44e11000     mthc1   at,\$f2
        \.\.\.
diff --git a/gas/testsuite/gas/mips/mips64r2@isa-override-1.d b/gas/testsuite/gas/mips/mips64r2@isa-override-1.d
index d53fb2cc39dc94d476f2705d2ba5db9654baad3b..1e81c4ee04ff32eb8e2e0207ea60b3fe2c64d22a 100644 (file)
--- a/gas/testsuite/gas/mips/mips64r2@isa-override-1.d
+++ b/gas/testsuite/gas/mips/mips64r2@isa-override-1.d
@@ -11,10 +11,10 @@ Disassembly of section \.text:
 [0-9a-f]+ <[^>]*> 3c0189ab     lui     at,0x89ab
 [0-9a-f]+ <[^>]*> 00411025     or      v0,v0,at
 [0-9a-f]+ <[^>]*> d4820000     ldc1    \$f2,0\(a0\)
-[0-9a-f]+ <[^>]*> 3c013ff0     lui     at,0x3ff0
-[0-9a-f]+ <[^>]*> 44e11000     mthc1   at,\$f2
 [0-9a-f]+ <[^>]*> 3c0189ab     lui     at,0x89ab
 [0-9a-f]+ <[^>]*> 44811000     mtc1    at,\$f2
+[0-9a-f]+ <[^>]*> 3c013ff0     lui     at,0x3ff0
+[0-9a-f]+ <[^>]*> 44e11000     mthc1   at,\$f2
 [0-9a-f]+ <[^>]*> dc820000     ld      v0,0\(a0\)
 [0-9a-f]+ <[^>]*> 340189ab     li      at,0x89ab
 [0-9a-f]+ <[^>]*> 00010c38     dsll    at,at,0x10
@@ -34,17 +34,17 @@ Disassembly of section \.text:
 [0-9a-f]+ <[^>]*> 3c0189ab     lui     at,0x89ab
 [0-9a-f]+ <[^>]*> 00411025     or      v0,v0,at
 [0-9a-f]+ <[^>]*> d4820000     ldc1    \$f2,0\(a0\)
-[0-9a-f]+ <[^>]*> 3c013ff0     lui     at,0x3ff0
-[0-9a-f]+ <[^>]*> 44e11000     mthc1   at,\$f2
 [0-9a-f]+ <[^>]*> 3c0189ab     lui     at,0x89ab
 [0-9a-f]+ <[^>]*> 44811000     mtc1    at,\$f2
+[0-9a-f]+ <[^>]*> 3c013ff0     lui     at,0x3ff0
+[0-9a-f]+ <[^>]*> 44e11000     mthc1   at,\$f2
 [0-9a-f]+ <[^>]*> 8c820000     lw      v0,0\(a0\)
 [0-9a-f]+ <[^>]*> 8c830004     lw      v1,4\(a0\)
 [0-9a-f]+ <[^>]*> 3c0189ab     lui     at,0x89ab
 [0-9a-f]+ <[^>]*> 00411025     or      v0,v0,at
 [0-9a-f]+ <[^>]*> d4820000     ldc1    \$f2,0\(a0\)
-[0-9a-f]+ <[^>]*> 3c013ff0     lui     at,0x3ff0
-[0-9a-f]+ <[^>]*> 44e11000     mthc1   at,\$f2
 [0-9a-f]+ <[^>]*> 3c0189ab     lui     at,0x89ab
 [0-9a-f]+ <[^>]*> 44811000     mtc1    at,\$f2
+[0-9a-f]+ <[^>]*> 3c013ff0     lui     at,0x3ff0
+[0-9a-f]+ <[^>]*> 44e11000     mthc1   at,\$f2
        \.\.\.