PPC integer arith insns with two args:
         add 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
         add 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
         add 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
         add 0000001cbe991def, 0000000000000000 => 0000001cbe991def (00000000 00000000)
         add 0000001cbe991def, 0000001cbe991def => 000000397d323bde (00000000 00000000)
         add 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (00000000 00000000)
         add ffffffffffffffff, 0000000000000000 => ffffffffffffffff (00000000 00000000)
         add ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (00000000 00000000)
         add ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (00000000 00000000)

        addo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
        addo 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
        addo 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
        addo 0000001cbe991def, 0000000000000000 => 0000001cbe991def (00000000 00000000)
        addo 0000001cbe991def, 0000001cbe991def => 000000397d323bde (00000000 00000000)
        addo 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (00000000 00000000)
        addo ffffffffffffffff, 0000000000000000 => ffffffffffffffff (00000000 00000000)
        addo ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (00000000 00000000)
        addo ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (00000000 00000000)

        addc 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
        addc 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
        addc 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
        addc 0000001cbe991def, 0000000000000000 => 0000001cbe991def (00000000 00000000)
        addc 0000001cbe991def, 0000001cbe991def => 000000397d323bde (00000000 00000000)
        addc 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (00000000 20000000)
        addc ffffffffffffffff, 0000000000000000 => ffffffffffffffff (00000000 00000000)
        addc ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
        addc ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (00000000 20000000)

       addco 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
       addco 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
       addco 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
       addco 0000001cbe991def, 0000000000000000 => 0000001cbe991def (00000000 00000000)
       addco 0000001cbe991def, 0000001cbe991def => 000000397d323bde (00000000 00000000)
       addco 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (00000000 20000000)
       addco ffffffffffffffff, 0000000000000000 => ffffffffffffffff (00000000 00000000)
       addco ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
       addco ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (00000000 20000000)

        divw 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
        divw 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
        divw 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
        divw 0000001cbe991def, ffffffffffffffff => 000000004166e211 (00000000 00000000)
        divw ffffffffffffffff, 0000001cbe991def => 0000000000000000 (00000000 00000000)
        divw ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)

       divwo 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
       divwo 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
       divwo 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
       divwo 0000001cbe991def, ffffffffffffffff => 000000004166e211 (00000000 00000000)
       divwo ffffffffffffffff, 0000001cbe991def => 0000000000000000 (00000000 00000000)
       divwo ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)

       divwu 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
       divwu 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
       divwu 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
       divwu 0000001cbe991def, ffffffffffffffff => 0000000000000000 (00000000 00000000)
       divwu ffffffffffffffff, 0000001cbe991def => 0000000000000001 (00000000 00000000)
       divwu ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)

      divwuo 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
      divwuo 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
      divwuo 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
      divwuo 0000001cbe991def, ffffffffffffffff => 0000000000000000 (00000000 00000000)
      divwuo ffffffffffffffff, 0000001cbe991def => 0000000000000001 (00000000 00000000)
      divwuo ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)

       mulhw 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
       mulhw 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
       mulhw 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
       mulhw 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
       mulhw 0000001cbe991def, 0000001cbe991def => 0000000010b56825 (00000000 00000000)
       mulhw 0000001cbe991def, ffffffffffffffff => 0000000000000000 (00000000 00000000)
       mulhw ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
       mulhw ffffffffffffffff, 0000001cbe991def => 0000000000000000 (00000000 00000000)
       mulhw ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 00000000)

      mulhwu 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
      mulhwu 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
      mulhwu 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
      mulhwu 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
      mulhwu 0000001cbe991def, 0000001cbe991def => 000000008de7a403 (00000000 00000000)
      mulhwu 0000001cbe991def, ffffffffffffffff => 00000000be991dee (00000000 00000000)
      mulhwu ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
      mulhwu ffffffffffffffff, 0000001cbe991def => 00000000be991dee (00000000 00000000)
      mulhwu ffffffffffffffff, ffffffffffffffff => 00000000fffffffe (00000000 00000000)

       mullw 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
       mullw 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
       mullw 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
       mullw 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
       mullw 0000001cbe991def, 0000001cbe991def => 10b568258f2e0521 (00000000 00000000)
       mullw 0000001cbe991def, ffffffffffffffff => 000000004166e211 (00000000 00000000)
       mullw ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
       mullw ffffffffffffffff, 0000001cbe991def => 000000004166e211 (00000000 00000000)
       mullw ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)

      mullwo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
      mullwo 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
      mullwo 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
      mullwo 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
      mullwo 0000001cbe991def, 0000001cbe991def => 10b568258f2e0521 (00000000 c0000000)
      mullwo 0000001cbe991def, ffffffffffffffff => 000000004166e211 (00000000 00000000)
      mullwo ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
      mullwo ffffffffffffffff, 0000001cbe991def => 000000004166e211 (00000000 00000000)
      mullwo ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)

        subf 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
        subf 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
        subf 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
        subf 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (00000000 00000000)
        subf 0000001cbe991def, 0000001cbe991def => 0000000000000000 (00000000 00000000)
        subf 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (00000000 00000000)
        subf ffffffffffffffff, 0000000000000000 => 0000000000000001 (00000000 00000000)
        subf ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
        subf ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 00000000)

       subfo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
       subfo 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
       subfo 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
       subfo 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (00000000 00000000)
       subfo 0000001cbe991def, 0000001cbe991def => 0000000000000000 (00000000 00000000)
       subfo 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (00000000 00000000)
       subfo ffffffffffffffff, 0000000000000000 => 0000000000000001 (00000000 00000000)
       subfo ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
       subfo ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 00000000)

       subfc 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 20000000)
       subfc 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 20000000)
       subfc 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 20000000)
       subfc 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (00000000 00000000)
       subfc 0000001cbe991def, 0000001cbe991def => 0000000000000000 (00000000 20000000)
       subfc 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (00000000 20000000)
       subfc ffffffffffffffff, 0000000000000000 => 0000000000000001 (00000000 00000000)
       subfc ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
       subfc ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 20000000)

      subfco 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 20000000)
      subfco 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 20000000)
      subfco 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 20000000)
      subfco 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (00000000 00000000)
      subfco 0000001cbe991def, 0000001cbe991def => 0000000000000000 (00000000 20000000)
      subfco 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (00000000 20000000)
      subfco ffffffffffffffff, 0000000000000000 => 0000000000000001 (00000000 00000000)
      subfco ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
      subfco ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 20000000)

       mulhd 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
       mulhd 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
       mulhd 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
       mulhd 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
       mulhd 0000001cbe991def, 0000001cbe991def => 000000000000033a (00000000 00000000)
       mulhd 0000001cbe991def, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
       mulhd ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
       mulhd ffffffffffffffff, 0000001cbe991def => ffffffffffffffff (00000000 00000000)
       mulhd ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 00000000)

      mulhdu 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
      mulhdu 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
      mulhdu 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
      mulhdu 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
      mulhdu 0000001cbe991def, 0000001cbe991def => 000000000000033a (00000000 00000000)
      mulhdu 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (00000000 00000000)
      mulhdu ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
      mulhdu ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (00000000 00000000)
      mulhdu ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (00000000 00000000)

       mulld 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
       mulld 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
       mulld 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
       mulld 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
       mulld 0000001cbe991def, 0000001cbe991def => 3f66304b8f2e0521 (00000000 00000000)
       mulld 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (00000000 00000000)
       mulld ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
       mulld ffffffffffffffff, 0000001cbe991def => ffffffe34166e211 (00000000 00000000)
       mulld ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)

      mulldo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
      mulldo 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
      mulldo 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
      mulldo 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
      mulldo 0000001cbe991def, 0000001cbe991def => 3f66304b8f2e0521 (00000000 c0000000)
      mulldo 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (00000000 00000000)
      mulldo ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
      mulldo ffffffffffffffff, 0000001cbe991def => ffffffe34166e211 (00000000 00000000)
      mulldo ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)

        divd 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
        divd 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
        divd 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
        divd 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
        divd 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
        divd 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (00000000 00000000)
        divd ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
        divd ffffffffffffffff, 0000001cbe991def => 0000000000000000 (00000000 00000000)
        divd ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)

       divdu 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
       divdu 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
       divdu 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
       divdu 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 00000000)
       divdu 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
       divdu 0000001cbe991def, ffffffffffffffff => 0000000000000000 (00000000 00000000)
       divdu ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
       divdu ffffffffffffffff, 0000001cbe991def => 0000000008e7f283 (00000000 00000000)
       divdu ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)

       divdo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 c0000000)
       divdo 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
       divdo 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
       divdo 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 c0000000)
       divdo 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
       divdo 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (00000000 00000000)
       divdo ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 c0000000)
       divdo ffffffffffffffff, 0000001cbe991def => 0000000000000000 (00000000 00000000)
       divdo ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)

      divduo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 c0000000)
      divduo 0000000000000000, 0000001cbe991def => 0000000000000000 (00000000 00000000)
      divduo 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 00000000)
      divduo 0000001cbe991def, 0000000000000000 => 0000000000000000 (00000000 c0000000)
      divduo 0000001cbe991def, 0000001cbe991def => 0000000000000001 (00000000 00000000)
      divduo 0000001cbe991def, ffffffffffffffff => 0000000000000000 (00000000 00000000)
      divduo ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 c0000000)
      divduo ffffffffffffffff, 0000001cbe991def => 0000000008e7f283 (00000000 00000000)
      divduo ffffffffffffffff, ffffffffffffffff => 0000000000000001 (00000000 00000000)

