MIPS16: Add ASMACRO instruction support
authorMaciej W. Rozycki <macro@imgtec.com>
Fri, 23 Dec 2016 19:40:51 +0000 (19:40 +0000)
committerMaciej W. Rozycki <macro@imgtec.com>
Fri, 23 Dec 2016 19:55:21 +0000 (19:55 +0000)
Add ASMACRO instruction support as per the MIPS16e ASE architecture
specifications [1][2], completing MIPS16e instruction set support.

[1] "MIPS32 Architecture for Programmers, Volume IV-a: The MIPS16e
    Application-Specific Extension to the MIPS32 Architecture", MIPS
    Technologies, Inc., Document Number: MD00076, Revision 2.63, July
    16, 2013, Section 4.1 "MIPS16e Instruction Descriptions", p. 65

[2] "MIPS64 Architecture for Programmers, Volume IV-a: The MIPS16e
    Application-Specific Extension to the MIPS64 Architecture", MIPS
    Technologies, Inc., Document Number: MD00077, Revision 2.60, June
    25, 2008, Section 1.1 "MIPS16e Instruction Descriptions", p. 66

include/
* opcode/mips.h: Document `0', `1', `2', `3', `4' and `s'
operand codes.

opcodes/
* mips16-opc.c (decode_mips16_operand): Add `0', `1', `2', `3',
`4' and `s' operand codes.
(mips16_opcodes): Add "asmacro" entry.

binutils/
* testsuite/binutils-all/mips/mips16-extend-insn.d: Update for
ASMACRO support.

gas/
* testsuite/gas/mips/mips16-asmacro.d: New test.
* testsuite/gas/mips/mips16-32@mips16-asmacro.d: New test.
* testsuite/gas/mips/mips16-64@mips16-asmacro.d: New test.
* testsuite/gas/mips/mips16-asmacro.s: New test source.
* testsuite/gas/mips/mips.exp: Run the new tests.

12 files changed:
binutils/ChangeLog
binutils/testsuite/binutils-all/mips/mips16-extend-insn.d
gas/ChangeLog
gas/testsuite/gas/mips/mips.exp
gas/testsuite/gas/mips/mips16-32@mips16-asmacro.d [new file with mode: 0644]
gas/testsuite/gas/mips/mips16-64@mips16-asmacro.d [new file with mode: 0644]
gas/testsuite/gas/mips/mips16-asmacro.d [new file with mode: 0644]
gas/testsuite/gas/mips/mips16-asmacro.s [new file with mode: 0644]
include/ChangeLog
include/opcode/mips.h
opcodes/ChangeLog
opcodes/mips16-opc.c

index f3782622de1126dc90babef1923af17fd27b3ef3..279e98c183fd345717954d60a0c665149cb92706 100644 (file)
@@ -1,3 +1,8 @@
+2016-12-23  Maciej W. Rozycki  <macro@imgtec.com>
+
+       * testsuite/binutils-all/mips/mips16-extend-insn.d: Update for
+       ASMACRO support.
+
 2016-12-23  Maciej W. Rozycki  <macro@imgtec.com>
 
        * testsuite/binutils-all/mips/mips16-extend-insn.d: New test.
index fc170c6ba5dbed7a5ce4c6407212d55a2deec6c3..ef4f5a49d4ec8af4cf9f7ecf6d6a8f0c62edec00 100644 (file)
@@ -198,14 +198,10 @@ Disassembly of section \.text:
 [0-9a-f]+ <[^>]*> f123 d0c0    sw      s0,6432\(sp\)
 [0-9a-f]+ <[^>]*> f123 d0e0    sw      s0,6432\(sp\)
 [0-9a-f]+ <[^>]*> f123 d800    sw      s0,6432\(s0\)
