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 &A              frt fra frb frc rc:bool
  21 @A              ...... frt:5 fra:5 frb:5 frc:5 ..... rc:1       &A
  22
  23 &A_tb           frt frb rc:bool
  24 @A_tb           ...... frt:5 ..... frb:5 ..... ..... rc:1       &A_tb
  25
  26 &D              rt ra si:int64_t
  27 @D              ...... rt:5 ra:5 si:s16                         &D
  28
  29 &D_bf           bf l:bool ra imm
  30 @D_bfs          ...... bf:3 . l:1 ra:5 imm:s16                  &D_bf
  31 @D_bfu          ...... bf:3 . l:1 ra:5 imm:16                   &D_bf
  32
  33 %dq_si          4:s12  !function=times_16
  34 %dq_rtp         22:4   !function=times_2
  35 @DQ_rtp         ...... ....0 ra:5 ............ ....             &D rt=%dq_rtp si=%dq_si
  36
  37 %dq_rt_tsx      3:1 21:5
  38 @DQ_TSX         ...... ..... ra:5 ............ ....             &D si=%dq_si rt=%dq_rt_tsx
  39
  40 %rt_tsxp        21:1 22:4 !function=times_2
  41 @DQ_TSXP        ...... ..... ra:5 ............ ....             &D si=%dq_si rt=%rt_tsxp
  42
  43 %ds_si          2:s14  !function=times_4
  44 @DS             ...... rt:5 ra:5 .............. ..              &D si=%ds_si
  45
  46 %ds_rtp         22:4   !function=times_2
  47 @DS_rtp         ...... ....0 ra:5 .............. ..             &D rt=%ds_rtp si=%ds_si
  48
  49 &DX_b           vrt b
  50 %dx_b           6:10 16:5 0:1
  51 @DX_b           ...... vrt:5  ..... .......... ..... .          &DX_b b=%dx_b
  52
  53 &DX             rt d
  54 %dx_d           6:s10 16:5 0:1
  55 @DX             ...... rt:5  ..... .......... ..... .           &DX d=%dx_d
  56
  57 &VA             vrt vra vrb rc
  58 @VA             ...... vrt:5 vra:5 vrb:5 rc:5 ......            &VA
  59
  60 &VC             vrt vra vrb rc:bool
  61 @VC             ...... vrt:5 vra:5 vrb:5 rc:1 ..........        &VC
  62
  63 &VN             vrt vra vrb sh
  64 @VN             ...... vrt:5 vra:5 vrb:5 .. sh:3 ......         &VN
  65
  66 &VX             vrt vra vrb
  67 @VX             ...... vrt:5 vra:5 vrb:5 .......... .           &VX
  68
  69 &VX_bf          bf vra vrb
  70 @VX_bf          ...... bf:3 .. vra:5 vrb:5 ...........          &VX_bf
  71
  72 &VX_mp          rt mp:bool vrb
  73 @VX_mp          ...... rt:5 .... mp:1 vrb:5 ...........         &VX_mp
  74
  75 &VX_n           rt vrb n
  76 @VX_n           ...... rt:5 .. n:3 vrb:5 ...........            &VX_n
  77
  78 &VX_tb_rc       vrt vrb rc:bool
  79 @VX_tb_rc       ...... vrt:5 ..... vrb:5 rc:1 ..........        &VX_tb_rc
  80
  81 &VX_uim4        vrt uim vrb
  82 @VX_uim4        ...... vrt:5 . uim:4 vrb:5 ...........          &VX_uim4
  83
  84 &VX_tb          vrt vrb
  85 @VX_tb          ...... vrt:5 ..... vrb:5 ...........            &VX_tb
  86
  87 &X              rt ra rb
  88 @X              ...... rt:5 ra:5 rb:5 .......... .              &X
  89
  90 &X_rc           rt ra rb rc:bool
  91 @X_rc           ...... rt:5 ra:5 rb:5 .......... rc:1           &X_rc
  92
  93 &X_sa           rs ra
  94 @X_sa           ...... rs:5 ra:5 ..... .......... .             &X_sa
  95
  96 %x_frtp         22:4 !function=times_2
  97 %x_frap         17:4 !function=times_2
  98 %x_frbp         12:4 !function=times_2
  99 @X_tp_ap_bp_rc  ...... ....0 ....0 ....0 .......... rc:1        &X_rc rt=%x_frtp ra=%x_frap rb=%x_frbp
 100
 101 @X_tp_a_bp_rc   ...... ....0 ra:5 ....0 .......... rc:1         &X_rc rt=%x_frtp rb=%x_frbp
 102
 103 &X_t            rt
 104 @X_t            ...... rt:5 ..... ..... .......... .            &X_t
 105
 106 &X_tb           rt rb
 107 @X_tb           ...... rt:5 ..... rb:5 .......... .             &X_tb
 108
 109 &X_t_rc         rt rc:bool
 110 @X_t_rc         ...... rt:5 ..... ..... .......... rc:1         &X_t_rc
 111
 112 &X_tb_rc        rt rb rc:bool
 113 @X_tb_rc        ...... rt:5 ..... rb:5 .......... rc:1          &X_tb_rc
 114
 115 @X_tbp_rc       ...... ....0 ..... ....0 .......... rc:1        &X_tb_rc rt=%x_frtp rb=%x_frbp
 116
 117 @X_tp_b_rc      ...... ....0 ..... rb:5 .......... rc:1         &X_tb_rc rt=%x_frtp
 118
 119 @X_t_bp_rc      ...... rt:5 ..... ....0 .......... rc:1         &X_tb_rc rb=%x_frbp
 120
 121 &X_bi           rt bi
 122 @X_bi           ...... rt:5 bi:5 ..... .......... .             &X_bi
 123
 124 &X_bf           bf ra rb
 125 @X_bf           ...... bf:3 .. ra:5 rb:5 .......... .           &X_bf
 126
 127 @X_bf_ap_bp     ...... bf:3 .. ....0 ....0 .......... .         &X_bf ra=%x_frap rb=%x_frbp
 128
 129 @X_bf_a_bp      ...... bf:3 .. ra:5 ....0 .......... .          &X_bf rb=%x_frbp
 130
 131 &X_bf_uim       bf uim rb
 132 @X_bf_uim       ...... bf:3 . uim:6 rb:5 .......... .           &X_bf_uim
 133
 134 @X_bf_uim_bp    ...... bf:3 . uim:6 ....0 .......... .          &X_bf_uim rb=%x_frbp
 135
 136 &X_bfl          bf l:bool ra rb
 137 @X_bfl          ...... bf:3 . l:1 ra:5 rb:5 .......... .        &X_bfl
 138
 139 &X_imm2         rt imm
 140 @X_imm2         ...... rt:5 ..... ... imm:2 .......... .        &X_imm2
 141
 142 &X_imm3         rt imm
 143 @X_imm3         ...... rt:5 ..... .. imm:3 .......... .         &X_imm3
 144
 145 %x_xt           0:1 21:5
 146 &X_imm5         xt imm:uint8_t vrb
 147 @X_imm5         ...... ..... imm:5 vrb:5 .......... .           &X_imm5 xt=%x_xt
 148
 149 &X_imm8         xt imm:uint8_t
 150 @X_imm8         ...... ..... .. imm:8 .......... .              &X_imm8 xt=%x_xt
 151
 152 &X_ih           ih:uint8_t
 153 @X_ih           ...... .. ih:3 ..... ..... .......... .         &X_ih
 154
 155 &X_rb           rb
 156 @X_rb           ...... ..... ..... rb:5 .......... .            &X_rb
 157
 158 &X_rs_l         rs l:bool
 159 @X_rs_l         ...... rs:5 .... l:1 ..... .......... .         &X_rs_l
 160
 161 &X_uim5         xt uim:uint8_t
 162 @X_uim5         ...... ..... ..... uim:5 .......... .           &X_uim5 xt=%x_xt
 163
 164 &X_tb_sp_rc     rt rb sp rc:bool
 165 @X_tb_sp_rc     ...... rt:5 sp:2 ... rb:5 .......... rc:1       &X_tb_sp_rc
 166
 167 @X_tbp_sp_rc    ...... ....0 sp:2 ... ....0 .......... rc:1     &X_tb_sp_rc rt=%x_frtp rb=%x_frbp
 168
 169 &X_tb_s_rc      rt rb s:bool rc:bool
 170 @X_tb_s_rc      ...... rt:5 s:1 .... rb:5 .......... rc:1       &X_tb_s_rc
 171
 172 @X_tbp_s_rc     ...... ....0 s:1 .... ....0 .......... rc:1     &X_tb_s_rc rt=%x_frtp rb=%x_frbp
 173
 174 %x_rt_tsx       0:1 21:5
 175 @X_TSX          ...... ..... ra:5 rb:5 .......... .             &X rt=%x_rt_tsx
 176 @X_TSXP         ...... ..... ra:5 rb:5 .......... .             &X rt=%rt_tsxp
 177
 178 %x_dw           0:1 21:5 !function=dw_compose_ea
 179 @X_DW           ...... ..... ra:5 rb:5 .......... .             &X rt=%x_dw
 180
 181 &X_frtp_vrb     frtp vrb
 182 @X_frtp_vrb     ...... ....0 ..... vrb:5 .......... .           &X_frtp_vrb frtp=%x_frtp
 183
 184 &X_vrt_frbp     vrt frbp
 185 @X_vrt_frbp     ...... vrt:5 ..... ....0 .......... .           &X_vrt_frbp frbp=%x_frbp
 186
 187 &X_a            ra
 188 @X_a            ...... ra:3 .. ..... ..... .......... .         &X_a
 189
 190 %xx_xt          0:1 21:5
 191 %xx_xb          1:1 11:5
 192 %xx_xa          2:1 16:5
 193 %xx_xc          3:1 6:5
 194 &XX2            xt xb
 195 @XX2            ...... ..... ..... ..... ......... ..           &XX2 xt=%xx_xt xb=%xx_xb
 196
 197 &XX2_uim        xt xb uim:uint8_t
 198 @XX2_uim2       ...... ..... ... uim:2 ..... ......... ..       &XX2_uim xt=%xx_xt xb=%xx_xb
 199
 200 @XX2_uim4       ...... ..... . uim:4 ..... ......... ..         &XX2_uim xt=%xx_xt xb=%xx_xb
 201
 202 %xx_uim7        6:1 2:1 16:5
 203 @XX2_uim7       ...... ..... ..... ..... .... . ... . ..        &XX2_uim xt=%xx_xt xb=%xx_xb uim=%xx_uim7
 204
 205 &XX2_bf_uim     bf xb uim
 206 @XX2_bf_uim     ...... bf:3 uim:7 ..... ......... . .           &XX2_bf_uim
 207
 208 &XX2_bf_xb      bf xb
 209 @XX2_bf_xb      ...... bf:3 .. ..... ..... ......... . .        &XX2_bf_xb xb=%xx_xb
 210
 211 &XX3            xt xa xb
 212 @XX3            ...... ..... ..... ..... ........ ...           &XX3 xt=%xx_xt xa=%xx_xa xb=%xx_xb
 213
 214 # 32 bit GER instructions have all mask bits considered 1
 215 &MMIRR_XX3      xa xb xt pmsk xmsk ymsk
 216 %xx_at          23:3
 217 %xx_xa_pair     2:1 17:4 !function=times_2
 218 @XX3_at         ...... ... .. ..... ..... ........ ...          &MMIRR_XX3 xt=%xx_at xb=%xx_xb \
 219                                                                 pmsk=255 xmsk=15 ymsk=15
 220
 221 &XX3_dm         xt xa xb dm
 222 @XX3_dm         ...... ..... ..... ..... . dm:2 ..... ...       &XX3_dm xt=%xx_xt xa=%xx_xa xb=%xx_xb
 223
 224 &XX4            xt xa xb xc
 225 @XX4            ...... ..... ..... ..... ..... .. ....          &XX4 xt=%xx_xt xa=%xx_xa xb=%xx_xb xc=%xx_xc
 226
 227 &Z22_bf_fra     bf fra dm
 228 @Z22_bf_fra     ...... bf:3 .. fra:5 dm:6 ......... .           &Z22_bf_fra
 229
 230 %z22_frap       17:4 !function=times_2
 231 @Z22_bf_frap    ...... bf:3 .. ....0 dm:6 ......... .           &Z22_bf_fra fra=%z22_frap
 232
 233 &Z22_ta_sh_rc   rt ra sh rc:bool
 234 @Z22_ta_sh_rc   ...... rt:5 ra:5 sh:6 ......... rc:1            &Z22_ta_sh_rc
 235
 236 %z22_frtp       22:4 !function=times_2
 237 @Z22_tap_sh_rc  ...... ....0 ....0 sh:6 ......... rc:1          &Z22_ta_sh_rc rt=%z22_frtp ra=%z22_frap
 238
 239 &Z23_tab        frt fra frb rmc rc:bool
 240 @Z23_tab        ...... frt:5 fra:5 frb:5 rmc:2 ........ rc:1    &Z23_tab
 241
 242 %z23_frtp       22:4 !function=times_2
 243 %z23_frap       17:4 !function=times_2
 244 %z23_frbp       12:4 !function=times_2
 245 @Z23_tabp       ...... ....0 ....0 ....0 rmc:2 ........ rc:1    &Z23_tab frt=%z23_frtp fra=%z23_frap frb=%z23_frbp
 246
 247 @Z23_tp_a_bp    ...... ....0 fra:5 ....0 rmc:2 ........ rc:1    &Z23_tab frt=%z23_frtp frb=%z23_frbp
 248
 249 &Z23_tb         frt frb r:bool rmc rc:bool
 250 @Z23_tb         ...... frt:5 .... r:1 frb:5 rmc:2 ........ rc:1 &Z23_tb
 251
 252 @Z23_tbp        ...... ....0 .... r:1 ....0 rmc:2 ........ rc:1 &Z23_tb frt=%z23_frtp frb=%z23_frbp
 253
 254 &Z23_te_tb      te frt frb rmc rc:bool
 255 @Z23_te_tb      ...... frt:5 te:5 frb:5 rmc:2 ........ rc:1     &Z23_te_tb
 256
 257 @Z23_te_tbp     ...... ....0 te:5 ....0 rmc:2 ........ rc:1     &Z23_te_tb frt=%z23_frtp frb=%z23_frbp
 258
 259 ### Fixed-Point Load Instructions
 260
 261 LBZ             100010 ..... ..... ................     @D
 262 LBZU            100011 ..... ..... ................     @D
 263 LBZX            011111 ..... ..... ..... 0001010111 -   @X
 264 LBZUX           011111 ..... ..... ..... 0001110111 -   @X
 265
 266 LHZ             101000 ..... ..... ................     @D
 267 LHZU            101001 ..... ..... ................     @D
 268 LHZX            011111 ..... ..... ..... 0100010111 -   @X
 269 LHZUX           011111 ..... ..... ..... 0100110111 -   @X
 270
 271 LHA             101010 ..... ..... ................     @D
 272 LHAU            101011 ..... ..... ................     @D
 273 LHAX            011111 ..... ..... ..... 0101010111 -   @X
 274 LHAXU           011111 ..... ..... ..... 0101110111 -   @X
 275
 276 LWZ             100000 ..... ..... ................     @D
 277 LWZU            100001 ..... ..... ................     @D
 278 LWZX            011111 ..... ..... ..... 0000010111 -   @X
 279 LWZUX           011111 ..... ..... ..... 0000110111 -   @X
 280
 281 LWA             111010 ..... ..... ..............10     @DS
 282 LWAX            011111 ..... ..... ..... 0101010101 -   @X
 283 LWAUX           011111 ..... ..... ..... 0101110101 -   @X
 284
 285 LD              111010 ..... ..... ..............00     @DS
 286 LDU             111010 ..... ..... ..............01     @DS
 287 LDX             011111 ..... ..... ..... 0000010101 -   @X
 288 LDUX            011111 ..... ..... ..... 0000110101 -   @X
 289
 290 LQ              111000 ..... ..... ............ ----    @DQ_rtp
 291
 292 ### Fixed-Point Store Instructions
 293
 294 STB             100110 ..... ..... ................     @D
 295 STBU            100111 ..... ..... ................     @D
 296 STBX            011111 ..... ..... ..... 0011010111 -   @X
 297 STBUX           011111 ..... ..... ..... 0011110111 -   @X
 298
 299 STH             101100 ..... ..... ................     @D
 300 STHU            101101 ..... ..... ................     @D
 301 STHX            011111 ..... ..... ..... 0110010111 -   @X
 302 STHUX           011111 ..... ..... ..... 0110110111 -   @X
 303
 304 STW             100100 ..... ..... ................     @D
 305 STWU            100101 ..... ..... ................     @D
 306 STWX            011111 ..... ..... ..... 0010010111 -   @X
 307 STWUX           011111 ..... ..... ..... 0010110111 -   @X
 308
 309 STD             111110 ..... ..... ..............00     @DS
 310 STDU            111110 ..... ..... ..............01     @DS
 311 STDX            011111 ..... ..... ..... 0010010101 -   @X
 312 STDUX           011111 ..... ..... ..... 0010110101 -   @X
 313
 314 STQ             111110 ..... ..... ..............10     @DS_rtp
 315
 316 ### Fixed-Point Compare Instructions
 317
 318 CMP             011111 ... - . ..... ..... 0000000000 - @X_bfl
 319 CMPL            011111 ... - . ..... ..... 0000100000 - @X_bfl
 320 CMPI            001011 ... - . ..... ................   @D_bfs
 321 CMPLI           001010 ... - . ..... ................   @D_bfu
 322
 323 ### Fixed-Point Arithmetic Instructions
 324
 325 ADDI            001110 ..... ..... ................     @D
 326 ADDIS           001111 ..... ..... ................     @D
 327
 328 ADDPCIS         010011 ..... ..... .......... 00010 .   @DX
 329
 330 ## Fixed-Point Logical Instructions
 331
 332 CFUGED          011111 ..... ..... ..... 0011011100 -   @X
 333 CNTLZDM         011111 ..... ..... ..... 0000111011 -   @X
 334 CNTTZDM         011111 ..... ..... ..... 1000111011 -   @X
 335 PDEPD           011111 ..... ..... ..... 0010011100 -   @X
 336 PEXTD           011111 ..... ..... ..... 0010111100 -   @X
 337
 338 # Fixed-Point Hash Instructions
 339
 340 HASHST          011111 ..... ..... ..... 1011010010 .   @X_DW
 341 HASHCHK         011111 ..... ..... ..... 1011110010 .   @X_DW
 342 HASHSTP         011111 ..... ..... ..... 1010010010 .   @X_DW
 343 HASHCHKP        011111 ..... ..... ..... 1010110010 .   @X_DW
 344
 345 ## BCD Assist
 346
 347 ADDG6S          011111 ..... ..... ..... - 001001010 -  @X
 348 CDTBCD          011111 ..... ..... ----- 0100011010 -   @X_sa
 349 CBCDTD          011111 ..... ..... ----- 0100111010 -   @X_sa
 350
 351 ### Float-Point Load Instructions
 352
 353 LFS             110000 ..... ..... ................     @D
 354 LFSU            110001 ..... ..... ................     @D
 355 LFSX            011111 ..... ..... ..... 1000010111 -   @X
 356 LFSUX           011111 ..... ..... ..... 1000110111 -   @X
 357
 358 LFD             110010 ..... ..... ................     @D
 359 LFDU            110011 ..... ..... ................     @D
 360 LFDX            011111 ..... ..... ..... 1001010111 -   @X
 361 LFDUX           011111 ..... ..... ..... 1001110111 -   @X
 362
 363 ### Float-Point Store Instructions
 364
 365 STFS            110100 ..... ...... ...............     @D
 366 STFSU           110101 ..... ...... ...............     @D
 367 STFSX           011111 ..... ...... .... 1010010111 -   @X
 368 STFSUX          011111 ..... ...... .... 1010110111 -   @X
 369
 370 STFD            110110 ..... ...... ...............     @D
 371 STFDU           110111 ..... ...... ...............     @D
 372 STFDX           011111 ..... ...... .... 1011010111 -   @X
 373 STFDUX          011111 ..... ...... .... 1011110111 -   @X
 374
 375 ### Floating-Point Arithmetic Instructions
 376
 377 FSQRT           111111 ..... ----- ..... ----- 10110 .  @A_tb
 378 FSQRTS          111011 ..... ----- ..... ----- 10110 .  @A_tb
 379
 380 ### Floating-Point Select Instruction
 381
 382 FSEL            111111 ..... ..... ..... ..... 10111 .  @A
 383
 384 ### Move To/From System Register Instructions
 385
 386 SETBC           011111 ..... ..... ----- 0110000000 -   @X_bi
 387 SETBCR          011111 ..... ..... ----- 0110100000 -   @X_bi
 388 SETNBC          011111 ..... ..... ----- 0111000000 -   @X_bi
 389 SETNBCR         011111 ..... ..... ----- 0111100000 -   @X_bi
 390
 391 ### Move To/From FPSCR
 392
 393 {
 394   # Before Power ISA v3.0, MFFS bits 11~15 were reserved and should be ignored
 395   MFFS_ISA207     111111 ..... ----- ----- 1001000111 .   @X_t_rc
 396   [
 397     MFFS            111111 ..... 00000 ----- 1001000111 .   @X_t_rc
 398     MFFSCE          111111 ..... 00001 ----- 1001000111 -   @X_t
 399     MFFSCRN         111111 ..... 10110 ..... 1001000111 -   @X_tb
 400     MFFSCDRN        111111 ..... 10100 ..... 1001000111 -   @X_tb
 401     MFFSCRNI        111111 ..... 10111 ---.. 1001000111 -   @X_imm2
 402     MFFSCDRNI       111111 ..... 10101 --... 1001000111 -   @X_imm3
 403     MFFSL           111111 ..... 11000 ----- 1001000111 -   @X_t
 404   ]
 405 }
 406
 407 ### Decimal Floating-Point Arithmetic Instructions
 408
 409 DADD            111011 ..... ..... ..... 0000000010 .   @X_rc
 410 DADDQ           111111 ..... ..... ..... 0000000010 .   @X_tp_ap_bp_rc
 411
 412 DSUB            111011 ..... ..... ..... 1000000010 .   @X_rc
 413 DSUBQ           111111 ..... ..... ..... 1000000010 .   @X_tp_ap_bp_rc
 414
 415 DMUL            111011 ..... ..... ..... 0000100010 .   @X_rc
 416 DMULQ           111111 ..... ..... ..... 0000100010 .   @X_tp_ap_bp_rc
 417
 418 DDIV            111011 ..... ..... ..... 1000100010 .   @X_rc
 419 DDIVQ           111111 ..... ..... ..... 1000100010 .   @X_tp_ap_bp_rc
 420
 421 ### Decimal Floating-Point Compare Instructions
 422
 423 DCMPU           111011 ... -- ..... ..... 1010000010 -  @X_bf
 424 DCMPUQ          111111 ... -- ..... ..... 1010000010 -  @X_bf_ap_bp
 425
 426 DCMPO           111011 ... -- ..... ..... 0010000010 -  @X_bf
 427 DCMPOQ          111111 ... -- ..... ..... 0010000010 -  @X_bf_ap_bp
 428
 429 ### Decimal Floating-Point Test Instructions
 430
 431 DTSTDC          111011 ... -- ..... ...... 011000010 -  @Z22_bf_fra
 432 DTSTDCQ         111111 ... -- ..... ...... 011000010 -  @Z22_bf_frap
 433
 434 DTSTDG          111011 ... -- ..... ...... 011100010 -  @Z22_bf_fra
 435 DTSTDGQ         111111 ... -- ..... ...... 011100010 -  @Z22_bf_frap
 436
 437 DTSTEX          111011 ... -- ..... ..... 0010100010 -  @X_bf
 438 DTSTEXQ         111111 ... -- ..... ..... 0010100010 -  @X_bf_ap_bp
 439
 440 DTSTSF          111011 ... -- ..... ..... 1010100010 -  @X_bf
 441 DTSTSFQ         111111 ... -- ..... ..... 1010100010 -  @X_bf_a_bp
 442
 443 DTSTSFI         111011 ... - ...... ..... 1010100011 -  @X_bf_uim
 444 DTSTSFIQ        111111 ... - ...... ..... 1010100011 -  @X_bf_uim_bp
 445
 446 ### Decimal Floating-Point Quantum Adjustment Instructions
 447
 448 DQUAI           111011 ..... ..... ..... .. 01000011 .  @Z23_te_tb
 449 DQUAIQ          111111 ..... ..... ..... .. 01000011 .  @Z23_te_tbp
 450
 451 DQUA            111011 ..... ..... ..... .. 00000011 .  @Z23_tab
 452 DQUAQ           111111 ..... ..... ..... .. 00000011 .  @Z23_tabp
 453
 454 DRRND           111011 ..... ..... ..... .. 00100011 .  @Z23_tab
 455 DRRNDQ          111111 ..... ..... ..... .. 00100011 .  @Z23_tp_a_bp
 456
 457 DRINTX          111011 ..... ---- . ..... .. 01100011 . @Z23_tb
 458 DRINTXQ         111111 ..... ---- . ..... .. 01100011 . @Z23_tbp
 459
 460 DRINTN          111011 ..... ---- . ..... .. 11100011 . @Z23_tb
 461 DRINTNQ         111111 ..... ---- . ..... .. 11100011 . @Z23_tbp
 462
 463 ### Decimal Floating-Point Conversion Instructions
 464
 465 DCTDP           111011 ..... ----- ..... 0100000010 .   @X_tb_rc
 466 DCTQPQ          111111 ..... ----- ..... 0100000010 .   @X_tp_b_rc
 467
 468 DRSP            111011 ..... ----- ..... 1100000010 .   @X_tb_rc
 469 DRDPQ           111111 ..... ----- ..... 1100000010 .   @X_tbp_rc
 470
 471 DCFFIX          111011 ..... ----- ..... 1100100010 .   @X_tb_rc
 472 DCFFIXQ         111111 ..... ----- ..... 1100100010 .   @X_tp_b_rc
 473 DCFFIXQQ        111111 ..... 00000 ..... 1111100010 -   @X_frtp_vrb
 474
 475 DCTFIX          111011 ..... ----- ..... 0100100010 .   @X_tb_rc
 476 DCTFIXQ         111111 ..... ----- ..... 0100100010 .   @X_t_bp_rc
 477 DCTFIXQQ        111111 ..... 00001 ..... 1111100010 -   @X_vrt_frbp
 478
 479 ### Decimal Floating-Point Format Instructions
 480
 481 DDEDPD          111011 ..... .. --- ..... 0101000010 .  @X_tb_sp_rc
 482 DDEDPDQ         111111 ..... .. --- ..... 0101000010 .  @X_tbp_sp_rc
 483
 484 DENBCD          111011 ..... . ---- ..... 1101000010 .  @X_tb_s_rc
 485 DENBCDQ         111111 ..... . ---- ..... 1101000010 .  @X_tbp_s_rc
 486
 487 DXEX            111011 ..... ----- ..... 0101100010 .   @X_tb_rc
 488 DXEXQ           111111 ..... ----- ..... 0101100010 .   @X_t_bp_rc
 489
 490 DIEX            111011 ..... ..... ..... 1101100010 .   @X_rc
 491 DIEXQ           111111 ..... ..... ..... 1101100010 .   @X_tp_a_bp_rc
 492
 493 DSCLI           111011 ..... ..... ...... 001000010 .   @Z22_ta_sh_rc
 494 DSCLIQ          111111 ..... ..... ...... 001000010 .   @Z22_tap_sh_rc
 495
 496 DSCRI           111011 ..... ..... ...... 001100010 .   @Z22_ta_sh_rc
 497 DSCRIQ          111111 ..... ..... ...... 001100010 .   @Z22_tap_sh_rc
 498
 499 ## Vector Exclusive-OR-based Instructions
 500
 501 VPMSUMD         000100 ..... ..... ..... 10011001000    @VX
 502
 503 ## Vector Integer Instructions
 504
 505 VCMPEQUB        000100 ..... ..... ..... . 0000000110   @VC
 506 VCMPEQUH        000100 ..... ..... ..... . 0001000110   @VC
 507 VCMPEQUW        000100 ..... ..... ..... . 0010000110   @VC
 508 VCMPEQUD        000100 ..... ..... ..... . 0011000111   @VC
 509 VCMPEQUQ        000100 ..... ..... ..... . 0111000111   @VC
 510
 511 VCMPGTSB        000100 ..... ..... ..... . 1100000110   @VC
 512 VCMPGTSH        000100 ..... ..... ..... . 1101000110   @VC
 513 VCMPGTSW        000100 ..... ..... ..... . 1110000110   @VC
 514 VCMPGTSD        000100 ..... ..... ..... . 1111000111   @VC
 515 VCMPGTSQ        000100 ..... ..... ..... . 1110000111   @VC
 516
 517 VCMPGTUB        000100 ..... ..... ..... . 1000000110   @VC
 518 VCMPGTUH        000100 ..... ..... ..... . 1001000110   @VC
 519 VCMPGTUW        000100 ..... ..... ..... . 1010000110   @VC
 520 VCMPGTUD        000100 ..... ..... ..... . 1011000111   @VC
 521 VCMPGTUQ        000100 ..... ..... ..... . 1010000111   @VC
 522
 523 VCMPNEB         000100 ..... ..... ..... . 0000000111   @VC
 524 VCMPNEH         000100 ..... ..... ..... . 0001000111   @VC
 525 VCMPNEW         000100 ..... ..... ..... . 0010000111   @VC
 526
 527 VCMPNEZB        000100 ..... ..... ..... . 0100000111   @VC
 528 VCMPNEZH        000100 ..... ..... ..... . 0101000111   @VC
 529 VCMPNEZW        000100 ..... ..... ..... . 0110000111   @VC
 530
 531 VCMPSQ          000100 ... -- ..... ..... 00101000001   @VX_bf
 532 VCMPUQ          000100 ... -- ..... ..... 00100000001   @VX_bf
 533
 534 ## Vector Integer Average Instructions
 535
 536 VAVGSB          000100 ..... ..... ..... 10100000010    @VX
 537 VAVGSH          000100 ..... ..... ..... 10101000010    @VX
 538 VAVGSW          000100 ..... ..... ..... 10110000010    @VX
 539 VAVGUB          000100 ..... ..... ..... 10000000010    @VX
 540 VAVGUH          000100 ..... ..... ..... 10001000010    @VX
 541 VAVGUW          000100 ..... ..... ..... 10010000010    @VX
 542
 543 ## Vector Integer Absolute Difference Instructions
 544
 545 VABSDUB         000100 ..... ..... ..... 10000000011    @VX
 546 VABSDUH         000100 ..... ..... ..... 10001000011    @VX
 547 VABSDUW         000100 ..... ..... ..... 10010000011    @VX
 548
 549 ## Vector Bit Manipulation Instruction
 550
 551 VGNB            000100 ..... -- ... ..... 10011001100   @VX_n
 552
 553 VCFUGED         000100 ..... ..... ..... 10101001101    @VX
 554 VCLZDM          000100 ..... ..... ..... 11110000100    @VX
 555 VCTZDM          000100 ..... ..... ..... 11111000100    @VX
 556 VPDEPD          000100 ..... ..... ..... 10111001101    @VX
 557 VPEXTD          000100 ..... ..... ..... 10110001101    @VX
 558
 559 VPRTYBD         000100 ..... 01001 ..... 11000000010    @VX_tb
 560 VPRTYBQ         000100 ..... 01010 ..... 11000000010    @VX_tb
 561 VPRTYBW         000100 ..... 01000 ..... 11000000010    @VX_tb
 562
 563 ## Vector Permute and Formatting Instruction
 564
 565 VEXTDUBVLX      000100 ..... ..... ..... ..... 011000   @VA
 566 VEXTDUBVRX      000100 ..... ..... ..... ..... 011001   @VA
 567 VEXTDUHVLX      000100 ..... ..... ..... ..... 011010   @VA
 568 VEXTDUHVRX      000100 ..... ..... ..... ..... 011011   @VA
 569 VEXTDUWVLX      000100 ..... ..... ..... ..... 011100   @VA
 570 VEXTDUWVRX      000100 ..... ..... ..... ..... 011101   @VA
 571 VEXTDDVLX       000100 ..... ..... ..... ..... 011110   @VA
 572 VEXTDDVRX       000100 ..... ..... ..... ..... 011111   @VA
 573
 574 VINSERTB        000100 ..... - .... ..... 01100001101   @VX_uim4
 575 VINSERTH        000100 ..... - .... ..... 01101001101   @VX_uim4
 576 VINSERTW        000100 ..... - .... ..... 01110001101   @VX_uim4
 577 VINSERTD        000100 ..... - .... ..... 01111001101   @VX_uim4
 578
 579 VINSBLX         000100 ..... ..... ..... 01000001111    @VX
 580 VINSBRX         000100 ..... ..... ..... 01100001111    @VX
 581 VINSHLX         000100 ..... ..... ..... 01001001111    @VX
 582 VINSHRX         000100 ..... ..... ..... 01101001111    @VX
 583 VINSWLX         000100 ..... ..... ..... 01010001111    @VX
 584 VINSWRX         000100 ..... ..... ..... 01110001111    @VX
 585 VINSDLX         000100 ..... ..... ..... 01011001111    @VX
 586 VINSDRX         000100 ..... ..... ..... 01111001111    @VX
 587
 588 VINSW           000100 ..... - .... ..... 00011001111   @VX_uim4
 589 VINSD           000100 ..... - .... ..... 00111001111   @VX_uim4
 590
 591 VINSBVLX        000100 ..... ..... ..... 00000001111    @VX
 592 VINSBVRX        000100 ..... ..... ..... 00100001111    @VX
 593 VINSHVLX        000100 ..... ..... ..... 00001001111    @VX
 594 VINSHVRX        000100 ..... ..... ..... 00101001111    @VX
 595 VINSWVLX        000100 ..... ..... ..... 00010001111    @VX
 596 VINSWVRX        000100 ..... ..... ..... 00110001111    @VX
 597
 598 VSLDBI          000100 ..... ..... ..... 00 ... 010110  @VN
 599 VSRDBI          000100 ..... ..... ..... 01 ... 010110  @VN
 600
 601 VPERM           000100 ..... ..... ..... ..... 101011   @VA
 602 VPERMR          000100 ..... ..... ..... ..... 111011   @VA
 603
 604 VSEL            000100 ..... ..... ..... ..... 101010   @VA
 605
 606 ## Vector Integer Shift Instruction
 607
 608 VSLB            000100 ..... ..... ..... 00100000100    @VX
 609 VSLH            000100 ..... ..... ..... 00101000100    @VX
 610 VSLW            000100 ..... ..... ..... 00110000100    @VX
 611 VSLD            000100 ..... ..... ..... 10111000100    @VX
 612 VSLQ            000100 ..... ..... ..... 00100000101    @VX
 613
 614 VSRB            000100 ..... ..... ..... 01000000100    @VX
 615 VSRH            000100 ..... ..... ..... 01001000100    @VX
 616 VSRW            000100 ..... ..... ..... 01010000100    @VX
 617 VSRD            000100 ..... ..... ..... 11011000100    @VX
 618 VSRQ            000100 ..... ..... ..... 01000000101    @VX
 619
 620 VSRAB           000100 ..... ..... ..... 01100000100    @VX
 621 VSRAH           000100 ..... ..... ..... 01101000100    @VX
 622 VSRAW           000100 ..... ..... ..... 01110000100    @VX
 623 VSRAD           000100 ..... ..... ..... 01111000100    @VX
 624 VSRAQ           000100 ..... ..... ..... 01100000101    @VX
 625
 626 VRLB            000100 ..... ..... ..... 00000000100    @VX
 627 VRLH            000100 ..... ..... ..... 00001000100    @VX
 628 VRLW            000100 ..... ..... ..... 00010000100    @VX
 629 VRLD            000100 ..... ..... ..... 00011000100    @VX
 630 VRLQ            000100 ..... ..... ..... 00000000101    @VX
 631
 632 VRLWMI          000100 ..... ..... ..... 00010000101    @VX
 633 VRLDMI          000100 ..... ..... ..... 00011000101    @VX
 634 VRLQMI          000100 ..... ..... ..... 00001000101    @VX
 635
 636 VRLWNM          000100 ..... ..... ..... 00110000101    @VX
 637 VRLDNM          000100 ..... ..... ..... 00111000101    @VX
 638 VRLQNM          000100 ..... ..... ..... 00101000101    @VX
 639
 640 ## Vector Integer Arithmetic Instructions
 641
 642 VADDCUW         000100 ..... ..... ..... 00110000000    @VX
 643 VADDCUQ         000100 ..... ..... ..... 00101000000    @VX
 644 VADDUQM         000100 ..... ..... ..... 00100000000    @VX
 645
 646 VADDEUQM        000100 ..... ..... ..... ..... 111100   @VA
 647 VADDECUQ        000100 ..... ..... ..... ..... 111101   @VA
 648
 649 VSUBCUW         000100 ..... ..... ..... 10110000000    @VX
 650 VSUBCUQ         000100 ..... ..... ..... 10101000000    @VX
 651 VSUBUQM         000100 ..... ..... ..... 10100000000    @VX
 652
 653 VSUBECUQ        000100 ..... ..... ..... ..... 111111   @VA
 654 VSUBEUQM        000100 ..... ..... ..... ..... 111110   @VA
 655
 656 VEXTSB2W        000100 ..... 10000 ..... 11000000010    @VX_tb
 657 VEXTSH2W        000100 ..... 10001 ..... 11000000010    @VX_tb
 658 VEXTSB2D        000100 ..... 11000 ..... 11000000010    @VX_tb
 659 VEXTSH2D        000100 ..... 11001 ..... 11000000010    @VX_tb
 660 VEXTSW2D        000100 ..... 11010 ..... 11000000010    @VX_tb
 661 VEXTSD2Q        000100 ..... 11011 ..... 11000000010    @VX_tb
 662
 663 VNEGD           000100 ..... 00111 ..... 11000000010    @VX_tb
 664 VNEGW           000100 ..... 00110 ..... 11000000010    @VX_tb
 665
 666 ## Vector Mask Manipulation Instructions
 667
 668 MTVSRBM         000100 ..... 10000 ..... 11001000010    @VX_tb
 669 MTVSRHM         000100 ..... 10001 ..... 11001000010    @VX_tb
 670 MTVSRWM         000100 ..... 10010 ..... 11001000010    @VX_tb
 671 MTVSRDM         000100 ..... 10011 ..... 11001000010    @VX_tb
 672 MTVSRQM         000100 ..... 10100 ..... 11001000010    @VX_tb
 673 MTVSRBMI        000100 ..... ..... .......... 01010 .   @DX_b
 674
 675 VEXPANDBM       000100 ..... 00000 ..... 11001000010    @VX_tb
 676 VEXPANDHM       000100 ..... 00001 ..... 11001000010    @VX_tb
 677 VEXPANDWM       000100 ..... 00010 ..... 11001000010    @VX_tb
 678 VEXPANDDM       000100 ..... 00011 ..... 11001000010    @VX_tb
 679 VEXPANDQM       000100 ..... 00100 ..... 11001000010    @VX_tb
 680
 681 VEXTRACTBM      000100 ..... 01000 ..... 11001000010    @VX_tb
 682 VEXTRACTHM      000100 ..... 01001 ..... 11001000010    @VX_tb
 683 VEXTRACTWM      000100 ..... 01010 ..... 11001000010    @VX_tb
 684 VEXTRACTDM      000100 ..... 01011 ..... 11001000010    @VX_tb
 685 VEXTRACTQM      000100 ..... 01100 ..... 11001000010    @VX_tb
 686
 687 VCNTMBB         000100 ..... 1100 . ..... 11001000010   @VX_mp
 688 VCNTMBH         000100 ..... 1101 . ..... 11001000010   @VX_mp
 689 VCNTMBW         000100 ..... 1110 . ..... 11001000010   @VX_mp
 690 VCNTMBD         000100 ..... 1111 . ..... 11001000010   @VX_mp
 691
 692 ## Vector Multiply Instruction
 693
 694 VMULESB         000100 ..... ..... ..... 01100001000    @VX
 695 VMULOSB         000100 ..... ..... ..... 00100001000    @VX
 696 VMULEUB         000100 ..... ..... ..... 01000001000    @VX
 697 VMULOUB         000100 ..... ..... ..... 00000001000    @VX
 698
 699 VMULESH         000100 ..... ..... ..... 01101001000    @VX
 700 VMULOSH         000100 ..... ..... ..... 00101001000    @VX
 701 VMULEUH         000100 ..... ..... ..... 01001001000    @VX
 702 VMULOUH         000100 ..... ..... ..... 00001001000    @VX
 703
 704 VMULESW         000100 ..... ..... ..... 01110001000    @VX
 705 VMULOSW         000100 ..... ..... ..... 00110001000    @VX
 706 VMULEUW         000100 ..... ..... ..... 01010001000    @VX
 707 VMULOUW         000100 ..... ..... ..... 00010001000    @VX
 708
 709 VMULESD         000100 ..... ..... ..... 01111001000    @VX
 710 VMULOSD         000100 ..... ..... ..... 00111001000    @VX
 711 VMULEUD         000100 ..... ..... ..... 01011001000    @VX
 712 VMULOUD         000100 ..... ..... ..... 00011001000    @VX
 713
 714 VMULHSW         000100 ..... ..... ..... 01110001001    @VX
 715 VMULHUW         000100 ..... ..... ..... 01010001001    @VX
 716 VMULHSD         000100 ..... ..... ..... 01111001001    @VX
 717 VMULHUD         000100 ..... ..... ..... 01011001001    @VX
 718 VMULLD          000100 ..... ..... ..... 00111001001    @VX
 719
 720 ## Vector Multiply-Sum Instructions
 721
 722 VMSUMUBM        000100 ..... ..... ..... ..... 100100   @VA
 723 VMSUMMBM        000100 ..... ..... ..... ..... 100101   @VA
 724 VMSUMSHM        000100 ..... ..... ..... ..... 101000   @VA
 725 VMSUMSHS        000100 ..... ..... ..... ..... 101001   @VA
 726 VMSUMUHM        000100 ..... ..... ..... ..... 100110   @VA
 727 VMSUMUHS        000100 ..... ..... ..... ..... 100111   @VA
 728
 729 VMSUMCUD        000100 ..... ..... ..... ..... 010111   @VA
 730 VMSUMUDM        000100 ..... ..... ..... ..... 100011   @VA
 731
 732 VMLADDUHM       000100 ..... ..... ..... ..... 100010   @VA
 733 VMHADDSHS       000100 ..... ..... ..... ..... 100000   @VA
 734 VMHRADDSHS      000100 ..... ..... ..... ..... 100001   @VA
 735
 736 ## Vector String Instructions
 737
 738 VSTRIBL         000100 ..... 00000 ..... . 0000001101   @VX_tb_rc
 739 VSTRIBR         000100 ..... 00001 ..... . 0000001101   @VX_tb_rc
 740 VSTRIHL         000100 ..... 00010 ..... . 0000001101   @VX_tb_rc
 741 VSTRIHR         000100 ..... 00011 ..... . 0000001101   @VX_tb_rc
 742
 743 VCLRLB          000100 ..... ..... ..... 00110001101    @VX
 744 VCLRRB          000100 ..... ..... ..... 00111001101    @VX
 745
 746 # VSX Load/Store Instructions
 747
 748 LXSD            111001 ..... ..... .............. 10    @DS
 749 STXSD           111101 ..... ..... .............. 10    @DS
 750 LXSSP           111001 ..... ..... .............. 11    @DS
 751 STXSSP          111101 ..... ..... .............. 11    @DS
 752 LXV             111101 ..... ..... ............ . 001   @DQ_TSX
 753 STXV            111101 ..... ..... ............ . 101   @DQ_TSX
 754 LXVP            000110 ..... ..... ............ 0000    @DQ_TSXP
 755 STXVP           000110 ..... ..... ............ 0001    @DQ_TSXP
 756 LXVX            011111 ..... ..... ..... 0100 - 01100 . @X_TSX
 757 STXVX           011111 ..... ..... ..... 0110001100 .   @X_TSX
 758 LXVPX           011111 ..... ..... ..... 0101001101 -   @X_TSXP
 759 STXVPX          011111 ..... ..... ..... 0111001101 -   @X_TSXP
 760 LXVRBX          011111 ..... ..... ..... 0000001101 .   @X_TSX
 761 LXVRHX          011111 ..... ..... ..... 0000101101 .   @X_TSX
 762 LXVRWX          011111 ..... ..... ..... 0001001101 .   @X_TSX
 763 LXVRDX          011111 ..... ..... ..... 0001101101 .   @X_TSX
 764 STXVRBX         011111 ..... ..... ..... 0010001101 .   @X_TSX
 765 STXVRHX         011111 ..... ..... ..... 0010101101 .   @X_TSX
 766 STXVRWX         011111 ..... ..... ..... 0011001101 .   @X_TSX
 767 STXVRDX         011111 ..... ..... ..... 0011101101 .   @X_TSX
 768
 769 ## VSX Vector Binary Floating-Point Sign Manipulation Instructions
 770
 771 XVABSDP         111100 ..... 00000 ..... 111011001 ..   @XX2
 772 XVABSSP         111100 ..... 00000 ..... 110011001 ..   @XX2
 773 XVNABSDP        111100 ..... 00000 ..... 111101001 ..   @XX2
 774 XVNABSSP        111100 ..... 00000 ..... 110101001 ..   @XX2
 775 XVNEGDP         111100 ..... 00000 ..... 111111001 ..   @XX2
 776 XVNEGSP         111100 ..... 00000 ..... 110111001 ..   @XX2
 777 XVCPSGNDP       111100 ..... ..... ..... 11110000 ...   @XX3
 778 XVCPSGNSP       111100 ..... ..... ..... 11010000 ...   @XX3
 779
 780 ## VSX Scalar Multiply-Add Instructions
 781
 782 XSMADDADP       111100 ..... ..... ..... 00100001 . . . @XX3
 783 XSMADDMDP       111100 ..... ..... ..... 00101001 . . . @XX3
 784 XSMADDASP       111100 ..... ..... ..... 00000001 . . . @XX3
 785 XSMADDMSP       111100 ..... ..... ..... 00001001 . . . @XX3
 786 XSMADDQP        111111 ..... ..... ..... 0110000100 .   @X_rc
 787
 788 XSMSUBADP       111100 ..... ..... ..... 00110001 . . . @XX3
 789 XSMSUBMDP       111100 ..... ..... ..... 00111001 . . . @XX3
 790 XSMSUBASP       111100 ..... ..... ..... 00010001 . . . @XX3
 791 XSMSUBMSP       111100 ..... ..... ..... 00011001 . . . @XX3
 792 XSMSUBQP        111111 ..... ..... ..... 0110100100 .   @X_rc
 793
 794 XSNMADDASP      111100 ..... ..... ..... 10000001 . . . @XX3
 795 XSNMADDMSP      111100 ..... ..... ..... 10001001 . . . @XX3
 796 XSNMADDADP      111100 ..... ..... ..... 10100001 . . . @XX3
 797 XSNMADDMDP      111100 ..... ..... ..... 10101001 . . . @XX3
 798 XSNMADDQP       111111 ..... ..... ..... 0111000100 .   @X_rc
 799
 800 XSNMSUBASP      111100 ..... ..... ..... 10010001 . . . @XX3
 801 XSNMSUBMSP      111100 ..... ..... ..... 10011001 . . . @XX3
 802 XSNMSUBADP      111100 ..... ..... ..... 10110001 . . . @XX3
 803 XSNMSUBMDP      111100 ..... ..... ..... 10111001 . . . @XX3
 804 XSNMSUBQP       111111 ..... ..... ..... 0111100100 .   @X_rc
 805
 806 ## VSX splat instruction
 807
 808 XXSPLTIB        111100 ..... 00 ........ 0101101000 .   @X_imm8
 809 XXSPLTW         111100 ..... ---.. ..... 010100100 . .  @XX2_uim2
 810
 811 ## VSX Permute Instructions
 812
 813 XXEXTRACTUW     111100 ..... - .... ..... 010100101 ..  @XX2_uim4
 814 XXINSERTW       111100 ..... - .... ..... 010110101 ..  @XX2_uim4
 815
 816 XXPERM          111100 ..... ..... ..... 00011010 ...   @XX3
 817 XXPERMR         111100 ..... ..... ..... 00111010 ...   @XX3
 818 XXPERMDI        111100 ..... ..... ..... 0 .. 01010 ... @XX3_dm
 819
 820 XXSEL           111100 ..... ..... ..... ..... 11 ....  @XX4
 821
 822 ## VSX Vector Generate PCV
 823
 824 XXGENPCVBM      111100 ..... ..... ..... 1110010100 .   @X_imm5
 825 XXGENPCVHM      111100 ..... ..... ..... 1110010101 .   @X_imm5
 826 XXGENPCVWM      111100 ..... ..... ..... 1110110100 .   @X_imm5
 827 XXGENPCVDM      111100 ..... ..... ..... 1110110101 .   @X_imm5
 828
 829 ## VSX Vector Load Special Value Instruction
 830
 831 LXVKQ           111100 ..... 11111 ..... 0101101000 .   @X_uim5
 832
 833 ## VSX Comparison Instructions
 834
 835 XSMAXCDP        111100 ..... ..... ..... 10000000 ...   @XX3
 836 XSMINCDP        111100 ..... ..... ..... 10001000 ...   @XX3
 837 XSMAXJDP        111100 ..... ..... ..... 10010000 ...   @XX3
 838 XSMINJDP        111100 ..... ..... ..... 10011000 ...   @XX3
 839 XSMAXCQP        111111 ..... ..... ..... 1010100100 -   @X
 840 XSMINCQP        111111 ..... ..... ..... 1011100100 -   @X
 841
 842 XSCMPEQDP       111100 ..... ..... ..... 00000011 ...   @XX3
 843 XSCMPGEDP       111100 ..... ..... ..... 00010011 ...   @XX3
 844 XSCMPGTDP       111100 ..... ..... ..... 00001011 ...   @XX3
 845 XSCMPEQQP       111111 ..... ..... ..... 0001000100 -   @X
 846 XSCMPGEQP       111111 ..... ..... ..... 0011000100 -   @X
 847 XSCMPGTQP       111111 ..... ..... ..... 0011100100 -   @X
 848
 849 ## VSX Binary Floating-Point Convert Instructions
 850
 851 XSCVQPDP        111111 ..... 10100 ..... 1101000100 .   @X_tb_rc
 852 XSCVQPUQZ       111111 ..... 00000 ..... 1101000100 -   @X_tb
 853 XSCVQPSQZ       111111 ..... 01000 ..... 1101000100 -   @X_tb
 854 XSCVUQQP        111111 ..... 00011 ..... 1101000100 -   @X_tb
 855 XSCVSQQP        111111 ..... 01011 ..... 1101000100 -   @X_tb
 856 XVCVBF16SPN     111100 ..... 10000 ..... 111011011 ..   @XX2
 857 XVCVSPBF16      111100 ..... 10001 ..... 111011011 ..   @XX2
 858 XSCVSPDPN       111100 ..... ----- ..... 101001011 ..   @XX2
 859
 860 ## VSX Binary Floating-Point Math Support Instructions
 861
 862 XVXSIGSP        111100 ..... 01001 ..... 111011011 ..   @XX2
 863 XVTSTDCDP       111100 ..... ..... ..... 1111 . 101 ... @XX2_uim7
 864 XVTSTDCSP       111100 ..... ..... ..... 1101 . 101 ... @XX2_uim7
 865 XSTSTDCSP       111100 ... ....... ..... 100101010 . -  @XX2_bf_uim xb=%xx_xb
 866 XSTSTDCDP       111100 ... ....... ..... 101101010 . -  @XX2_bf_uim xb=%xx_xb
 867 XSTSTDCQP       111111 ... ....... xb:5  1011000100 -   @XX2_bf_uim
 868
 869 ## VSX Vector Test Least-Significant Bit by Byte Instruction
 870
 871 XVTLSBB         111100 ... -- 00010 ..... 111011011 . - @XX2_bf_xb
 872
 873 ### rfebb
 874 &XL_s           s:uint8_t
 875 @XL_s           ......-------------- s:1 .......... -   &XL_s
 876 RFEBB           010011-------------- .   0010010010 -   @XL_s
 877
 878 ## Accumulator Instructions
 879
 880 XXMFACC         011111 ... -- 00000 ----- 0010110001 -   @X_a
 881 XXMTACC         011111 ... -- 00001 ----- 0010110001 -   @X_a
 882 XXSETACCZ       011111 ... -- 00011 ----- 0010110001 -   @X_a
 883
 884 ## VSX GER instruction
 885
 886 XVI4GER8        111011 ... -- ..... ..... 00100011 ..-  @XX3_at xa=%xx_xa
 887 XVI4GER8PP      111011 ... -- ..... ..... 00100010 ..-  @XX3_at xa=%xx_xa
 888 XVI8GER4        111011 ... -- ..... ..... 00000011 ..-  @XX3_at xa=%xx_xa
 889 XVI8GER4PP      111011 ... -- ..... ..... 00000010 ..-  @XX3_at xa=%xx_xa
 890 XVI16GER2       111011 ... -- ..... ..... 01001011 ..-  @XX3_at xa=%xx_xa
 891 XVI16GER2PP     111011 ... -- ..... ..... 01101011 ..-  @XX3_at xa=%xx_xa
 892 XVI8GER4SPP     111011 ... -- ..... ..... 01100011 ..-  @XX3_at xa=%xx_xa
 893 XVI16GER2S      111011 ... -- ..... ..... 00101011 ..-  @XX3_at xa=%xx_xa
 894 XVI16GER2SPP    111011 ... -- ..... ..... 00101010 ..-  @XX3_at xa=%xx_xa
 895
 896 XVBF16GER2      111011 ... -- ..... ..... 00110011 ..-  @XX3_at xa=%xx_xa
 897 XVBF16GER2PP    111011 ... -- ..... ..... 00110010 ..-  @XX3_at xa=%xx_xa
 898 XVBF16GER2PN    111011 ... -- ..... ..... 10110010 ..-  @XX3_at xa=%xx_xa
 899 XVBF16GER2NP    111011 ... -- ..... ..... 01110010 ..-  @XX3_at xa=%xx_xa
 900 XVBF16GER2NN    111011 ... -- ..... ..... 11110010 ..-  @XX3_at xa=%xx_xa
 901
 902 XVF16GER2       111011 ... -- ..... ..... 00010011 ..-  @XX3_at xa=%xx_xa
 903 XVF16GER2PP     111011 ... -- ..... ..... 00010010 ..-  @XX3_at xa=%xx_xa
 904 XVF16GER2PN     111011 ... -- ..... ..... 10010010 ..-  @XX3_at xa=%xx_xa
 905 XVF16GER2NP     111011 ... -- ..... ..... 01010010 ..-  @XX3_at xa=%xx_xa
 906 XVF16GER2NN     111011 ... -- ..... ..... 11010010 ..-  @XX3_at xa=%xx_xa
 907
 908 XVF32GER        111011 ... -- ..... ..... 00011011 ..-  @XX3_at xa=%xx_xa
 909 XVF32GERPP      111011 ... -- ..... ..... 00011010 ..-  @XX3_at xa=%xx_xa
 910 XVF32GERPN      111011 ... -- ..... ..... 10011010 ..-  @XX3_at xa=%xx_xa
 911 XVF32GERNP      111011 ... -- ..... ..... 01011010 ..-  @XX3_at xa=%xx_xa
 912 XVF32GERNN      111011 ... -- ..... ..... 11011010 ..-  @XX3_at xa=%xx_xa
 913
 914 XVF64GER        111011 ... -- .... 0 ..... 00111011 ..-  @XX3_at xa=%xx_xa_pair
 915 XVF64GERPP      111011 ... -- .... 0 ..... 00111010 ..-  @XX3_at xa=%xx_xa_pair
 916 XVF64GERPN      111011 ... -- .... 0 ..... 10111010 ..-  @XX3_at xa=%xx_xa_pair
 917 XVF64GERNP      111011 ... -- .... 0 ..... 01111010 ..-  @XX3_at xa=%xx_xa_pair
 918 XVF64GERNN      111011 ... -- .... 0 ..... 11111010 ..-  @XX3_at xa=%xx_xa_pair
 919
 920 ## Vector Division Instructions
 921
 922 VDIVSW          000100 ..... ..... ..... 00110001011    @VX
 923 VDIVUW          000100 ..... ..... ..... 00010001011    @VX
 924 VDIVSD          000100 ..... ..... ..... 00111001011    @VX
 925 VDIVUD          000100 ..... ..... ..... 00011001011    @VX
 926 VDIVSQ          000100 ..... ..... ..... 00100001011    @VX
 927 VDIVUQ          000100 ..... ..... ..... 00000001011    @VX
 928
 929 VDIVESW         000100 ..... ..... ..... 01110001011    @VX
 930 VDIVEUW         000100 ..... ..... ..... 01010001011    @VX
 931 VDIVESD         000100 ..... ..... ..... 01111001011    @VX
 932 VDIVEUD         000100 ..... ..... ..... 01011001011    @VX
 933 VDIVESQ         000100 ..... ..... ..... 01100001011    @VX
 934 VDIVEUQ         000100 ..... ..... ..... 01000001011    @VX
 935
 936 VMODSW          000100 ..... ..... ..... 11110001011    @VX
 937 VMODUW          000100 ..... ..... ..... 11010001011    @VX
 938 VMODSD          000100 ..... ..... ..... 11111001011    @VX
 939 VMODUD          000100 ..... ..... ..... 11011001011    @VX
 940 VMODSQ          000100 ..... ..... ..... 11100001011    @VX
 941 VMODUQ          000100 ..... ..... ..... 11000001011    @VX
 942
 943 ## SLB Management Instructions
 944
 945 SLBIE           011111 ----- ----- ..... 0110110010 -   @X_rb
 946 SLBIEG          011111 ..... ----- ..... 0111010010 -   @X_tb
 947
 948 SLBIA           011111 --... ----- ----- 0111110010 -   @X_ih
 949 SLBIAG          011111 ..... ----. ----- 1101010010 -   @X_rs_l
 950
 951 SLBMTE          011111 ..... ----- ..... 0110010010 -   @X_tb
 952
 953 SLBMFEV         011111 ..... ----- ..... 1101010011 -   @X_tb
 954 SLBMFEE         011111 ..... ----- ..... 1110010011 -   @X_tb
 955
 956 SLBFEE          011111 ..... ----- ..... 1111010011 1   @X_tb
 957
 958 SLBSYNC         011111 ----- ----- ----- 0101010010 -
 959
 960 ## TLB Management Instructions
 961
 962 &X_tlbie        rb rs ric prs:bool r:bool
 963 @X_tlbie        ...... rs:5 - ric:2 prs:1 r:1 rb:5 .......... -     &X_tlbie
 964
 965 TLBIE           011111 ..... - .. . . ..... 0100110010 -            @X_tlbie
 966 TLBIEL          011111 ..... - .. . . ..... 0100010010 -            @X_tlbie
 967
 968 # Processor Control Instructions
 969
 970 MSGCLR          011111 ----- ----- ..... 0011101110 -   @X_rb
 971 MSGSND          011111 ----- ----- ..... 0011001110 -   @X_rb
 972 MSGCLRP         011111 ----- ----- ..... 0010101110 -   @X_rb
 973 MSGSNDP         011111 ----- ----- ..... 0010001110 -   @X_rb
 974 MSGSYNC         011111 ----- ----- ----- 1101110110 -