jm-int.stdout.exp

The Valgrind distribution has multiple tools. The most popular is the memory checking tool (called M

PPC integer arith insns with two args:
         add 00000000, 00000000 => 00000000 (00000000 00000000)
         add 00000000, 000f423f => 000f423f (00000000 00000000)
         add 00000000, ffffffff => ffffffff (00000000 00000000)
         add 000f423f, 00000000 => 000f423f (00000000 00000000)
         add 000f423f, 000f423f => 001e847e (00000000 00000000)
         add 000f423f, ffffffff => 000f423e (00000000 00000000)
         add ffffffff, 00000000 => ffffffff (00000000 00000000)
         add ffffffff, 000f423f => 000f423e (00000000 00000000)
         add ffffffff, ffffffff => fffffffe (00000000 00000000)

        addo 00000000, 00000000 => 00000000 (00000000 00000000)
        addo 00000000, 000f423f => 000f423f (00000000 00000000)
        addo 00000000, ffffffff => ffffffff (00000000 00000000)
        addo 000f423f, 00000000 => 000f423f (00000000 00000000)
        addo 000f423f, 000f423f => 001e847e (00000000 00000000)
        addo 000f423f, ffffffff => 000f423e (00000000 00000000)
        addo ffffffff, 00000000 => ffffffff (00000000 00000000)
        addo ffffffff, 000f423f => 000f423e (00000000 00000000)
        addo ffffffff, ffffffff => fffffffe (00000000 00000000)

        addc 00000000, 00000000 => 00000000 (00000000 00000000)
        addc 00000000, 000f423f => 000f423f (00000000 00000000)
        addc 00000000, ffffffff => ffffffff (00000000 00000000)
        addc 000f423f, 00000000 => 000f423f (00000000 00000000)
        addc 000f423f, 000f423f => 001e847e (00000000 00000000)
        addc 000f423f, ffffffff => 000f423e (00000000 20000000)
        addc ffffffff, 00000000 => ffffffff (00000000 00000000)
        addc ffffffff, 000f423f => 000f423e (00000000 20000000)
        addc ffffffff, ffffffff => fffffffe (00000000 20000000)

       addco 00000000, 00000000 => 00000000 (00000000 00000000)
       addco 00000000, 000f423f => 000f423f (00000000 00000000)
       addco 00000000, ffffffff => ffffffff (00000000 00000000)
       addco 000f423f, 00000000 => 000f423f (00000000 00000000)
       addco 000f423f, 000f423f => 001e847e (00000000 00000000)
       addco 000f423f, ffffffff => 000f423e (00000000 20000000)
       addco ffffffff, 00000000 => ffffffff (00000000 00000000)
       addco ffffffff, 000f423f => 000f423e (00000000 20000000)
       addco ffffffff, ffffffff => fffffffe (00000000 20000000)

        divw 00000000, 000f423f => 00000000 (00000000 00000000)
        divw 00000000, ffffffff => 00000000 (00000000 00000000)
        divw 000f423f, 000f423f => 00000001 (00000000 00000000)
        divw 000f423f, ffffffff => fff0bdc1 (00000000 00000000)
        divw ffffffff, 000f423f => 00000000 (00000000 00000000)
        divw ffffffff, ffffffff => 00000001 (00000000 00000000)

       divwo 00000000, 000f423f => 00000000 (00000000 00000000)
       divwo 00000000, ffffffff => 00000000 (00000000 00000000)
       divwo 000f423f, 000f423f => 00000001 (00000000 00000000)
       divwo 000f423f, ffffffff => fff0bdc1 (00000000 00000000)
       divwo ffffffff, 000f423f => 00000000 (00000000 00000000)
       divwo ffffffff, ffffffff => 00000001 (00000000 00000000)

       divwu 00000000, 000f423f => 00000000 (00000000 00000000)
       divwu 00000000, ffffffff => 00000000 (00000000 00000000)
       divwu 000f423f, 000f423f => 00000001 (00000000 00000000)
       divwu 000f423f, ffffffff => 00000000 (00000000 00000000)
       divwu ffffffff, 000f423f => 000010c6 (00000000 00000000)
       divwu ffffffff, ffffffff => 00000001 (00000000 00000000)

      divwuo 00000000, 000f423f => 00000000 (00000000 00000000)
      divwuo 00000000, ffffffff => 00000000 (00000000 00000000)
      divwuo 000f423f, 000f423f => 00000001 (00000000 00000000)
      divwuo 000f423f, ffffffff => 00000000 (00000000 00000000)
      divwuo ffffffff, 000f423f => 000010c6 (00000000 00000000)
      divwuo ffffffff, ffffffff => 00000001 (00000000 00000000)

       mulhw 00000000, 00000000 => 00000000 (00000000 00000000)
       mulhw 00000000, 000f423f => 00000000 (00000000 00000000)
       mulhw 00000000, ffffffff => 00000000 (00000000 00000000)
       mulhw 000f423f, 00000000 => 00000000 (00000000 00000000)
       mulhw 000f423f, 000f423f => 000000e8 (00000000 00000000)
       mulhw 000f423f, ffffffff => ffffffff (00000000 00000000)
       mulhw ffffffff, 00000000 => 00000000 (00000000 00000000)
       mulhw ffffffff, 000f423f => ffffffff (00000000 00000000)
       mulhw ffffffff, ffffffff => 00000000 (00000000 00000000)

      mulhwu 00000000, 00000000 => 00000000 (00000000 00000000)
      mulhwu 00000000, 000f423f => 00000000 (00000000 00000000)
      mulhwu 00000000, ffffffff => 00000000 (00000000 00000000)
      mulhwu 000f423f, 00000000 => 00000000 (00000000 00000000)
      mulhwu 000f423f, 000f423f => 000000e8 (00000000 00000000)
      mulhwu 000f423f, ffffffff => 000f423e (00000000 00000000)
      mulhwu ffffffff, 00000000 => 00000000 (00000000 00000000)
      mulhwu ffffffff, 000f423f => 000f423e (00000000 00000000)
      mulhwu ffffffff, ffffffff => fffffffe (00000000 00000000)

       mullw 00000000, 00000000 => 00000000 (00000000 00000000)
       mullw 00000000, 000f423f => 00000000 (00000000 00000000)
       mullw 00000000, ffffffff => 00000000 (00000000 00000000)
       mullw 000f423f, 00000000 => 00000000 (00000000 00000000)
       mullw 000f423f, 000f423f => d4868b81 (00000000 00000000)
       mullw 000f423f, ffffffff => fff0bdc1 (00000000 00000000)
       mullw ffffffff, 00000000 => 00000000 (00000000 00000000)
       mullw ffffffff, 000f423f => fff0bdc1 (00000000 00000000)
       mullw ffffffff, ffffffff => 00000001 (00000000 00000000)

      mullwo 00000000, 00000000 => 00000000 (00000000 00000000)
      mullwo 00000000, 000f423f => 00000000 (00000000 00000000)
      mullwo 00000000, ffffffff => 00000000 (00000000 00000000)
      mullwo 000f423f, 00000000 => 00000000 (00000000 00000000)
      mullwo 000f423f, 000f423f => d4868b81 (00000000 c0000000)
      mullwo 000f423f, ffffffff => fff0bdc1 (00000000 00000000)
      mullwo ffffffff, 00000000 => 00000000 (00000000 00000000)
      mullwo ffffffff, 000f423f => fff0bdc1 (00000000 00000000)
      mullwo ffffffff, ffffffff => 00000001 (00000000 00000000)

        subf 00000000, 00000000 => 00000000 (00000000 00000000)
        subf 00000000, 000f423f => 000f423f (00000000 00000000)
        subf 00000000, ffffffff => ffffffff (00000000 00000000)
        subf 000f423f, 00000000 => fff0bdc1 (00000000 00000000)
        subf 000f423f, 000f423f => 00000000 (00000000 00000000)
        subf 000f423f, ffffffff => fff0bdc0 (00000000 00000000)
        subf ffffffff, 00000000 => 00000001 (00000000 00000000)
        subf ffffffff, 000f423f => 000f4240 (00000000 00000000)
        subf ffffffff, ffffffff => 00000000 (00000000 00000000)

       subfo 00000000, 00000000 => 00000000 (00000000 00000000)
       subfo 00000000, 000f423f => 000f423f (00000000 00000000)
       subfo 00000000, ffffffff => ffffffff (00000000 00000000)
       subfo 000f423f, 00000000 => fff0bdc1 (00000000 00000000)
       subfo 000f423f, 000f423f => 00000000 (00000000 00000000)
       subfo 000f423f, ffffffff => fff0bdc0 (00000000 00000000)
       subfo ffffffff, 00000000 => 00000001 (00000000 00000000)
       subfo ffffffff, 000f423f => 000f4240 (00000000 00000000)
       subfo ffffffff, ffffffff => 00000000 (00000000 00000000)

       subfc 00000000, 00000000 => 00000000 (00000000 20000000)
       subfc 00000000, 000f423f => 000f423f (00000000 20000000)
       subfc 00000000, ffffffff => ffffffff (00000000 20000000)
       subfc 000f423f, 00000000 => fff0bdc1 (00000000 00000000)
       subfc 000f423f, 000f423f => 00000000 (00000000 20000000)
       subfc 000f423f, ffffffff => fff0bdc0 (00000000 20000000)
       subfc ffffffff, 00000000 => 00000001 (00000000 00000000)
       subfc ffffffff, 000f423f => 000f4240 (00000000 00000000)
       subfc ffffffff, ffffffff => 00000000 (00000000 20000000)

      subfco 00000000, 00000000 => 00000000 (00000000 20000000)
      subfco 00000000, 000f423f => 000f423f (00000000 20000000)
      subfco 00000000, ffffffff => ffffffff (00000000 20000000)
      subfco 000f423f, 00000000 => fff0bdc1 (00000000 00000000)
      subfco 000f423f, 000f423f => 00000000 (00000000 20000000)
      subfco 000f423f, ffffffff => fff0bdc0 (00000000 20000000)
      subfco ffffffff, 00000000 => 00000001 (00000000 00000000)
      subfco ffffffff, 000f423f => 000f4240 (00000000 00000000)
      subfco ffffffff, ffffffff => 00000000 (00000000 20000000)

PPC integer arith insns with two args with flags update:
        add. 00000000, 00000000 => 00000000 (20000000 00000000)
        add. 00000000, 000f423f => 000f423f (40000000 00000000)
        add. 00000000, ffffffff => ffffffff (80000000 00000000)
        add. 000f423f, 00000000 => 000f423f (40000000 00000000)
        add. 000f423f, 000f423f => 001e847e (40000000 00000000)
        add. 000f423f, ffffffff => 000f423e (40000000 00000000)
        add. ffffffff, 00000000 => ffffffff (80000000 00000000)
        add. ffffffff, 000f423f => 000f423e (40000000 00000000)
        add. ffffffff, ffffffff => fffffffe (80000000 00000000)

       addo. 00000000, 00000000 => 00000000 (20000000 00000000)
       addo. 00000000, 000f423f => 000f423f (40000000 00000000)
       addo. 00000000, ffffffff => ffffffff (80000000 00000000)
       addo. 000f423f, 00000000 => 000f423f (40000000 00000000)
       addo. 000f423f, 000f423f => 001e847e (40000000 00000000)
       addo. 000f423f, ffffffff => 000f423e (40000000 00000000)
       addo. ffffffff, 00000000 => ffffffff (80000000 00000000)
       addo. ffffffff, 000f423f => 000f423e (40000000 00000000)
       addo. ffffffff, ffffffff => fffffffe (80000000 00000000)

       addc. 00000000, 00000000 => 00000000 (20000000 00000000)
       addc. 00000000, 000f423f => 000f423f (40000000 00000000)
       addc. 00000000, ffffffff => ffffffff (80000000 00000000)
       addc. 000f423f, 00000000 => 000f423f (40000000 00000000)
       addc. 000f423f, 000f423f => 001e847e (40000000 00000000)
       addc. 000f423f, ffffffff => 000f423e (40000000 20000000)
       addc. ffffffff, 00000000 => ffffffff (80000000 00000000)
       addc. ffffffff, 000f423f => 000f423e (40000000 20000000)
       addc. ffffffff, ffffffff => fffffffe (80000000 20000000)

      addco. 00000000, 00000000 => 00000000 (20000000 00000000)
      addco. 00000000, 000f423f => 000f423f (40000000 00000000)
      addco. 00000000, ffffffff => ffffffff (80000000 00000000)
      addco. 000f423f, 00000000 => 000f423f (40000000 00000000)
      addco. 000f423f, 000f423f => 001e847e (40000000 00000000)
      addco. 000f423f, ffffffff => 000f423e (40000000 20000000)
      addco. ffffffff, 00000000 => ffffffff (80000000 00000000)
      addco. ffffffff, 000f423f => 000f423e (40000000 20000000)
      addco. ffffffff, ffffffff => fffffffe (80000000 20000000)

       divw. 00000000, 000f423f => 00000000 (20000000 00000000)
       divw. 00000000, ffffffff => 00000000 (20000000 00000000)
       divw. 000f423f, 000f423f => 00000001 (40000000 00000000)
       divw. 000f423f, ffffffff => fff0bdc1 (80000000 00000000)
       divw. ffffffff, 000f423f => 00000000 (20000000 00000000)
       divw. ffffffff, ffffffff => 00000001 (40000000 00000000)

      divwo. 00000000, 000f423f => 00000000 (20000000 00000000)
      divwo. 00000000, ffffffff => 00000000 (20000000 00000000)
      divwo. 000f423f, 000f423f => 00000001 (40000000 00000000)
      divwo. 000f423f, ffffffff => fff0bdc1 (80000000 00000000)
      divwo. ffffffff, 000f423f => 00000000 (20000000 00000000)
      divwo. ffffffff, ffffffff => 00000001 (40000000 00000000)

      divwu. 00000000, 000f423f => 00000000 (20000000 00000000)
      divwu. 00000000, ffffffff => 00000000 (20000000 00000000)
      divwu. 000f423f, 000f423f => 00000001 (40000000 00000000)
      divwu. 000f423f, ffffffff => 00000000 (20000000 00000000)
      divwu. ffffffff, 000f423f => 000010c6 (40000000 00000000)
      divwu. ffffffff, ffffffff => 00000001 (40000000 00000000)

     divwuo. 00000000, 000f423f => 00000000 (20000000 00000000)
     divwuo. 00000000, ffffffff => 00000000 (20000000 00000000)
     divwuo. 000f423f, 000f423f => 00000001 (40000000 00000000)
     divwuo. 000f423f, ffffffff => 00000000 (20000000 00000000)
     divwuo. ffffffff, 000f423f => 000010c6 (40000000 00000000)
     divwuo. ffffffff, ffffffff => 00000001 (40000000 00000000)

      mulhw. 00000000, 00000000 => 00000000 (20000000 00000000)
      mulhw. 00000000, 000f423f => 00000000 (20000000 00000000)
      mulhw. 00000000, ffffffff => 00000000 (20000000 00000000)
      mulhw. 000f423f, 00000000 => 00000000 (20000000 00000000)
      mulhw. 000f423f, 000f423f => 000000e8 (40000000 00000000)
      mulhw. 000f423f, ffffffff => ffffffff (80000000 00000000)
      mulhw. ffffffff, 00000000 => 00000000 (20000000 00000000)
      mulhw. ffffffff, 000f423f => ffffffff (80000000 00000000)
      mulhw. ffffffff, ffffffff => 00000000 (20000000 00000000)

     mulhwu. 00000000, 00000000 => 00000000 (20000000 00000000)
     mulhwu. 00000000, 000f423f => 00000000 (20000000 00000000)
     mulhwu. 00000000, ffffffff => 00000000 (20000000 00000000)
     mulhwu. 000f423f, 00000000 => 00000000 (20000000 00000000)