-[0-9a-f]+ <[^>]*> f123         extend  0x123
-[0-9a-f]+ <[^>]*> e000         daddu   s0,s0
-[0-9a-f]+ <[^>]*> f123         extend  0x123
-[0-9a-f]+ <[^>]*> e001         addu    s0,s0
-[0-9a-f]+ <[^>]*> f123         extend  0x123
-[0-9a-f]+ <[^>]*> e002         dsubu   s0,s0
-[0-9a-f]+ <[^>]*> f123         extend  0x123
-[0-9a-f]+ <[^>]*> e003         subu    s0,s0
+[0-9a-f]+ <[^>]*> f123 e000    asmacro 0x1,0x0,0x0,0x0,0x3,0x1
+[0-9a-f]+ <[^>]*> f123 e001    asmacro 0x1,0x1,0x0,0x0,0x3,0x1
+[0-9a-f]+ <[^>]*> f123 e002    asmacro 0x1,0x2,0x0,0x0,0x3,0x1
+[0-9a-f]+ <[^>]*> f123 e003    asmacro 0x1,0x3,0x0,0x0,0x3,0x1
 [0-9a-f]+ <[^>]*> f123         extend  0x123
 [0-9a-f]+ <[^>]*> e800         jr      s0
 [0-9a-f]+ <[^>]*> f123         extend  0x123
