none/tests/ppc32/jm-int_other.stdout.exp

   1 PPC integer logical insns with two args:
   2          and 00000000, 00000000 => 00000000 (00000000 00000000)
   3          and 00000000, 000f423f => 00000000 (00000000 00000000)
   4          and 00000000, ffffffff => 00000000 (00000000 00000000)
   5          and 000f423f, 00000000 => 00000000 (00000000 00000000)
   6          and 000f423f, 000f423f => 000f423f (00000000 00000000)
   7          and 000f423f, ffffffff => 000f423f (00000000 00000000)
   8          and ffffffff, 00000000 => 00000000 (00000000 00000000)
   9          and ffffffff, 000f423f => 000f423f (00000000 00000000)
  10          and ffffffff, ffffffff => ffffffff (00000000 00000000)
  11
  12         andc 00000000, 00000000 => 00000000 (00000000 00000000)
  13         andc 00000000, 000f423f => 00000000 (00000000 00000000)
  14         andc 00000000, ffffffff => 00000000 (00000000 00000000)
  15         andc 000f423f, 00000000 => 000f423f (00000000 00000000)
  16         andc 000f423f, 000f423f => 00000000 (00000000 00000000)
  17         andc 000f423f, ffffffff => 00000000 (00000000 00000000)
  18         andc ffffffff, 00000000 => ffffffff (00000000 00000000)
  19         andc ffffffff, 000f423f => fff0bdc0 (00000000 00000000)
  20         andc ffffffff, ffffffff => 00000000 (00000000 00000000)
  21
  22          eqv 00000000, 00000000 => ffffffff (00000000 00000000)
  23          eqv 00000000, 000f423f => fff0bdc0 (00000000 00000000)
  24          eqv 00000000, ffffffff => 00000000 (00000000 00000000)
  25          eqv 000f423f, 00000000 => fff0bdc0 (00000000 00000000)
  26          eqv 000f423f, 000f423f => ffffffff (00000000 00000000)
  27          eqv 000f423f, ffffffff => 000f423f (00000000 00000000)
  28          eqv ffffffff, 00000000 => 00000000 (00000000 00000000)
  29          eqv ffffffff, 000f423f => 000f423f (00000000 00000000)
  30          eqv ffffffff, ffffffff => ffffffff (00000000 00000000)
  31
  32         nand 00000000, 00000000 => ffffffff (00000000 00000000)
  33         nand 00000000, 000f423f => ffffffff (00000000 00000000)
  34         nand 00000000, ffffffff => ffffffff (00000000 00000000)
  35         nand 000f423f, 00000000 => ffffffff (00000000 00000000)
  36         nand 000f423f, 000f423f => fff0bdc0 (00000000 00000000)
  37         nand 000f423f, ffffffff => fff0bdc0 (00000000 00000000)
  38         nand ffffffff, 00000000 => ffffffff (00000000 00000000)
  39         nand ffffffff, 000f423f => fff0bdc0 (00000000 00000000)
  40         nand ffffffff, ffffffff => 00000000 (00000000 00000000)
  41
  42          nor 00000000, 00000000 => ffffffff (00000000 00000000)
  43          nor 00000000, 000f423f => fff0bdc0 (00000000 00000000)
  44          nor 00000000, ffffffff => 00000000 (00000000 00000000)
  45          nor 000f423f, 00000000 => fff0bdc0 (00000000 00000000)
  46          nor 000f423f, 000f423f => fff0bdc0 (00000000 00000000)
  47          nor 000f423f, ffffffff => 00000000 (00000000 00000000)
  48          nor ffffffff, 00000000 => 00000000 (00000000 00000000)
  49          nor ffffffff, 000f423f => 00000000 (00000000 00000000)
  50          nor ffffffff, ffffffff => 00000000 (00000000 00000000)
  51
  52           or 00000000, 00000000 => 00000000 (00000000 00000000)
  53           or 00000000, 000f423f => 000f423f (00000000 00000000)
  54           or 00000000, ffffffff => ffffffff (00000000 00000000)
  55           or 000f423f, 00000000 => 000f423f (00000000 00000000)
  56           or 000f423f, 000f423f => 000f423f (00000000 00000000)
  57           or 000f423f, ffffffff => ffffffff (00000000 00000000)
  58           or ffffffff, 00000000 => ffffffff (00000000 00000000)
  59           or ffffffff, 000f423f => ffffffff (00000000 00000000)
  60           or ffffffff, ffffffff => ffffffff (00000000 00000000)
  61
  62          orc 00000000, 00000000 => ffffffff (00000000 00000000)
  63          orc 00000000, 000f423f => fff0bdc0 (00000000 00000000)
  64          orc 00000000, ffffffff => 00000000 (00000000 00000000)
  65          orc 000f423f, 00000000 => ffffffff (00000000 00000000)
  66          orc 000f423f, 000f423f => ffffffff (00000000 00000000)
  67          orc 000f423f, ffffffff => 000f423f (00000000 00000000)
  68          orc ffffffff, 00000000 => ffffffff (00000000 00000000)
  69          orc ffffffff, 000f423f => ffffffff (00000000 00000000)
  70          orc ffffffff, ffffffff => ffffffff (00000000 00000000)
  71
  72          xor 00000000, 00000000 => 00000000 (00000000 00000000)
  73          xor 00000000, 000f423f => 000f423f (00000000 00000000)
  74          xor 00000000, ffffffff => ffffffff (00000000 00000000)
  75          xor 000f423f, 00000000 => 000f423f (00000000 00000000)
  76          xor 000f423f, 000f423f => 00000000 (00000000 00000000)
  77          xor 000f423f, ffffffff => fff0bdc0 (00000000 00000000)
  78          xor ffffffff, 00000000 => ffffffff (00000000 00000000)
  79          xor ffffffff, 000f423f => fff0bdc0 (00000000 00000000)
  80          xor ffffffff, ffffffff => 00000000 (00000000 00000000)
  81
  82          slw 00000000, 00000000 => 00000000 (00000000 00000000)
  83          slw 00000000, 000f423f => 00000000 (00000000 00000000)
  84          slw 00000000, ffffffff => 00000000 (00000000 00000000)
  85          slw 000f423f, 00000000 => 000f423f (00000000 00000000)
  86          slw 000f423f, 000f423f => 00000000 (00000000 00000000)
  87          slw 000f423f, ffffffff => 00000000 (00000000 00000000)
  88          slw ffffffff, 00000000 => ffffffff (00000000 00000000)
  89          slw ffffffff, 000f423f => 00000000 (00000000 00000000)
  90          slw ffffffff, ffffffff => 00000000 (00000000 00000000)
  91
  92          srw 00000000, 00000000 => 00000000 (00000000 00000000)
  93          srw 00000000, 000f423f => 00000000 (00000000 00000000)
  94          srw 00000000, ffffffff => 00000000 (00000000 00000000)
  95          srw 000f423f, 00000000 => 000f423f (00000000 00000000)
  96          srw 000f423f, 000f423f => 00000000 (00000000 00000000)
  97          srw 000f423f, ffffffff => 00000000 (00000000 00000000)
  98          srw ffffffff, 00000000 => ffffffff (00000000 00000000)
  99          srw ffffffff, 000f423f => 00000000 (00000000 00000000)
 100          srw ffffffff, ffffffff => 00000000 (00000000 00000000)
 101
 102 PPC integer logical insns with two args with flags update:
 103         and. 00000000, 00000000 => 00000000 (20000000 00000000)
 104         and. 00000000, 000f423f => 00000000 (20000000 00000000)
 105         and. 00000000, ffffffff => 00000000 (20000000 00000000)
 106         and. 000f423f, 00000000 => 00000000 (20000000 00000000)
 107         and. 000f423f, 000f423f => 000f423f (40000000 00000000)
 108         and. 000f423f, ffffffff => 000f423f (40000000 00000000)
 109         and. ffffffff, 00000000 => 00000000 (20000000 00000000)
 110         and. ffffffff, 000f423f => 000f423f (40000000 00000000)
 111         and. ffffffff, ffffffff => ffffffff (80000000 00000000)
 112
 113        andc. 00000000, 00000000 => 00000000 (20000000 00000000)
 114        andc. 00000000, 000f423f => 00000000 (20000000 00000000)
 115        andc. 00000000, ffffffff => 00000000 (20000000 00000000)
 116        andc. 000f423f, 00000000 => 000f423f (40000000 00000000)
 117        andc. 000f423f, 000f423f => 00000000 (20000000 00000000)
 118        andc. 000f423f, ffffffff => 00000000 (20000000 00000000)
 119        andc. ffffffff, 00000000 => ffffffff (80000000 00000000)
 120        andc. ffffffff, 000f423f => fff0bdc0 (80000000 00000000)
 121        andc. ffffffff, ffffffff => 00000000 (20000000 00000000)
 122
 123         eqv. 00000000, 00000000 => ffffffff (80000000 00000000)
 124         eqv. 00000000, 000f423f => fff0bdc0 (80000000 00000000)
 125         eqv. 00000000, ffffffff => 00000000 (20000000 00000000)
 126         eqv. 000f423f, 00000000 => fff0bdc0 (80000000 00000000)
 127         eqv. 000f423f, 000f423f => ffffffff (80000000 00000000)
 128         eqv. 000f423f, ffffffff => 000f423f (40000000 00000000)
 129         eqv. ffffffff, 00000000 => 00000000 (20000000 00000000)
 130         eqv. ffffffff, 000f423f => 000f423f (40000000 00000000)
 131         eqv. ffffffff, ffffffff => ffffffff (80000000 00000000)
 132
 133        nand. 00000000, 00000000 => ffffffff (80000000 00000000)
 134        nand. 00000000, 000f423f => ffffffff (80000000 00000000)
 135        nand. 00000000, ffffffff => ffffffff (80000000 00000000)
 136        nand. 000f423f, 00000000 => ffffffff (80000000 00000000)
 137        nand. 000f423f, 000f423f => fff0bdc0 (80000000 00000000)
 138        nand. 000f423f, ffffffff => fff0bdc0 (80000000 00000000)
 139        nand. ffffffff, 00000000 => ffffffff (80000000 00000000)
 140        nand. ffffffff, 000f423f => fff0bdc0 (80000000 00000000)
 141        nand. ffffffff, ffffffff => 00000000 (20000000 00000000)
 142
 143         nor. 00000000, 00000000 => ffffffff (80000000 00000000)
 144         nor. 00000000, 000f423f => fff0bdc0 (80000000 00000000)
 145         nor. 00000000, ffffffff => 00000000 (20000000 00000000)
 146         nor. 000f423f, 00000000 => fff0bdc0 (80000000 00000000)
 147         nor. 000f423f, 000f423f => fff0bdc0 (80000000 00000000)
 148         nor. 000f423f, ffffffff => 00000000 (20000000 00000000)
 149         nor. ffffffff, 00000000 => 00000000 (20000000 00000000)
 150         nor. ffffffff, 000f423f => 00000000 (20000000 00000000)
 151         nor. ffffffff, ffffffff => 00000000 (20000000 00000000)
 152
 153          or. 00000000, 00000000 => 00000000 (20000000 00000000)
 154          or. 00000000, 000f423f => 000f423f (40000000 00000000)
 155          or. 00000000, ffffffff => ffffffff (80000000 00000000)
 156          or. 000f423f, 00000000 => 000f423f (40000000 00000000)
 157          or. 000f423f, 000f423f => 000f423f (40000000 00000000)
 158          or. 000f423f, ffffffff => ffffffff (80000000 00000000)
 159          or. ffffffff, 00000000 => ffffffff (80000000 00000000)
 160          or. ffffffff, 000f423f => ffffffff (80000000 00000000)
 161          or. ffffffff, ffffffff => ffffffff (80000000 00000000)
 162
 163         orc. 00000000, 00000000 => ffffffff (80000000 00000000)
 164         orc. 00000000, 000f423f => fff0bdc0 (80000000 00000000)
 165         orc. 00000000, ffffffff => 00000000 (20000000 00000000)
 166         orc. 000f423f, 00000000 => ffffffff (80000000 00000000)
 167         orc. 000f423f, 000f423f => ffffffff (80000000 00000000)
 168         orc. 000f423f, ffffffff => 000f423f (40000000 00000000)
 169         orc. ffffffff, 00000000 => ffffffff (80000000 00000000)
 170         orc. ffffffff, 000f423f => ffffffff (80000000 00000000)
 171         orc. ffffffff, ffffffff => ffffffff (80000000 00000000)
 172
 173         xor. 00000000, 00000000 => 00000000 (20000000 00000000)
 174         xor. 00000000, 000f423f => 000f423f (40000000 00000000)
 175         xor. 00000000, ffffffff => ffffffff (80000000 00000000)
 176         xor. 000f423f, 00000000 => 000f423f (40000000 00000000)
 177         xor. 000f423f, 000f423f => 00000000 (20000000 00000000)
 178         xor. 000f423f, ffffffff => fff0bdc0 (80000000 00000000)
 179         xor. ffffffff, 00000000 => ffffffff (80000000 00000000)
 180         xor. ffffffff, 000f423f => fff0bdc0 (80000000 00000000)
 181         xor. ffffffff, ffffffff => 00000000 (20000000 00000000)
 182
 183         slw. 00000000, 00000000 => 00000000 (20000000 00000000)
 184         slw. 00000000, 000f423f => 00000000 (20000000 00000000)
 185         slw. 00000000, ffffffff => 00000000 (20000000 00000000)
 186         slw. 000f423f, 00000000 => 000f423f (40000000 00000000)
 187         slw. 000f423f, 000f423f => 00000000 (20000000 00000000)
 188         slw. 000f423f, ffffffff => 00000000 (20000000 00000000)
 189         slw. ffffffff, 00000000 => ffffffff (80000000 00000000)
 190         slw. ffffffff, 000f423f => 00000000 (20000000 00000000)
 191         slw. ffffffff, ffffffff => 00000000 (20000000 00000000)
 192
 193         srw. 00000000, 00000000 => 00000000 (20000000 00000000)
 194         srw. 00000000, 000f423f => 00000000 (20000000 00000000)
 195         srw. 00000000, ffffffff => 00000000 (20000000 00000000)
 196         srw. 000f423f, 00000000 => 000f423f (40000000 00000000)
 197         srw. 000f423f, 000f423f => 00000000 (20000000 00000000)
 198         srw. 000f423f, ffffffff => 00000000 (20000000 00000000)
 199         srw. ffffffff, 00000000 => ffffffff (80000000 00000000)
 200         srw. ffffffff, 000f423f => 00000000 (20000000 00000000)
 201         srw. ffffffff, ffffffff => 00000000 (20000000 00000000)
 202
 203 PPC integer compare insns (two args):
 204         cmpw 00000000, 00000000 => 00000000 (00200000 00000000)
 205         cmpw 00000000, 000f423f => 00000000 (00800000 00000000)
 206         cmpw 00000000, ffffffff => 00000000 (00400000 00000000)
 207         cmpw 000f423f, 00000000 => 00000000 (00400000 00000000)
 208         cmpw 000f423f, 000f423f => 00000000 (00200000 00000000)
 209         cmpw 000f423f, ffffffff => 00000000 (00400000 00000000)
 210         cmpw ffffffff, 00000000 => 00000000 (00800000 00000000)
 211         cmpw ffffffff, 000f423f => 00000000 (00800000 00000000)
 212         cmpw ffffffff, ffffffff => 00000000 (00200000 00000000)
 213
 214        cmplw 00000000, 00000000 => 00000000 (00200000 00000000)
 215        cmplw 00000000, 000f423f => 00000000 (00800000 00000000)
 216        cmplw 00000000, ffffffff => 00000000 (00800000 00000000)
 217        cmplw 000f423f, 00000000 => 00000000 (00400000 00000000)
 218        cmplw 000f423f, 000f423f => 00000000 (00200000 00000000)
 219        cmplw 000f423f, ffffffff => 00000000 (00800000 00000000)
 220        cmplw ffffffff, 00000000 => 00000000 (00400000 00000000)
 221        cmplw ffffffff, 000f423f => 00000000 (00400000 00000000)
 222        cmplw ffffffff, ffffffff => 00000000 (00200000 00000000)
 223
 224 PPC integer compare with immediate insns (two args):
 225        cmpwi 00000000, 00000000 => 00000000 (00200000 00000000)
 226        cmpwi 00000000, 000003e7 => 00000000 (00800000 00000000)
 227        cmpwi 00000000, 0000ffff => 00000000 (00400000 00000000)
 228        cmpwi 000f423f, 00000000 => 00000000 (00400000 00000000)
 229        cmpwi 000f423f, 000003e7 => 00000000 (00400000 00000000)
 230        cmpwi 000f423f, 0000ffff => 00000000 (00400000 00000000)
 231        cmpwi ffffffff, 00000000 => 00000000 (00800000 00000000)
 232        cmpwi ffffffff, 000003e7 => 00000000 (00800000 00000000)
 233        cmpwi ffffffff, 0000ffff => 00000000 (00200000 00000000)
 234
 235       cmplwi 00000000, 00000000 => 00000000 (00200000 00000000)
 236       cmplwi 00000000, 000003e7 => 00000000 (00800000 00000000)
 237       cmplwi 00000000, 0000ffff => 00000000 (00800000 00000000)
 238       cmplwi 000f423f, 00000000 => 00000000 (00400000 00000000)
 239       cmplwi 000f423f, 000003e7 => 00000000 (00400000 00000000)
 240       cmplwi 000f423f, 0000ffff => 00000000 (00400000 00000000)
 241       cmplwi ffffffff, 00000000 => 00000000 (00400000 00000000)
 242       cmplwi ffffffff, 000003e7 => 00000000 (00400000 00000000)
 243       cmplwi ffffffff, 0000ffff => 00000000 (00400000 00000000)
 244
 245 PPC integer logical insns
 246     with one register + one 16 bits immediate args:
 247          ori 00000000, 00000000 => 00000000 (00000000 00000000)
 248          ori 00000000, 000003e7 => 000003e7 (00000000 00000000)
 249          ori 00000000, 0000ffff => 0000ffff (00000000 00000000)
 250          ori 000f423f, 00000000 => 000f423f (00000000 00000000)
 251          ori 000f423f, 000003e7 => 000f43ff (00000000 00000000)
 252          ori 000f423f, 0000ffff => 000fffff (00000000 00000000)
 253          ori ffffffff, 00000000 => ffffffff (00000000 00000000)
 254          ori ffffffff, 000003e7 => ffffffff (00000000 00000000)
 255          ori ffffffff, 0000ffff => ffffffff (00000000 00000000)
 256
 257         oris 00000000, 00000000 => 00000000 (00000000 00000000)
 258         oris 00000000, 000003e7 => 03e70000 (00000000 00000000)
 259         oris 00000000, 0000ffff => ffff0000 (00000000 00000000)
 260         oris 000f423f, 00000000 => 000f423f (00000000 00000000)
 261         oris 000f423f, 000003e7 => 03ef423f (00000000 00000000)
 262         oris 000f423f, 0000ffff => ffff423f (00000000 00000000)
 263         oris ffffffff, 00000000 => ffffffff (00000000 00000000)
 264         oris ffffffff, 000003e7 => ffffffff (00000000 00000000)
 265         oris ffffffff, 0000ffff => ffffffff (00000000 00000000)
 266
 267         xori 00000000, 00000000 => 00000000 (00000000 00000000)
 268         xori 00000000, 000003e7 => 000003e7 (00000000 00000000)
 269         xori 00000000, 0000ffff => 0000ffff (00000000 00000000)
 270         xori 000f423f, 00000000 => 000f423f (00000000 00000000)
 271         xori 000f423f, 000003e7 => 000f41d8 (00000000 00000000)
 272         xori 000f423f, 0000ffff => 000fbdc0 (00000000 00000000)
 273         xori ffffffff, 00000000 => ffffffff (00000000 00000000)
 274         xori ffffffff, 000003e7 => fffffc18 (00000000 00000000)
 275         xori ffffffff, 0000ffff => ffff0000 (00000000 00000000)
 276
 277        xoris 00000000, 00000000 => 00000000 (00000000 00000000)
 278        xoris 00000000, 000003e7 => 03e70000 (00000000 00000000)
 279        xoris 00000000, 0000ffff => ffff0000 (00000000 00000000)
 280        xoris 000f423f, 00000000 => 000f423f (00000000 00000000)
 281        xoris 000f423f, 000003e7 => 03e8423f (00000000 00000000)
 282        xoris 000f423f, 0000ffff => fff0423f (00000000 00000000)
 283        xoris ffffffff, 00000000 => ffffffff (00000000 00000000)
 284        xoris ffffffff, 000003e7 => fc18ffff (00000000 00000000)
 285        xoris ffffffff, 0000ffff => 0000ffff (00000000 00000000)
 286
 287 PPC integer logical insns
 288     with one register + one 16 bits immediate args with flags update:
 289        andi. 00000000, 00000000 => 00000000 (20000000 00000000)
 290        andi. 00000000, 000003e7 => 00000000 (20000000 00000000)
 291        andi. 00000000, 0000ffff => 00000000 (20000000 00000000)
 292        andi. 000f423f, 00000000 => 00000000 (20000000 00000000)
 293        andi. 000f423f, 000003e7 => 00000227 (40000000 00000000)
 294        andi. 000f423f, 0000ffff => 0000423f (40000000 00000000)
 295        andi. ffffffff, 00000000 => 00000000 (20000000 00000000)
 296        andi. ffffffff, 000003e7 => 000003e7 (40000000 00000000)
 297        andi. ffffffff, 0000ffff => 0000ffff (40000000 00000000)
 298
 299       andis. 00000000, 00000000 => 00000000 (20000000 00000000)
 300       andis. 00000000, 000003e7 => 00000000 (20000000 00000000)
 301       andis. 00000000, 0000ffff => 00000000 (20000000 00000000)
 302       andis. 000f423f, 00000000 => 00000000 (20000000 00000000)
 303       andis. 000f423f, 000003e7 => 00070000 (40000000 00000000)
 304       andis. 000f423f, 0000ffff => 000f0000 (40000000 00000000)
 305       andis. ffffffff, 00000000 => 00000000 (20000000 00000000)
 306       andis. ffffffff, 000003e7 => 03e70000 (40000000 00000000)
 307       andis. ffffffff, 0000ffff => ffff0000 (80000000 00000000)
 308
 309 PPC condition register logical insns - two operands:
 310        crand 00000000, 00000000 => ffff0000 (00000000 00000000)
 311        crand 00000000, 000f423f => ffff0000 (00000000 00000000)
 312        crand 00000000, ffffffff => ffff0000 (00000000 00000000)
 313        crand 000f423f, 00000000 => ffff0000 (00000000 00000000)
 314        crand 000f423f, 000f423f => ffff0000 (00000000 00000000)
 315        crand 000f423f, ffffffff => ffff0000 (00000000 00000000)
 316        crand ffffffff, 00000000 => ffff0000 (00000000 00000000)
 317        crand ffffffff, 000f423f => ffff0000 (00000000 00000000)
 318        crand ffffffff, ffffffff => ffff0000 (00000000 00000000)
 319
 320       crandc 00000000, 00000000 => ffff0000 (00000000 00000000)
 321       crandc 00000000, 000f423f => ffff0000 (00000000 00000000)
 322       crandc 00000000, ffffffff => ffff0000 (00000000 00000000)
 323       crandc 000f423f, 00000000 => ffff0000 (00000000 00000000)
 324       crandc 000f423f, 000f423f => ffff0000 (00000000 00000000)
 325       crandc 000f423f, ffffffff => ffff0000 (00000000 00000000)
 326       crandc ffffffff, 00000000 => ffff0000 (00000000 00000000)
 327       crandc ffffffff, 000f423f => ffff0000 (00000000 00000000)
 328       crandc ffffffff, ffffffff => ffff0000 (00000000 00000000)
 329
 330        creqv 00000000, 00000000 => ffff0000 (00004000 00000000)
 331        creqv 00000000, 000f423f => ffff0000 (00004000 00000000)
 332        creqv 00000000, ffffffff => ffff0000 (00004000 00000000)
 333        creqv 000f423f, 00000000 => ffff0000 (00004000 00000000)
 334        creqv 000f423f, 000f423f => ffff0000 (00004000 00000000)
 335        creqv 000f423f, ffffffff => ffff0000 (00004000 00000000)
 336        creqv ffffffff, 00000000 => ffff0000 (00004000 00000000)
 337        creqv ffffffff, 000f423f => ffff0000 (00004000 00000000)
 338        creqv ffffffff, ffffffff => ffff0000 (00004000 00000000)
 339
 340       crnand 00000000, 00000000 => ffff0000 (00004000 00000000)
 341       crnand 00000000, 000f423f => ffff0000 (00004000 00000000)
 342       crnand 00000000, ffffffff => ffff0000 (00004000 00000000)
 343       crnand 000f423f, 00000000 => ffff0000 (00004000 00000000)
 344       crnand 000f423f, 000f423f => ffff0000 (00004000 00000000)
 345       crnand 000f423f, ffffffff => ffff0000 (00004000 00000000)
 346       crnand ffffffff, 00000000 => ffff0000 (00004000 00000000)
 347       crnand ffffffff, 000f423f => ffff0000 (00004000 00000000)
 348       crnand ffffffff, ffffffff => ffff0000 (00004000 00000000)
 349
 350        crnor 00000000, 00000000 => ffff0000 (00004000 00000000)
 351        crnor 00000000, 000f423f => ffff0000 (00004000 00000000)
 352        crnor 00000000, ffffffff => ffff0000 (00004000 00000000)
 353        crnor 000f423f, 00000000 => ffff0000 (00004000 00000000)
 354        crnor 000f423f, 000f423f => ffff0000 (00004000 00000000)
 355        crnor 000f423f, ffffffff => ffff0000 (00004000 00000000)
 356        crnor ffffffff, 00000000 => ffff0000 (00004000 00000000)
 357        crnor ffffffff, 000f423f => ffff0000 (00004000 00000000)
 358        crnor ffffffff, ffffffff => ffff0000 (00004000 00000000)
 359
 360         cror 00000000, 00000000 => ffff0000 (00000000 00000000)
 361         cror 00000000, 000f423f => ffff0000 (00000000 00000000)
 362         cror 00000000, ffffffff => ffff0000 (00000000 00000000)
 363         cror 000f423f, 00000000 => ffff0000 (00000000 00000000)
 364         cror 000f423f, 000f423f => ffff0000 (00000000 00000000)
 365         cror 000f423f, ffffffff => ffff0000 (00000000 00000000)
 366         cror ffffffff, 00000000 => ffff0000 (00000000 00000000)
 367         cror ffffffff, 000f423f => ffff0000 (00000000 00000000)
 368         cror ffffffff, ffffffff => ffff0000 (00000000 00000000)
 369
 370        crorc 00000000, 00000000 => ffff0000 (00004000 00000000)
 371        crorc 00000000, 000f423f => ffff0000 (00004000 00000000)
 372        crorc 00000000, ffffffff => ffff0000 (00004000 00000000)
 373        crorc 000f423f, 00000000 => ffff0000 (00004000 00000000)
 374        crorc 000f423f, 000f423f => ffff0000 (00004000 00000000)
 375        crorc 000f423f, ffffffff => ffff0000 (00004000 00000000)
 376        crorc ffffffff, 00000000 => ffff0000 (00004000 00000000)
 377        crorc ffffffff, 000f423f => ffff0000 (00004000 00000000)
 378        crorc ffffffff, ffffffff => ffff0000 (00004000 00000000)
 379
 380        crxor 00000000, 00000000 => ffff0000 (00000000 00000000)
 381        crxor 00000000, 000f423f => ffff0000 (00000000 00000000)
 382        crxor 00000000, ffffffff => ffff0000 (00000000 00000000)
 383        crxor 000f423f, 00000000 => ffff0000 (00000000 00000000)
 384        crxor 000f423f, 000f423f => ffff0000 (00000000 00000000)
 385        crxor 000f423f, ffffffff => ffff0000 (00000000 00000000)
 386        crxor ffffffff, 00000000 => ffff0000 (00000000 00000000)
 387        crxor ffffffff, 000f423f => ffff0000 (00000000 00000000)
 388        crxor ffffffff, ffffffff => ffff0000 (00000000 00000000)
 389
 390 PPC integer logical insns with one arg:
 391       cntlzw 00000000 => 00000020 (00000000 00000000)
 392       cntlzw 000f423f => 0000000c (00000000 00000000)
 393       cntlzw ffffffff => 00000000 (00000000 00000000)
 394
 395        extsb 00000000 => 00000000 (00000000 00000000)
 396        extsb 000f423f => 0000003f (00000000 00000000)
 397        extsb ffffffff => ffffffff (00000000 00000000)
 398
 399        extsh 00000000 => 00000000 (00000000 00000000)
 400        extsh 000f423f => 0000423f (00000000 00000000)
 401        extsh ffffffff => ffffffff (00000000 00000000)
 402
 403          neg 00000000 => 00000000 (00000000 00000000)
 404          neg 000f423f => fff0bdc1 (00000000 00000000)
 405          neg ffffffff => 00000001 (00000000 00000000)
 406
 407         nego 00000000 => 00000000 (00000000 00000000)
 408         nego 000f423f => fff0bdc1 (00000000 00000000)
 409         nego ffffffff => 00000001 (00000000 00000000)
 410
 411 PPC integer logical insns with one arg with flags update:
 412      cntlzw. 00000000 => 00000020 (40000000 00000000)
 413      cntlzw. 000f423f => 0000000c (40000000 00000000)
 414      cntlzw. ffffffff => 00000000 (20000000 00000000)
 415
 416       extsb. 00000000 => 00000000 (20000000 00000000)
 417       extsb. 000f423f => 0000003f (40000000 00000000)
 418       extsb. ffffffff => ffffffff (80000000 00000000)
 419
 420       extsh. 00000000 => 00000000 (20000000 00000000)
 421       extsh. 000f423f => 0000423f (40000000 00000000)
 422       extsh. ffffffff => ffffffff (80000000 00000000)
 423
 424         neg. 00000000 => 00000000 (20000000 00000000)
 425         neg. 000f423f => fff0bdc1 (80000000 00000000)
 426         neg. ffffffff => 00000001 (40000000 00000000)
 427
 428        nego. 00000000 => 00000000 (20000000 00000000)
 429        nego. 000f423f => fff0bdc1 (80000000 00000000)
 430        nego. ffffffff => 00000001 (40000000 00000000)
 431
 432 PPC logical insns with special forms:
 433       rlwimi 00000000,  0,  0,  0 => 00000000 (00000000 00000000)
 434       rlwimi 00000000,  0,  0, 31 => 00000000 (00000000 00000000)
 435       rlwimi 00000000,  0, 31,  0 => 00000000 (00000000 00000000)
 436       rlwimi 00000000,  0, 31, 31 => 00000000 (00000000 00000000)
 437       rlwimi 00000000, 31,  0,  0 => 00000000 (00000000 00000000)
 438       rlwimi 00000000, 31,  0, 31 => 00000000 (00000000 00000000)
 439       rlwimi 00000000, 31, 31,  0 => 00000000 (00000000 00000000)
 440       rlwimi 00000000, 31, 31, 31 => 00000000 (00000000 00000000)
 441       rlwimi 000f423f,  0,  0,  0 => 00000000 (00000000 00000000)
 442       rlwimi 000f423f,  0,  0, 31 => 000f423f (00000000 00000000)
 443       rlwimi 000f423f,  0, 31,  0 => 000f423f (00000000 00000000)
 444       rlwimi 000f423f,  0, 31, 31 => 000f423f (00000000 00000000)
 445       rlwimi 000f423f, 31,  0,  0 => 800f423f (00000000 00000000)
 446       rlwimi 000f423f, 31,  0, 31 => 8007a11f (00000000 00000000)
 447       rlwimi 000f423f, 31, 31,  0 => 8007a11f (00000000 00000000)
 448       rlwimi 000f423f, 31, 31, 31 => 8007a11f (00000000 00000000)
 449       rlwimi ffffffff,  0,  0,  0 => 8007a11f (00000000 00000000)
 450       rlwimi ffffffff,  0,  0, 31 => ffffffff (00000000 00000000)
 451       rlwimi ffffffff,  0, 31,  0 => ffffffff (00000000 00000000)
 452       rlwimi ffffffff,  0, 31, 31 => ffffffff (00000000 00000000)
 453       rlwimi ffffffff, 31,  0,  0 => ffffffff (00000000 00000000)
 454       rlwimi ffffffff, 31,  0, 31 => ffffffff (00000000 00000000)
 455       rlwimi ffffffff, 31, 31,  0 => ffffffff (00000000 00000000)
 456       rlwimi ffffffff, 31, 31, 31 => ffffffff (00000000 00000000)
 457
 458       rlwinm 00000000,  0,  0,  0 => 00000000 (00000000 00000000)
 459       rlwinm 00000000,  0,  0, 31 => 00000000 (00000000 00000000)
 460       rlwinm 00000000,  0, 31,  0 => 00000000 (00000000 00000000)
 461       rlwinm 00000000,  0, 31, 31 => 00000000 (00000000 00000000)
 462       rlwinm 00000000, 31,  0,  0 => 00000000 (00000000 00000000)
 463       rlwinm 00000000, 31,  0, 31 => 00000000 (00000000 00000000)
 464       rlwinm 00000000, 31, 31,  0 => 00000000 (00000000 00000000)
 465       rlwinm 00000000, 31, 31, 31 => 00000000 (00000000 00000000)
 466       rlwinm 000f423f,  0,  0,  0 => 00000000 (00000000 00000000)
 467       rlwinm 000f423f,  0,  0, 31 => 000f423f (00000000 00000000)
 468       rlwinm 000f423f,  0, 31,  0 => 00000001 (00000000 00000000)
 469       rlwinm 000f423f,  0, 31, 31 => 00000001 (00000000 00000000)
 470       rlwinm 000f423f, 31,  0,  0 => 80000000 (00000000 00000000)
 471       rlwinm 000f423f, 31,  0, 31 => 8007a11f (00000000 00000000)
 472       rlwinm 000f423f, 31, 31,  0 => 80000001 (00000000 00000000)
 473       rlwinm 000f423f, 31, 31, 31 => 00000001 (00000000 00000000)
 474       rlwinm ffffffff,  0,  0,  0 => 80000000 (00000000 00000000)
 475       rlwinm ffffffff,  0,  0, 31 => ffffffff (00000000 00000000)
 476       rlwinm ffffffff,  0, 31,  0 => 80000001 (00000000 00000000)
 477       rlwinm ffffffff,  0, 31, 31 => 00000001 (00000000 00000000)
 478       rlwinm ffffffff, 31,  0,  0 => 80000000 (00000000 00000000)
 479       rlwinm ffffffff, 31,  0, 31 => ffffffff (00000000 00000000)
 480       rlwinm ffffffff, 31, 31,  0 => 80000001 (00000000 00000000)
 481       rlwinm ffffffff, 31, 31, 31 => 00000001 (00000000 00000000)
 482
 483        rlwnm 00000000, 00000000,  0,  0 => 00000000 (00000000 00000000)
 484        rlwnm 00000000, 00000000,  0, 31 => 00000000 (00000000 00000000)
 485        rlwnm 00000000, 00000000, 31,  0 => 00000000 (00000000 00000000)
 486        rlwnm 00000000, 00000000, 31, 31 => 00000000 (00000000 00000000)
 487        rlwnm 00000000, 000f423f,  0,  0 => 00000000 (00000000 00000000)
 488        rlwnm 00000000, 000f423f,  0, 31 => 00000000 (00000000 00000000)
 489        rlwnm 00000000, 000f423f, 31,  0 => 00000000 (00000000 00000000)
 490        rlwnm 00000000, 000f423f, 31, 31 => 00000000 (00000000 00000000)
 491        rlwnm 00000000, ffffffff,  0,  0 => 00000000 (00000000 00000000)
 492        rlwnm 00000000, ffffffff,  0, 31 => 00000000 (00000000 00000000)
 493        rlwnm 00000000, ffffffff, 31,  0 => 00000000 (00000000 00000000)
 494        rlwnm 00000000, ffffffff, 31, 31 => 00000000 (00000000 00000000)
 495        rlwnm 000f423f, 00000000,  0,  0 => 00000000 (00000000 00000000)
 496        rlwnm 000f423f, 00000000,  0, 31 => 000f423f (00000000 00000000)
 497        rlwnm 000f423f, 00000000, 31,  0 => 00000001 (00000000 00000000)
 498        rlwnm 000f423f, 00000000, 31, 31 => 00000001 (00000000 00000000)
 499        rlwnm 000f423f, 000f423f,  0,  0 => 80000000 (00000000 00000000)
 500        rlwnm 000f423f, 000f423f,  0, 31 => 8007a11f (00000000 00000000)
 501        rlwnm 000f423f, 000f423f, 31,  0 => 80000001 (00000000 00000000)
 502        rlwnm 000f423f, 000f423f, 31, 31 => 00000001 (00000000 00000000)
 503        rlwnm 000f423f, ffffffff,  0,  0 => 80000000 (00000000 00000000)
 504        rlwnm 000f423f, ffffffff,  0, 31 => 8007a11f (00000000 00000000)
 505        rlwnm 000f423f, ffffffff, 31,  0 => 80000001 (00000000 00000000)
 506        rlwnm 000f423f, ffffffff, 31, 31 => 00000001 (00000000 00000000)
 507        rlwnm ffffffff, 00000000,  0,  0 => 80000000 (00000000 00000000)
 508        rlwnm ffffffff, 00000000,  0, 31 => ffffffff (00000000 00000000)
 509        rlwnm ffffffff, 00000000, 31,  0 => 80000001 (00000000 00000000)
 510        rlwnm ffffffff, 00000000, 31, 31 => 00000001 (00000000 00000000)
 511        rlwnm ffffffff, 000f423f,  0,  0 => 80000000 (00000000 00000000)
 512        rlwnm ffffffff, 000f423f,  0, 31 => ffffffff (00000000 00000000)
 513        rlwnm ffffffff, 000f423f, 31,  0 => 80000001 (00000000 00000000)
 514        rlwnm ffffffff, 000f423f, 31, 31 => 00000001 (00000000 00000000)
 515        rlwnm ffffffff, ffffffff,  0,  0 => 80000000 (00000000 00000000)
 516        rlwnm ffffffff, ffffffff,  0, 31 => ffffffff (00000000 00000000)
 517        rlwnm ffffffff, ffffffff, 31,  0 => 80000001 (00000000 00000000)
 518        rlwnm ffffffff, ffffffff, 31, 31 => 00000001 (00000000 00000000)
 519
 520         mfcr (00000000) => 00000000 (00000000 00000000)
 521         mfcr (000f423f) => 000f423f (000f423f 00000000)
 522         mfcr (ffffffff) => ffffffff (ffffffff 00000000)
 523
 524 PPC logical insns with special forms with flags update:
 525      rlwimi. 00000000,  0,  0,  0 => 00000000 (20000000 00000000)
 526      rlwimi. 00000000,  0,  0, 31 => 00000000 (20000000 00000000)
 527      rlwimi. 00000000,  0, 31,  0 => 00000000 (20000000 00000000)
 528      rlwimi. 00000000,  0, 31, 31 => 00000000 (20000000 00000000)
 529      rlwimi. 00000000, 31,  0,  0 => 00000000 (20000000 00000000)
 530      rlwimi. 00000000, 31,  0, 31 => 00000000 (20000000 00000000)
 531      rlwimi. 00000000, 31, 31,  0 => 00000000 (20000000 00000000)
 532      rlwimi. 00000000, 31, 31, 31 => 00000000 (20000000 00000000)
 533      rlwimi. 000f423f,  0,  0,  0 => 00000000 (20000000 00000000)
 534      rlwimi. 000f423f,  0,  0, 31 => 000f423f (40000000 00000000)
 535      rlwimi. 000f423f,  0, 31,  0 => 000f423f (40000000 00000000)
 536      rlwimi. 000f423f,  0, 31, 31 => 000f423f (40000000 00000000)
 537      rlwimi. 000f423f, 31,  0,  0 => 800f423f (80000000 00000000)
 538      rlwimi. 000f423f, 31,  0, 31 => 8007a11f (80000000 00000000)
 539      rlwimi. 000f423f, 31, 31,  0 => 8007a11f (80000000 00000000)
 540      rlwimi. 000f423f, 31, 31, 31 => 8007a11f (80000000 00000000)
 541      rlwimi. ffffffff,  0,  0,  0 => 8007a11f (80000000 00000000)
 542      rlwimi. ffffffff,  0,  0, 31 => ffffffff (80000000 00000000)
 543      rlwimi. ffffffff,  0, 31,  0 => ffffffff (80000000 00000000)
 544      rlwimi. ffffffff,  0, 31, 31 => ffffffff (80000000 00000000)
 545      rlwimi. ffffffff, 31,  0,  0 => ffffffff (80000000 00000000)
 546      rlwimi. ffffffff, 31,  0, 31 => ffffffff (80000000 00000000)
 547      rlwimi. ffffffff, 31, 31,  0 => ffffffff (80000000 00000000)
 548      rlwimi. ffffffff, 31, 31, 31 => ffffffff (80000000 00000000)
 549
 550      rlwinm. 00000000,  0,  0,  0 => 00000000 (20000000 00000000)
 551      rlwinm. 00000000,  0,  0, 31 => 00000000 (20000000 00000000)
 552      rlwinm. 00000000,  0, 31,  0 => 00000000 (20000000 00000000)
 553      rlwinm. 00000000,  0, 31, 31 => 00000000 (20000000 00000000)
 554      rlwinm. 00000000, 31,  0,  0 => 00000000 (20000000 00000000)
 555      rlwinm. 00000000, 31,  0, 31 => 00000000 (20000000 00000000)
 556      rlwinm. 00000000, 31, 31,  0 => 00000000 (20000000 00000000)
 557      rlwinm. 00000000, 31, 31, 31 => 00000000 (20000000 00000000)
 558      rlwinm. 000f423f,  0,  0,  0 => 00000000 (20000000 00000000)
 559      rlwinm. 000f423f,  0,  0, 31 => 000f423f (40000000 00000000)
 560      rlwinm. 000f423f,  0, 31,  0 => 00000001 (40000000 00000000)
 561      rlwinm. 000f423f,  0, 31, 31 => 00000001 (40000000 00000000)
 562      rlwinm. 000f423f, 31,  0,  0 => 80000000 (80000000 00000000)
 563      rlwinm. 000f423f, 31,  0, 31 => 8007a11f (80000000 00000000)
 564      rlwinm. 000f423f, 31, 31,  0 => 80000001 (80000000 00000000)
 565      rlwinm. 000f423f, 31, 31, 31 => 00000001 (40000000 00000000)
 566      rlwinm. ffffffff,  0,  0,  0 => 80000000 (80000000 00000000)
 567      rlwinm. ffffffff,  0,  0, 31 => ffffffff (80000000 00000000)
 568      rlwinm. ffffffff,  0, 31,  0 => 80000001 (80000000 00000000)
 569      rlwinm. ffffffff,  0, 31, 31 => 00000001 (40000000 00000000)
 570      rlwinm. ffffffff, 31,  0,  0 => 80000000 (80000000 00000000)
 571      rlwinm. ffffffff, 31,  0, 31 => ffffffff (80000000 00000000)
 572      rlwinm. ffffffff, 31, 31,  0 => 80000001 (80000000 00000000)
 573      rlwinm. ffffffff, 31, 31, 31 => 00000001 (40000000 00000000)
 574
 575       rlwnm. 00000000, 00000000,  0,  0 => 00000000 (20000000 00000000)
 576       rlwnm. 00000000, 00000000,  0, 31 => 00000000 (20000000 00000000)
 577       rlwnm. 00000000, 00000000, 31,  0 => 00000000 (20000000 00000000)
 578       rlwnm. 00000000, 00000000, 31, 31 => 00000000 (20000000 00000000)
 579       rlwnm. 00000000, 000f423f,  0,  0 => 00000000 (20000000 00000000)
 580       rlwnm. 00000000, 000f423f,  0, 31 => 00000000 (20000000 00000000)
 581       rlwnm. 00000000, 000f423f, 31,  0 => 00000000 (20000000 00000000)
 582       rlwnm. 00000000, 000f423f, 31, 31 => 00000000 (20000000 00000000)
 583       rlwnm. 00000000, ffffffff,  0,  0 => 00000000 (20000000 00000000)
 584       rlwnm. 00000000, ffffffff,  0, 31 => 00000000 (20000000 00000000)
 585       rlwnm. 00000000, ffffffff, 31,  0 => 00000000 (20000000 00000000)
 586       rlwnm. 00000000, ffffffff, 31, 31 => 00000000 (20000000 00000000)
 587       rlwnm. 000f423f, 00000000,  0,  0 => 00000000 (20000000 00000000)
 588       rlwnm. 000f423f, 00000000,  0, 31 => 000f423f (40000000 00000000)
 589       rlwnm. 000f423f, 00000000, 31,  0 => 00000001 (40000000 00000000)
 590       rlwnm. 000f423f, 00000000, 31, 31 => 00000001 (40000000 00000000)
 591       rlwnm. 000f423f, 000f423f,  0,  0 => 80000000 (80000000 00000000)
 592       rlwnm. 000f423f, 000f423f,  0, 31 => 8007a11f (80000000 00000000)
 593       rlwnm. 000f423f, 000f423f, 31,  0 => 80000001 (80000000 00000000)
 594       rlwnm. 000f423f, 000f423f, 31, 31 => 00000001 (40000000 00000000)
 595       rlwnm. 000f423f, ffffffff,  0,  0 => 80000000 (80000000 00000000)
 596       rlwnm. 000f423f, ffffffff,  0, 31 => 8007a11f (80000000 00000000)
 597       rlwnm. 000f423f, ffffffff, 31,  0 => 80000001 (80000000 00000000)
 598       rlwnm. 000f423f, ffffffff, 31, 31 => 00000001 (40000000 00000000)
 599       rlwnm. ffffffff, 00000000,  0,  0 => 80000000 (80000000 00000000)
 600       rlwnm. ffffffff, 00000000,  0, 31 => ffffffff (80000000 00000000)
 601       rlwnm. ffffffff, 00000000, 31,  0 => 80000001 (80000000 00000000)
 602       rlwnm. ffffffff, 00000000, 31, 31 => 00000001 (40000000 00000000)
 603       rlwnm. ffffffff, 000f423f,  0,  0 => 80000000 (80000000 00000000)
 604       rlwnm. ffffffff, 000f423f,  0, 31 => ffffffff (80000000 00000000)
 605       rlwnm. ffffffff, 000f423f, 31,  0 => 80000001 (80000000 00000000)
 606       rlwnm. ffffffff, 000f423f, 31, 31 => 00000001 (40000000 00000000)
 607       rlwnm. ffffffff, ffffffff,  0,  0 => 80000000 (80000000 00000000)
 608       rlwnm. ffffffff, ffffffff,  0, 31 => ffffffff (80000000 00000000)
 609       rlwnm. ffffffff, ffffffff, 31,  0 => 80000001 (80000000 00000000)
 610       rlwnm. ffffffff, ffffffff, 31, 31 => 00000001 (40000000 00000000)
 611
 612         mcrf 0, 0 (00000000) => (00000000 00000000)
 613         mcrf 0, 7 (00000000) => (00000000 00000000)
 614         mcrf 7, 0 (00000000) => (00000000 00000000)
 615         mcrf 7, 7 (00000000) => (00000000 00000000)
 616         mcrf 0, 0 (000f423f) => (000f423f 00000000)
 617         mcrf 0, 7 (000f423f) => (f00f423f 00000000)
 618         mcrf 7, 0 (000f423f) => (000f4230 00000000)
 619         mcrf 7, 7 (000f423f) => (000f423f 00000000)
 620         mcrf 0, 0 (ffffffff) => (ffffffff 00000000)
 621         mcrf 0, 7 (ffffffff) => (ffffffff 00000000)
 622         mcrf 7, 0 (ffffffff) => (ffffffff 00000000)
 623         mcrf 7, 7 (ffffffff) => (ffffffff 00000000)
 624
 625        mcrxr 0 (00000000) => (00000000 00000000)
 626        mcrxr 1 (00000000) => (00000000 00000000)
 627        mcrxr 2 (00000000) => (00000000 00000000)
 628        mcrxr 3 (00000000) => (00000000 00000000)
 629        mcrxr 4 (00000000) => (00000000 00000000)
 630        mcrxr 5 (00000000) => (00000000 00000000)
 631        mcrxr 6 (00000000) => (00000000 00000000)
 632        mcrxr 7 (00000000) => (00000000 00000000)
 633        mcrxr 0 (10000000) => (00000000 00000000)
 634        mcrxr 1 (10000000) => (00000000 00000000)
 635        mcrxr 2 (10000000) => (00000000 00000000)
 636        mcrxr 3 (10000000) => (00000000 00000000)
 637        mcrxr 4 (10000000) => (00000000 00000000)
 638        mcrxr 5 (10000000) => (00000000 00000000)
 639        mcrxr 6 (10000000) => (00000000 00000000)
 640        mcrxr 7 (10000000) => (00000000 00000000)
 641        mcrxr 0 (20000000) => (20000000 00000000)
 642        mcrxr 1 (20000000) => (02000000 00000000)
 643        mcrxr 2 (20000000) => (00200000 00000000)
 644        mcrxr 3 (20000000) => (00020000 00000000)
 645        mcrxr 4 (20000000) => (00002000 00000000)
 646        mcrxr 5 (20000000) => (00000200 00000000)
 647        mcrxr 6 (20000000) => (00000020 00000000)
 648        mcrxr 7 (20000000) => (00000002 00000000)
 649        mcrxr 0 (30000000) => (20000000 00000000)
 650        mcrxr 1 (30000000) => (02000000 00000000)
 651        mcrxr 2 (30000000) => (00200000 00000000)
 652        mcrxr 3 (30000000) => (00020000 00000000)
 653        mcrxr 4 (30000000) => (00002000 00000000)
 654        mcrxr 5 (30000000) => (00000200 00000000)
 655        mcrxr 6 (30000000) => (00000020 00000000)
 656        mcrxr 7 (30000000) => (00000002 00000000)
 657        mcrxr 0 (40000000) => (40000000 00000000)
 658        mcrxr 1 (40000000) => (04000000 00000000)
 659        mcrxr 2 (40000000) => (00400000 00000000)
 660        mcrxr 3 (40000000) => (00040000 00000000)
 661        mcrxr 4 (40000000) => (00004000 00000000)
 662        mcrxr 5 (40000000) => (00000400 00000000)
 663        mcrxr 6 (40000000) => (00000040 00000000)
 664        mcrxr 7 (40000000) => (00000004 00000000)
 665        mcrxr 0 (50000000) => (40000000 00000000)
 666        mcrxr 1 (50000000) => (04000000 00000000)
 667        mcrxr 2 (50000000) => (00400000 00000000)
 668        mcrxr 3 (50000000) => (00040000 00000000)
 669        mcrxr 4 (50000000) => (00004000 00000000)
 670        mcrxr 5 (50000000) => (00000400 00000000)
 671        mcrxr 6 (50000000) => (00000040 00000000)
 672        mcrxr 7 (50000000) => (00000004 00000000)
 673        mcrxr 0 (60000000) => (60000000 00000000)
 674        mcrxr 1 (60000000) => (06000000 00000000)
 675        mcrxr 2 (60000000) => (00600000 00000000)
 676        mcrxr 3 (60000000) => (00060000 00000000)
 677        mcrxr 4 (60000000) => (00006000 00000000)
 678        mcrxr 5 (60000000) => (00000600 00000000)
 679        mcrxr 6 (60000000) => (00000060 00000000)
 680        mcrxr 7 (60000000) => (00000006 00000000)
 681        mcrxr 0 (70000000) => (60000000 00000000)
 682        mcrxr 1 (70000000) => (06000000 00000000)
 683        mcrxr 2 (70000000) => (00600000 00000000)
 684        mcrxr 3 (70000000) => (00060000 00000000)
 685        mcrxr 4 (70000000) => (00006000 00000000)
 686        mcrxr 5 (70000000) => (00000600 00000000)
 687        mcrxr 6 (70000000) => (00000060 00000000)
 688        mcrxr 7 (70000000) => (00000006 00000000)
 689        mcrxr 0 (80000000) => (80000000 00000000)
 690        mcrxr 1 (80000000) => (08000000 00000000)
 691        mcrxr 2 (80000000) => (00800000 00000000)
 692        mcrxr 3 (80000000) => (00080000 00000000)
 693        mcrxr 4 (80000000) => (00008000 00000000)
 694        mcrxr 5 (80000000) => (00000800 00000000)
 695        mcrxr 6 (80000000) => (00000080 00000000)
 696        mcrxr 7 (80000000) => (00000008 00000000)
 697        mcrxr 0 (90000000) => (80000000 00000000)
 698        mcrxr 1 (90000000) => (08000000 00000000)
 699        mcrxr 2 (90000000) => (00800000 00000000)
 700        mcrxr 3 (90000000) => (00080000 00000000)
 701        mcrxr 4 (90000000) => (00008000 00000000)
 702        mcrxr 5 (90000000) => (00000800 00000000)
 703        mcrxr 6 (90000000) => (00000080 00000000)
 704        mcrxr 7 (90000000) => (00000008 00000000)
 705        mcrxr 0 (a0000000) => (a0000000 00000000)
 706        mcrxr 1 (a0000000) => (0a000000 00000000)
 707        mcrxr 2 (a0000000) => (00a00000 00000000)
 708        mcrxr 3 (a0000000) => (000a0000 00000000)
 709        mcrxr 4 (a0000000) => (0000a000 00000000)
 710        mcrxr 5 (a0000000) => (00000a00 00000000)
 711        mcrxr 6 (a0000000) => (000000a0 00000000)
 712        mcrxr 7 (a0000000) => (0000000a 00000000)
 713        mcrxr 0 (b0000000) => (a0000000 00000000)
 714        mcrxr 1 (b0000000) => (0a000000 00000000)
 715        mcrxr 2 (b0000000) => (00a00000 00000000)
 716        mcrxr 3 (b0000000) => (000a0000 00000000)
 717        mcrxr 4 (b0000000) => (0000a000 00000000)
 718        mcrxr 5 (b0000000) => (00000a00 00000000)
 719        mcrxr 6 (b0000000) => (000000a0 00000000)
 720        mcrxr 7 (b0000000) => (0000000a 00000000)
 721        mcrxr 0 (c0000000) => (c0000000 00000000)
 722        mcrxr 1 (c0000000) => (0c000000 00000000)
 723        mcrxr 2 (c0000000) => (00c00000 00000000)
 724        mcrxr 3 (c0000000) => (000c0000 00000000)
 725        mcrxr 4 (c0000000) => (0000c000 00000000)
 726        mcrxr 5 (c0000000) => (00000c00 00000000)
 727        mcrxr 6 (c0000000) => (000000c0 00000000)
 728        mcrxr 7 (c0000000) => (0000000c 00000000)
 729        mcrxr 0 (d0000000) => (c0000000 00000000)
 730        mcrxr 1 (d0000000) => (0c000000 00000000)
 731        mcrxr 2 (d0000000) => (00c00000 00000000)
 732        mcrxr 3 (d0000000) => (000c0000 00000000)
 733        mcrxr 4 (d0000000) => (0000c000 00000000)
 734        mcrxr 5 (d0000000) => (00000c00 00000000)
 735        mcrxr 6 (d0000000) => (000000c0 00000000)
 736        mcrxr 7 (d0000000) => (0000000c 00000000)
 737        mcrxr 0 (e0000000) => (e0000000 00000000)
 738        mcrxr 1 (e0000000) => (0e000000 00000000)
 739        mcrxr 2 (e0000000) => (00e00000 00000000)
 740        mcrxr 3 (e0000000) => (000e0000 00000000)
 741        mcrxr 4 (e0000000) => (0000e000 00000000)
 742        mcrxr 5 (e0000000) => (00000e00 00000000)
 743        mcrxr 6 (e0000000) => (000000e0 00000000)
 744        mcrxr 7 (e0000000) => (0000000e 00000000)
 745        mcrxr 0 (f0000000) => (e0000000 00000000)
 746        mcrxr 1 (f0000000) => (0e000000 00000000)
 747        mcrxr 2 (f0000000) => (00e00000 00000000)
 748        mcrxr 3 (f0000000) => (000e0000 00000000)
 749        mcrxr 4 (f0000000) => (0000e000 00000000)
 750        mcrxr 5 (f0000000) => (00000e00 00000000)
 751        mcrxr 6 (f0000000) => (000000e0 00000000)
 752        mcrxr 7 (f0000000) => (0000000e 00000000)
 753
 754        mtcrf   0, 00000000 => (00000000 00000000)
 755        mtcrf  99, 00000000 => (00000000 00000000)
 756        mtcrf 198, 00000000 => (00000000 00000000)
 757        mtcrf   0, 000f423f => (00000000 00000000)
 758        mtcrf  99, 000f423f => (0000003f 00000000)
 759        mtcrf 198, 000f423f => (00000230 00000000)
 760        mtcrf   0, ffffffff => (00000000 00000000)
 761        mtcrf  99, ffffffff => (0ff000ff 00000000)
 762        mtcrf 198, ffffffff => (ff000ff0 00000000)
 763
 764 PPC integer load insns
 765     with one register + one 16 bits immediate args with flags update:
 766          lbz  0, (00000000) => 00000000,  0 (00000000 00000000)
 767          lbz  3, (000f423f) => 00000000,  0 (00000000 00000000)
 768          lbz  7, (ffffffff) => 0000003f,  0 (00000000 00000000)
 769          lbz  1, (ffffffff) => 000000ff,  0 (00000000 00000000)
 770          lbz -3, (000f423f) => 0000000f,  0 (00000000 00000000)
 771          lbz -7, (00000000) => 00000000,  0 (00000000 00000000)
 772
 773         lbzu  0, (00000000) => 00000000,  0 (00000000 00000000)
 774         lbzu  3, (000f423f) => 00000000,  3 (00000000 00000000)
 775         lbzu  7, (ffffffff) => 0000003f,  7 (00000000 00000000)
 776         lbzu  1, (ffffffff) => 000000ff,  1 (00000000 00000000)
 777         lbzu -3, (000f423f) => 0000000f, -3 (00000000 00000000)
 778         lbzu -7, (00000000) => 00000000, -7 (00000000 00000000)
 779
 780          lha  0, (00000000) => 00000000,  0 (00000000 00000000)
 781          lha  3, (000f423f) => 00000000,  0 (00000000 00000000)
 782          lha  7, (ffffffff) => 00003fff,  0 (00000000 00000000)
 783          lha  1, (ffffffff) => ffffffff,  0 (00000000 00000000)
 784          lha -3, (000f423f) => 00000f42,  0 (00000000 00000000)
 785          lha -7, (00000000) => 00000000,  0 (00000000 00000000)
 786
 787         lhau  0, (00000000) => 00000000,  0 (00000000 00000000)
 788         lhau  3, (000f423f) => 00000000,  3 (00000000 00000000)
 789         lhau  7, (ffffffff) => 00003fff,  7 (00000000 00000000)
 790         lhau  1, (ffffffff) => ffffffff,  1 (00000000 00000000)
 791         lhau -3, (000f423f) => 00000f42, -3 (00000000 00000000)
 792         lhau -7, (00000000) => 00000000, -7 (00000000 00000000)
 793
 794          lhz  0, (00000000) => 00000000,  0 (00000000 00000000)
 795          lhz  3, (000f423f) => 00000000,  0 (00000000 00000000)
 796          lhz  7, (ffffffff) => 00003fff,  0 (00000000 00000000)
 797          lhz  1, (ffffffff) => 0000ffff,  0 (00000000 00000000)
 798          lhz -3, (000f423f) => 00000f42,  0 (00000000 00000000)
 799          lhz -7, (00000000) => 00000000,  0 (00000000 00000000)
 800
 801         lhzu  0, (00000000) => 00000000,  0 (00000000 00000000)
 802         lhzu  3, (000f423f) => 00000000,  3 (00000000 00000000)
 803         lhzu  7, (ffffffff) => 00003fff,  7 (00000000 00000000)
 804         lhzu  1, (ffffffff) => 0000ffff,  1 (00000000 00000000)
 805         lhzu -3, (000f423f) => 00000f42, -3 (00000000 00000000)
 806         lhzu -7, (00000000) => 00000000, -7 (00000000 00000000)
 807
 808          lwz  0, (00000000) => 00000000,  0 (00000000 00000000)
 809          lwz  3, (000f423f) => 00000f42,  0 (00000000 00000000)
 810          lwz  7, (ffffffff) => 3fffffff,  0 (00000000 00000000)
 811          lwz  1, (ffffffff) => ffffff00,  0 (00000000 00000000)
 812          lwz -3, (000f423f) => 0f423fff,  0 (00000000 00000000)
 813          lwz -7, (00000000) => 00000000,  0 (00000000 00000000)
 814
 815         lwzu  0, (00000000) => 00000000,  0 (00000000 00000000)
 816         lwzu  3, (000f423f) => 00000f42,  3 (00000000 00000000)
 817         lwzu  7, (ffffffff) => 3fffffff,  7 (00000000 00000000)
 818         lwzu  1, (ffffffff) => ffffff00,  1 (00000000 00000000)
 819         lwzu -3, (000f423f) => 0f423fff, -3 (00000000 00000000)
 820         lwzu -7, (00000000) => 00000000, -7 (00000000 00000000)
 821
 822 PPC integer load insns with two register args:
 823         lbzx 0 (00000000) => 00000000, 0 (00000000 00000000)
 824         lbzx 4 (000f423f) => 00000000, 0 (00000000 00000000)
 825         lbzx 8 (ffffffff) => 000000ff, 0 (00000000 00000000)
 826
 827        lbzux 0 (00000000) => 00000000, 0 (00000000 00000000)
 828        lbzux 4 (000f423f) => 00000000, 4 (00000000 00000000)
 829        lbzux 8 (ffffffff) => 000000ff, 8 (00000000 00000000)
 830
 831         lhax 0 (00000000) => 00000000, 0 (00000000 00000000)
 832         lhax 4 (000f423f) => 0000000f, 0 (00000000 00000000)
 833         lhax 8 (ffffffff) => ffffffff, 0 (00000000 00000000)
 834
 835        lhaux 0 (00000000) => 00000000, 0 (00000000 00000000)
 836        lhaux 4 (000f423f) => 0000000f, 4 (00000000 00000000)
 837        lhaux 8 (ffffffff) => ffffffff, 8 (00000000 00000000)
 838
 839         lhzx 0 (00000000) => 00000000, 0 (00000000 00000000)
 840         lhzx 4 (000f423f) => 0000000f, 0 (00000000 00000000)
 841         lhzx 8 (ffffffff) => 0000ffff, 0 (00000000 00000000)
 842
 843        lhzux 0 (00000000) => 00000000, 0 (00000000 00000000)
 844        lhzux 4 (000f423f) => 0000000f, 4 (00000000 00000000)
 845        lhzux 8 (ffffffff) => 0000ffff, 8 (00000000 00000000)
 846
 847         lwzx 0 (00000000) => 00000000, 0 (00000000 00000000)
 848         lwzx 4 (000f423f) => 000f423f, 0 (00000000 00000000)
 849         lwzx 8 (ffffffff) => ffffffff, 0 (00000000 00000000)
 850
 851        lwzux 0 (00000000) => 00000000, 0 (00000000 00000000)
 852        lwzux 4 (000f423f) => 000f423f, 4 (00000000 00000000)
 853        lwzux 8 (ffffffff) => ffffffff, 8 (00000000 00000000)
 854
 855 PPC integer store insns
 856     with one register + one 16 bits immediate args with flags update:
 857          stb 00000000,  0 => 00000000,  0 (00000000 00000000)
 858          stb 000f423f,  4 => 3f000000,  0 (00000000 00000000)
 859          stb ffffffff,  8 => ff000000,  0 (00000000 00000000)
 860          stb 00000000, -8 => 00000000,  0 (00000000 00000000)
 861          stb 000f423f, -4 => 3f000000,  0 (00000000 00000000)
 862          stb ffffffff,  0 => ff000000,  0 (00000000 00000000)
 863
 864         stbu 00000000,  0 => 00000000,  0 (00000000 00000000)
 865         stbu 000f423f,  4 => 3f000000,  4 (00000000 00000000)
 866         stbu ffffffff,  8 => ff000000,  8 (00000000 00000000)
 867         stbu 00000000, -8 => 00000000, -8 (00000000 00000000)
 868         stbu 000f423f, -4 => 3f000000, -4 (00000000 00000000)
 869         stbu ffffffff,  0 => ff000000,  0 (00000000 00000000)
 870
 871          sth 00000000,  0 => 00000000,  0 (00000000 00000000)
 872          sth 000f423f,  4 => 423f0000,  0 (00000000 00000000)
 873          sth ffffffff,  8 => ffff0000,  0 (00000000 00000000)
 874          sth 00000000, -8 => 00000000,  0 (00000000 00000000)
 875          sth 000f423f, -4 => 423f0000,  0 (00000000 00000000)
 876          sth ffffffff,  0 => ffff0000,  0 (00000000 00000000)
 877
 878         sthu 00000000,  0 => 00000000,  0 (00000000 00000000)
 879         sthu 000f423f,  4 => 423f0000,  4 (00000000 00000000)
 880         sthu ffffffff,  8 => ffff0000,  8 (00000000 00000000)
 881         sthu 00000000, -8 => 00000000, -8 (00000000 00000000)
 882         sthu 000f423f, -4 => 423f0000, -4 (00000000 00000000)
 883         sthu ffffffff,  0 => ffff0000,  0 (00000000 00000000)
 884
 885          stw 00000000,  0 => 00000000,  0 (00000000 00000000)
 886          stw 000f423f,  4 => 000f423f,  0 (00000000 00000000)
 887          stw ffffffff,  8 => ffffffff,  0 (00000000 00000000)
 888          stw 00000000, -8 => 00000000,  0 (00000000 00000000)
 889          stw 000f423f, -4 => 000f423f,  0 (00000000 00000000)
 890          stw ffffffff,  0 => ffffffff,  0 (00000000 00000000)
 891
 892         stwu 00000000,  0 => 00000000,  0 (00000000 00000000)
 893         stwu 000f423f,  4 => 000f423f,  4 (00000000 00000000)
 894         stwu ffffffff,  8 => ffffffff,  8 (00000000 00000000)
 895         stwu 00000000, -8 => 00000000, -8 (00000000 00000000)
 896         stwu 000f423f, -4 => 000f423f, -4 (00000000 00000000)
 897         stwu ffffffff,  0 => ffffffff,  0 (00000000 00000000)
 898
 899 PPC integer store insns with three register args:
 900         stbx 00000000, 0 => 00000000, 0 (00000000 00000000)
 901         stbx 000f423f, 4 => 3f000000, 0 (00000000 00000000)
 902         stbx ffffffff, 8 => ff000000, 0 (00000000 00000000)
 903
 904        stbux 00000000, 0 => 00000000, 0 (00000000 00000000)
 905        stbux 000f423f, 4 => 3f000000, 4 (00000000 00000000)
 906        stbux ffffffff, 8 => ff000000, 8 (00000000 00000000)
 907
 908         sthx 00000000, 0 => 00000000, 0 (00000000 00000000)
 909         sthx 000f423f, 4 => 423f0000, 0 (00000000 00000000)
 910         sthx ffffffff, 8 => ffff0000, 0 (00000000 00000000)
 911
 912        sthux 00000000, 0 => 00000000, 0 (00000000 00000000)
 913        sthux 000f423f, 4 => 423f0000, 4 (00000000 00000000)
 914        sthux ffffffff, 8 => ffff0000, 8 (00000000 00000000)
 915
 916         stwx 00000000, 0 => 00000000, 0 (00000000 00000000)
 917         stwx 000f423f, 4 => 000f423f, 0 (00000000 00000000)
 918         stwx ffffffff, 8 => ffffffff, 0 (00000000 00000000)
 919
 920        stwux 00000000, 0 => 00000000, 0 (00000000 00000000)
 921        stwux 000f423f, 4 => 000f423f, 4 (00000000 00000000)
 922        stwux ffffffff, 8 => ffffffff, 8 (00000000 00000000)
 923
 924 All done. Tested 86 different instructions