PPC integer arith insns with two args with flags update:
        add. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
        add. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
        add. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
        add. 0000001cbe991def, 0000000000000000 => 0000001cbe991def (40000000 00000000)
        add. 0000001cbe991def, 0000001cbe991def => 000000397d323bde (40000000 00000000)
        add. 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (40000000 00000000)
        add. ffffffffffffffff, 0000000000000000 => ffffffffffffffff (80000000 00000000)
        add. ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (40000000 00000000)
        add. ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (80000000 00000000)

       addo. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
       addo. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
       addo. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
       addo. 0000001cbe991def, 0000000000000000 => 0000001cbe991def (40000000 00000000)
       addo. 0000001cbe991def, 0000001cbe991def => 000000397d323bde (40000000 00000000)
       addo. 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (40000000 00000000)
       addo. ffffffffffffffff, 0000000000000000 => ffffffffffffffff (80000000 00000000)
       addo. ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (40000000 00000000)
       addo. ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (80000000 00000000)

       addc. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
       addc. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
       addc. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
       addc. 0000001cbe991def, 0000000000000000 => 0000001cbe991def (40000000 00000000)
       addc. 0000001cbe991def, 0000001cbe991def => 000000397d323bde (40000000 00000000)
       addc. 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (40000000 20000000)
       addc. ffffffffffffffff, 0000000000000000 => ffffffffffffffff (80000000 00000000)
       addc. ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
       addc. ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (80000000 20000000)

      addco. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
      addco. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
      addco. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
      addco. 0000001cbe991def, 0000000000000000 => 0000001cbe991def (40000000 00000000)
      addco. 0000001cbe991def, 0000001cbe991def => 000000397d323bde (40000000 00000000)
      addco. 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (40000000 20000000)
      addco. ffffffffffffffff, 0000000000000000 => ffffffffffffffff (80000000 00000000)
      addco. ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
      addco. ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (80000000 20000000)

       divw. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
       divw. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
       divw. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
       divw. 0000001cbe991def, ffffffffffffffff => 000000004166e211 (40000000 00000000)
       divw. ffffffffffffffff, 0000001cbe991def => 0000000000000000 (20000000 00000000)
       divw. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)

      divwo. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
      divwo. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
      divwo. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
      divwo. 0000001cbe991def, ffffffffffffffff => 000000004166e211 (40000000 00000000)
      divwo. ffffffffffffffff, 0000001cbe991def => 0000000000000000 (20000000 00000000)
      divwo. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)

      divwu. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
      divwu. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
      divwu. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
      divwu. 0000001cbe991def, ffffffffffffffff => 0000000000000000 (20000000 00000000)
      divwu. ffffffffffffffff, 0000001cbe991def => 0000000000000001 (40000000 00000000)
      divwu. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)

     divwuo. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
     divwuo. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
     divwuo. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
     divwuo. 0000001cbe991def, ffffffffffffffff => 0000000000000000 (20000000 00000000)
     divwuo. ffffffffffffffff, 0000001cbe991def => 0000000000000001 (40000000 00000000)
     divwuo. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)

      mulhw. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
      mulhw. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
      mulhw. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
      mulhw. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
      mulhw. 0000001cbe991def, 0000001cbe991def => 0000000010b56825 (40000000 00000000)
      mulhw. 0000001cbe991def, ffffffffffffffff => 0000000000000000 (20000000 00000000)
      mulhw. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
      mulhw. ffffffffffffffff, 0000001cbe991def => 0000000000000000 (20000000 00000000)
      mulhw. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 00000000)

     mulhwu. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
     mulhwu. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
     mulhwu. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
     mulhwu. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
     mulhwu. 0000001cbe991def, 0000001cbe991def => 000000008de7a403 (80000000 00000000)
     mulhwu. 0000001cbe991def, ffffffffffffffff => 00000000be991dee (80000000 00000000)
     mulhwu. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
     mulhwu. ffffffffffffffff, 0000001cbe991def => 00000000be991dee (80000000 00000000)
     mulhwu. ffffffffffffffff, ffffffffffffffff => 00000000fffffffe (80000000 00000000)

      mullw. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
      mullw. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
      mullw. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
      mullw. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
      mullw. 0000001cbe991def, 0000001cbe991def => 10b568258f2e0521 (40000000 00000000)
      mullw. 0000001cbe991def, ffffffffffffffff => 000000004166e211 (40000000 00000000)
      mullw. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
      mullw. ffffffffffffffff, 0000001cbe991def => 000000004166e211 (40000000 00000000)
      mullw. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)

     mullwo. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
     mullwo. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
     mullwo. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
     mullwo. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
     mullwo. 0000001cbe991def, 0000001cbe991def => 10b568258f2e0521 (50000000 c0000000)
     mullwo. 0000001cbe991def, ffffffffffffffff => 000000004166e211 (40000000 00000000)
     mullwo. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
     mullwo. ffffffffffffffff, 0000001cbe991def => 000000004166e211 (40000000 00000000)
     mullwo. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)

       subf. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
       subf. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
       subf. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
       subf. 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (80000000 00000000)
       subf. 0000001cbe991def, 0000001cbe991def => 0000000000000000 (20000000 00000000)
       subf. 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (80000000 00000000)
       subf. ffffffffffffffff, 0000000000000000 => 0000000000000001 (40000000 00000000)
       subf. ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
       subf. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 00000000)

      subfo. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
      subfo. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
      subfo. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
      subfo. 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (80000000 00000000)
      subfo. 0000001cbe991def, 0000001cbe991def => 0000000000000000 (20000000 00000000)
      subfo. 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (80000000 00000000)
      subfo. ffffffffffffffff, 0000000000000000 => 0000000000000001 (40000000 00000000)
      subfo. ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
      subfo. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 00000000)

      subfc. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 20000000)
      subfc. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 20000000)
      subfc. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 20000000)
      subfc. 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (80000000 00000000)
      subfc. 0000001cbe991def, 0000001cbe991def => 0000000000000000 (20000000 20000000)
      subfc. 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (80000000 20000000)
      subfc. ffffffffffffffff, 0000000000000000 => 0000000000000001 (40000000 00000000)
      subfc. ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
      subfc. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 20000000)

     subfco. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 20000000)
     subfco. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 20000000)
     subfco. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 20000000)
     subfco. 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (80000000 00000000)
     subfco. 0000001cbe991def, 0000001cbe991def => 0000000000000000 (20000000 20000000)
     subfco. 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (80000000 20000000)
     subfco. ffffffffffffffff, 0000000000000000 => 0000000000000001 (40000000 00000000)
     subfco. ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
     subfco. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 20000000)

      mulhd. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
      mulhd. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
      mulhd. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
      mulhd. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
      mulhd. 0000001cbe991def, 0000001cbe991def => 000000000000033a (40000000 00000000)
      mulhd. 0000001cbe991def, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
      mulhd. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
      mulhd. ffffffffffffffff, 0000001cbe991def => ffffffffffffffff (80000000 00000000)
      mulhd. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 00000000)

     mulhdu. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
     mulhdu. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
     mulhdu. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
     mulhdu. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
     mulhdu. 0000001cbe991def, 0000001cbe991def => 000000000000033a (40000000 00000000)
     mulhdu. 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (40000000 00000000)
     mulhdu. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
     mulhdu. ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (40000000 00000000)
     mulhdu. ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (80000000 00000000)

      mulld. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
      mulld. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
      mulld. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
      mulld. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
      mulld. 0000001cbe991def, 0000001cbe991def => 3f66304b8f2e0521 (40000000 00000000)
      mulld. 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (80000000 00000000)
      mulld. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
      mulld. ffffffffffffffff, 0000001cbe991def => ffffffe34166e211 (80000000 00000000)
      mulld. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)

    mulldo. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
    mulldo. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
    mulldo. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
    mulldo. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
    mulldo. 0000001cbe991def, 0000001cbe991def => 3f66304b8f2e0521 (50000000 c0000000)
    mulldo. 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (80000000 00000000)
    mulldo. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
    mulldo. ffffffffffffffff, 0000001cbe991def => ffffffe34166e211 (80000000 00000000)
    mulldo. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)

       divd. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
       divd. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
       divd. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
       divd. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
       divd. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
       divd. 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (80000000 00000000)
       divd. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
       divd. ffffffffffffffff, 0000001cbe991def => 0000000000000000 (20000000 00000000)
       divd. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)

      divdu. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
      divdu. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
      divdu. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
      divdu. 0000001cbe991def, 0000000000000000 => 0000000000000000 (20000000 00000000)
      divdu. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
      divdu. 0000001cbe991def, ffffffffffffffff => 0000000000000000 (20000000 00000000)
      divdu. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
      divdu. ffffffffffffffff, 0000001cbe991def => 0000000008e7f283 (40000000 00000000)
      divdu. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)

      divdo. 0000000000000000, 0000000000000000 => 0000000000000000 (30000000 c0000000)
      divdo. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
      divdo. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
      divdo. 0000001cbe991def, 0000000000000000 => 0000000000000000 (30000000 c0000000)
      divdo. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
      divdo. 0000001cbe991def, ffffffffffffffff => ffffffe34166e211 (80000000 00000000)
      divdo. ffffffffffffffff, 0000000000000000 => 0000000000000000 (30000000 c0000000)
      divdo. ffffffffffffffff, 0000001cbe991def => 0000000000000000 (20000000 00000000)
      divdo. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)

     divduo. 0000000000000000, 0000000000000000 => 0000000000000000 (30000000 c0000000)
     divduo. 0000000000000000, 0000001cbe991def => 0000000000000000 (20000000 00000000)
     divduo. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 00000000)
     divduo. 0000001cbe991def, 0000000000000000 => 0000000000000000 (30000000 c0000000)
     divduo. 0000001cbe991def, 0000001cbe991def => 0000000000000001 (40000000 00000000)
     divduo. 0000001cbe991def, ffffffffffffffff => 0000000000000000 (20000000 00000000)
     divduo. ffffffffffffffff, 0000000000000000 => 0000000000000000 (30000000 c0000000)
     divduo. ffffffffffffffff, 0000001cbe991def => 0000000008e7f283 (40000000 00000000)
     divduo. ffffffffffffffff, ffffffffffffffff => 0000000000000001 (40000000 00000000)