index 3a05d786e4d7013c9d82be3d62a8643e01cb61c8..16575d1e64f6bd5b1ab6cf2892ab0fa9c85caee7 100644 (file)
@@ -1,3 +1,11 @@
+2016-12-23  Maciej W. Rozycki  <macro@imgtec.com>
+
+       * testsuite/gas/mips/mips16-asmacro.d: New test.
+       * testsuite/gas/mips/mips16-32@mips16-asmacro.d: New test.
+       * testsuite/gas/mips/mips16-64@mips16-asmacro.d: New test.
+       * testsuite/gas/mips/mips16-asmacro.s: New test source.
+       * testsuite/gas/mips/mips.exp: Run the new tests.
+
 2016-12-23  Maciej W. Rozycki  <macro@imgtec.com>
 
        * config/tc-mips.c (mips16_immed): Limit `mips16_immed_extend'
index 678e8d9eb7d47c3ffd65e26ef95b51d33a975a7c..0da2df9640ae781137e0e64e9d820dc852526f51 100644 (file)
@@ -1357,6 +1357,8 @@ if { [istarget mips*-*-vxworks*] } {
     run_dump_test "mips16-jal-t"
     run_dump_test "mips16-jal-e"
 
+    run_dump_test_arches "mips16-asmacro" [mips_arch_list_matching mips16-32]
+
     run_dump_test "vxworks1"
     run_dump_test "vxworks1-xgot"
     run_dump_test "vxworks1-el"
diff --git a/gas/testsuite/gas/mips/mips16-32@mips16-asmacro.d b/gas/testsuite/gas/mips/mips16-32@mips16-asmacro.d
new file mode 100644 (file)
index 0000000..8c50a8c
--- /dev/null
@@ -0,0 +1,21 @@
+#objdump: -d --prefix-addresses --show-raw-insn
+#name: MIPS16 ASMACRO instruction
+#as: -32
+#source: mips16-asmacro.s
+
+.*: +file format .*mips.*
+
+Disassembly of section \.text:
+[0-9a-f]+ <[^>]*> f000         extend  0x0
+[0-9a-f]+ <[^>]*> e000         0xe000
+[0-9a-f]+ <[^>]*> f0a4         extend  0xa4
+[0-9a-f]+ <[^>]*> e341         addu    s0,v1,v0
+[0-9a-f]+ <[^>]*> f0e0         extend  0xe0
+[0-9a-f]+ <[^>]*> e71f         subu    a3,s0
+[0-9a-f]+ <[^>]*> f501         extend  0x501
+[0-9a-f]+ <[^>]*> e264         0xe264
+[0-9a-f]+ <[^>]*> f71f         extend  0x71f
+[0-9a-f]+ <[^>]*> e0e0         0xe0e0
+[0-9a-f]+ <[^>]*> f7ff         extend  0x7ff
+[0-9a-f]+ <[^>]*> e7ff         subu    a3,a3
+       \.\.\.
diff --git a/gas/testsuite/gas/mips/mips16-64@mips16-asmacro.d b/gas/testsuite/gas/mips/mips16-64@mips16-asmacro.d
new file mode 100644 (file)
index 0000000..466f411
--- /dev/null
@@ -0,0 +1,21 @@
+#objdump: -d --prefix-addresses --show-raw-insn
+#name: MIPS16 ASMACRO instruction
+#as: -32
+#source: mips16-asmacro.s
+
+.*: +file format .*mips.*
+
+Disassembly of section \.text:
+[0-9a-f]+ <[^>]*> f000         extend  0x0
+[0-9a-f]+ <[^>]*> e000         daddu   s0,s0
+[0-9a-f]+ <[^>]*> f0a4         extend  0xa4
+[0-9a-f]+ <[^>]*> e341         addu    s0,v1,v0
+[0-9a-f]+ <[^>]*> f0e0         extend  0xe0
+[0-9a-f]+ <[^>]*> e71f         subu    a3,s0
+[0-9a-f]+ <[^>]*> f501         extend  0x501
+[0-9a-f]+ <[^>]*> e264         daddu   s1,v0,v1
+[0-9a-f]+ <[^>]*> f71f         extend  0x71f
+[0-9a-f]+ <[^>]*> e0e0         daddu   s0,a3
+[0-9a-f]+ <[^>]*> f7ff         extend  0x7ff
+[0-9a-f]+ <[^>]*> e7ff         subu    a3,a3
+       \.\.\.
diff --git a/gas/testsuite/gas/mips/mips16-asmacro.d b/gas/testsuite/gas/mips/mips16-asmacro.d
new file mode 100644 (file)
index 0000000..1a81c84
--- /dev/null
@@ -0,0 +1,14 @@
+#objdump: -d --prefix-addresses --show-raw-insn
+#name: MIPS16 ASMACRO instruction
+#as: -32
+
+.*: +file format .*mips.*
+
+Disassembly of section \.text:
+[0-9a-f]+ <[^>]*> f000 e000    asmacro 0x0,0x0,0x0,0x0,0x0,0x0
+[0-9a-f]+ <[^>]*> f0a4 e341    asmacro 0x0,0x1,0x2,0x3,0x4,0x5
+[0-9a-f]+ <[^>]*> f0e0 e71f    asmacro 0x0,0x1f,0x0,0x7,0x0,0x7
+[0-9a-f]+ <[^>]*> f501 e264    asmacro 0x5,0x4,0x3,0x2,0x1,0x0
+[0-9a-f]+ <[^>]*> f71f e0e0    asmacro 0x7,0x0,0x7,0x0,0x1f,0x0
+[0-9a-f]+ <[^>]*> f7ff e7ff    asmacro 0x7,0x1f,0x7,0x7,0x1f,0x7
+       \.\.\.
diff --git a/gas/testsuite/gas/mips/mips16-asmacro.s b/gas/testsuite/gas/mips/mips16-asmacro.s
new file mode 100644 (file)
index 0000000..18d0ce1
--- /dev/null
@@ -0,0 +1,13 @@
+       .set    mips32
+       .set    mips16
+foo:
+       asmacro 0, 0, 0, 0, 0, 0
+       asmacro 0, 1, 2, 3, 4, 5
+       asmacro 0, 31, 0, 7, 0, 7
+       asmacro 5, 4, 3, 2, 1, 0
+       asmacro 7, 0, 7, 0, 31, 0
+       asmacro 7, 31, 7, 7, 31, 7
+
+# Force some (non-delay-slot) zero bytes, to make 'objdump' print ...
+       .align  4, 0
+       .space  16
index 04c02ceb0fab40cb1aeeaf46df29e1867f2f9792..99d747f7fe94f5ec1e7864b8dae7d7e130c0dc54 100644 (file)
@@ -1,3 +1,8 @@
+2016-12-23  Maciej W. Rozycki  <macro@imgtec.com>
+
+       * opcode/mips.h: Document `0', `1', `2', `3', `4' and `s'
+       operand codes.
+
 2016-12-23  Maciej W. Rozycki  <macro@imgtec.com>
 
        * opcode/mips.h: Replace `0' and `4' operand codes with `.' and
index e00f682c96421ff1cce5acb0fc6500d1c3186fc3..eb80dfebee38dfab57426a86fb55aba3dd0019ce 100644 (file)
@@ -1809,12 +1809,18 @@ extern int bfd_mips_num_opcodes;
    "R" return address register ($ra or $31)
    "X" 5 bit MIPS register (MIPS16OP_*_REGR32)
    "Y" 5 bit MIPS register (MIPS16OP_*_REG32R)
+   "0" 5-bit ASMACRO p0 immediate
+   "1" 3-bit ASMACRO p1 immediate
+   "2" 3-bit ASMACRO p2 immediate
+   "3" 5-bit ASMACRO p3 immediate
+   "4" 3-bit ASMACRO p4 immediate
    "6" 6 bit unsigned break code (MIPS16OP_*_IMM6)
    "a" 26 bit jump address
    "i" likewise, but flips bit 0
    "e" 11 bit extension value
    "l" register list for entry instruction
    "L" register list for exit instruction
+   "s" 3-bit ASMACRO select immediate
 
    "I" an immediate value used for macros
 
@@ -1844,10 +1850,10 @@ extern int bfd_mips_num_opcodes;
    "M" 7 bit register list for restore instruction (18 bit extended)
 
    Characters used so far, for quick reference when adding more:
-   "    56 8  "
+   "0123456 8 "
    ".[]<"
    "ABCDEF HI KLM  P RS UVWXYZ"
-   "a   e   ijklm  pq    vwxyz"
+   "a   e   ijklm  pq s  vwxyz"
   */
 
 /* Save/restore encoding for the args field when all 4 registers are
index 469113f5fe12b9b8ea1fe9aebc7d0ffe9ea3d744..4f336ce8bebe6ea24048655d1068ecfb5fe530b9 100644 (file)
@@ -1,3 +1,9 @@
+2016-12-23  Maciej W. Rozycki  <macro@imgtec.com>
+
+       * mips16-opc.c (decode_mips16_operand): Add `0', `1', `2', `3',
+       `4' and `s' operand codes.
+       (mips16_opcodes): Add "asmacro" entry.
+
 2016-12-23  Maciej W. Rozycki  <macro@imgtec.com>
 
        * mips-dis.c (print_mips16_insn_arg): Simplify processing of
