target/ppc/insn32.decode

   1 #
   2 # Power ISA decode for 32-bit insns (opcode space 0)
   3 #
   4 # Copyright (c) 2021 Instituto de Pesquisas Eldorado (eldorado.org.br)
   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 &D              rt ra si:int64_t
  21 @D              ...... rt:5 ra:5 si:s16                 &D
  22
  23 &D_bf           bf l:bool ra imm
  24 @D_bfs          ...... bf:3 - l:1 ra:5 imm:s16          &D_bf
  25 @D_bfu          ...... bf:3 - l:1 ra:5 imm:16           &D_bf
  26
  27 %dq_si          4:s12  !function=times_16
  28 %dq_rtp         22:4   !function=times_2
  29 @DQ_rtp         ...... ....0 ra:5 ............ ....             &D rt=%dq_rtp si=%dq_si
  30
  31 %dq_rt_tsx      3:1 21:5
  32 @DQ_TSX         ...... ..... ra:5 ............ ....             &D si=%dq_si rt=%dq_rt_tsx
  33
  34 %rt_tsxp        21:1 22:4 !function=times_2
  35 @DQ_TSXP        ...... ..... ra:5 ............ ....             &D si=%dq_si rt=%rt_tsxp
  36
  37 %ds_si          2:s14  !function=times_4
  38 @DS             ...... rt:5 ra:5 .............. ..      &D si=%ds_si
  39
  40 %ds_rtp         22:4   !function=times_2
  41 @DS_rtp         ...... ....0 ra:5 .............. ..             &D rt=%ds_rtp si=%ds_si
  42
  43 &DX_b           vrt b
  44 %dx_b           6:10 16:5 0:1
  45 @DX_b           ...... vrt:5  ..... .......... ..... .          &DX_b b=%dx_b
  46
  47 &DX             rt d
  48 %dx_d           6:s10 16:5 0:1
  49 @DX             ...... rt:5  ..... .......... ..... .   &DX d=%dx_d
  50
  51 &VA             vrt vra vrb rc
  52 @VA             ...... vrt:5 vra:5 vrb:5 rc:5 ......    &VA
  53
  54 &VC             vrt vra vrb rc:bool
  55 @VC             ...... vrt:5 vra:5 vrb:5 rc:1 ..........        &VC
  56
  57 &VN             vrt vra vrb sh
  58 @VN             ...... vrt:5 vra:5 vrb:5 .. sh:3 ......         &VN
  59
  60 &VX             vrt vra vrb
  61 @VX             ...... vrt:5 vra:5 vrb:5 .......... .   &VX
  62
  63 &VX_bf          bf vra vrb
  64 @VX_bf          ...... bf:3 .. vra:5 vrb:5 ...........          &VX_bf
  65
  66 &VX_tb_rc       vrt vrb rc:bool
  67 @VX_tb_rc       ...... vrt:5 ..... vrb:5 rc:1 ..........        &VX_tb_rc
  68
  69 &VX_uim4        vrt uim vrb
  70 @VX_uim4        ...... vrt:5 . uim:4 vrb:5 ...........  &VX_uim4
  71
  72 &VX_tb          vrt vrb
  73 @VX_tb          ...... vrt:5 ..... vrb:5 ...........    &VX_tb
  74
  75 &X              rt ra rb
  76 @X              ...... rt:5 ra:5 rb:5 .......... .      &X
  77
  78 &X_rc           rt ra rb rc:bool
  79 @X_rc           ...... rt:5 ra:5 rb:5 .......... rc:1           &X_rc
  80
  81 %x_frtp         22:4 !function=times_2
  82 %x_frap         17:4 !function=times_2
  83 %x_frbp         12:4 !function=times_2
  84 @X_tp_ap_bp_rc  ...... ....0 ....0 ....0 .......... rc:1        &X_rc rt=%x_frtp ra=%x_frap rb=%x_frbp
  85
  86 @X_tp_a_bp_rc   ...... ....0 ra:5 ....0 .......... rc:1         &X_rc rt=%x_frtp rb=%x_frbp
  87
  88 &X_tb_rc        rt rb rc:bool
  89 @X_tb_rc        ...... rt:5 ..... rb:5 .......... rc:1          &X_tb_rc
  90
  91 @X_tbp_rc       ...... ....0 ..... ....0 .......... rc:1        &X_tb_rc rt=%x_frtp rb=%x_frbp
  92
  93 @X_tp_b_rc      ...... ....0 ..... rb:5 .......... rc:1         &X_tb_rc rt=%x_frtp
  94
  95 @X_t_bp_rc      ...... rt:5 ..... ....0 .......... rc:1         &X_tb_rc rb=%x_frbp
  96
  97 &X_bi           rt bi
  98 @X_bi           ...... rt:5 bi:5 ----- .......... -     &X_bi
  99
 100 &X_bf           bf ra rb
 101 @X_bf           ...... bf:3 .. ra:5 rb:5 .......... .           &X_bf
 102
 103 @X_bf_ap_bp     ...... bf:3 .. ....0 ....0 .......... .         &X_bf ra=%x_frap rb=%x_frbp
 104
 105 @X_bf_a_bp      ...... bf:3 .. ra:5 ....0 .......... .          &X_bf rb=%x_frbp
 106
 107 &X_bf_uim       bf uim rb
 108 @X_bf_uim       ...... bf:3 . uim:6 rb:5 .......... .           &X_bf_uim
 109
 110 @X_bf_uim_bp    ...... bf:3 . uim:6 ....0 .......... .          &X_bf_uim rb=%x_frbp
 111
 112 &X_bfl          bf l:bool ra rb
 113 @X_bfl          ...... bf:3 - l:1 ra:5 rb:5 ..........- &X_bfl
 114
 115 %x_xt           0:1 21:5
 116 &X_imm8         xt imm:uint8_t
 117 @X_imm8         ...... ..... .. imm:8 .......... .              &X_imm8 xt=%x_xt
 118
 119 &X_uim5         xt uim:uint8_t
 120 @X_uim5         ...... ..... ..... uim:5 .......... .           &X_uim5 xt=%x_xt
 121
 122 &X_tb_sp_rc     rt rb sp rc:bool
 123 @X_tb_sp_rc     ...... rt:5 sp:2 ... rb:5 .......... rc:1       &X_tb_sp_rc
 124
 125 @X_tbp_sp_rc    ...... ....0 sp:2 ... ....0 .......... rc:1     &X_tb_sp_rc rt=%x_frtp rb=%x_frbp
 126
 127 &X_tb_s_rc      rt rb s:bool rc:bool
 128 @X_tb_s_rc      ...... rt:5 s:1 .... rb:5 .......... rc:1       &X_tb_s_rc
 129
 130 @X_tbp_s_rc     ...... ....0 s:1 .... ....0 .......... rc:1     &X_tb_s_rc rt=%x_frtp rb=%x_frbp
 131
 132 %x_rt_tsx       0:1 21:5
 133 @X_TSX          ...... ..... ra:5 rb:5 .......... .             &X rt=%x_rt_tsx
 134 @X_TSXP         ...... ..... ra:5 rb:5 .......... .             &X rt=%rt_tsxp
 135
 136 &X_frtp_vrb     frtp vrb
 137 @X_frtp_vrb     ...... ....0 ..... vrb:5 .......... .           &X_frtp_vrb frtp=%x_frtp
 138
 139 &X_vrt_frbp     vrt frbp
 140 @X_vrt_frbp     ...... vrt:5 ..... ....0 .......... .           &X_vrt_frbp frbp=%x_frbp
 141
 142 %xx_xt          0:1 21:5
 143 %xx_xb          1:1 11:5
 144 %xx_xa          2:1 16:5
 145 &XX2            xt xb uim:uint8_t
 146 @XX2            ...... ..... ... uim:2 ..... ......... ..       &XX2 xt=%xx_xt xb=%xx_xb
 147
 148 &XX3            xt xa xb
 149 @XX3            ...... ..... ..... ..... ........ ...           &XX3 xt=%xx_xt xa=%xx_xa xb=%xx_xb
 150
 151 &Z22_bf_fra     bf fra dm
 152 @Z22_bf_fra     ...... bf:3 .. fra:5 dm:6 ......... .           &Z22_bf_fra
 153
 154 %z22_frap       17:4 !function=times_2
 155 @Z22_bf_frap    ...... bf:3 .. ....0 dm:6 ......... .           &Z22_bf_fra fra=%z22_frap
 156
 157 &Z22_ta_sh_rc   rt ra sh rc:bool
 158 @Z22_ta_sh_rc   ...... rt:5 ra:5 sh:6 ......... rc:1            &Z22_ta_sh_rc
 159
 160 %z22_frtp       22:4 !function=times_2
 161 @Z22_tap_sh_rc  ...... ....0 ....0 sh:6 ......... rc:1          &Z22_ta_sh_rc rt=%z22_frtp ra=%z22_frap
 162
 163 &Z23_tab        frt fra frb rmc rc:bool
 164 @Z23_tab        ...... frt:5 fra:5 frb:5 rmc:2 ........ rc:1    &Z23_tab
 165
 166 %z23_frtp       22:4 !function=times_2
 167 %z23_frap       17:4 !function=times_2
 168 %z23_frbp       12:4 !function=times_2
 169 @Z23_tabp       ...... ....0 ....0 ....0 rmc:2 ........ rc:1    &Z23_tab frt=%z23_frtp fra=%z23_frap frb=%z23_frbp
 170
 171 @Z23_tp_a_bp    ...... ....0 fra:5 ....0 rmc:2 ........ rc:1    &Z23_tab frt=%z23_frtp frb=%z23_frbp
 172
 173 &Z23_tb         frt frb r:bool rmc rc:bool
 174 @Z23_tb         ...... frt:5 .... r:1 frb:5 rmc:2 ........ rc:1 &Z23_tb
 175
 176 @Z23_tbp        ...... ....0 .... r:1 ....0 rmc:2 ........ rc:1 &Z23_tb frt=%z23_frtp frb=%z23_frbp
 177
 178 &Z23_te_tb      te frt frb rmc rc:bool
 179 @Z23_te_tb      ...... frt:5 te:5 frb:5 rmc:2 ........ rc:1     &Z23_te_tb
 180
 181 @Z23_te_tbp     ...... ....0 te:5 ....0 rmc:2 ........ rc:1     &Z23_te_tb frt=%z23_frtp frb=%z23_frbp
 182
 183 ### Fixed-Point Load Instructions
 184
 185 LBZ             100010 ..... ..... ................     @D
 186 LBZU            100011 ..... ..... ................     @D
 187 LBZX            011111 ..... ..... ..... 0001010111 -   @X
 188 LBZUX           011111 ..... ..... ..... 0001110111 -   @X
 189
 190 LHZ             101000 ..... ..... ................     @D
 191 LHZU            101001 ..... ..... ................     @D
 192 LHZX            011111 ..... ..... ..... 0100010111 -   @X
 193 LHZUX           011111 ..... ..... ..... 0100110111 -   @X
 194
 195 LHA             101010 ..... ..... ................     @D
 196 LHAU            101011 ..... ..... ................     @D
 197 LHAX            011111 ..... ..... ..... 0101010111 -   @X
 198 LHAXU           011111 ..... ..... ..... 0101110111 -   @X
 199
 200 LWZ             100000 ..... ..... ................     @D
 201 LWZU            100001 ..... ..... ................     @D
 202 LWZX            011111 ..... ..... ..... 0000010111 -   @X
 203 LWZUX           011111 ..... ..... ..... 0000110111 -   @X
 204
 205 LWA             111010 ..... ..... ..............10     @DS
 206 LWAX            011111 ..... ..... ..... 0101010101 -   @X
 207 LWAUX           011111 ..... ..... ..... 0101110101 -   @X
 208
 209 LD              111010 ..... ..... ..............00     @DS
 210 LDU             111010 ..... ..... ..............01     @DS
 211 LDX             011111 ..... ..... ..... 0000010101 -   @X
 212 LDUX            011111 ..... ..... ..... 0000110101 -   @X
 213
 214 LQ              111000 ..... ..... ............ ----    @DQ_rtp
 215
 216 ### Fixed-Point Store Instructions
 217
 218 STB             100110 ..... ..... ................     @D
 219 STBU            100111 ..... ..... ................     @D
 220 STBX            011111 ..... ..... ..... 0011010111 -   @X
 221 STBUX           011111 ..... ..... ..... 0011110111 -   @X
 222
 223 STH             101100 ..... ..... ................     @D
 224 STHU            101101 ..... ..... ................     @D
 225 STHX            011111 ..... ..... ..... 0110010111 -   @X
 226 STHUX           011111 ..... ..... ..... 0110110111 -   @X
 227
 228 STW             100100 ..... ..... ................     @D
 229 STWU            100101 ..... ..... ................     @D
 230 STWX            011111 ..... ..... ..... 0010010111 -   @X
 231 STWUX           011111 ..... ..... ..... 0010110111 -   @X
 232
 233 STD             111110 ..... ..... ..............00     @DS
 234 STDU            111110 ..... ..... ..............01     @DS
 235 STDX            011111 ..... ..... ..... 0010010101 -   @X
 236 STDUX           011111 ..... ..... ..... 0010110101 -   @X
 237
 238 STQ             111110 ..... ..... ..............10     @DS_rtp
 239
 240 ### Fixed-Point Compare Instructions
 241
 242 CMP             011111 ... - . ..... ..... 0000000000 - @X_bfl
 243 CMPL            011111 ... - . ..... ..... 0000100000 - @X_bfl
 244 CMPI            001011 ... - . ..... ................   @D_bfs
 245 CMPLI           001010 ... - . ..... ................   @D_bfu
 246
 247 ### Fixed-Point Arithmetic Instructions
 248
 249 ADDI            001110 ..... ..... ................     @D
 250 ADDIS           001111 ..... ..... ................     @D
 251
 252 ADDPCIS         010011 ..... ..... .......... 00010 .   @DX
 253
 254 ## Fixed-Point Logical Instructions
 255
 256 CFUGED          011111 ..... ..... ..... 0011011100 -   @X
 257 CNTLZDM         011111 ..... ..... ..... 0000111011 -   @X
 258 CNTTZDM         011111 ..... ..... ..... 1000111011 -   @X
 259 PDEPD           011111 ..... ..... ..... 0010011100 -   @X
 260 PEXTD           011111 ..... ..... ..... 0010111100 -   @X
 261
 262 ### Float-Point Load Instructions
 263
 264 LFS             110000 ..... ..... ................     @D
 265 LFSU            110001 ..... ..... ................     @D
 266 LFSX            011111 ..... ..... ..... 1000010111 -   @X
 267 LFSUX           011111 ..... ..... ..... 1000110111 -   @X
 268
 269 LFD             110010 ..... ..... ................     @D
 270 LFDU            110011 ..... ..... ................     @D
 271 LFDX            011111 ..... ..... ..... 1001010111 -   @X
 272 LFDUX           011111 ..... ..... ..... 1001110111 -   @X
 273
 274 ### Float-Point Store Instructions
 275
 276 STFS            110100 ..... ...... ...............     @D
 277 STFSU           110101 ..... ...... ...............     @D
 278 STFSX           011111 ..... ...... .... 1010010111 -   @X
 279 STFSUX          011111 ..... ...... .... 1010110111 -   @X
 280
 281 STFD            110110 ..... ...... ...............     @D
 282 STFDU           110111 ..... ...... ...............     @D
 283 STFDX           011111 ..... ...... .... 1011010111 -   @X
 284 STFDUX          011111 ..... ...... .... 1011110111 -   @X
 285
 286 ### Move To/From System Register Instructions
 287
 288 SETBC           011111 ..... ..... ----- 0110000000 -   @X_bi
 289 SETBCR          011111 ..... ..... ----- 0110100000 -   @X_bi
 290 SETNBC          011111 ..... ..... ----- 0111000000 -   @X_bi
 291 SETNBCR         011111 ..... ..... ----- 0111100000 -   @X_bi
 292
 293 ### Decimal Floating-Point Arithmetic Instructions
 294
 295 DADD            111011 ..... ..... ..... 0000000010 .   @X_rc
 296 DADDQ           111111 ..... ..... ..... 0000000010 .   @X_tp_ap_bp_rc
 297
 298 DSUB            111011 ..... ..... ..... 1000000010 .   @X_rc
 299 DSUBQ           111111 ..... ..... ..... 1000000010 .   @X_tp_ap_bp_rc
 300
 301 DMUL            111011 ..... ..... ..... 0000100010 .   @X_rc
 302 DMULQ           111111 ..... ..... ..... 0000100010 .   @X_tp_ap_bp_rc
 303
 304 DDIV            111011 ..... ..... ..... 1000100010 .   @X_rc
 305 DDIVQ           111111 ..... ..... ..... 1000100010 .   @X_tp_ap_bp_rc
 306
 307 ### Decimal Floating-Point Compare Instructions
 308
 309 DCMPU           111011 ... -- ..... ..... 1010000010 -  @X_bf
 310 DCMPUQ          111111 ... -- ..... ..... 1010000010 -  @X_bf_ap_bp
 311
 312 DCMPO           111011 ... -- ..... ..... 0010000010 -  @X_bf
 313 DCMPOQ          111111 ... -- ..... ..... 0010000010 -  @X_bf_ap_bp
 314
 315 ### Decimal Floating-Point Test Instructions
 316
 317 DTSTDC          111011 ... -- ..... ...... 011000010 -  @Z22_bf_fra
 318 DTSTDCQ         111111 ... -- ..... ...... 011000010 -  @Z22_bf_frap
 319
 320 DTSTDG          111011 ... -- ..... ...... 011100010 -  @Z22_bf_fra
 321 DTSTDGQ         111111 ... -- ..... ...... 011100010 -  @Z22_bf_frap
 322
 323 DTSTEX          111011 ... -- ..... ..... 0010100010 -  @X_bf
 324 DTSTEXQ         111111 ... -- ..... ..... 0010100010 -  @X_bf_ap_bp
 325
 326 DTSTSF          111011 ... -- ..... ..... 1010100010 -  @X_bf
 327 DTSTSFQ         111111 ... -- ..... ..... 1010100010 -  @X_bf_a_bp
 328
 329 DTSTSFI         111011 ... - ...... ..... 1010100011 -  @X_bf_uim
 330 DTSTSFIQ        111111 ... - ...... ..... 1010100011 -  @X_bf_uim_bp
 331
 332 ### Decimal Floating-Point Quantum Adjustment Instructions
 333
 334 DQUAI           111011 ..... ..... ..... .. 01000011 .  @Z23_te_tb
 335 DQUAIQ          111111 ..... ..... ..... .. 01000011 .  @Z23_te_tbp
 336
 337 DQUA            111011 ..... ..... ..... .. 00000011 .  @Z23_tab
 338 DQUAQ           111111 ..... ..... ..... .. 00000011 .  @Z23_tabp
 339
 340 DRRND           111011 ..... ..... ..... .. 00100011 .  @Z23_tab
 341 DRRNDQ          111111 ..... ..... ..... .. 00100011 .  @Z23_tp_a_bp
 342
 343 DRINTX          111011 ..... ---- . ..... .. 01100011 . @Z23_tb
 344 DRINTXQ         111111 ..... ---- . ..... .. 01100011 . @Z23_tbp
 345
 346 DRINTN          111011 ..... ---- . ..... .. 11100011 . @Z23_tb
 347 DRINTNQ         111111 ..... ---- . ..... .. 11100011 . @Z23_tbp
 348
 349 ### Decimal Floating-Point Conversion Instructions
 350
 351 DCTDP           111011 ..... ----- ..... 0100000010 .   @X_tb_rc
 352 DCTQPQ          111111 ..... ----- ..... 0100000010 .   @X_tp_b_rc
 353
 354 DRSP            111011 ..... ----- ..... 1100000010 .   @X_tb_rc
 355 DRDPQ           111111 ..... ----- ..... 1100000010 .   @X_tbp_rc
 356
 357 DCFFIX          111011 ..... ----- ..... 1100100010 .   @X_tb_rc
 358 DCFFIXQ         111111 ..... ----- ..... 1100100010 .   @X_tp_b_rc
 359 DCFFIXQQ        111111 ..... 00000 ..... 1111100010 -   @X_frtp_vrb
 360
 361 DCTFIX          111011 ..... ----- ..... 0100100010 .   @X_tb_rc
 362 DCTFIXQ         111111 ..... ----- ..... 0100100010 .   @X_t_bp_rc
 363 DCTFIXQQ        111111 ..... 00001 ..... 1111100010 -   @X_vrt_frbp
 364
 365 ### Decimal Floating-Point Format Instructions
 366
 367 DDEDPD          111011 ..... .. --- ..... 0101000010 .  @X_tb_sp_rc
 368 DDEDPDQ         111111 ..... .. --- ..... 0101000010 .  @X_tbp_sp_rc
 369
 370 DENBCD          111011 ..... . ---- ..... 1101000010 .  @X_tb_s_rc
 371 DENBCDQ         111111 ..... . ---- ..... 1101000010 .  @X_tbp_s_rc
 372
 373 DXEX            111011 ..... ----- ..... 0101100010 .   @X_tb_rc
 374 DXEXQ           111111 ..... ----- ..... 0101100010 .   @X_t_bp_rc
 375
 376 DIEX            111011 ..... ..... ..... 1101100010 .   @X_rc
 377 DIEXQ           111111 ..... ..... ..... 1101100010 .   @X_tp_a_bp_rc
 378
 379 DSCLI           111011 ..... ..... ...... 001000010 .   @Z22_ta_sh_rc
 380 DSCLIQ          111111 ..... ..... ...... 001000010 .   @Z22_tap_sh_rc
 381
 382 DSCRI           111011 ..... ..... ...... 001100010 .   @Z22_ta_sh_rc
 383 DSCRIQ          111111 ..... ..... ...... 001100010 .   @Z22_tap_sh_rc
 384
 385 ## Vector Integer Instructions
 386
 387 VCMPEQUB        000100 ..... ..... ..... . 0000000110   @VC
 388 VCMPEQUH        000100 ..... ..... ..... . 0001000110   @VC
 389 VCMPEQUW        000100 ..... ..... ..... . 0010000110   @VC
 390 VCMPEQUD        000100 ..... ..... ..... . 0011000111   @VC
 391 VCMPEQUQ        000100 ..... ..... ..... . 0111000111   @VC
 392
 393 VCMPGTSB        000100 ..... ..... ..... . 1100000110   @VC
 394 VCMPGTSH        000100 ..... ..... ..... . 1101000110   @VC
 395 VCMPGTSW        000100 ..... ..... ..... . 1110000110   @VC
 396 VCMPGTSD        000100 ..... ..... ..... . 1111000111   @VC
 397 VCMPGTSQ        000100 ..... ..... ..... . 1110000111   @VC
 398
 399 VCMPGTUB        000100 ..... ..... ..... . 1000000110   @VC
 400 VCMPGTUH        000100 ..... ..... ..... . 1001000110   @VC
 401 VCMPGTUW        000100 ..... ..... ..... . 1010000110   @VC
 402 VCMPGTUD        000100 ..... ..... ..... . 1011000111   @VC
 403 VCMPGTUQ        000100 ..... ..... ..... . 1010000111   @VC
 404
 405 VCMPNEB         000100 ..... ..... ..... . 0000000111   @VC
 406 VCMPNEH         000100 ..... ..... ..... . 0001000111   @VC
 407 VCMPNEW         000100 ..... ..... ..... . 0010000111   @VC
 408
 409 VCMPNEZB        000100 ..... ..... ..... . 0100000111   @VC
 410 VCMPNEZH        000100 ..... ..... ..... . 0101000111   @VC
 411 VCMPNEZW        000100 ..... ..... ..... . 0110000111   @VC
 412
 413 VCMPSQ          000100 ... -- ..... ..... 00101000001   @VX_bf
 414 VCMPUQ          000100 ... -- ..... ..... 00100000001   @VX_bf
 415
 416 ## Vector Bit Manipulation Instruction
 417
 418 VCFUGED         000100 ..... ..... ..... 10101001101    @VX
 419 VCLZDM          000100 ..... ..... ..... 11110000100    @VX
 420 VCTZDM          000100 ..... ..... ..... 11111000100    @VX
 421 VPDEPD          000100 ..... ..... ..... 10111001101    @VX
 422 VPEXTD          000100 ..... ..... ..... 10110001101    @VX
 423
 424 ## Vector Permute and Formatting Instruction
 425
 426 VEXTDUBVLX      000100 ..... ..... ..... ..... 011000   @VA
 427 VEXTDUBVRX      000100 ..... ..... ..... ..... 011001   @VA
 428 VEXTDUHVLX      000100 ..... ..... ..... ..... 011010   @VA
 429 VEXTDUHVRX      000100 ..... ..... ..... ..... 011011   @VA
 430 VEXTDUWVLX      000100 ..... ..... ..... ..... 011100   @VA
 431 VEXTDUWVRX      000100 ..... ..... ..... ..... 011101   @VA
 432 VEXTDDVLX       000100 ..... ..... ..... ..... 011110   @VA
 433 VEXTDDVRX       000100 ..... ..... ..... ..... 011111   @VA
 434
 435 VINSERTB        000100 ..... - .... ..... 01100001101   @VX_uim4
 436 VINSERTH        000100 ..... - .... ..... 01101001101   @VX_uim4
 437 VINSERTW        000100 ..... - .... ..... 01110001101   @VX_uim4
 438 VINSERTD        000100 ..... - .... ..... 01111001101   @VX_uim4
 439
 440 VINSBLX         000100 ..... ..... ..... 01000001111    @VX
 441 VINSBRX         000100 ..... ..... ..... 01100001111    @VX
 442 VINSHLX         000100 ..... ..... ..... 01001001111    @VX
 443 VINSHRX         000100 ..... ..... ..... 01101001111    @VX
 444 VINSWLX         000100 ..... ..... ..... 01010001111    @VX
 445 VINSWRX         000100 ..... ..... ..... 01110001111    @VX
 446 VINSDLX         000100 ..... ..... ..... 01011001111    @VX
 447 VINSDRX         000100 ..... ..... ..... 01111001111    @VX
 448
 449 VINSW           000100 ..... - .... ..... 00011001111   @VX_uim4
 450 VINSD           000100 ..... - .... ..... 00111001111   @VX_uim4
 451
 452 VINSBVLX        000100 ..... ..... ..... 00000001111    @VX
 453 VINSBVRX        000100 ..... ..... ..... 00100001111    @VX
 454 VINSHVLX        000100 ..... ..... ..... 00001001111    @VX
 455 VINSHVRX        000100 ..... ..... ..... 00101001111    @VX
 456 VINSWVLX        000100 ..... ..... ..... 00010001111    @VX
 457 VINSWVRX        000100 ..... ..... ..... 00110001111    @VX
 458
 459 VSLDBI          000100 ..... ..... ..... 00 ... 010110  @VN
 460 VSRDBI          000100 ..... ..... ..... 01 ... 010110  @VN
 461
 462 ## Vector Integer Arithmetic Instructions
 463
 464 VEXTSB2W        000100 ..... 10000 ..... 11000000010    @VX_tb
 465 VEXTSH2W        000100 ..... 10001 ..... 11000000010    @VX_tb
 466 VEXTSB2D        000100 ..... 11000 ..... 11000000010    @VX_tb
 467 VEXTSH2D        000100 ..... 11001 ..... 11000000010    @VX_tb
 468 VEXTSW2D        000100 ..... 11010 ..... 11000000010    @VX_tb
 469 VEXTSD2Q        000100 ..... 11011 ..... 11000000010    @VX_tb
 470
 471 ## Vector Mask Manipulation Instructions
 472
 473 MTVSRBM         000100 ..... 10000 ..... 11001000010    @VX_tb
 474 MTVSRHM         000100 ..... 10001 ..... 11001000010    @VX_tb
 475 MTVSRWM         000100 ..... 10010 ..... 11001000010    @VX_tb
 476 MTVSRDM         000100 ..... 10011 ..... 11001000010    @VX_tb
 477 MTVSRQM         000100 ..... 10100 ..... 11001000010    @VX_tb
 478 MTVSRBMI        000100 ..... ..... .......... 01010 .   @DX_b
 479
 480 VEXPANDBM       000100 ..... 00000 ..... 11001000010    @VX_tb
 481 VEXPANDHM       000100 ..... 00001 ..... 11001000010    @VX_tb
 482 VEXPANDWM       000100 ..... 00010 ..... 11001000010    @VX_tb
 483 VEXPANDDM       000100 ..... 00011 ..... 11001000010    @VX_tb
 484 VEXPANDQM       000100 ..... 00100 ..... 11001000010    @VX_tb
 485
 486 VEXTRACTBM      000100 ..... 01000 ..... 11001000010    @VX_tb
 487 VEXTRACTHM      000100 ..... 01001 ..... 11001000010    @VX_tb
 488 VEXTRACTWM      000100 ..... 01010 ..... 11001000010    @VX_tb
 489 VEXTRACTDM      000100 ..... 01011 ..... 11001000010    @VX_tb
 490 VEXTRACTQM      000100 ..... 01100 ..... 11001000010    @VX_tb
 491
 492 ## Vector Multiply Instruction
 493
 494 VMULESB         000100 ..... ..... ..... 01100001000    @VX
 495 VMULOSB         000100 ..... ..... ..... 00100001000    @VX
 496 VMULEUB         000100 ..... ..... ..... 01000001000    @VX
 497 VMULOUB         000100 ..... ..... ..... 00000001000    @VX
 498
 499 VMULESH         000100 ..... ..... ..... 01101001000    @VX
 500 VMULOSH         000100 ..... ..... ..... 00101001000    @VX
 501 VMULEUH         000100 ..... ..... ..... 01001001000    @VX
 502 VMULOUH         000100 ..... ..... ..... 00001001000    @VX
 503
 504 VMULESW         000100 ..... ..... ..... 01110001000    @VX
 505 VMULOSW         000100 ..... ..... ..... 00110001000    @VX
 506 VMULEUW         000100 ..... ..... ..... 01010001000    @VX
 507 VMULOUW         000100 ..... ..... ..... 00010001000    @VX
 508
 509 VMULESD         000100 ..... ..... ..... 01111001000    @VX
 510 VMULOSD         000100 ..... ..... ..... 00111001000    @VX
 511 VMULEUD         000100 ..... ..... ..... 01011001000    @VX
 512 VMULOUD         000100 ..... ..... ..... 00011001000    @VX
 513
 514 VMULHSW         000100 ..... ..... ..... 01110001001    @VX
 515 VMULHUW         000100 ..... ..... ..... 01010001001    @VX
 516 VMULHSD         000100 ..... ..... ..... 01111001001    @VX
 517 VMULHUD         000100 ..... ..... ..... 01011001001    @VX
 518 VMULLD          000100 ..... ..... ..... 00111001001    @VX
 519
 520 ## Vector Multiply-Sum Instructions
 521
 522 VMSUMCUD        000100 ..... ..... ..... ..... 010111   @VA
 523 VMSUMUDM        000100 ..... ..... ..... ..... 100011   @VA
 524
 525 ## Vector String Instructions
 526
 527 VSTRIBL         000100 ..... 00000 ..... . 0000001101   @VX_tb_rc
 528 VSTRIBR         000100 ..... 00001 ..... . 0000001101   @VX_tb_rc
 529 VSTRIHL         000100 ..... 00010 ..... . 0000001101   @VX_tb_rc
 530 VSTRIHR         000100 ..... 00011 ..... . 0000001101   @VX_tb_rc
 531
 532 VCLRLB          000100 ..... ..... ..... 00110001101    @VX
 533
 534 # VSX Load/Store Instructions
 535
 536 LXV             111101 ..... ..... ............ . 001   @DQ_TSX
 537 STXV            111101 ..... ..... ............ . 101   @DQ_TSX
 538 LXVP            000110 ..... ..... ............ 0000    @DQ_TSXP
 539 STXVP           000110 ..... ..... ............ 0001    @DQ_TSXP
 540 LXVX            011111 ..... ..... ..... 0100 - 01100 . @X_TSX
 541 STXVX           011111 ..... ..... ..... 0110001100 .   @X_TSX
 542 LXVPX           011111 ..... ..... ..... 0101001101 -   @X_TSXP
 543 STXVPX          011111 ..... ..... ..... 0111001101 -   @X_TSXP
 544
 545 ## VSX splat instruction
 546
 547 XXSPLTIB        111100 ..... 00 ........ 0101101000 .   @X_imm8
 548 XXSPLTW         111100 ..... ---.. ..... 010100100 . .  @XX2
 549
 550 ## VSX Vector Load Special Value Instruction
 551
 552 LXVKQ           111100 ..... 11111 ..... 0101101000 .   @X_uim5
 553
 554 ## VSX Comparison Instructions
 555
 556 XSMAXCDP        111100 ..... ..... ..... 10000000 ...   @XX3
 557 XSMINCDP        111100 ..... ..... ..... 10001000 ...   @XX3
 558 XSMAXJDP        111100 ..... ..... ..... 10010000 ...   @XX3
 559 XSMINJDP        111100 ..... ..... ..... 10011000 ...   @XX3
 560
 561 ## VSX Binary Floating-Point Convert Instructions
 562
 563 XSCVQPDP        111111 ..... 10100 ..... 1101000100 .   @X_tb_rc
 564
 565 ### rfebb
 566 &XL_s           s:uint8_t
 567 @XL_s           ......-------------- s:1 .......... -   &XL_s
 568 RFEBB           010011-------------- .   0010010010 -   @XL_s