PPC integer arith insns with two args and carry:
        adde 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
        adde 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
        adde 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
        adde 0000001cbe991def, 0000000000000000 => 0000001cbe991def (00000000 00000000)
        adde 0000001cbe991def, 0000001cbe991def => 000000397d323bde (00000000 00000000)
        adde 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (00000000 20000000)
        adde ffffffffffffffff, 0000000000000000 => ffffffffffffffff (00000000 00000000)
        adde ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
        adde ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (00000000 20000000)
        adde 0000000000000000, 0000000000000000 => 0000000000000001 (00000000 00000000)
        adde 0000000000000000, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
        adde 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 20000000)
        adde 0000001cbe991def, 0000000000000000 => 0000001cbe991df0 (00000000 00000000)
        adde 0000001cbe991def, 0000001cbe991def => 000000397d323bdf (00000000 00000000)
        adde 0000001cbe991def, ffffffffffffffff => 0000001cbe991def (00000000 20000000)
        adde ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 20000000)
        adde ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (00000000 20000000)
        adde ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (00000000 20000000)

       addeo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 00000000)
       addeo 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
       addeo 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
       addeo 0000001cbe991def, 0000000000000000 => 0000001cbe991def (00000000 00000000)
       addeo 0000001cbe991def, 0000001cbe991def => 000000397d323bde (00000000 00000000)
       addeo 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (00000000 20000000)
       addeo ffffffffffffffff, 0000000000000000 => ffffffffffffffff (00000000 00000000)
       addeo ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
       addeo ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (00000000 20000000)
       addeo 0000000000000000, 0000000000000000 => 0000000000000001 (00000000 00000000)
       addeo 0000000000000000, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
       addeo 0000000000000000, ffffffffffffffff => 0000000000000000 (00000000 20000000)
       addeo 0000001cbe991def, 0000000000000000 => 0000001cbe991df0 (00000000 00000000)
       addeo 0000001cbe991def, 0000001cbe991def => 000000397d323bdf (00000000 00000000)
       addeo 0000001cbe991def, ffffffffffffffff => 0000001cbe991def (00000000 20000000)
       addeo ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 20000000)
       addeo ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (00000000 20000000)
       addeo ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (00000000 20000000)

       subfe 0000000000000000, 0000000000000000 => ffffffffffffffff (00000000 00000000)
       subfe 0000000000000000, 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
       subfe 0000000000000000, ffffffffffffffff => fffffffffffffffe (00000000 20000000)
       subfe 0000001cbe991def, 0000000000000000 => ffffffe34166e210 (00000000 00000000)
       subfe 0000001cbe991def, 0000001cbe991def => ffffffffffffffff (00000000 00000000)
       subfe 0000001cbe991def, ffffffffffffffff => ffffffe34166e20f (00000000 20000000)
       subfe ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
       subfe ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
       subfe ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
       subfe 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 20000000)
       subfe 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 20000000)
       subfe 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 20000000)
       subfe 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (00000000 00000000)
       subfe 0000001cbe991def, 0000001cbe991def => 0000000000000000 (00000000 20000000)
       subfe 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (00000000 20000000)
       subfe ffffffffffffffff, 0000000000000000 => 0000000000000001 (00000000 00000000)
       subfe ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
       subfe ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 20000000)

      subfeo 0000000000000000, 0000000000000000 => ffffffffffffffff (00000000 00000000)
      subfeo 0000000000000000, 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
      subfeo 0000000000000000, ffffffffffffffff => fffffffffffffffe (00000000 20000000)
      subfeo 0000001cbe991def, 0000000000000000 => ffffffe34166e210 (00000000 00000000)
      subfeo 0000001cbe991def, 0000001cbe991def => ffffffffffffffff (00000000 00000000)
      subfeo 0000001cbe991def, ffffffffffffffff => ffffffe34166e20f (00000000 20000000)
      subfeo ffffffffffffffff, 0000000000000000 => 0000000000000000 (00000000 00000000)
      subfeo ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (00000000 00000000)
      subfeo ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (00000000 00000000)
      subfeo 0000000000000000, 0000000000000000 => 0000000000000000 (00000000 20000000)
      subfeo 0000000000000000, 0000001cbe991def => 0000001cbe991def (00000000 20000000)
      subfeo 0000000000000000, ffffffffffffffff => ffffffffffffffff (00000000 20000000)
      subfeo 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (00000000 00000000)
      subfeo 0000001cbe991def, 0000001cbe991def => 0000000000000000 (00000000 20000000)
      subfeo 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (00000000 20000000)
      subfeo ffffffffffffffff, 0000000000000000 => 0000000000000001 (00000000 00000000)
      subfeo ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
      subfeo ffffffffffffffff, ffffffffffffffff => 0000000000000000 (00000000 20000000)