index d102b8cbca92d8868cbaf723505580cb6c2f9f5c..134630bb904f26d1952d802b4dfcea9eebb278ad 100644 (file)
@@ -51,6 +51,11 @@ decode_mips16_operand (char type, bfd_boolean extended_p)
     {
     case '.': MAPPED_REG (0, 0, GP, reg_0_map);
 
+    case '0': HINT (5, 0);
+    case '1': HINT (3, 5);
+    case '2': HINT (3, 8);
+    case '3': HINT (5, 16);
+    case '4': HINT (3, 21);
     case '6': UINT (6, 5);
 
     case 'L': SPECIAL (6, 5, ENTRY_EXIT_LIST);
@@ -67,6 +72,7 @@ decode_mips16_operand (char type, bfd_boolean extended_p)
     case 'i': JALX (26, 0, 2);
     case 'l': SPECIAL (6, 5, ENTRY_EXIT_LIST);
     case 'm': SPECIAL (7, 0, SAVE_RESTORE_LIST);
+    case 's': HINT (3, 24);
     case 'v': OPTIONAL_MAPPED_REG (3, 8, GP, reg_m16_map);
     case 'w': OPTIONAL_MAPPED_REG (3, 5, GP, reg_m16_map);
     case 'x': MAPPED_REG (3, 8, GP, reg_m16_map);
@@ -357,6 +363,9 @@ const struct mips_opcode mips16_opcodes[] =
 {"zeb",            "x",        0xe811, 0xf8ff,         MOD_1,                  SH,             I32,    0,      0 },
 {"zeh",            "x",        0xe831, 0xf8ff,         MOD_1,                  SH,             I32,    0,      0 },
 {"zew",            "x",        0xe851, 0xf8ff,         MOD_1,                  SH,             I64,    0,      0 },
+  /* Place asmacro at the bottom so that it catches any implementation
+     specific macros that didn't match anything.  */
+{"asmacro", "s,0,1,2,3,4", 0xf000e000, 0xf800f800, 0,                  0,              I32,    0,      0 },
   /* Place EXTEND last so that it catches any prefix that didn't match
      anything.  */
 {"extend",  "e",       0xf000, 0xf800,         NODS,                   SH,             I1,     0,      0 },