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_59.csv | 0b01110 | fcfid[u]s | -Form|
 156 minor_59.csv | 0b10110 | fsqrts | -Form|
 157 minor_59.csv | 0b11000 | fres | -Form|
 158 minor_59.csv | 0b11010 | frsqrtes | -Form|
 159 minor_63h.csv | 0b0110 | fsqrt | -Form|
 160 minor_63h.csv | 0b1000 | fre | -Form|
 161 minor_63h.csv | 0b1010 | frsqrte | -Form|
 162 minor_63l.csv | 0b011110010 | 18/7=mffsfamily | -Form|
 163 minor_63l.csv | 0b100000001 | 1/8=fneg | -Form|
 164 minor_63l.csv | 0b100000010 | 2/8=fmr | -Form|
 165 minor_63l.csv | 0b100000100 | 4/8=fnabs | -Form|
 166 minor_63l.csv | 0b100001000 | 8/8=fabs | -Form|
 167 minor_63l.csv | 0b100001100 | 12/8=frin | -Form|
 168 minor_63l.csv | 0b100001101 | 13/8=friz | -Form|
 169 minor_63l.csv | 0b100001110 | 14/8=frip | -Form|
 170 minor_63l.csv | 0b100001111 | 15/8=frim | -Form|
 171 minor_63l.csv | 0b110000000 | 0/12=frsp | -Form|
 172 minor_63l.csv | 0b111000000 | 0/14=fctiw | -Form|
 173 minor_63l.csv | 0b111000100 | 4/14=fctiwu | -Form|
 174 minor_63l.csv | 0b111011001 | 25/14=fctid | -Form|
 175 minor_63l.csv | 0b111011010 | 26/14=fcfid | -Form|
 176 minor_63l.csv | 0b111011101 | 29/14=fctidu | -Form|
 177 minor_63l.csv | 0b111011110 | 30/14=fcfidu | -Form|
 178 minor_63l.csv | 0b111100000 | 0/15=fctiwz | -Form|
 179 minor_63l.csv | 0b111100100 | 4/15=fctiwuz | -Form|
 180 minor_63l.csv | 0b111111001 | 25/15=fctidz | -Form|
 181 minor_63l.csv | 0b111111101 | 29/15=fctiduz | -Form|
 182 """]]
 183
 184 ##  in1: 0 in2: R in3: R out: R CR in: 0 CR out: 1 ldst len: 0
 185
 186 [[!table  data="""
 187 CSV | opcode | asm | form|
 188 major.csv | 23 | rlwnm | M-Form|
 189 minor_30.csv | 0b1000 | rldcl | MD-Form|
 190 minor_30.csv | 0b1001 | rldcr | MD-Form|
 191 minor_31.csv | 0b0000011000 | slw | X-Form|
 192 minor_31.csv | 0b0000011011 | sld | X-Form|
 193 minor_31.csv | 0b1000011000 | srw | X-Form|
 194 minor_31.csv | 0b1000011011 | srd | X-Form|
 195 minor_31.csv | 0b1100011000 | sraw | X-Form|
 196 minor_31.csv | 0b1100011010 | srad | X-Form|
 197 """]]
 198
 199 ##  in1: R in2: 0 in3: 0 out: 0 CR in: 0 CR out: 0 ldst len: 0
 200
 201 [[!table  data="""
 202 CSV | opcode | asm | form|
 203 major.csv | 2 | tdi | D-Form|
 204 major.csv | 3 | twi | D-Form|
 205 minor_31.csv | 0b0010010010 | mtmsr | X-Form|
 206 minor_31.csv | 0b0010110010 | mtmsrd | X-Form|
 207 minor_31.csv | 0b0111010011 | mtspr | XFX-Form|
 208 """]]
 209
 210 ##  in1: R in2: 0 in3: 0 out: 0 CR in: 0 CR out: 1 ldst len: 0
 211
 212 [[!table  data="""
 213 CSV | opcode | asm | form|
 214 major.csv | 10 | cmpli | D-Form|
 215 major.csv | 11 | cmpi | D-Form|
 216 """]]
 217
 218 ##  in1: R in2: 0 in3: 0 out: 0 CR in: 1 CR out: 1 ldst len: 0
 219
 220 [[!table  data="""
 221 CSV | opcode | asm | form|
 222 minor_31.csv | 0b0010010000 | mtcrf/mtocrf | XFX-Form|
 223 """]]
 224
 225 ##  in1: R in2: 0 in3: 0 out: R CR in: 0 CR out: 0 ldst len: 0
 226
 227 [[!table  data="""
 228 CSV | opcode | asm | form|
 229 major.csv | 12 | addic | D-Form|
 230 major.csv | 14 | addi | D-Form|
 231 major.csv | 15 | addis | D-Form|
 232 major.csv | 24 | ori | D-Form|
 233 major.csv | 25 | oris | D-Form|
 234 major.csv | 26 | xori | D-Form|
 235 major.csv | 27 | xoris | D-Form|
 236 major.csv | 8 | subfic | D-Form|
 237 minor_31.csv | 0b0001101000 | neg | XO-Form|
 238 minor_31.csv | 0b1001101000 | nego | XO-Form|
 239 """]]
 240
 241 ##  in1: R in2: 0 in3: 0 out: R CR in: 0 CR out: 0 ldst len: 1
 242
 243 [[!table  data="""
 244 CSV | opcode | asm | form|
 245 major.csv | 32 | lwz | D-Form|
 246 major.csv | 33 | lwzu | D-Form|
 247 major.csv | 34 | lbz | D-Form|
 248 major.csv | 35 | lbzu | D-Form|
 249 major.csv | 40 | lhz | D-Form|
 250 major.csv | 41 | lhzu | D-Form|
 251 major.csv | 42 | lha | D-Form|
 252 major.csv | 43 | lhau | D-Form|
 253 minor_31.csv | 0b0001111010 | popcntb | X-Form|
 254 minor_31.csv | 0b0010011010 | prtyw | X-Form|
 255 minor_31.csv | 0b0010111010 | prtyd | X-Form|
 256 minor_31.csv | 0b0101111010 | popcntw | X-Form|
 257 minor_31.csv | 0b0111111010 | popcntd | X-Form|
 258 minor_58.csv | 0 | ld | DS-Form|
 259 minor_58.csv | 1 | ldu | DS-Form|
 260 minor_58.csv | 2 | lwa | DS-Form|
 261 """]]
 262
 263 ##  in1: R in2: 0 in3: 0 out: R CR in: 0 CR out: 1 ldst len: 0
 264
 265 [[!table  data="""
 266 CSV | opcode | asm | form|
 267 major.csv | 13 | addic. | D-Form|
 268 major.csv | 28 | andi. | B-Form|
 269 major.csv | 29 | andis. | B-Form|
 270 major.csv | 7 | mulli | D-Form|
 271 minor_31.csv | 0b0000011010 | cntlzw | X-Form|
 272 minor_31.csv | 0b0000111010 | cntlzd | X-Form|
 273 minor_31.csv | 0b0011001000 | subfze | XO-Form|
 274 minor_31.csv | 0b0011001010 | addze | XO-Form|
 275 minor_31.csv | 0b0011101000 | subfme | XO-Form|
 276 minor_31.csv | 0b0011101010 | addme | XO-Form|
 277 minor_31.csv | 0b1000011010 | cnttzw | X-Form|
 278 minor_31.csv | 0b1000111010 | cnttzd | X-Form|
 279 minor_31.csv | 0b1011001000 | subfzeo | XO-Form|
 280 minor_31.csv | 0b1011001010 | addzeo | XO-Form|
 281 minor_31.csv | 0b1011101000 | subfmeo | XO-Form|
 282 minor_31.csv | 0b1011101010 | addmeo | XO-Form|
 283 """]]
 284
 285 ##  in1: R in2: 0 in3: 0 out: R CR in: 0 CR out: 1 ldst len: 1
 286
 287 [[!table  data="""
 288 CSV | opcode | asm | form|
 289 minor_31.csv | 0b1110011010 | extsh | X-Form|
 290 minor_31.csv | 0b1110111010 | extsb | X-Form|
 291 minor_31.csv | 0b1111011010 | extsw | X-Form|
 292 """]]
 293
 294 ##  in1: R in2: 0 in3: R out: 0 CR in: 0 CR out: 0 ldst len: 1
 295
 296 [[!table  data="""
 297 CSV | opcode | asm | form|
 298 major.csv | 36 | stw | D-Form|
 299 major.csv | 37 | stwu | D-Form|
 300 major.csv | 38 | stb | D-Form|
 301 major.csv | 39 | stbu | D-Form|
 302 major.csv | 44 | sth | D-Form|
 303 major.csv | 45 | sthu | D-Form|
 304 minor_62.csv | 0 | std | DS-Form|
 305 minor_62.csv | 1 | stdu | DS-Form|
 306 """]]
 307
 308 ##  in1: R in2: 0 in3: R out: R CR in: 0 CR out: 1 ldst len: 0
 309
 310 [[!table  data="""
 311 CSV | opcode | asm | form|
 312 major.csv | 20 | rlwimi | M-Form|
 313 minor_30.csv | 0b0110 | rldimi | MD-Form|
 314 minor_30.csv | 0b0111 | rldimi | MD-Form|
 315 """]]
 316
 317 ##  in1: R in2: 0 in3: R out: R CR in: 1 CR out: 1 ldst len: 0
 318
 319 [[!table  data="""
 320 CSV | opcode | asm | form|
 321 minor_59.csv | 0b11001 | fmuls | -Form|
 322 minor_63h.csv | 0b1001 | fmul | -Form|
 323 """]]
 324
 325 ##  in1: R in2: R in3: 0 out: 0 CR in: 0 CR out: 0 ldst len: 0
 326
 327 [[!table  data="""
 328 CSV | opcode | asm | form|
 329 minor_31.csv | 0b0000000100 | tw | X-Form|
 330 minor_31.csv | 0b0001000100 | td | X-Form|
 331 minor_31.csv | 0b1111110110 | dcbz | X-Form|
 332 """]]
 333
 334 ##  in1: R in2: R in3: 0 out: 0 CR in: 0 CR out: 1 ldst len: 0
 335
 336 [[!table  data="""
 337 CSV | opcode | asm | form|
 338 minor_31.csv | 0b0000000000 | cmp | X-Form|
 339 minor_31.csv | 0b0000100000 | cmpl | X-Form|
 340 minor_31.csv | 0b0011100000 | cmpeqb | X-Form|
 341 """]]
 342
 343 ##  in1: R in2: R in3: 0 out: 0 CR in: 1 CR out: 1 ldst len: 0
 344
 345 [[!table  data="""
 346 CSV | opcode | asm | form|
 347 minor_63l.csv | 0b000000000 | 0/0=fcmpu | -Form|
 348 minor_63l.csv | 0b000000001 | 1/0=fcmpo | -Form|
 349 minor_63l.csv | 0b000000100 | 4/0=ftdiv | -Form|
 350 """]]
 351
 352 ##  in1: R in2: R in3: 0 out: R CR in: 0 CR out: 0 ldst len: 0
 353
 354 [[!table  data="""
 355 CSV | opcode | asm | form|
 356 minor_31.csv | 0b0011111100 | bpermd | X-Form|
 357 minor_31.csv | 0b0100001001 | modud | X-Form|
 358 minor_31.csv | 0b0100001011 | moduw | X-Form|
 359 minor_31.csv | 0b0111111100 | cmpb | X-Form|
 360 minor_31.csv | 0b1100001001 | modsd | X-Form|
 361 minor_31.csv | 0b1100001011 | modsw | X-Form|
 362 """]]
 363
 364 ##  in1: R in2: R in3: 0 out: R CR in: 0 CR out: 0 ldst len: 1
 365
 366 [[!table  data="""
 367 CSV | opcode | asm | form|
 368 minor_31.csv | 0b0000010100 | lwarx | X-Form|
 369 minor_31.csv | 0b0000010101 | ldx | X-Form|
 370 minor_31.csv | 0b0000010111 | lwzx | X-Form|
 371 minor_31.csv | 0b0000110100 | lbarx | X-Form|
 372 minor_31.csv | 0b0000110101 | ldux | X-Form|
 373 minor_31.csv | 0b0000110111 | lwzux | X-Form|
 374 minor_31.csv | 0b0001010100 | ldarx | X-Form|
 375 minor_31.csv | 0b0001010111 | lbzx | X-Form|
 376 minor_31.csv | 0b0001110100 | lharx | X-Form|
 377 minor_31.csv | 0b0001110111 | lbzux | X-Form|
 378 minor_31.csv | 0b0100010111 | lhzx | X-Form|
 379 minor_31.csv | 0b0100110111 | lhzux | X-Form|
 380 minor_31.csv | 0b0101010101 | lwax | X-Form|
 381 minor_31.csv | 0b0101010111 | lhax | X-Form|
 382 minor_31.csv | 0b0101110101 | lwaux | X-Form|
 383 minor_31.csv | 0b0101110111 | lhaux | X-Form|
 384 minor_31.csv | 0b1000010100 | ldbrx | X-Form|
 385 minor_31.csv | 0b1000010110 | lwbrx | X-Form|
 386 minor_31.csv | 0b1100010101 | lwzcix | X-Form|
 387 minor_31.csv | 0b1100010110 | lhbrx | X-Form|
 388 minor_31.csv | 0b1100110101 | lhzcix | X-Form|
 389 minor_31.csv | 0b1101010101 | lbzcix | X-Form|
 390 minor_31.csv | 0b1101110101 | ldcix | X-Form|
 391 """]]
 392
 393 ##  in1: R in2: R in3: 0 out: R CR in: 0 CR out: 1 ldst len: 0
 394
 395 [[!table  data="""
 396 CSV | opcode | asm | form|
 397 minor_31.csv | 0b0000001000 | subfc | XO-Form|
 398 minor_31.csv | 0b0000001001 | mulhdu | XO-Form|
 399 minor_31.csv | 0b0000001010 | addc | XO-Form|
 400 minor_31.csv | 0b0000001011 | mulhwu | XO-Form|
 401 minor_31.csv | 0b0000011100 | and | X-Form|
 402 minor_31.csv | 0b0000101000 | subf | XO-Form|
 403 minor_31.csv | 0b0000111100 | andc | X-Form|
 404 minor_31.csv | 0b0001001001 | mulhd | XO-Form|
 405 minor_31.csv | 0b0001001011 | mulhw | XO-Form|
 406 minor_31.csv | 0b0001111100 | nor | X-Form|
 407 minor_31.csv | 0b0010001000 | subfe | XO-Form|
 408 minor_31.csv | 0b0010001010 | adde | XO-Form|
 409 minor_31.csv | 0b0011101001 | mulld | XO-Form|
 410 minor_31.csv | 0b0011101011 | mullw | XO-Form|
 411 minor_31.csv | 0b0100001010 | add | XO-Form|
 412 minor_31.csv | 0b0100011100 | eqv | X-Form|
 413 minor_31.csv | 0b0100111100 | xor | X-Form|
 414 minor_31.csv | 0b0110001001 | divdeu | XO-Form|
 415 minor_31.csv | 0b0110001011 | divweu | XO-Form|
 416 minor_31.csv | 0b0110011100 | orc | X-Form|
 417 minor_31.csv | 0b0110101001 | divde | XO-Form|
 418 minor_31.csv | 0b0110101011 | divwe | XO-Form|
 419 minor_31.csv | 0b0110111100 | or | X-Form|
 420 minor_31.csv | 0b0111001001 | divdu | XO-Form|
 421 minor_31.csv | 0b0111001011 | divwu | XO-Form|
 422 minor_31.csv | 0b0111011100 | nand | X-Form|
 423 minor_31.csv | 0b0111101001 | divd | XO-Form|
 424 minor_31.csv | 0b0111101011 | divw | XO-Form|
 425 minor_31.csv | 0b1000001000 | subfco | XO-Form|
 426 minor_31.csv | 0b1000001001 | mulhdu | XO-Form|
 427 minor_31.csv | 0b1000001010 | addco | XO-Form|
 428 minor_31.csv | 0b1000001011 | mulhwu | XO-Form|
 429 minor_31.csv | 0b1000101000 | subfo | XO-Form|
 430 minor_31.csv | 0b1001001001 | mulhd | XO-Form|
 431 minor_31.csv | 0b1001001011 | mulhw | XO-Form|
 432 minor_31.csv | 0b1010001000 | subfeo | XO-Form|
 433 minor_31.csv | 0b1010001010 | addeo | XO-Form|
 434 minor_31.csv | 0b1011101001 | mulldo | XO-Form|
 435 minor_31.csv | 0b1011101011 | mullwo | XO-Form|
 436 minor_31.csv | 0b1100001010 | addo | XO-Form|
 437 minor_31.csv | 0b1110001001 | divdeuo | XO-Form|
 438 minor_31.csv | 0b1110001011 | divweuo | XO-Form|
 439 minor_31.csv | 0b1110101001 | divdeo | XO-Form|
 440 minor_31.csv | 0b1110101011 | divweo | XO-Form|
 441 minor_31.csv | 0b1111001001 | divduo | XO-Form|
 442 minor_31.csv | 0b1111001011 | divwuo | XO-Form|
 443 minor_31.csv | 0b1111101001 | divdo | XO-Form|
 444 minor_31.csv | 0b1111101011 | divwo | XO-Form|
 445 """]]
 446
 447 ##  in1: R in2: R in3: 0 out: R CR in: 1 CR out: 0 ldst len: 0
 448
 449 [[!table  data="""
 450 CSV | opcode | asm | form|
 451 minor_31.csv | 0b0000001111 | isel | A-Form|
 452 minor_31.csv | 0b0000101111 | isel | A-Form|
 453 minor_31.csv | 0b0001001111 | isel | A-Form|
 454 minor_31.csv | 0b0001101111 | isel | A-Form|
 455 minor_31.csv | 0b0010001111 | isel | A-Form|
 456 minor_31.csv | 0b0010101111 | isel | A-Form|
 457 minor_31.csv | 0b0011001111 | isel | A-Form|
 458 minor_31.csv | 0b0011101111 | isel | A-Form|
 459 minor_31.csv | 0b0100001111 | isel | A-Form|
 460 minor_31.csv | 0b0100101111 | isel | A-Form|
 461 minor_31.csv | 0b0101001111 | isel | A-Form|
 462 minor_31.csv | 0b0101101111 | isel | A-Form|
 463 minor_31.csv | 0b0110001111 | isel | A-Form|
 464 minor_31.csv | 0b0110101111 | isel | A-Form|
 465 minor_31.csv | 0b0111001111 | isel | A-Form|
 466 minor_31.csv | 0b0111101111 | isel | A-Form|
 467 minor_31.csv | 0b1000001111 | isel | A-Form|
 468 minor_31.csv | 0b1000101111 | isel | A-Form|
 469 minor_31.csv | 0b1001001111 | isel | A-Form|
 470 minor_31.csv | 0b1001101111 | isel | A-Form|
 471 minor_31.csv | 0b1010001111 | isel | A-Form|
 472 minor_31.csv | 0b1010101111 | isel | A-Form|
 473 minor_31.csv | 0b1011001111 | isel | A-Form|
 474 minor_31.csv | 0b1011101111 | isel | A-Form|
 475 minor_31.csv | 0b1100001111 | isel | A-Form|
 476 minor_31.csv | 0b1100101111 | isel | A-Form|
 477 minor_31.csv | 0b1101001111 | isel | A-Form|
 478 minor_31.csv | 0b1101101111 | isel | A-Form|
 479 minor_31.csv | 0b1110001111 | isel | A-Form|
 480 minor_31.csv | 0b1110101111 | isel | A-Form|
 481 minor_31.csv | 0b1111001111 | isel | A-Form|
 482 minor_31.csv | 0b1111101111 | isel | A-Form|
 483 """]]
 484
 485 ##  in1: R in2: R in3: 0 out: R CR in: 1 CR out: 1 ldst len: 0
 486
 487 [[!table  data="""
 488 CSV | opcode | asm | form|
 489 minor_59.csv | 0b10010 | fdivs | -Form|
 490 minor_59.csv | 0b10100 | fsubs | -Form|
 491 minor_59.csv | 0b10101 | fadds | -Form|
 492 minor_63h.csv | 0b0010 | fdiv | -Form|
 493 minor_63h.csv | 0b0100 | fsub | -Form|
 494 minor_63h.csv | 0b0101 | fadd | -Form|
 495 minor_63l.csv | 0b011011010 | 26/6=fmrgow | -Form|
 496 minor_63l.csv | 0b011011110 | 30/6=fmrgew | -Form|
 497 minor_63l.csv | 0b100000000 | 0/8=fcpsgn | -Form|
 498 """]]
 499
 500 ##  in1: R in2: R in3: R out: 0 CR in: 0 CR out: 0 ldst len: 1
 501
 502 [[!table  data="""
 503 CSV | opcode | asm | form|
 504 minor_31.csv | 0b0010010101 | stdx | X-Form|
 505 minor_31.csv | 0b0010010110 | stwcx | X-Form|
 506 minor_31.csv | 0b0010010111 | stwx | X-Form|
 507 minor_31.csv | 0b0010110101 | stdux | X-Form|
 508 minor_31.csv | 0b0010110111 | stwux | X-Form|
 509 minor_31.csv | 0b0011010110 | stdcx | X-Form|
 510 minor_31.csv | 0b0110010111 | sthx | X-Form|
 511 minor_31.csv | 0b0110110111 | sthux | X-Form|
 512 minor_31.csv | 0b1010010100 | stdbrx | X-Form|
 513 minor_31.csv | 0b1010010110 | stwbrx | X-Form|
 514 minor_31.csv | 0b1011010110 | sthcx | X-Form|
 515 minor_31.csv | 0b1110010101 | stwcix | X-Form|
 516 minor_31.csv | 0b1110010110 | sthbrx | X-Form|
 517 minor_31.csv | 0b1110110101 | sthcix | X-Form|
 518 minor_31.csv | 0b1111010101 | stbcix | X-Form|
 519 minor_31.csv | 0b1111110101 | stdcix | X-Form|
 520 """]]
 521
 522 ##  in1: R in2: R in3: R out: 0 CR in: 0 CR out: 1 ldst len: 1
 523
 524 [[!table  data="""
 525 CSV | opcode | asm | form|
 526 minor_31.csv | 0b0011010111 | stbx | X-Form|
 527 minor_31.csv | 0b0011110111 | stbux | X-Form|
 528 minor_31.csv | 0b1010110110 | stbcx | X-Form|
 529 """]]
 530
 531 ##  in1: R in2: R in3: R out: R CR in: 1 CR out: 1 ldst len: 0
 532
 533 [[!table  data="""
 534 CSV | opcode | asm | form|
 535 minor_59.csv | 0b11100 | fmsubs | -Form|
 536 minor_59.csv | 0b11101 | fmadds | -Form|
 537 minor_59.csv | 0b11110 | fnmsubs | -Form|
 538 minor_59.csv | 0b11111 | fnmadds | -Form|
 539 minor_63h.csv | 0b0111 | fsel | -Form|
 540 minor_63h.csv | 0b1100 | fmsub | -Form|
 541 minor_63h.csv | 0b1101 | fmadd | -Form|
 542 minor_63h.csv | 0b1110 | fnmsub | -Form|
 543 minor_63h.csv | 0b1111 | fnmadd | -Form|
 544 """]]
 545