Home | History | Annotate | Download | only in ppc64 
      1 PPC integer arith insns with two args:
      2          add 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
      3          add 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
      4          add 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
      5          add 0000001cbe991def, 0000000000000000 => 0000001cbe991def (00000000 00000000)
      6          add 0000001cbe991def, 0000001cbe991def => 000000397d323bde (00000000 00000000)
      7          add 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (00000000 00000000)
      8          add ffffffffffffffff, 0000000000000000 => ffffffffffffffff (00000000 00000000)
      9          add ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (00000000 00000000)
     10          add ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (00000000 00000000)
     11 
     12         addo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
     13         addo 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
     14         addo 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
     15         addo 0000001cbe991def, 0000000000000000 => 0000001cbe991def (00000000 00000000)
     16         addo 0000001cbe991def, 0000001cbe991def => 000000397d323bde (00000000 00000000)
     17         addo 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (00000000 00000000)
     18         addo ffffffffffffffff, 0000000000000000 => ffffffffffffffff (00000000 00000000)
     19         addo ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (00000000 00000000)
     20         addo ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (00000000 00000000)
     21 
     22         addc 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
     23         addc 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
     24         addc 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
     25         addc 0000001cbe991def, 0000000000000000 => 0000001cbe991def (00000000 00000000)
     26         addc 0000001cbe991def, 0000001cbe991def => 000000397d323bde (00000000 00000000)
     27         addc 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (00000000 20000000)
     28         addc ffffffffffffffff, 0000000000000000 => ffffffffffffffff (00000000 00000000)
     29         addc ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
     30         addc ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (00000000 20000000)
     31 
     32        addco 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
     33        addco 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
     34        addco 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
     35        addco 0000001cbe991def, 0000000000000000 => 0000001cbe991def (00000000 00000000)
     36        addco 0000001cbe991def, 0000001cbe991def => 000000397d323bde (00000000 00000000)
     37        addco 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (00000000 20000000)
     38        addco ffffffffffffffff, 0000000000000000 => ffffffffffffffff (00000000 00000000)
     39        addco ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
     40        addco ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (00000000 20000000)
     41 
     42         divw 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
     43         divw 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
     44         divw 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
     45         divw 0000001cbe991def, ffffffffffffffff => 000000004166e211 (00000000 00000000)
     46         divw ffffffffffffffff, 0000001cbe991def => 0000000000000000 (00000000 00000000)
     47         divw ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
     48 
     49        divwo 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
     50        divwo 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
     51        divwo 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
     52        divwo 0000001cbe991def, ffffffffffffffff => 000000004166e211 (00000000 00000000)
     53        divwo ffffffffffffffff, 0000001cbe991def => 0000000000000000 (00000000 00000000)
     54        divwo ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
     55 
     56        divwu 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
     57        divwu 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
     58        divwu 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
     59        divwu 0000001cbe991def, ffffffffffffffff => 0000000000000000 (00000000 00000000)
     60        divwu ffffffffffffffff, 0000001cbe991def => 0000000000000001 (00000000 00000000)
     61        divwu ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
     62 
     63       divwuo 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
     64       divwuo 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
     65       divwuo 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
     66       divwuo 0000001cbe991def, ffffffffffffffff => 0000000000000000 (00000000 00000000)
     67       divwuo ffffffffffffffff, 0000001cbe991def => 0000000000000001 (00000000 00000000)
     68       divwuo ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
     69 
     70        mulhw 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
     71        mulhw 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
     72        mulhw 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
     73        mulhw 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
     74        mulhw 0000001cbe991def, 0000001cbe991def => 0000000010b56825 (00000000 00000000)
     75        mulhw 0000001cbe991def, ffffffffffffffff => 0000000000000000 (00000000 00000000)
     76        mulhw ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
     77        mulhw ffffffffffffffff, 0000001cbe991def => 0000000000000000 (00000000 00000000)
     78        mulhw ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 00000000)
     79 
     80       mulhwu 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
     81       mulhwu 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
     82       mulhwu 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
     83       mulhwu 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
     84       mulhwu 0000001cbe991def, 0000001cbe991def => 000000008de7a403 (00000000 00000000)
     85       mulhwu 0000001cbe991def, ffffffffffffffff => 00000000be991dee (00000000 00000000)
     86       mulhwu ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
     87       mulhwu ffffffffffffffff, 0000001cbe991def => 00000000be991dee (00000000 00000000)
     88       mulhwu ffffffffffffffff, ffffffffffffffff => 00000000fffffffe (00000000 00000000)
     89 
     90        mullw 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
     91        mullw 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
     92        mullw 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
     93        mullw 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
     94        mullw 0000001cbe991def, 0000001cbe991def => 10b568258f2e0521 (00000000 00000000)
     95        mullw 0000001cbe991def, ffffffffffffffff => 000000004166e211 (00000000 00000000)
     96        mullw ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
     97        mullw ffffffffffffffff, 0000001cbe991def => 000000004166e211 (00000000 00000000)
     98        mullw ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
     99 
    100       mullwo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
    101       mullwo 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
    102       mullwo 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
    103       mullwo 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
    104       mullwo 0000001cbe991def, 0000001cbe991def => 10b568258f2e0521 (00000000 c0000000)
    105       mullwo 0000001cbe991def, ffffffffffffffff => 000000004166e211 (00000000 00000000)
    106       mullwo ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
    107       mullwo ffffffffffffffff, 0000001cbe991def => 000000004166e211 (00000000 00000000)
    108       mullwo ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
    109 
    110         subf 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
    111         subf 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
    112         subf 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
    113         subf 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (00000000 00000000)
    114         subf 0000001cbe991def, 0000001cbe991def => 0000000000000000 (00000000 00000000)
    115         subf 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (00000000 00000000)
    116         subf ffffffffffffffff, 0000000000000000 => 0000000000000001 (00000000 00000000)
    117         subf ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
    118         subf ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 00000000)
    119 
    120        subfo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
    121        subfo 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
    122        subfo 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
    123        subfo 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (00000000 00000000)
    124        subfo 0000001cbe991def, 0000001cbe991def => 0000000000000000 (00000000 00000000)
    125        subfo 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (00000000 00000000)
    126        subfo ffffffffffffffff, 0000000000000000 => 0000000000000001 (00000000 00000000)
    127        subfo ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
    128        subfo ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 00000000)
    129 
    130        subfc 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 20000000)
    131        subfc 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 20000000)
    132        subfc 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 20000000)
    133        subfc 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (00000000 00000000)
    134        subfc 0000001cbe991def, 0000001cbe991def => 0000000000000000 (00000000 20000000)
    135        subfc 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (00000000 20000000)
    136        subfc ffffffffffffffff, 0000000000000000 => 0000000000000001 (00000000 00000000)
    137        subfc ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
    138        subfc ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 20000000)
    139 
    140       subfco 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 20000000)
    141       subfco 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 20000000)
    142       subfco 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 20000000)
    143       subfco 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (00000000 00000000)
    144       subfco 0000001cbe991def, 0000001cbe991def => 0000000000000000 (00000000 20000000)
    145       subfco 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (00000000 20000000)
    146       subfco ffffffffffffffff, 0000000000000000 => 0000000000000001 (00000000 00000000)
    147       subfco ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
    148       subfco ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 20000000)
    149 
    150        mulhd 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
    151        mulhd 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
    152        mulhd 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
    153        mulhd 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
    154        mulhd 0000001cbe991def, 0000001cbe991def => 000000000000033a (00000000 00000000)
    155        mulhd 0000001cbe991def, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
    156        mulhd ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
    157        mulhd ffffffffffffffff, 0000001cbe991def => ffffffffffffffff (00000000 00000000)
    158        mulhd ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 00000000)
    159 
    160       mulhdu 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
    161       mulhdu 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
    162       mulhdu 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
    163       mulhdu 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
    164       mulhdu 0000001cbe991def, 0000001cbe991def => 000000000000033a (00000000 00000000)
    165       mulhdu 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (00000000 00000000)
    166       mulhdu ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
    167       mulhdu ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (00000000 00000000)
    168       mulhdu ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (00000000 00000000)
    169 
    170        mulld 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
    171        mulld 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
    172        mulld 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
    173        mulld 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
    174        mulld 0000001cbe991def, 0000001cbe991def => 3f66304b8f2e0521 (00000000 00000000)
    175        mulld 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (00000000 00000000)
    176        mulld ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
    177        mulld ffffffffffffffff, 0000001cbe991def => ffffffe34166e211 (00000000 00000000)
    178        mulld ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
    179 
    180       mulldo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
    181       mulldo 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
    182       mulldo 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
    183       mulldo 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
    184       mulldo 0000001cbe991def, 0000001cbe991def => 3f66304b8f2e0521 (00000000 c0000000)
    185       mulldo 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (00000000 00000000)
    186       mulldo ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
    187       mulldo ffffffffffffffff, 0000001cbe991def => ffffffe34166e211 (00000000 00000000)
    188       mulldo ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
    189 
    190         divd 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
    191         divd 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
    192         divd 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
    193         divd 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
    194         divd 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
    195         divd 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (00000000 00000000)
    196         divd ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
    197         divd ffffffffffffffff, 0000001cbe991def => 0000000000000000 (00000000 00000000)
    198         divd ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
    199 
    200        divdu 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
    201        divdu 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
    202        divdu 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
    203        divdu 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
    204        divdu 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
    205        divdu 0000001cbe991def, ffffffffffffffff => 0000000000000000 (00000000 00000000)
    206        divdu ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
    207        divdu ffffffffffffffff, 0000001cbe991def => 0000000008e7f283 (00000000 00000000)
    208        divdu ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
    209 
    210        divdo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 c0000000)
    211        divdo 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
    212        divdo 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
    213        divdo 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 c0000000)
    214        divdo 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
    215        divdo 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (00000000 00000000)
    216        divdo ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 c0000000)
    217        divdo ffffffffffffffff, 0000001cbe991def => 0000000000000000 (00000000 00000000)
    218        divdo ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
    219 
    220       divduo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 c0000000)
    221       divduo 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
    222       divduo 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
    223       divduo 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 c0000000)
    224       divduo 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
    225       divduo 0000001cbe991def, ffffffffffffffff => 0000000000000000 (00000000 00000000)
    226       divduo ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 c0000000)
    227       divduo ffffffffffffffff, 0000001cbe991def => 0000000008e7f283 (00000000 00000000)
    228       divduo ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)
    229 
    230 PPC integer arith insns with two args with flags update:
    231         add. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
    232         add. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
    233         add. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
    234         add. 0000001cbe991def, 0000000000000000 => 0000001cbe991def (40000000 00000000)
    235         add. 0000001cbe991def, 0000001cbe991def => 000000397d323bde (40000000 00000000)
    236         add. 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (40000000 00000000)
    237         add. ffffffffffffffff, 0000000000000000 => ffffffffffffffff (80000000 00000000)
    238         add. ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (40000000 00000000)
    239         add. ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (80000000 00000000)
    240 
    241        addo. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
    242        addo. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
    243        addo. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
    244        addo. 0000001cbe991def, 0000000000000000 => 0000001cbe991def (40000000 00000000)
    245        addo. 0000001cbe991def, 0000001cbe991def => 000000397d323bde (40000000 00000000)
    246        addo. 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (40000000 00000000)
    247        addo. ffffffffffffffff, 0000000000000000 => ffffffffffffffff (80000000 00000000)
    248        addo. ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (40000000 00000000)
    249        addo. ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (80000000 00000000)
    250 
    251        addc. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
    252        addc. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
    253        addc. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
    254        addc. 0000001cbe991def, 0000000000000000 => 0000001cbe991def (40000000 00000000)
    255        addc. 0000001cbe991def, 0000001cbe991def => 000000397d323bde (40000000 00000000)
    256        addc. 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (40000000 20000000)
    257        addc. ffffffffffffffff, 0000000000000000 => ffffffffffffffff (80000000 00000000)
    258        addc. ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
    259        addc. ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (80000000 20000000)
    260 
    261       addco. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
    262       addco. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
    263       addco. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
    264       addco. 0000001cbe991def, 0000000000000000 => 0000001cbe991def (40000000 00000000)
    265       addco. 0000001cbe991def, 0000001cbe991def => 000000397d323bde (40000000 00000000)
    266       addco. 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (40000000 20000000)
    267       addco. ffffffffffffffff, 0000000000000000 => ffffffffffffffff (80000000 00000000)
    268       addco. ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
    269       addco. ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (80000000 20000000)
    270 
    271        divw. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    272        divw. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    273        divw. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
    274        divw. 0000001cbe991def, ffffffffffffffff => 000000004166e211 (40000000 00000000)
    275        divw. ffffffffffffffff, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    276        divw. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
    277 
    278       divwo. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    279       divwo. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    280       divwo. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
    281       divwo. 0000001cbe991def, ffffffffffffffff => 000000004166e211 (40000000 00000000)
    282       divwo. ffffffffffffffff, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    283       divwo. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
    284 
    285       divwu. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    286       divwu. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    287       divwu. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
    288       divwu. 0000001cbe991def, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    289       divwu. ffffffffffffffff, 0000001cbe991def => 0000000000000001 (40000000 00000000)
    290       divwu. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
    291 
    292      divwuo. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    293      divwuo. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    294      divwuo. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
    295      divwuo. 0000001cbe991def, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    296      divwuo. ffffffffffffffff, 0000001cbe991def => 0000000000000001 (40000000 00000000)
    297      divwuo. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
    298 
    299       mulhw. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
    300       mulhw. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    301       mulhw. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    302       mulhw. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
    303       mulhw. 0000001cbe991def, 0000001cbe991def => 0000000010b56825 (40000000 00000000)
    304       mulhw. 0000001cbe991def, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    305       mulhw. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
    306       mulhw. ffffffffffffffff, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    307       mulhw. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    308 
    309      mulhwu. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
    310      mulhwu. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    311      mulhwu. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    312      mulhwu. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
    313      mulhwu. 0000001cbe991def, 0000001cbe991def => 000000008de7a403 (80000000 00000000)
    314      mulhwu. 0000001cbe991def, ffffffffffffffff => 00000000be991dee (80000000 00000000)
    315      mulhwu. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
    316      mulhwu. ffffffffffffffff, 0000001cbe991def => 00000000be991dee (80000000 00000000)
    317      mulhwu. ffffffffffffffff, ffffffffffffffff => 00000000fffffffe (80000000 00000000)
    318 
    319       mullw. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
    320       mullw. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    321       mullw. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    322       mullw. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
    323       mullw. 0000001cbe991def, 0000001cbe991def => 10b568258f2e0521 (40000000 00000000)
    324       mullw. 0000001cbe991def, ffffffffffffffff => 000000004166e211 (40000000 00000000)
    325       mullw. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
    326       mullw. ffffffffffffffff, 0000001cbe991def => 000000004166e211 (40000000 00000000)
    327       mullw. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
    328 
    329      mullwo. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
    330      mullwo. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    331      mullwo. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    332      mullwo. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
    333      mullwo. 0000001cbe991def, 0000001cbe991def => 10b568258f2e0521 (50000000 c0000000)
    334      mullwo. 0000001cbe991def, ffffffffffffffff => 000000004166e211 (40000000 00000000)
    335      mullwo. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
    336      mullwo. ffffffffffffffff, 0000001cbe991def => 000000004166e211 (40000000 00000000)
    337      mullwo. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
    338 
    339        subf. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
    340        subf. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
    341        subf. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
    342        subf. 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (80000000 00000000)
    343        subf. 0000001cbe991def, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    344        subf. 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (80000000 00000000)
    345        subf. ffffffffffffffff, 0000000000000000 => 0000000000000001 (40000000 00000000)
    346        subf. ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
    347        subf. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    348 
    349       subfo. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
    350       subfo. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
    351       subfo. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
    352       subfo. 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (80000000 00000000)
    353       subfo. 0000001cbe991def, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    354       subfo. 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (80000000 00000000)
    355       subfo. ffffffffffffffff, 0000000000000000 => 0000000000000001 (40000000 00000000)
    356       subfo. ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
    357       subfo. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    358 
    359       subfc. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 20000000)
    360       subfc. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 20000000)
    361       subfc. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 20000000)
    362       subfc. 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (80000000 00000000)
    363       subfc. 0000001cbe991def, 0000001cbe991def => 0000000000000000 (20000000 20000000)
    364       subfc. 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (80000000 20000000)
    365       subfc. ffffffffffffffff, 0000000000000000 => 0000000000000001 (40000000 00000000)
    366       subfc. ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
    367       subfc. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 20000000)
    368 
    369      subfco. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 20000000)
    370      subfco. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 20000000)
    371      subfco. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 20000000)
    372      subfco. 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (80000000 00000000)
    373      subfco. 0000001cbe991def, 0000001cbe991def => 0000000000000000 (20000000 20000000)
    374      subfco. 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (80000000 20000000)
    375      subfco. ffffffffffffffff, 0000000000000000 => 0000000000000001 (40000000 00000000)
    376      subfco. ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
    377      subfco. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 20000000)
    378 
    379       mulhd. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
    380       mulhd. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    381       mulhd. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    382       mulhd. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
    383       mulhd. 0000001cbe991def, 0000001cbe991def => 000000000000033a (40000000 00000000)
    384       mulhd. 0000001cbe991def, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
    385       mulhd. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
    386       mulhd. ffffffffffffffff, 0000001cbe991def => ffffffffffffffff (80000000 00000000)
    387       mulhd. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    388 
    389      mulhdu. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
    390      mulhdu. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    391      mulhdu. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    392      mulhdu. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
    393      mulhdu. 0000001cbe991def, 0000001cbe991def => 000000000000033a (40000000 00000000)
    394      mulhdu. 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (40000000 00000000)
    395      mulhdu. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
    396      mulhdu. ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (40000000 00000000)
    397      mulhdu. ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (80000000 00000000)
    398 
    399       mulld. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
    400       mulld. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    401       mulld. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    402       mulld. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
    403       mulld. 0000001cbe991def, 0000001cbe991def => 3f66304b8f2e0521 (40000000 00000000)
    404       mulld. 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (80000000 00000000)
    405       mulld. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
    406       mulld. ffffffffffffffff, 0000001cbe991def => ffffffe34166e211 (80000000 00000000)
    407       mulld. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
    408 
    409     mulldo. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
    410     mulldo. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    411     mulldo. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    412     mulldo. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
    413     mulldo. 0000001cbe991def, 0000001cbe991def => 3f66304b8f2e0521 (50000000 c0000000)
    414     mulldo. 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (80000000 00000000)
    415     mulldo. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
    416     mulldo. ffffffffffffffff, 0000001cbe991def => ffffffe34166e211 (80000000 00000000)
    417     mulldo. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
    418 
    419        divd. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
    420        divd. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    421        divd. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    422        divd. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
    423        divd. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
    424        divd. 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (80000000 00000000)
    425        divd. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
    426        divd. ffffffffffffffff, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    427        divd. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
    428 
    429       divdu. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
    430       divdu. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    431       divdu. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    432       divdu. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
    433       divdu. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
    434       divdu. 0000001cbe991def, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    435       divdu. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
    436       divdu. ffffffffffffffff, 0000001cbe991def => 0000000008e7f283 (40000000 00000000)
    437       divdu. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
    438 
    439       divdo. 0000000000000000, 0000000000000000 => 0000000000000000 (30000000 c0000000)
    440       divdo. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    441       divdo. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    442       divdo. 0000001cbe991def, 0000000000000000 => 0000000000000000 (30000000 c0000000)
    443       divdo. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
    444       divdo. 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (80000000 00000000)
    445       divdo. ffffffffffffffff, 0000000000000000 => 0000000000000000 (30000000 c0000000)
    446       divdo. ffffffffffffffff, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    447       divdo. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
    448 
    449      divduo. 0000000000000000, 0000000000000000 => 0000000000000000 (30000000 c0000000)
    450      divduo. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    451      divduo. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    452      divduo. 0000001cbe991def, 0000000000000000 => 0000000000000000 (30000000 c0000000)
    453      divduo. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
    454      divduo. 0000001cbe991def, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    455      divduo. ffffffffffffffff, 0000000000000000 => 0000000000000000 (30000000 c0000000)
    456      divduo. ffffffffffffffff, 0000001cbe991def => 0000000008e7f283 (40000000 00000000)
    457      divduo. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)
    458 
    459 PPC integer arith insns with two args and carry:
    460         adde 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
    461         adde 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
    462         adde 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
    463         adde 0000001cbe991def, 0000000000000000 => 0000001cbe991def (00000000 00000000)
    464         adde 0000001cbe991def, 0000001cbe991def => 000000397d323bde (00000000 00000000)
    465         adde 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (00000000 20000000)
    466         adde ffffffffffffffff, 0000000000000000 => ffffffffffffffff (00000000 00000000)
    467         adde ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
    468         adde ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (00000000 20000000)
    469         adde 0000000000000000, 0000000000000000 => 0000000000000001 (00000000 00000000)
    470         adde 0000000000000000, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
    471         adde 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 20000000)
    472         adde 0000001cbe991def, 0000000000000000 => 0000001cbe991df0 (00000000 00000000)
    473         adde 0000001cbe991def, 0000001cbe991def => 000000397d323bdf (00000000 00000000)
    474         adde 0000001cbe991def, ffffffffffffffff => 0000001cbe991def (00000000 20000000)
    475         adde ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 20000000)
    476         adde ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (00000000 20000000)
    477         adde ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (00000000 20000000)
    478 
    479        addeo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
    480        addeo 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
    481        addeo 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
    482        addeo 0000001cbe991def, 0000000000000000 => 0000001cbe991def (00000000 00000000)
    483        addeo 0000001cbe991def, 0000001cbe991def => 000000397d323bde (00000000 00000000)
    484        addeo 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (00000000 20000000)
    485        addeo ffffffffffffffff, 0000000000000000 => ffffffffffffffff (00000000 00000000)
    486        addeo ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
    487        addeo ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (00000000 20000000)
    488        addeo 0000000000000000, 0000000000000000 => 0000000000000001 (00000000 00000000)
    489        addeo 0000000000000000, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
    490        addeo 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 20000000)
    491        addeo 0000001cbe991def, 0000000000000000 => 0000001cbe991df0 (00000000 00000000)
    492        addeo 0000001cbe991def, 0000001cbe991def => 000000397d323bdf (00000000 00000000)
    493        addeo 0000001cbe991def, ffffffffffffffff => 0000001cbe991def (00000000 20000000)
    494        addeo ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 20000000)
    495        addeo ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (00000000 20000000)
    496        addeo ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (00000000 20000000)
    497 
    498        subfe 0000000000000000, 0000000000000000 => ffffffffffffffff (00000000 00000000)
    499        subfe 0000000000000000, 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
    500        subfe 0000000000000000, ffffffffffffffff => fffffffffffffffe (00000000 20000000)
    501        subfe 0000001cbe991def, 0000000000000000 => ffffffe34166e210 (00000000 00000000)
    502        subfe 0000001cbe991def, 0000001cbe991def => ffffffffffffffff (00000000 00000000)
    503        subfe 0000001cbe991def, ffffffffffffffff => ffffffe34166e20f (00000000 20000000)
    504        subfe ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
    505        subfe ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
    506        subfe ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
    507        subfe 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 20000000)
    508        subfe 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 20000000)
    509        subfe 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 20000000)
    510        subfe 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (00000000 00000000)
    511        subfe 0000001cbe991def, 0000001cbe991def => 0000000000000000 (00000000 20000000)
    512        subfe 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (00000000 20000000)
    513        subfe ffffffffffffffff, 0000000000000000 => 0000000000000001 (00000000 00000000)
    514        subfe ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
    515        subfe ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 20000000)
    516 
    517       subfeo 0000000000000000, 0000000000000000 => ffffffffffffffff (00000000 00000000)
    518       subfeo 0000000000000000, 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
    519       subfeo 0000000000000000, ffffffffffffffff => fffffffffffffffe (00000000 20000000)
    520       subfeo 0000001cbe991def, 0000000000000000 => ffffffe34166e210 (00000000 00000000)
    521       subfeo 0000001cbe991def, 0000001cbe991def => ffffffffffffffff (00000000 00000000)
    522       subfeo 0000001cbe991def, ffffffffffffffff => ffffffe34166e20f (00000000 20000000)
    523       subfeo ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
    524       subfeo ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
    525       subfeo ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
    526       subfeo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 20000000)
    527       subfeo 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 20000000)
    528       subfeo 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 20000000)
    529       subfeo 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (00000000 00000000)
    530       subfeo 0000001cbe991def, 0000001cbe991def => 0000000000000000 (00000000 20000000)
    531       subfeo 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (00000000 20000000)
    532       subfeo ffffffffffffffff, 0000000000000000 => 0000000000000001 (00000000 00000000)
    533       subfeo ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
    534       subfeo ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 20000000)
    535 
    536 PPC integer arith insns with two args and carry with flags update:
    537        adde. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
    538        adde. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
    539        adde. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
    540        adde. 0000001cbe991def, 0000000000000000 => 0000001cbe991def (40000000 00000000)
    541        adde. 0000001cbe991def, 0000001cbe991def => 000000397d323bde (40000000 00000000)
    542        adde. 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (40000000 20000000)
    543        adde. ffffffffffffffff, 0000000000000000 => ffffffffffffffff (80000000 00000000)
    544        adde. ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
    545        adde. ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (80000000 20000000)
    546        adde. 0000000000000000, 0000000000000000 => 0000000000000001 (40000000 00000000)
    547        adde. 0000000000000000, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
    548        adde. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 20000000)
    549        adde. 0000001cbe991def, 0000000000000000 => 0000001cbe991df0 (40000000 00000000)
    550        adde. 0000001cbe991def, 0000001cbe991def => 000000397d323bdf (40000000 00000000)
    551        adde. 0000001cbe991def, ffffffffffffffff => 0000001cbe991def (40000000 20000000)
    552        adde. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 20000000)
    553        adde. ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (40000000 20000000)
    554        adde. ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (80000000 20000000)
    555 
    556       addeo. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
    557       addeo. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
    558       addeo. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
    559       addeo. 0000001cbe991def, 0000000000000000 => 0000001cbe991def (40000000 00000000)
    560       addeo. 0000001cbe991def, 0000001cbe991def => 000000397d323bde (40000000 00000000)
    561       addeo. 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (40000000 20000000)
    562       addeo. ffffffffffffffff, 0000000000000000 => ffffffffffffffff (80000000 00000000)
    563       addeo. ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
    564       addeo. ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (80000000 20000000)
    565       addeo. 0000000000000000, 0000000000000000 => 0000000000000001 (40000000 00000000)
    566       addeo. 0000000000000000, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
    567       addeo. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 20000000)
    568       addeo. 0000001cbe991def, 0000000000000000 => 0000001cbe991df0 (40000000 00000000)
    569       addeo. 0000001cbe991def, 0000001cbe991def => 000000397d323bdf (40000000 00000000)
    570       addeo. 0000001cbe991def, ffffffffffffffff => 0000001cbe991def (40000000 20000000)
    571       addeo. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 20000000)
    572       addeo. ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (40000000 20000000)
    573       addeo. ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (80000000 20000000)
    574 
    575       subfe. 0000000000000000, 0000000000000000 => ffffffffffffffff (80000000 00000000)
    576       subfe. 0000000000000000, 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
    577       subfe. 0000000000000000, ffffffffffffffff => fffffffffffffffe (80000000 20000000)
    578       subfe. 0000001cbe991def, 0000000000000000 => ffffffe34166e210 (80000000 00000000)
    579       subfe. 0000001cbe991def, 0000001cbe991def => ffffffffffffffff (80000000 00000000)
    580       subfe. 0000001cbe991def, ffffffffffffffff => ffffffe34166e20f (80000000 20000000)
    581       subfe. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
    582       subfe. ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
    583       subfe. ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
    584       subfe. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 20000000)
    585       subfe. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 20000000)
    586       subfe. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 20000000)
    587       subfe. 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (80000000 00000000)
    588       subfe. 0000001cbe991def, 0000001cbe991def => 0000000000000000 (20000000 20000000)
    589       subfe. 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (80000000 20000000)
    590       subfe. ffffffffffffffff, 0000000000000000 => 0000000000000001 (40000000 00000000)
    591       subfe. ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
    592       subfe. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 20000000)
    593 
    594      subfeo. 0000000000000000, 0000000000000000 => ffffffffffffffff (80000000 00000000)
    595      subfeo. 0000000000000000, 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
    596      subfeo. 0000000000000000, ffffffffffffffff => fffffffffffffffe (80000000 20000000)
    597      subfeo. 0000001cbe991def, 0000000000000000 => ffffffe34166e210 (80000000 00000000)
    598      subfeo. 0000001cbe991def, 0000001cbe991def => ffffffffffffffff (80000000 00000000)
    599      subfeo. 0000001cbe991def, ffffffffffffffff => ffffffe34166e20f (80000000 20000000)
    600      subfeo. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
    601      subfeo. ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
    602      subfeo. ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
    603      subfeo. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 20000000)
    604      subfeo. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 20000000)
    605      subfeo. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 20000000)
    606      subfeo. 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (80000000 00000000)
    607      subfeo. 0000001cbe991def, 0000001cbe991def => 0000000000000000 (20000000 20000000)
    608      subfeo. 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (80000000 20000000)
    609      subfeo. ffffffffffffffff, 0000000000000000 => 0000000000000001 (40000000 00000000)
    610      subfeo. ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
    611      subfeo. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 20000000)
    612 
    613 PPC integer arith insns
    614     with one register + one 16 bits immediate args:
    615         addi 0000000000000000, 00000000 => 0000000000000000 (00000000 00000000)
    616         addi 0000000000000000, 000003e7 => 00000000000003e7 (00000000 00000000)
    617         addi 0000000000000000, 0000ffff => ffffffffffffffff (00000000 00000000)
    618         addi 0000001cbe991def, 00000000 => 0000001cbe991def (00000000 00000000)
    619         addi 0000001cbe991def, 000003e7 => 0000001cbe9921d6 (00000000 00000000)
    620         addi 0000001cbe991def, 0000ffff => 0000001cbe991dee (00000000 00000000)
    621         addi ffffffffffffffff, 00000000 => ffffffffffffffff (00000000 00000000)
    622         addi ffffffffffffffff, 000003e7 => 00000000000003e6 (00000000 00000000)
    623         addi ffffffffffffffff, 0000ffff => fffffffffffffffe (00000000 00000000)
    624 
    625        addic 0000000000000000, 00000000 => 0000000000000000 (00000000 00000000)
    626        addic 0000000000000000, 000003e7 => 00000000000003e7 (00000000 00000000)
    627        addic 0000000000000000, 0000ffff => ffffffffffffffff (00000000 00000000)
    628        addic 0000001cbe991def, 00000000 => 0000001cbe991def (00000000 00000000)
    629        addic 0000001cbe991def, 000003e7 => 0000001cbe9921d6 (00000000 00000000)
    630        addic 0000001cbe991def, 0000ffff => 0000001cbe991dee (00000000 20000000)
    631        addic ffffffffffffffff, 00000000 => ffffffffffffffff (00000000 00000000)
    632        addic ffffffffffffffff, 000003e7 => 00000000000003e6 (00000000 20000000)
    633        addic ffffffffffffffff, 0000ffff => fffffffffffffffe (00000000 20000000)
    634 
    635        addis 0000000000000000, 00000000 => 0000000000000000 (00000000 00000000)
    636        addis 0000000000000000, 000003e7 => 0000000003e70000 (00000000 00000000)
    637        addis 0000000000000000, 0000ffff => ffffffffffff0000 (00000000 00000000)
    638        addis 0000001cbe991def, 00000000 => 0000001cbe991def (00000000 00000000)
    639        addis 0000001cbe991def, 000003e7 => 0000001cc2801def (00000000 00000000)
    640        addis 0000001cbe991def, 0000ffff => 0000001cbe981def (00000000 00000000)
    641        addis ffffffffffffffff, 00000000 => ffffffffffffffff (00000000 00000000)
    642        addis ffffffffffffffff, 000003e7 => 0000000003e6ffff (00000000 00000000)
    643        addis ffffffffffffffff, 0000ffff => fffffffffffeffff (00000000 00000000)
    644 
    645        mulli 0000000000000000, 00000000 => 0000000000000000 (00000000 00000000)
    646        mulli 0000000000000000, 000003e7 => 0000000000000000 (00000000 00000000)
    647        mulli 0000000000000000, 0000ffff => 0000000000000000 (00000000 00000000)
    648        mulli 0000001cbe991def, 00000000 => 0000000000000000 (00000000 00000000)
    649        mulli 0000001cbe991def, 000003e7 => 0000702bc783cfa9 (00000000 00000000)
    650        mulli 0000001cbe991def, 0000ffff => ffffffe34166e211 (00000000 00000000)
    651        mulli ffffffffffffffff, 00000000 => 0000000000000000 (00000000 00000000)
    652        mulli ffffffffffffffff, 000003e7 => fffffffffffffc19 (00000000 00000000)
    653        mulli ffffffffffffffff, 0000ffff => 0000000000000001 (00000000 00000000)
    654 
    655       subfic 0000000000000000, 00000000 => 0000000000000000 (00000000 20000000)
    656       subfic 0000000000000000, 000003e7 => 00000000000003e7 (00000000 20000000)
    657       subfic 0000000000000000, 0000ffff => ffffffffffffffff (00000000 20000000)
    658       subfic 0000001cbe991def, 00000000 => ffffffe34166e211 (00000000 00000000)
    659       subfic 0000001cbe991def, 000003e7 => ffffffe34166e5f8 (00000000 00000000)
    660       subfic 0000001cbe991def, 0000ffff => ffffffe34166e210 (00000000 20000000)
    661       subfic ffffffffffffffff, 00000000 => 0000000000000001 (00000000 00000000)
    662       subfic ffffffffffffffff, 000003e7 => 00000000000003e8 (00000000 00000000)
    663       subfic ffffffffffffffff, 0000ffff => 0000000000000000 (00000000 20000000)
    664 
    665 PPC integer arith insns
    666     with one register + one 16 bits immediate args with flags update:
    667       addic. 0000000000000000, 00000000 => 0000000000000000 (20000000 00000000)
    668       addic. 0000000000000000, 000003e7 => 00000000000003e7 (40000000 00000000)
    669       addic. 0000000000000000, 0000ffff => ffffffffffffffff (80000000 00000000)
    670       addic. 0000001cbe991def, 00000000 => 0000001cbe991def (40000000 00000000)
    671       addic. 0000001cbe991def, 000003e7 => 0000001cbe9921d6 (40000000 00000000)
    672       addic. 0000001cbe991def, 0000ffff => 0000001cbe991dee (40000000 20000000)
    673       addic. ffffffffffffffff, 00000000 => ffffffffffffffff (80000000 00000000)
    674       addic. ffffffffffffffff, 000003e7 => 00000000000003e6 (40000000 20000000)
    675       addic. ffffffffffffffff, 0000ffff => fffffffffffffffe (80000000 20000000)
    676 
    677 PPC integer arith insns with one arg and carry:
    678        addme 0000000000000000 => ffffffffffffffff (00000000 00000000)
    679        addme 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
    680        addme ffffffffffffffff => fffffffffffffffe (00000000 20000000)
    681        addme 0000000000000000 => 0000000000000000 (00000000 20000000)
    682        addme 0000001cbe991def => 0000001cbe991def (00000000 20000000)
    683        addme ffffffffffffffff => ffffffffffffffff (00000000 20000000)
    684 
    685       addmeo 0000000000000000 => ffffffffffffffff (00000000 00000000)
    686       addmeo 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
    687       addmeo ffffffffffffffff => fffffffffffffffe (00000000 20000000)
    688       addmeo 0000000000000000 => 0000000000000000 (00000000 20000000)
    689       addmeo 0000001cbe991def => 0000001cbe991def (00000000 20000000)
    690       addmeo ffffffffffffffff => ffffffffffffffff (00000000 20000000)
    691 
    692        addze 0000000000000000 => 0000000000000000 (00000000 00000000)
    693        addze 0000001cbe991def => 0000001cbe991def (00000000 00000000)
    694        addze ffffffffffffffff => ffffffffffffffff (00000000 00000000)
    695        addze 0000000000000000 => 0000000000000001 (00000000 00000000)
    696        addze 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
    697        addze ffffffffffffffff => 0000000000000000 (00000000 20000000)
    698 
    699       addzeo 0000000000000000 => 0000000000000000 (00000000 00000000)
    700       addzeo 0000001cbe991def => 0000001cbe991def (00000000 00000000)
    701       addzeo ffffffffffffffff => ffffffffffffffff (00000000 00000000)
    702       addzeo 0000000000000000 => 0000000000000001 (00000000 00000000)
    703       addzeo 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
    704       addzeo ffffffffffffffff => 0000000000000000 (00000000 20000000)
    705 
    706       subfme 0000000000000000 => fffffffffffffffe (00000000 20000000)
    707       subfme 0000001cbe991def => ffffffe34166e20f (00000000 20000000)
    708       subfme ffffffffffffffff => ffffffffffffffff (00000000 00000000)
    709       subfme 0000000000000000 => ffffffffffffffff (00000000 20000000)
    710       subfme 0000001cbe991def => ffffffe34166e210 (00000000 20000000)
    711       subfme ffffffffffffffff => 0000000000000000 (00000000 20000000)
    712 
    713      subfmeo 0000000000000000 => fffffffffffffffe (00000000 20000000)
    714      subfmeo 0000001cbe991def => ffffffe34166e20f (00000000 20000000)
    715      subfmeo ffffffffffffffff => ffffffffffffffff (00000000 00000000)
    716      subfmeo 0000000000000000 => ffffffffffffffff (00000000 20000000)
    717      subfmeo 0000001cbe991def => ffffffe34166e210 (00000000 20000000)
    718      subfmeo ffffffffffffffff => 0000000000000000 (00000000 20000000)
    719 
    720       subfze 0000000000000000 => ffffffffffffffff (00000000 00000000)
    721       subfze 0000001cbe991def => ffffffe34166e210 (00000000 00000000)
    722       subfze ffffffffffffffff => 0000000000000000 (00000000 00000000)
    723       subfze 0000000000000000 => 0000000000000000 (00000000 20000000)
    724       subfze 0000001cbe991def => ffffffe34166e211 (00000000 00000000)
    725       subfze ffffffffffffffff => 0000000000000001 (00000000 00000000)
    726 
    727      subfzeo 0000000000000000 => ffffffffffffffff (00000000 00000000)
    728      subfzeo 0000001cbe991def => ffffffe34166e210 (00000000 00000000)
    729      subfzeo ffffffffffffffff => 0000000000000000 (00000000 00000000)
    730      subfzeo 0000000000000000 => 0000000000000000 (00000000 20000000)
    731      subfzeo 0000001cbe991def => ffffffe34166e211 (00000000 00000000)
    732      subfzeo ffffffffffffffff => 0000000000000001 (00000000 00000000)
    733 
    734 PPC integer arith insns with one arg and carry with flags update:
    735       addme. 0000000000000000 => ffffffffffffffff (80000000 00000000)
    736       addme. 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
    737       addme. ffffffffffffffff => fffffffffffffffe (80000000 20000000)
    738       addme. 0000000000000000 => 0000000000000000 (20000000 20000000)
    739       addme. 0000001cbe991def => 0000001cbe991def (40000000 20000000)
    740       addme. ffffffffffffffff => ffffffffffffffff (80000000 20000000)
    741 
    742      addmeo. 0000000000000000 => ffffffffffffffff (80000000 00000000)
    743      addmeo. 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
    744      addmeo. ffffffffffffffff => fffffffffffffffe (80000000 20000000)
    745      addmeo. 0000000000000000 => 0000000000000000 (20000000 20000000)
    746      addmeo. 0000001cbe991def => 0000001cbe991def (40000000 20000000)
    747      addmeo. ffffffffffffffff => ffffffffffffffff (80000000 20000000)
    748 
    749       addze. 0000000000000000 => 0000000000000000 (20000000 00000000)
    750       addze. 0000001cbe991def => 0000001cbe991def (40000000 00000000)
    751       addze. ffffffffffffffff => ffffffffffffffff (80000000 00000000)
    752       addze. 0000000000000000 => 0000000000000001 (40000000 00000000)
    753       addze. 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
    754       addze. ffffffffffffffff => 0000000000000000 (20000000 20000000)
    755 
    756      addzeo. 0000000000000000 => 0000000000000000 (20000000 00000000)
    757      addzeo. 0000001cbe991def => 0000001cbe991def (40000000 00000000)
    758      addzeo. ffffffffffffffff => ffffffffffffffff (80000000 00000000)
    759      addzeo. 0000000000000000 => 0000000000000001 (40000000 00000000)
    760      addzeo. 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
    761      addzeo. ffffffffffffffff => 0000000000000000 (20000000 20000000)
    762 
    763      subfme. 0000000000000000 => fffffffffffffffe (80000000 20000000)
    764      subfme. 0000001cbe991def => ffffffe34166e20f (80000000 20000000)
    765      subfme. ffffffffffffffff => ffffffffffffffff (80000000 00000000)
    766      subfme. 0000000000000000 => ffffffffffffffff (80000000 20000000)
    767      subfme. 0000001cbe991def => ffffffe34166e210 (80000000 20000000)
    768      subfme. ffffffffffffffff => 0000000000000000 (20000000 20000000)
    769 
    770     subfmeo. 0000000000000000 => fffffffffffffffe (80000000 20000000)
    771     subfmeo. 0000001cbe991def => ffffffe34166e20f (80000000 20000000)
    772     subfmeo. ffffffffffffffff => ffffffffffffffff (80000000 00000000)
    773     subfmeo. 0000000000000000 => ffffffffffffffff (80000000 20000000)
    774     subfmeo. 0000001cbe991def => ffffffe34166e210 (80000000 20000000)
    775     subfmeo. ffffffffffffffff => 0000000000000000 (20000000 20000000)
    776 
    777      subfze. 0000000000000000 => ffffffffffffffff (80000000 00000000)
    778      subfze. 0000001cbe991def => ffffffe34166e210 (80000000 00000000)
    779      subfze. ffffffffffffffff => 0000000000000000 (20000000 00000000)
    780      subfze. 0000000000000000 => 0000000000000000 (20000000 20000000)
    781      subfze. 0000001cbe991def => ffffffe34166e211 (80000000 00000000)
    782      subfze. ffffffffffffffff => 0000000000000001 (40000000 00000000)
    783 
    784     subfzeo. 0000000000000000 => ffffffffffffffff (80000000 00000000)
    785     subfzeo. 0000001cbe991def => ffffffe34166e210 (80000000 00000000)
    786     subfzeo. ffffffffffffffff => 0000000000000000 (20000000 00000000)
    787     subfzeo. 0000000000000000 => 0000000000000000 (20000000 20000000)
    788     subfzeo. 0000001cbe991def => ffffffe34166e211 (80000000 00000000)
    789     subfzeo. ffffffffffffffff => 0000000000000001 (40000000 00000000)
    790 
    791 PPC integer population count with one register args, no flags:
    792         popcntb 0000000000000000 => 0000000000000000 (00000000 00000000)
    793         popcntb 0000001cbe991def => 0000000306040407 (00000000 00000000)
    794         popcntb ffffffffffffffff => 0808080808080808 (00000000 00000000)
    795 
    796 All done. Tested 79 different instructions
    797