PPC integer arith insns with two args and carry with flags update:
       adde. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
       adde. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
       adde. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
       adde. 0000001cbe991def, 0000000000000000 => 0000001cbe991def (40000000 00000000)
       adde. 0000001cbe991def, 0000001cbe991def => 000000397d323bde (40000000 00000000)
       adde. 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (40000000 20000000)
       adde. ffffffffffffffff, 0000000000000000 => ffffffffffffffff (80000000 00000000)
       adde. ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
       adde. ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (80000000 20000000)
       adde. 0000000000000000, 0000000000000000 => 0000000000000001 (40000000 00000000)
       adde. 0000000000000000, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
       adde. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 20000000)
       adde. 0000001cbe991def, 0000000000000000 => 0000001cbe991df0 (40000000 00000000)
       adde. 0000001cbe991def, 0000001cbe991def => 000000397d323bdf (40000000 00000000)
       adde. 0000001cbe991def, ffffffffffffffff => 0000001cbe991def (40000000 20000000)
       adde. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 20000000)
       adde. ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (40000000 20000000)
       adde. ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (80000000 20000000)

      addeo. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 00000000)
      addeo. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
      addeo. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
      addeo. 0000001cbe991def, 0000000000000000 => 0000001cbe991def (40000000 00000000)
      addeo. 0000001cbe991def, 0000001cbe991def => 000000397d323bde (40000000 00000000)
      addeo. 0000001cbe991def, ffffffffffffffff => 0000001cbe991dee (40000000 20000000)
      addeo. ffffffffffffffff, 0000000000000000 => ffffffffffffffff (80000000 00000000)
      addeo. ffffffffffffffff, 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
      addeo. ffffffffffffffff, ffffffffffffffff => fffffffffffffffe (80000000 20000000)
      addeo. 0000000000000000, 0000000000000000 => 0000000000000001 (40000000 00000000)
      addeo. 0000000000000000, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
      addeo. 0000000000000000, ffffffffffffffff => 0000000000000000 (20000000 20000000)
      addeo. 0000001cbe991def, 0000000000000000 => 0000001cbe991df0 (40000000 00000000)
      addeo. 0000001cbe991def, 0000001cbe991def => 000000397d323bdf (40000000 00000000)
      addeo. 0000001cbe991def, ffffffffffffffff => 0000001cbe991def (40000000 20000000)
      addeo. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 20000000)
      addeo. ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (40000000 20000000)
      addeo. ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (80000000 20000000)

      subfe. 0000000000000000, 0000000000000000 => ffffffffffffffff (80000000 00000000)
      subfe. 0000000000000000, 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
      subfe. 0000000000000000, ffffffffffffffff => fffffffffffffffe (80000000 20000000)
      subfe. 0000001cbe991def, 0000000000000000 => ffffffe34166e210 (80000000 00000000)
      subfe. 0000001cbe991def, 0000001cbe991def => ffffffffffffffff (80000000 00000000)
      subfe. 0000001cbe991def, ffffffffffffffff => ffffffe34166e20f (80000000 20000000)
      subfe. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
      subfe. ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
      subfe. ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
      subfe. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 20000000)
      subfe. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 20000000)
      subfe. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 20000000)
      subfe. 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (80000000 00000000)
      subfe. 0000001cbe991def, 0000001cbe991def => 0000000000000000 (20000000 20000000)
      subfe. 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (80000000 20000000)
      subfe. ffffffffffffffff, 0000000000000000 => 0000000000000001 (40000000 00000000)
      subfe. ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
      subfe. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 20000000)

     subfeo. 0000000000000000, 0000000000000000 => ffffffffffffffff (80000000 00000000)
     subfeo. 0000000000000000, 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
     subfeo. 0000000000000000, ffffffffffffffff => fffffffffffffffe (80000000 20000000)
     subfeo. 0000001cbe991def, 0000000000000000 => ffffffe34166e210 (80000000 00000000)
     subfeo. 0000001cbe991def, 0000001cbe991def => ffffffffffffffff (80000000 00000000)
     subfeo. 0000001cbe991def, ffffffffffffffff => ffffffe34166e20f (80000000 20000000)
     subfeo. ffffffffffffffff, 0000000000000000 => 0000000000000000 (20000000 00000000)
     subfeo. ffffffffffffffff, 0000001cbe991def => 0000001cbe991def (40000000 00000000)
     subfeo. ffffffffffffffff, ffffffffffffffff => ffffffffffffffff (80000000 00000000)
     subfeo. 0000000000000000, 0000000000000000 => 0000000000000000 (20000000 20000000)
     subfeo. 0000000000000000, 0000001cbe991def => 0000001cbe991def (40000000 20000000)
     subfeo. 0000000000000000, ffffffffffffffff => ffffffffffffffff (80000000 20000000)
     subfeo. 0000001cbe991def, 0000000000000000 => ffffffe34166e211 (80000000 00000000)
     subfeo. 0000001cbe991def, 0000001cbe991def => 0000000000000000 (20000000 20000000)
     subfeo. 0000001cbe991def, ffffffffffffffff => ffffffe34166e210 (80000000 20000000)
     subfeo. ffffffffffffffff, 0000000000000000 => 0000000000000001 (40000000 00000000)
     subfeo. ffffffffffffffff, 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
     subfeo. ffffffffffffffff, ffffffffffffffff => 0000000000000000 (20000000 20000000)

