openpower/opcode_regs_deduped.mdwn

   1 # keys
   2
   3 [[!table  data="""
   4 in1 | in2 | in3 | out | CR in | CR out | ldst len|
   5 0 | 0 | 0 | 0 | 0 | 0 | 0|
   6 0 | 0 | 0 | 0 | 1 | 0 | 0|
   7 0 | 0 | 0 | 0 | 1 | 1 | 0|
   8 0 | 0 | 0 | 0 | 1 | 1 | 1|
   9 0 | 0 | 0 | R | 0 | 0 | 0|
  10 0 | 0 | 0 | R | 1 | 0 | 0|
  11 0 | 0 | R | R | 0 | 1 | 0|
  12 0 | R | 0 | 0 | 0 | 0 | 0|
  13 0 | R | 0 | 0 | 1 | 1 | 0|
  14 0 | R | 0 | R | 1 | 1 | 0|
  15 0 | R | R | R | 0 | 1 | 0|
  16 R | 0 | 0 | 0 | 0 | 0 | 0|
  17 R | 0 | 0 | 0 | 0 | 1 | 0|
  18 R | 0 | 0 | 0 | 1 | 1 | 0|
  19 R | 0 | 0 | R | 0 | 0 | 0|
  20 R | 0 | 0 | R | 0 | 0 | 1|
  21 R | 0 | 0 | R | 0 | 1 | 0|
  22 R | 0 | 0 | R | 0 | 1 | 1|
  23 R | 0 | R | 0 | 0 | 0 | 1|
  24 R | 0 | R | R | 0 | 1 | 0|
  25 R | 0 | R | R | 1 | 1 | 0|
  26 R | R | 0 | 0 | 0 | 0 | 0|
  27 R | R | 0 | 0 | 0 | 1 | 0|
  28 R | R | 0 | 0 | 1 | 1 | 0|
  29 R | R | 0 | R | 0 | 0 | 0|
  30 R | R | 0 | R | 0 | 0 | 1|
  31 R | R | 0 | R | 0 | 1 | 0|
  32 R | R | 0 | R | 1 | 0 | 0|
  33 R | R | 0 | R | 1 | 1 | 0|
  34 R | R | R | 0 | 0 | 0 | 1|
  35 R | R | R | 0 | 0 | 1 | 1|
  36 R | R | R | R | 1 | 1 | 0|
  37 """]]
  38
  39 ##  in1: 0 in2: 0 in3: 0 out: 0 CR in: 0 CR out: 0 ldst len: 0
  40
  41 [[!table  data="""
  42 CSV | opcode | asm | form|
  43 extra.csv | 000000---------------0100000000- | attn | NONE-Form|
  44 extra.csv | 01100000000000000000000000000000 | nop | D-Form|
  45 major.csv | 17 | sc | SC-Form|
  46 major.csv | 18 | b | I-Form|
  47 minor_19.csv | 0b0000010010 | rfid | XL-Form|
  48 minor_19.csv | 0b0010010110 | isync | XL-Form|
  49 minor_19.csv | 0b0100010010 | hrfid | XL-Form|
  50 minor_19_00000.csv | 0b00010 | add pcis not implemented yet | DX-Form|
  51 minor_31.csv | 0b0000010110 | icbt | X-Form|
  52 minor_31.csv | 0b0000110110 | dcbst | X-Form|
  53 minor_31.csv | 0b0001010110 | dcbf | X-Form|
  54 minor_31.csv | 0b0011110110 | dcbtst | X-Form|
  55 minor_31.csv | 0b0100010110 | dcbt | X-Form|
  56 minor_31.csv | 0b0111110010 | slbia | X-Form|
  57 minor_31.csv | 0b1001010110 | sync | X-Form|
  58 minor_31.csv | 0b1111010110 | icbi | X-Form|
  59 """]]
  60
  61 ##  in1: 0 in2: 0 in3: 0 out: 0 CR in: 1 CR out: 0 ldst len: 0
  62
  63 [[!table  data="""
  64 CSV | opcode | asm | form|
  65 major.csv | 16 | bc | B-Form|
  66 minor_19.csv | 0b0000010000 | bclr | XL-Form|
  67 minor_19.csv | 0b1000010000 | bcctr | XL-Form|
  68 minor_19.csv | 0b1000110000 | bctar | XL-Form|
  69 """]]
  70
  71 ##  in1: 0 in2: 0 in3: 0 out: 0 CR in: 1 CR out: 1 ldst len: 0
  72
  73 [[!table  data="""
  74 CSV | opcode | asm | form|
  75 minor_19.csv | 0b0000000000 | mcrf | XL-Form|
  76 minor_19.csv | 0b0000100001 | crnor | XL-Form|
  77 minor_19.csv | 0b0010000001 | crandc | XL-Form|
  78 minor_19.csv | 0b0011000001 | crxor | XL-Form|
  79 minor_19.csv | 0b0011100001 | crnand | XL-Form|
  80 minor_19.csv | 0b0100000001 | crand | XL-Form|
  81 minor_19.csv | 0b0100100001 | creqv | XL-Form|
  82 minor_19.csv | 0b0110100001 | crorc | XL-Form|
  83 minor_19.csv | 0b0111000001 | cror | XL-Form|
  84 minor_63l.csv | 0b000000010 | 2/0=mcrfs | -Form|
  85 minor_63l.csv | 0b011000001 | 1/6=mtfsb1 | -Form|
  86 minor_63l.csv | 0b011000010 | 2/6=mtfsb0 | -Form|
  87 minor_63l.csv | 0b011000100 | 4/6=mtfsfi | -Form|
  88 """]]
  89
  90 ##  in1: 0 in2: 0 in3: 0 out: 0 CR in: 1 CR out: 1 ldst len: 1
  91
  92 [[!table  data="""
  93 CSV | opcode | asm | form|
  94 minor_31.csv | 0b0011000000 | cmprb | X-Form|
  95 minor_31.csv | 0b1000000000 | mcrxr | X-Form|
  96 minor_31.csv | 0b1001000000 | mcrxrx | X-Form|
  97 minor_31.csv | 0b1011110011 | darn | X-Form|
  98 """]]
  99
 100 ##  in1: 0 in2: 0 in3: 0 out: R CR in: 0 CR out: 0 ldst len: 0
 101
 102 [[!table  data="""
 103 CSV | opcode | asm | form|
 104 extra.csv | 000001---------------0000000011- | sim_cfg | NONE-Form|
 105 minor_31.csv | 0b0001010011 | mfmsr | X-Form|
 106 minor_31.csv | 0b0101010011 | mfspr | XFX-Form|
 107 """]]
 108
 109 ##  in1: 0 in2: 0 in3: 0 out: R CR in: 1 CR out: 0 ldst len: 0
 110
 111 [[!table  data="""
 112 CSV | opcode | asm | form|
 113 minor_31.csv | 0b0000010011 | mfcr/mfocrf | XFX-Form|
 114 minor_31.csv | 0b0010000000 | setb | VX-Form|
 115 """]]
 116
 117 ##  in1: 0 in2: 0 in3: R out: R CR in: 0 CR out: 1 ldst len: 0
 118
 119 [[!table  data="""
 120 CSV | opcode | asm | form|
 121 major.csv | 21 | rlwinm | M-Form|
 122 minor_30.csv | 0b0000 | rldicl | MDS-Form|
 123 minor_30.csv | 0b0001 | rldicl | MDS-Form|
 124 minor_30.csv | 0b0010 | rldicr | MD-Form|
 125 minor_30.csv | 0b0011 | rldicr | MD-Form|
 126 minor_30.csv | 0b0100 | rldic | MD-Form|
 127 minor_30.csv | 0b0101 | rldic | MD-Form|
 128 minor_31.csv | 0b1100111000 | srawi | X-Form|
 129 minor_31.csv | 0b1100111010 | sradi | XS-Form|
 130 minor_31.csv | 0b1100111011 | sradi | XS-Form|
 131 minor_31.csv | 0b1101111010 | extswsli | XS-Form|
 132 minor_31.csv | 0b1101111011 | extswsli | XS-Form|
 133 """]]
 134
 135 ##  in1: 0 in2: R in3: 0 out: 0 CR in: 0 CR out: 0 ldst len: 0
 136
 137 [[!table  data="""
 138 CSV | opcode | asm | form|
 139 minor_31.csv | 0b0100010010 | tlbiel | X-Form|
 140 minor_31.csv | 0b0100110010 | tlbie | X-Form|
 141 """]]
 142
 143 ##  in1: 0 in2: R in3: 0 out: 0 CR in: 1 CR out: 1 ldst len: 0
 144
 145 [[!table  data="""
 146 CSV | opcode | asm | form|
 147 minor_63l.csv | 0b000000101 | 5/0=ftsqrt | -Form|
 148 minor_63l.csv | 0b011110110 | 22/7=mtfsf | -Form|
 149 """]]
 150
 151 ##  in1: 0 in2: R in3: 0 out: R CR in: 1 CR out: 1 ldst len: 0
 152
 153 [[!table  data="""
 154 CSV | opcode | asm | form|
 155 minor_63h.csv | 0b0110 | fsqrt | -Form|
 156 minor_63h.csv | 0b1000 | fre | -Form|
 157 minor_63h.csv | 0b1010 | frsqrte | -Form|
 158 minor_63l.csv | 0b011110010 | 18/7=mffsfamily | -Form|
 159 minor_63l.csv | 0b100000001 | 1/8=fneg | -Form|
 160 minor_63l.csv | 0b100000010 | 2/8=fmr | -Form|
 161 minor_63l.csv | 0b100000100 | 4/8=fnabs | -Form|
 162 minor_63l.csv | 0b100001000 | 8/8=fabs | -Form|
 163 minor_63l.csv | 0b100001100 | 12/8=frin | -Form|
 164 minor_63l.csv | 0b100001101 | 13/8=friz | -Form|
 165 minor_63l.csv | 0b100001110 | 14/8=frip | -Form|
 166 minor_63l.csv | 0b100001111 | 15/8=frim | -Form|
 167 minor_63l.csv | 0b110000000 | 0/12=frsp | -Form|
 168 minor_63l.csv | 0b111000000 | 0/14=fctiw | -Form|
 169 minor_63l.csv | 0b111000100 | 4/14=fctiwu | -Form|
 170 minor_63l.csv | 0b111011001 | 25/14=fctid | -Form|
 171 minor_63l.csv | 0b111011010 | 26/14=fcfid | -Form|
 172 minor_63l.csv | 0b111011101 | 29/14=fctidu | -Form|
 173 minor_63l.csv | 0b111011110 | 30/14=fcfidu | -Form|
 174 minor_63l.csv | 0b111100000 | 0/15=fctiwz | -Form|
 175 minor_63l.csv | 0b111100100 | 4/15=fctiwuz | -Form|
 176 minor_63l.csv | 0b111111001 | 25/15=fctidz | -Form|
 177 minor_63l.csv | 0b111111101 | 29/15=fctiduz | -Form|
 178 """]]
 179
 180 ##  in1: 0 in2: R in3: R out: R CR in: 0 CR out: 1 ldst len: 0
 181
 182 [[!table  data="""
 183 CSV | opcode | asm | form|
 184 major.csv | 23 | rlwnm | M-Form|
 185 minor_30.csv | 0b1000 | rldcl | MD-Form|
 186 minor_30.csv | 0b1001 | rldcr | MD-Form|
 187 minor_31.csv | 0b0000011000 | slw | X-Form|
 188 minor_31.csv | 0b0000011011 | sld | X-Form|
 189 minor_31.csv | 0b1000011000 | srw | X-Form|
 190 minor_31.csv | 0b1000011011 | srd | X-Form|
 191 minor_31.csv | 0b1100011000 | sraw | X-Form|
 192 minor_31.csv | 0b1100011010 | srad | X-Form|
 193 """]]
 194
 195 ##  in1: R in2: 0 in3: 0 out: 0 CR in: 0 CR out: 0 ldst len: 0
 196
 197 [[!table  data="""
 198 CSV | opcode | asm | form|
 199 major.csv | 2 | tdi | D-Form|
 200 major.csv | 3 | twi | D-Form|
 201 minor_31.csv | 0b0010010010 | mtmsr | X-Form|
 202 minor_31.csv | 0b0010110010 | mtmsrd | X-Form|
 203 minor_31.csv | 0b0111010011 | mtspr | XFX-Form|
 204 """]]
 205
 206 ##  in1: R in2: 0 in3: 0 out: 0 CR in: 0 CR out: 1 ldst len: 0
 207
 208 [[!table  data="""
 209 CSV | opcode | asm | form|
 210 major.csv | 10 | cmpli | D-Form|
 211 major.csv | 11 | cmpi | D-Form|
 212 """]]
 213
 214 ##  in1: R in2: 0 in3: 0 out: 0 CR in: 1 CR out: 1 ldst len: 0
 215
 216 [[!table  data="""
 217 CSV | opcode | asm | form|
 218 minor_31.csv | 0b0010010000 | mtcrf/mtocrf | XFX-Form|
 219 """]]
 220
 221 ##  in1: R in2: 0 in3: 0 out: R CR in: 0 CR out: 0 ldst len: 0
 222
 223 [[!table  data="""
 224 CSV | opcode | asm | form|
 225 major.csv | 12 | addic | D-Form|
 226 major.csv | 14 | addi | D-Form|
 227 major.csv | 15 | addis | D-Form|
 228 major.csv | 24 | ori | D-Form|
 229 major.csv | 25 | oris | D-Form|
 230 major.csv | 26 | xori | D-Form|
 231 major.csv | 27 | xoris | D-Form|
 232 major.csv | 8 | subfic | D-Form|
 233 minor_31.csv | 0b0001101000 | neg | XO-Form|
 234 minor_31.csv | 0b1001101000 | nego | XO-Form|
 235 """]]
 236
 237 ##  in1: R in2: 0 in3: 0 out: R CR in: 0 CR out: 0 ldst len: 1
 238
 239 [[!table  data="""
 240 CSV | opcode | asm | form|
 241 major.csv | 32 | lwz | D-Form|
 242 major.csv | 33 | lwzu | D-Form|
 243 major.csv | 34 | lbz | D-Form|
 244 major.csv | 35 | lbzu | D-Form|
 245 major.csv | 40 | lhz | D-Form|
 246 major.csv | 41 | lhzu | D-Form|
 247 major.csv | 42 | lha | D-Form|
 248 major.csv | 43 | lhau | D-Form|
 249 minor_31.csv | 0b0001111010 | popcntb | X-Form|
 250 minor_31.csv | 0b0010011010 | prtyw | X-Form|
 251 minor_31.csv | 0b0010111010 | prtyd | X-Form|
 252 minor_31.csv | 0b0101111010 | popcntw | X-Form|
 253 minor_31.csv | 0b0111111010 | popcntd | X-Form|
 254 minor_58.csv | 0 | ld | DS-Form|
 255 minor_58.csv | 1 | ldu | DS-Form|
 256 minor_58.csv | 2 | lwa | DS-Form|
 257 """]]
 258
 259 ##  in1: R in2: 0 in3: 0 out: R CR in: 0 CR out: 1 ldst len: 0
 260
 261 [[!table  data="""
 262 CSV | opcode | asm | form|
 263 major.csv | 13 | addic. | D-Form|
 264 major.csv | 28 | andi. | B-Form|
 265 major.csv | 29 | andis. | B-Form|
 266 major.csv | 7 | mulli | D-Form|
 267 minor_31.csv | 0b0000011010 | cntlzw | X-Form|
 268 minor_31.csv | 0b0000111010 | cntlzd | X-Form|
 269 minor_31.csv | 0b0011001000 | subfze | XO-Form|
 270 minor_31.csv | 0b0011001010 | addze | XO-Form|
 271 minor_31.csv | 0b0011101000 | subfme | XO-Form|
 272 minor_31.csv | 0b0011101010 | addme | XO-Form|
 273 minor_31.csv | 0b1000011010 | cnttzw | X-Form|
 274 minor_31.csv | 0b1000111010 | cnttzd | X-Form|
 275 minor_31.csv | 0b1011001000 | subfzeo | XO-Form|
 276 minor_31.csv | 0b1011001010 | addzeo | XO-Form|
 277 minor_31.csv | 0b1011101000 | subfmeo | XO-Form|
 278 minor_31.csv | 0b1011101010 | addmeo | XO-Form|
 279 """]]
 280
 281 ##  in1: R in2: 0 in3: 0 out: R CR in: 0 CR out: 1 ldst len: 1
 282
 283 [[!table  data="""
 284 CSV | opcode | asm | form|
 285 minor_31.csv | 0b1110011010 | extsh | X-Form|
 286 minor_31.csv | 0b1110111010 | extsb | X-Form|
 287 minor_31.csv | 0b1111011010 | extsw | X-Form|
 288 """]]
 289
 290 ##  in1: R in2: 0 in3: R out: 0 CR in: 0 CR out: 0 ldst len: 1
 291
 292 [[!table  data="""
 293 CSV | opcode | asm | form|
 294 major.csv | 36 | stw | D-Form|
 295 major.csv | 37 | stwu | D-Form|
 296 major.csv | 38 | stb | D-Form|
 297 major.csv | 39 | stbu | D-Form|
 298 major.csv | 44 | sth | D-Form|
 299 major.csv | 45 | sthu | D-Form|
 300 minor_62.csv | 0 | std | DS-Form|
 301 minor_62.csv | 1 | stdu | DS-Form|
 302 """]]
 303
 304 ##  in1: R in2: 0 in3: R out: R CR in: 0 CR out: 1 ldst len: 0
 305
 306 [[!table  data="""
 307 CSV | opcode | asm | form|
 308 major.csv | 20 | rlwimi | M-Form|
 309 minor_30.csv | 0b0110 | rldimi | MD-Form|
 310 minor_30.csv | 0b0111 | rldimi | MD-Form|
 311 """]]
 312
 313 ##  in1: R in2: 0 in3: R out: R CR in: 1 CR out: 1 ldst len: 0
 314
 315 [[!table  data="""
 316 CSV | opcode | asm | form|
 317 minor_63h.csv | 0b1001 | fmul | -Form|
 318 """]]
 319
 320 ##  in1: R in2: R in3: 0 out: 0 CR in: 0 CR out: 0 ldst len: 0
 321
 322 [[!table  data="""
 323 CSV | opcode | asm | form|
 324 minor_31.csv | 0b0000000100 | tw | X-Form|
 325 minor_31.csv | 0b0001000100 | td | X-Form|
 326 minor_31.csv | 0b1111110110 | dcbz | X-Form|
 327 """]]
 328
 329 ##  in1: R in2: R in3: 0 out: 0 CR in: 0 CR out: 1 ldst len: 0
 330
 331 [[!table  data="""
 332 CSV | opcode | asm | form|
 333 minor_31.csv | 0b0000000000 | cmp | X-Form|
 334 minor_31.csv | 0b0000100000 | cmpl | X-Form|
 335 minor_31.csv | 0b0011100000 | cmpeqb | X-Form|
 336 """]]
 337
 338 ##  in1: R in2: R in3: 0 out: 0 CR in: 1 CR out: 1 ldst len: 0
 339
 340 [[!table  data="""
 341 CSV | opcode | asm | form|
 342 minor_63l.csv | 0b000000000 | 0/0=fcmpu | -Form|
 343 minor_63l.csv | 0b000000001 | 1/0=fcmpo | -Form|
 344 minor_63l.csv | 0b000000100 | 4/0=ftdiv | -Form|
 345 """]]
 346
 347 ##  in1: R in2: R in3: 0 out: R CR in: 0 CR out: 0 ldst len: 0
 348
 349 [[!table  data="""
 350 CSV | opcode | asm | form|
 351 minor_31.csv | 0b0011111100 | bpermd | X-Form|
 352 minor_31.csv | 0b0100001001 | modud | X-Form|
 353 minor_31.csv | 0b0100001011 | moduw | X-Form|
 354 minor_31.csv | 0b0111111100 | cmpb | X-Form|
 355 minor_31.csv | 0b1100001001 | modsd | X-Form|
 356 minor_31.csv | 0b1100001011 | modsw | X-Form|
 357 """]]
 358
 359 ##  in1: R in2: R in3: 0 out: R CR in: 0 CR out: 0 ldst len: 1
 360
 361 [[!table  data="""
 362 CSV | opcode | asm | form|
 363 minor_31.csv | 0b0000010100 | lwarx | X-Form|
 364 minor_31.csv | 0b0000010101 | ldx | X-Form|
 365 minor_31.csv | 0b0000010111 | lwzx | X-Form|
 366 minor_31.csv | 0b0000110100 | lbarx | X-Form|
 367 minor_31.csv | 0b0000110101 | ldux | X-Form|
 368 minor_31.csv | 0b0000110111 | lwzux | X-Form|
 369 minor_31.csv | 0b0001010100 | ldarx | X-Form|
 370 minor_31.csv | 0b0001010111 | lbzx | X-Form|
 371 minor_31.csv | 0b0001110100 | lharx | X-Form|
 372 minor_31.csv | 0b0001110111 | lbzux | X-Form|
 373 minor_31.csv | 0b0100010111 | lhzx | X-Form|
 374 minor_31.csv | 0b0100110111 | lhzux | X-Form|
 375 minor_31.csv | 0b0101010101 | lwax | X-Form|
 376 minor_31.csv | 0b0101010111 | lhax | X-Form|
 377 minor_31.csv | 0b0101110101 | lwaux | X-Form|
 378 minor_31.csv | 0b0101110111 | lhaux | X-Form|
 379 minor_31.csv | 0b1000010100 | ldbrx | X-Form|
 380 minor_31.csv | 0b1000010110 | lwbrx | X-Form|
 381 minor_31.csv | 0b1100010101 | lwzcix | X-Form|
 382 minor_31.csv | 0b1100010110 | lhbrx | X-Form|
 383 minor_31.csv | 0b1100110101 | lhzcix | X-Form|
 384 minor_31.csv | 0b1101010101 | lbzcix | X-Form|
 385 minor_31.csv | 0b1101110101 | ldcix | X-Form|
 386 """]]
 387
 388 ##  in1: R in2: R in3: 0 out: R CR in: 0 CR out: 1 ldst len: 0
 389
 390 [[!table  data="""
 391 CSV | opcode | asm | form|
 392 minor_31.csv | 0b0000001000 | subfc | XO-Form|
 393 minor_31.csv | 0b0000001001 | mulhdu | XO-Form|
 394 minor_31.csv | 0b0000001010 | addc | XO-Form|
 395 minor_31.csv | 0b0000001011 | mulhwu | XO-Form|
 396 minor_31.csv | 0b0000011100 | and | X-Form|
 397 minor_31.csv | 0b0000101000 | subf | XO-Form|
 398 minor_31.csv | 0b0000111100 | andc | X-Form|
 399 minor_31.csv | 0b0001001001 | mulhd | XO-Form|
 400 minor_31.csv | 0b0001001011 | mulhw | XO-Form|
 401 minor_31.csv | 0b0001111100 | nor | X-Form|
 402 minor_31.csv | 0b0010001000 | subfe | XO-Form|
 403 minor_31.csv | 0b0010001010 | adde | XO-Form|
 404 minor_31.csv | 0b0011101001 | mulld | XO-Form|
 405 minor_31.csv | 0b0011101011 | mullw | XO-Form|
 406 minor_31.csv | 0b0100001010 | add | XO-Form|
 407 minor_31.csv | 0b0100011100 | eqv | X-Form|
 408 minor_31.csv | 0b0100111100 | xor | X-Form|
 409 minor_31.csv | 0b0110001001 | divdeu | XO-Form|
 410 minor_31.csv | 0b0110001011 | divweu | XO-Form|
 411 minor_31.csv | 0b0110011100 | orc | X-Form|
 412 minor_31.csv | 0b0110101001 | divde | XO-Form|
 413 minor_31.csv | 0b0110101011 | divwe | XO-Form|
 414 minor_31.csv | 0b0110111100 | or | X-Form|
 415 minor_31.csv | 0b0111001001 | divdu | XO-Form|
 416 minor_31.csv | 0b0111001011 | divwu | XO-Form|
 417 minor_31.csv | 0b0111011100 | nand | X-Form|
 418 minor_31.csv | 0b0111101001 | divd | XO-Form|
 419 minor_31.csv | 0b0111101011 | divw | XO-Form|
 420 minor_31.csv | 0b1000001000 | subfco | XO-Form|
 421 minor_31.csv | 0b1000001001 | mulhdu | XO-Form|
 422 minor_31.csv | 0b1000001010 | addco | XO-Form|
 423 minor_31.csv | 0b1000001011 | mulhwu | XO-Form|
 424 minor_31.csv | 0b1000101000 | subfo | XO-Form|
 425 minor_31.csv | 0b1001001001 | mulhd | XO-Form|
 426 minor_31.csv | 0b1001001011 | mulhw | XO-Form|
 427 minor_31.csv | 0b1010001000 | subfeo | XO-Form|
 428 minor_31.csv | 0b1010001010 | addeo | XO-Form|
 429 minor_31.csv | 0b1011101001 | mulldo | XO-Form|
 430 minor_31.csv | 0b1011101011 | mullwo | XO-Form|
 431 minor_31.csv | 0b1100001010 | addo | XO-Form|
 432 minor_31.csv | 0b1110001001 | divdeuo | XO-Form|
 433 minor_31.csv | 0b1110001011 | divweuo | XO-Form|
 434 minor_31.csv | 0b1110101001 | divdeo | XO-Form|
 435 minor_31.csv | 0b1110101011 | divweo | XO-Form|
 436 minor_31.csv | 0b1111001001 | divduo | XO-Form|
 437 minor_31.csv | 0b1111001011 | divwuo | XO-Form|
 438 minor_31.csv | 0b1111101001 | divdo | XO-Form|
 439 minor_31.csv | 0b1111101011 | divwo | XO-Form|
 440 """]]
 441
 442 ##  in1: R in2: R in3: 0 out: R CR in: 1 CR out: 0 ldst len: 0
 443
 444 [[!table  data="""
 445 CSV | opcode | asm | form|
 446 minor_31.csv | 0b0000001111 | isel | A-Form|
 447 minor_31.csv | 0b0000101111 | isel | A-Form|
 448 minor_31.csv | 0b0001001111 | isel | A-Form|
 449 minor_31.csv | 0b0001101111 | isel | A-Form|
 450 minor_31.csv | 0b0010001111 | isel | A-Form|
 451 minor_31.csv | 0b0010101111 | isel | A-Form|
 452 minor_31.csv | 0b0011001111 | isel | A-Form|
 453 minor_31.csv | 0b0011101111 | isel | A-Form|
 454 minor_31.csv | 0b0100001111 | isel | A-Form|
 455 minor_31.csv | 0b0100101111 | isel | A-Form|
 456 minor_31.csv | 0b0101001111 | isel | A-Form|
 457 minor_31.csv | 0b0101101111 | isel | A-Form|
 458 minor_31.csv | 0b0110001111 | isel | A-Form|
 459 minor_31.csv | 0b0110101111 | isel | A-Form|
 460 minor_31.csv | 0b0111001111 | isel | A-Form|
 461 minor_31.csv | 0b0111101111 | isel | A-Form|
 462 minor_31.csv | 0b1000001111 | isel | A-Form|
 463 minor_31.csv | 0b1000101111 | isel | A-Form|
 464 minor_31.csv | 0b1001001111 | isel | A-Form|
 465 minor_31.csv | 0b1001101111 | isel | A-Form|
 466 minor_31.csv | 0b1010001111 | isel | A-Form|
 467 minor_31.csv | 0b1010101111 | isel | A-Form|
 468 minor_31.csv | 0b1011001111 | isel | A-Form|
 469 minor_31.csv | 0b1011101111 | isel | A-Form|
 470 minor_31.csv | 0b1100001111 | isel | A-Form|
 471 minor_31.csv | 0b1100101111 | isel | A-Form|
 472 minor_31.csv | 0b1101001111 | isel | A-Form|
 473 minor_31.csv | 0b1101101111 | isel | A-Form|
 474 minor_31.csv | 0b1110001111 | isel | A-Form|
 475 minor_31.csv | 0b1110101111 | isel | A-Form|
 476 minor_31.csv | 0b1111001111 | isel | A-Form|
 477 minor_31.csv | 0b1111101111 | isel | A-Form|
 478 """]]
 479
 480 ##  in1: R in2: R in3: 0 out: R CR in: 1 CR out: 1 ldst len: 0
 481
 482 [[!table  data="""
 483 CSV | opcode | asm | form|
 484 minor_63h.csv | 0b0010 | fdiv | -Form|
 485 minor_63h.csv | 0b0100 | fsub | -Form|
 486 minor_63h.csv | 0b0101 | fadd | -Form|
 487 minor_63l.csv | 0b011011010 | 26/6=fmrgow | -Form|
 488 minor_63l.csv | 0b011011110 | 30/6=fmrgew | -Form|
 489 minor_63l.csv | 0b100000000 | 0/8=fcpsgn | -Form|
 490 """]]
 491
 492 ##  in1: R in2: R in3: R out: 0 CR in: 0 CR out: 0 ldst len: 1
 493
 494 [[!table  data="""
 495 CSV | opcode | asm | form|
 496 minor_31.csv | 0b0010010101 | stdx | X-Form|
 497 minor_31.csv | 0b0010010110 | stwcx | X-Form|
 498 minor_31.csv | 0b0010010111 | stwx | X-Form|
 499 minor_31.csv | 0b0010110101 | stdux | X-Form|
 500 minor_31.csv | 0b0010110111 | stwux | X-Form|
 501 minor_31.csv | 0b0011010110 | stdcx | X-Form|
 502 minor_31.csv | 0b0110010111 | sthx | X-Form|
 503 minor_31.csv | 0b0110110111 | sthux | X-Form|
 504 minor_31.csv | 0b1010010100 | stdbrx | X-Form|
 505 minor_31.csv | 0b1010010110 | stwbrx | X-Form|
 506 minor_31.csv | 0b1011010110 | sthcx | X-Form|
 507 minor_31.csv | 0b1110010101 | stwcix | X-Form|
 508 minor_31.csv | 0b1110010110 | sthbrx | X-Form|
 509 minor_31.csv | 0b1110110101 | sthcix | X-Form|
 510 minor_31.csv | 0b1111010101 | stbcix | X-Form|
 511 minor_31.csv | 0b1111110101 | stdcix | X-Form|
 512 """]]
 513
 514 ##  in1: R in2: R in3: R out: 0 CR in: 0 CR out: 1 ldst len: 1
 515
 516 [[!table  data="""
 517 CSV | opcode | asm | form|
 518 minor_31.csv | 0b0011010111 | stbx | X-Form|
 519 minor_31.csv | 0b0011110111 | stbux | X-Form|
 520 minor_31.csv | 0b1010110110 | stbcx | X-Form|
 521 """]]
 522
 523 ##  in1: R in2: R in3: R out: R CR in: 1 CR out: 1 ldst len: 0
 524
 525 [[!table  data="""
 526 CSV | opcode | asm | form|
 527 minor_63h.csv | 0b0111 | fsel | -Form|
 528 minor_63h.csv | 0b1100 | fmsub | -Form|
 529 minor_63h.csv | 0b1101 | fmadd | -Form|
 530 minor_63h.csv | 0b1110 | fnmsub | -Form|
 531 minor_63h.csv | 0b1111 | fnmadd | -Form|
 532 """]]
 533