target/microblaze/insns.decode

   1 #
   2 # MicroBlaze instruction decode definitions.
   3 #
   4 # Copyright (c) 2020 Richard Henderson <rth@twiddle.net>
   5 #
   6 # This library is free software; you can redistribute it and/or
   7 # modify it under the terms of the GNU Lesser General Public
   8 # License as published by the Free Software Foundation; either
   9 # version 2.1 of the License, or (at your option) any later version.
  10 #
  11 # This library is distributed in the hope that it will be useful,
  12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14 # Lesser General Public License for more details.
  15 #
  16 # You should have received a copy of the GNU Lesser General Public
  17 # License along with this library; if not, see <http://www.gnu.org/licenses/>.
  18 #
  19
  20 &typea0         rd ra
  21 &typea          rd ra rb
  22 &typea_br       rd rb
  23 &typea_bc       ra rb
  24 &typeb          rd ra imm
  25 &typeb_br       rd imm
  26 &typeb_bc       ra imm
  27 &type_msr       rd imm
  28
  29 # Include any IMM prefix in the value reported.
  30 %extimm         0:s16 !function=typeb_imm
  31
  32 @typea          ...... rd:5 ra:5 rb:5 ... .... ....     &typea
  33 @typeb          ...... rd:5 ra:5 ................       &typeb imm=%extimm
  34
  35 # Officially typea, but with rb==0, which is not used.
  36 @typea0         ...... rd:5 ra:5 ................       &typea0
  37
  38 # Officially typea, but with ra as opcode.
  39 @typea_br       ...... rd:5 ..... rb:5 ...........      &typea_br
  40
  41 # Officially typea, but with rd as opcode.
  42 @typea_bc       ...... ..... ra:5 rb:5 ...........      &typea_bc
  43
  44 # Officially typeb, but any immediate extension is unused.
  45 @typeb_bs       ...... rd:5 ra:5 ..... ...... imm:5     &typeb
  46
  47 # Officially typeb, but with ra as opcode.
  48 @typeb_br       ...... rd:5 ..... ................      &typeb_br imm=%extimm
  49
  50 # Officially typeb, but with rd as opcode.
  51 @typeb_bc       ...... ..... ra:5 ................      &typeb_bc imm=%extimm
  52
  53 # For convenience, extract the two imm_w/imm_s fields, then pack
  54 # them back together as "imm".  Doing this makes it easiest to
  55 # match the required zero at bit 5.
  56 %ieimm          6:5 0:5
  57 @typeb_ie       ...... rd:5 ra:5 ..... ..... . .....    &typeb imm=%ieimm
  58
  59 @type_msr       ...... rd:5 ...... imm:15               &type_msr
  60
  61 ###
  62
  63 {
  64   zero          000000 00000 00000 00000 000 0000 0000
  65   add           000000 ..... ..... ..... 000 0000 0000  @typea
  66 }
  67 addc            000010 ..... ..... ..... 000 0000 0000  @typea
  68 addk            000100 ..... ..... ..... 000 0000 0000  @typea
  69 addkc           000110 ..... ..... ..... 000 0000 0000  @typea
  70
  71 addi            001000 ..... ..... ................     @typeb
  72 addic           001010 ..... ..... ................     @typeb
  73 addik           001100 ..... ..... ................     @typeb
  74 addikc          001110 ..... ..... ................     @typeb
  75
  76 and             100001 ..... ..... ..... 000 0000 0000  @typea
  77 andi            101001 ..... ..... ................     @typeb
  78
  79 andn            100011 ..... ..... ..... 000 0000 0000  @typea
  80 andni           101011 ..... ..... ................     @typeb
  81
  82 beq             100111 00000 ..... ..... 000 0000 0000  @typea_bc
  83 bge             100111 00101 ..... ..... 000 0000 0000  @typea_bc
  84 bgt             100111 00100 ..... ..... 000 0000 0000  @typea_bc
  85 ble             100111 00011 ..... ..... 000 0000 0000  @typea_bc
  86 blt             100111 00010 ..... ..... 000 0000 0000  @typea_bc
  87 bne             100111 00001 ..... ..... 000 0000 0000  @typea_bc
  88
  89 beqd            100111 10000 ..... ..... 000 0000 0000  @typea_bc
  90 bged            100111 10101 ..... ..... 000 0000 0000  @typea_bc
  91 bgtd            100111 10100 ..... ..... 000 0000 0000  @typea_bc
  92 bled            100111 10011 ..... ..... 000 0000 0000  @typea_bc
  93 bltd            100111 10010 ..... ..... 000 0000 0000  @typea_bc
  94 bned            100111 10001 ..... ..... 000 0000 0000  @typea_bc
  95
  96 beqi            101111 00000 ..... ................     @typeb_bc
  97 bgei            101111 00101 ..... ................     @typeb_bc
  98 bgti            101111 00100 ..... ................     @typeb_bc
  99 blei            101111 00011 ..... ................     @typeb_bc
 100 blti            101111 00010 ..... ................     @typeb_bc
 101 bnei            101111 00001 ..... ................     @typeb_bc
 102
 103 beqid           101111 10000 ..... ................     @typeb_bc
 104 bgeid           101111 10101 ..... ................     @typeb_bc
 105 bgtid           101111 10100 ..... ................     @typeb_bc
 106 bleid           101111 10011 ..... ................     @typeb_bc
 107 bltid           101111 10010 ..... ................     @typeb_bc
 108 bneid           101111 10001 ..... ................     @typeb_bc
 109
 110 br              100110 ..... 00000 ..... 000 0000 0000  @typea_br
 111 bra             100110 ..... 01000 ..... 000 0000 0000  @typea_br
 112 brd             100110 ..... 10000 ..... 000 0000 0000  @typea_br
 113 brad            100110 ..... 11000 ..... 000 0000 0000  @typea_br
 114 brld            100110 ..... 10100 ..... 000 0000 0000  @typea_br
 115 brald           100110 ..... 11100 ..... 000 0000 0000  @typea_br
 116
 117 bri             101110 ..... 00000 ................     @typeb_br
 118 brai            101110 ..... 01000 ................     @typeb_br
 119 brid            101110 ..... 10000 ................     @typeb_br
 120 braid           101110 ..... 11000 ................     @typeb_br
 121 brlid           101110 ..... 10100 ................     @typeb_br
 122 bralid          101110 ..... 11100 ................     @typeb_br
 123
 124 brk             100110 ..... 01100 ..... 000 0000 0000  @typea_br
 125 brki            101110 ..... 01100 ................     @typeb_br
 126
 127 bsrl            010001 ..... ..... ..... 000 0000 0000  @typea
 128 bsra            010001 ..... ..... ..... 010 0000 0000  @typea
 129 bsll            010001 ..... ..... ..... 100 0000 0000  @typea
 130
 131 bsrli           011001 ..... ..... 00000 000000 .....   @typeb_bs
 132 bsrai           011001 ..... ..... 00000 010000 .....   @typeb_bs
 133 bslli           011001 ..... ..... 00000 100000 .....   @typeb_bs
 134
 135 bsefi           011001 ..... ..... 01000 .....0 .....   @typeb_ie
 136 bsifi           011001 ..... ..... 10000 .....0 .....   @typeb_ie
 137
 138 clz             100100 ..... ..... 00000 000 1110 0000  @typea0
 139
 140 cmp             000101 ..... ..... ..... 000 0000 0001  @typea
 141 cmpu            000101 ..... ..... ..... 000 0000 0011  @typea
 142
 143 fadd            010110 ..... ..... ..... 0000 000 0000  @typea
 144 frsub           010110 ..... ..... ..... 0001 000 0000  @typea
 145 fmul            010110 ..... ..... ..... 0010 000 0000  @typea
 146 fdiv            010110 ..... ..... ..... 0011 000 0000  @typea
 147 fcmp_un         010110 ..... ..... ..... 0100 000 0000  @typea
 148 fcmp_lt         010110 ..... ..... ..... 0100 001 0000  @typea
 149 fcmp_eq         010110 ..... ..... ..... 0100 010 0000  @typea
 150 fcmp_le         010110 ..... ..... ..... 0100 011 0000  @typea
 151 fcmp_gt         010110 ..... ..... ..... 0100 100 0000  @typea
 152 fcmp_ne         010110 ..... ..... ..... 0100 101 0000  @typea
 153 fcmp_ge         010110 ..... ..... ..... 0100 110 0000  @typea
 154
 155 # Note that flt and fint, unlike fsqrt, are documented as having the RB
 156 # operand which is unused.  So allow the field to be non-zero but discard
 157 # the value and treat as 2-operand insns.
 158 flt             010110 ..... ..... ----- 0101 000 0000  @typea0
 159 fint            010110 ..... ..... ----- 0110 000 0000  @typea0
 160 fsqrt           010110 ..... ..... 00000 0111 000 0000  @typea0
 161
 162 get             011011 rd:5  00000 0 ctrl:5 000000 imm:4
 163 getd            010011 rd:5  00000 rb:5  0 ctrl:5  00000
 164
 165 idiv            010010 ..... ..... ..... 000 0000 0000  @typea
 166 idivu           010010 ..... ..... ..... 000 0000 0010  @typea
 167
 168 imm             101100 00000 00000 imm:16
 169
 170 lbu             110000 ..... ..... ..... 0000 000 0000  @typea
 171 lbur            110000 ..... ..... ..... 0100 000 0000  @typea
 172 lbuea           110000 ..... ..... ..... 0001 000 0000  @typea
 173 lbui            111000 ..... ..... ................     @typeb
 174
 175 lhu             110001 ..... ..... ..... 0000 000 0000  @typea
 176 lhur            110001 ..... ..... ..... 0100 000 0000  @typea
 177 lhuea           110001 ..... ..... ..... 0001 000 0000  @typea
 178 lhui            111001 ..... ..... ................     @typeb
 179
 180 lw              110010 ..... ..... ..... 0000 000 0000  @typea
 181 lwr             110010 ..... ..... ..... 0100 000 0000  @typea
 182 lwea            110010 ..... ..... ..... 0001 000 0000  @typea
 183 lwx             110010 ..... ..... ..... 1000 000 0000  @typea
 184 lwi             111010 ..... ..... ................     @typeb
 185
 186 mbar            101110 imm:5 00010 0000 0000 0000 0100
 187
 188 mfs             100101 rd:5  0 e:1 000 10 rs:14
 189 mts             100101 0 e:1 000 ra:5  11 rs:14
 190
 191 msrclr          100101 ..... 100010 ...............     @type_msr
 192 msrset          100101 ..... 100000 ...............     @type_msr
 193
 194 mul             010000 ..... ..... ..... 000 0000 0000  @typea
 195 mulh            010000 ..... ..... ..... 000 0000 0001  @typea
 196 mulhu           010000 ..... ..... ..... 000 0000 0011  @typea
 197 mulhsu          010000 ..... ..... ..... 000 0000 0010  @typea
 198 muli            011000 ..... ..... ................     @typeb
 199
 200 or              100000 ..... ..... ..... 000 0000 0000  @typea
 201 ori             101000 ..... ..... ................     @typeb
 202
 203 pcmpbf          100000 ..... ..... ..... 100 0000 0000  @typea
 204 pcmpeq          100010 ..... ..... ..... 100 0000 0000  @typea
 205 pcmpne          100011 ..... ..... ..... 100 0000 0000  @typea
 206
 207 put             011011 00000 ra:5  1 ctrl:5 000000 imm:4
 208 putd            010011 00000 ra:5  rb:5  1 ctrl:5  00000
 209
 210 rsub            000001 ..... ..... ..... 000 0000 0000  @typea
 211 rsubc           000011 ..... ..... ..... 000 0000 0000  @typea
 212 rsubk           000101 ..... ..... ..... 000 0000 0000  @typea
 213 rsubkc          000111 ..... ..... ..... 000 0000 0000  @typea
 214
 215 rsubi           001001 ..... ..... ................     @typeb
 216 rsubic          001011 ..... ..... ................     @typeb
 217 rsubik          001101 ..... ..... ................     @typeb
 218 rsubikc         001111 ..... ..... ................     @typeb
 219
 220 rtbd            101101 10010 ..... ................     @typeb_bc
 221 rtid            101101 10001 ..... ................     @typeb_bc
 222 rted            101101 10100 ..... ................     @typeb_bc
 223 rtsd            101101 10000 ..... ................     @typeb_bc
 224
 225 sb              110100 ..... ..... ..... 0000 000 0000  @typea
 226 sbr             110100 ..... ..... ..... 0100 000 0000  @typea
 227 sbea            110100 ..... ..... ..... 0001 000 0000  @typea
 228 sbi             111100 ..... ..... ................     @typeb
 229
 230 sh              110101 ..... ..... ..... 0000 000 0000  @typea
 231 shr             110101 ..... ..... ..... 0100 000 0000  @typea
 232 shea            110101 ..... ..... ..... 0001 000 0000  @typea
 233 shi             111101 ..... ..... ................     @typeb
 234
 235 sw              110110 ..... ..... ..... 0000 000 0000  @typea
 236 swr             110110 ..... ..... ..... 0100 000 0000  @typea
 237 swea            110110 ..... ..... ..... 0001 000 0000  @typea
 238 swx             110110 ..... ..... ..... 1000 000 0000  @typea
 239 swi             111110 ..... ..... ................     @typeb
 240
 241 sext8           100100 ..... ..... 00000 000 0110 0000  @typea0
 242 sext16          100100 ..... ..... 00000 000 0110 0001  @typea0
 243
 244 sra             100100 ..... ..... 00000 000 0000 0001  @typea0
 245 src             100100 ..... ..... 00000 000 0010 0001  @typea0
 246 srl             100100 ..... ..... 00000 000 0100 0001  @typea0
 247
 248 swapb           100100 ..... ..... 00000 001 1110 0000  @typea0
 249 swaph           100100 ..... ..... 00000 001 1110 0010  @typea0
 250
 251 # Cache operations have no effect in qemu: discard the arguments.
 252 wdic            100100 00000 ----- ----- -00 -11- 01-0  # wdc
 253 wdic            100100 00000 ----- ----- 000 0110 1000  # wic
 254
 255 xor             100010 ..... ..... ..... 000 0000 0000  @typea
 256 xori            101010 ..... ..... ................     @typeb