PPC integer arith insns
    with one register + one 16 bits immediate args:
        addi 0000000000000000, 00000000 => 0000000000000000 (00000000 00000000)
        addi 0000000000000000, 000003e7 => 00000000000003e7 (00000000 00000000)
        addi 0000000000000000, 0000ffff => ffffffffffffffff (00000000 00000000)
        addi 0000001cbe991def, 00000000 => 0000001cbe991def (00000000 00000000)
        addi 0000001cbe991def, 000003e7 => 0000001cbe9921d6 (00000000 00000000)
        addi 0000001cbe991def, 0000ffff => 0000001cbe991dee (00000000 00000000)
        addi ffffffffffffffff, 00000000 => ffffffffffffffff (00000000 00000000)
        addi ffffffffffffffff, 000003e7 => 00000000000003e6 (00000000 00000000)
        addi ffffffffffffffff, 0000ffff => fffffffffffffffe (00000000 00000000)

       addic 0000000000000000, 00000000 => 0000000000000000 (00000000 00000000)
       addic 0000000000000000, 000003e7 => 00000000000003e7 (00000000 00000000)
       addic 0000000000000000, 0000ffff => ffffffffffffffff (00000000 00000000)
       addic 0000001cbe991def, 00000000 => 0000001cbe991def (00000000 00000000)
       addic 0000001cbe991def, 000003e7 => 0000001cbe9921d6 (00000000 00000000)
       addic 0000001cbe991def, 0000ffff => 0000001cbe991dee (00000000 20000000)
       addic ffffffffffffffff, 00000000 => ffffffffffffffff (00000000 00000000)
       addic ffffffffffffffff, 000003e7 => 00000000000003e6 (00000000 20000000)
       addic ffffffffffffffff, 0000ffff => fffffffffffffffe (00000000 20000000)

       addis 0000000000000000, 00000000 => 0000000000000000 (00000000 00000000)
       addis 0000000000000000, 000003e7 => 0000000003e70000 (00000000 00000000)
       addis 0000000000000000, 0000ffff => ffffffffffff0000 (00000000 00000000)
       addis 0000001cbe991def, 00000000 => 0000001cbe991def (00000000 00000000)
       addis 0000001cbe991def, 000003e7 => 0000001cc2801def (00000000 00000000)
       addis 0000001cbe991def, 0000ffff => 0000001cbe981def (00000000 00000000)
       addis ffffffffffffffff, 00000000 => ffffffffffffffff (00000000 00000000)
       addis ffffffffffffffff, 000003e7 => 0000000003e6ffff (00000000 00000000)
       addis ffffffffffffffff, 0000ffff => fffffffffffeffff (00000000 00000000)

       mulli 0000000000000000, 00000000 => 0000000000000000 (00000000 00000000)
       mulli 0000000000000000, 000003e7 => 0000000000000000 (00000000 00000000)
       mulli 0000000000000000, 0000ffff => 0000000000000000 (00000000 00000000)
       mulli 0000001cbe991def, 00000000 => 0000000000000000 (00000000 00000000)
       mulli 0000001cbe991def, 000003e7 => 0000702bc783cfa9 (00000000 00000000)
       mulli 0000001cbe991def, 0000ffff => ffffffe34166e211 (00000000 00000000)
       mulli ffffffffffffffff, 00000000 => 0000000000000000 (00000000 00000000)
       mulli ffffffffffffffff, 000003e7 => fffffffffffffc19 (00000000 00000000)
       mulli ffffffffffffffff, 0000ffff => 0000000000000001 (00000000 00000000)

      subfic 0000000000000000, 00000000 => 0000000000000000 (00000000 20000000)
      subfic 0000000000000000, 000003e7 => 00000000000003e7 (00000000 20000000)
      subfic 0000000000000000, 0000ffff => ffffffffffffffff (00000000 20000000)
      subfic 0000001cbe991def, 00000000 => ffffffe34166e211 (00000000 00000000)
      subfic 0000001cbe991def, 000003e7 => ffffffe34166e5f8 (00000000 00000000)
      subfic 0000001cbe991def, 0000ffff => ffffffe34166e210 (00000000 20000000)
      subfic ffffffffffffffff, 00000000 => 0000000000000001 (00000000 00000000)
      subfic ffffffffffffffff, 000003e7 => 00000000000003e8 (00000000 00000000)
      subfic ffffffffffffffff, 0000ffff => 0000000000000000 (00000000 20000000)

PPC integer arith insns
    with one register + one 16 bits immediate args with flags update:
      addic. 0000000000000000, 00000000 => 0000000000000000 (20000000 00000000)
      addic. 0000000000000000, 000003e7 => 00000000000003e7 (40000000 00000000)
      addic. 0000000000000000, 0000ffff => ffffffffffffffff (80000000 00000000)
      addic. 0000001cbe991def, 00000000 => 0000001cbe991def (40000000 00000000)
      addic. 0000001cbe991def, 000003e7 => 0000001cbe9921d6 (40000000 00000000)
      addic. 0000001cbe991def, 0000ffff => 0000001cbe991dee (40000000 20000000)
      addic. ffffffffffffffff, 00000000 => ffffffffffffffff (80000000 00000000)
      addic. ffffffffffffffff, 000003e7 => 00000000000003e6 (40000000 20000000)
      addic. ffffffffffffffff, 0000ffff => fffffffffffffffe (80000000 20000000)

PPC integer arith insns with one arg and carry:
       addme 0000000000000000 => ffffffffffffffff (00000000 00000000)
       addme 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
       addme ffffffffffffffff => fffffffffffffffe (00000000 20000000)
       addme 0000000000000000 => 0000000000000000 (00000000 20000000)
       addme 0000001cbe991def => 0000001cbe991def (00000000 20000000)
       addme ffffffffffffffff => ffffffffffffffff (00000000 20000000)

      addmeo 0000000000000000 => ffffffffffffffff (00000000 00000000)
      addmeo 0000001cbe991def => 0000001cbe991dee (00000000 20000000)
      addmeo ffffffffffffffff => fffffffffffffffe (00000000 20000000)
      addmeo 0000000000000000 => 0000000000000000 (00000000 20000000)
      addmeo 0000001cbe991def => 0000001cbe991def (00000000 20000000)
      addmeo ffffffffffffffff => ffffffffffffffff (00000000 20000000)

       addze 0000000000000000 => 0000000000000000 (00000000 00000000)
       addze 0000001cbe991def => 0000001cbe991def (00000000 00000000)
       addze ffffffffffffffff => ffffffffffffffff (00000000 00000000)
       addze 0000000000000000 => 0000000000000001 (00000000 00000000)
       addze 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
       addze ffffffffffffffff => 0000000000000000 (00000000 20000000)

      addzeo 0000000000000000 => 0000000000000000 (00000000 00000000)
      addzeo 0000001cbe991def => 0000001cbe991def (00000000 00000000)
      addzeo ffffffffffffffff => ffffffffffffffff (00000000 00000000)
      addzeo 0000000000000000 => 0000000000000001 (00000000 00000000)
      addzeo 0000001cbe991def => 0000001cbe991df0 (00000000 00000000)
      addzeo ffffffffffffffff => 0000000000000000 (00000000 20000000)

      subfme 0000000000000000 => fffffffffffffffe (00000000 20000000)
      subfme 0000001cbe991def => ffffffe34166e20f (00000000 20000000)
      subfme ffffffffffffffff => ffffffffffffffff (00000000 00000000)
      subfme 0000000000000000 => ffffffffffffffff (00000000 20000000)
      subfme 0000001cbe991def => ffffffe34166e210 (00000000 20000000)
      subfme ffffffffffffffff => 0000000000000000 (00000000 20000000)

     subfmeo 0000000000000000 => fffffffffffffffe (00000000 20000000)
     subfmeo 0000001cbe991def => ffffffe34166e20f (00000000 20000000)
     subfmeo ffffffffffffffff => ffffffffffffffff (00000000 00000000)
     subfmeo 0000000000000000 => ffffffffffffffff (00000000 20000000)
     subfmeo 0000001cbe991def => ffffffe34166e210 (00000000 20000000)
     subfmeo ffffffffffffffff => 0000000000000000 (00000000 20000000)

      subfze 0000000000000000 => ffffffffffffffff (00000000 00000000)
      subfze 0000001cbe991def => ffffffe34166e210 (00000000 00000000)
      subfze ffffffffffffffff => 0000000000000000 (00000000 00000000)
      subfze 0000000000000000 => 0000000000000000 (00000000 20000000)
      subfze 0000001cbe991def => ffffffe34166e211 (00000000 00000000)
      subfze ffffffffffffffff => 0000000000000001 (00000000 00000000)

     subfzeo 0000000000000000 => ffffffffffffffff (00000000 00000000)
     subfzeo 0000001cbe991def => ffffffe34166e210 (00000000 00000000)
     subfzeo ffffffffffffffff => 0000000000000000 (00000000 00000000)
     subfzeo 0000000000000000 => 0000000000000000 (00000000 20000000)
     subfzeo 0000001cbe991def => ffffffe34166e211 (00000000 00000000)
     subfzeo ffffffffffffffff => 0000000000000001 (00000000 00000000)

PPC integer arith insns with one arg and carry with flags update:
      addme. 0000000000000000 => ffffffffffffffff (80000000 00000000)
      addme. 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
      addme. ffffffffffffffff => fffffffffffffffe (80000000 20000000)
      addme. 0000000000000000 => 0000000000000000 (20000000 20000000)
      addme. 0000001cbe991def => 0000001cbe991def (40000000 20000000)
      addme. ffffffffffffffff => ffffffffffffffff (80000000 20000000)

     addmeo. 0000000000000000 => ffffffffffffffff (80000000 00000000)
     addmeo. 0000001cbe991def => 0000001cbe991dee (40000000 20000000)
     addmeo. ffffffffffffffff => fffffffffffffffe (80000000 20000000)
     addmeo. 0000000000000000 => 0000000000000000 (20000000 20000000)
     addmeo. 0000001cbe991def => 0000001cbe991def (40000000 20000000)
     addmeo. ffffffffffffffff => ffffffffffffffff (80000000 20000000)

      addze. 0000000000000000 => 0000000000000000 (20000000 00000000)
      addze. 0000001cbe991def => 0000001cbe991def (40000000 00000000)
      addze. ffffffffffffffff => ffffffffffffffff (80000000 00000000)
      addze. 0000000000000000 => 0000000000000001 (40000000 00000000)
      addze. 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
      addze. ffffffffffffffff => 0000000000000000 (20000000 20000000)

     addzeo. 0000000000000000 => 0000000000000000 (20000000 00000000)
     addzeo. 0000001cbe991def => 0000001cbe991def (40000000 00000000)
     addzeo. ffffffffffffffff => ffffffffffffffff (80000000 00000000)
     addzeo. 0000000000000000 => 0000000000000001 (40000000 00000000)
     addzeo. 0000001cbe991def => 0000001cbe991df0 (40000000 00000000)
     addzeo. ffffffffffffffff => 0000000000000000 (20000000 20000000)

     subfme. 0000000000000000 => fffffffffffffffe (80000000 20000000)
     subfme. 0000001cbe991def => ffffffe34166e20f (80000000 20000000)
     subfme. ffffffffffffffff => ffffffffffffffff (80000000 00000000)
     subfme. 0000000000000000 => ffffffffffffffff (80000000 20000000)
     subfme. 0000001cbe991def => ffffffe34166e210 (80000000 20000000)
     subfme. ffffffffffffffff => 0000000000000000 (20000000 20000000)

    subfmeo. 0000000000000000 => fffffffffffffffe (80000000 20000000)
    subfmeo. 0000001cbe991def => ffffffe34166e20f (80000000 20000000)
    subfmeo. ffffffffffffffff => ffffffffffffffff (80000000 00000000)
    subfmeo. 0000000000000000 => ffffffffffffffff (80000000 20000000)
    subfmeo. 0000001cbe991def => ffffffe34166e210 (80000000 20000000)
    subfmeo. ffffffffffffffff => 0000000000000000 (20000000 20000000)

     subfze. 0000000000000000 => ffffffffffffffff (80000000 00000000)
     subfze. 0000001cbe991def => ffffffe34166e210 (80000000 00000000)
     subfze. ffffffffffffffff => 0000000000000000 (20000000 00000000)
     subfze. 0000000000000000 => 0000000000000000 (20000000 20000000)
     subfze. 0000001cbe991def => ffffffe34166e211 (80000000 00000000)
     subfze. ffffffffffffffff => 0000000000000001 (40000000 00000000)

    subfzeo. 0000000000000000 => ffffffffffffffff (80000000 00000000)
    subfzeo. 0000001cbe991def => ffffffe34166e210 (80000000 00000000)
    subfzeo. ffffffffffffffff => 0000000000000000 (20000000 00000000)
    subfzeo. 0000000000000000 => 0000000000000000 (20000000 20000000)
    subfzeo. 0000001cbe991def => ffffffe34166e211 (80000000 00000000)
    subfzeo. ffffffffffffffff => 0000000000000001 (40000000 00000000)

PPC integer population count with one register args, no flags:
        popcntb 0000000000000000 => 0000000000000000 (00000000 00000000)
        popcntb 0000001cbe991def => 0000000306040407 (00000000 00000000)
        popcntb ffffffffffffffff => 0808080808080808 (00000000 00000000)

All done. Tested 79 different instructions