| 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) |
| mulhwu. 000f423f, 000f423f => 000000e8 (40000000 00000000) |
| mulhwu. 000f423f, ffffffff => 000f423e (40000000 00000000) |
| mulhwu. ffffffff, 00000000 => 00000000 (20000000 00000000) |
| mulhwu. ffffffff, 000f423f => 000f423e (40000000 00000000) |
| mulhwu. ffffffff, ffffffff => fffffffe (80000000 00000000) |
| |
| mullw. 00000000, 00000000 => 00000000 (20000000 00000000) |
| mullw. 00000000, 000f423f => 00000000 (20000000 00000000) |
| mullw. 00000000, ffffffff => 00000000 (20000000 00000000) |
| mullw. 000f423f, 00000000 => 00000000 (20000000 00000000) |
| mullw. 000f423f, 000f423f => d4868b81 (80000000 00000000) |
| mullw. 000f423f, ffffffff => fff0bdc1 (80000000 00000000) |
| mullw. ffffffff, 00000000 => 00000000 (20000000 00000000) |
| mullw. ffffffff, 000f423f => fff0bdc1 (80000000 00000000) |
| mullw. ffffffff, ffffffff => 00000001 (40000000 00000000) |
| |
| mullwo. 00000000, 00000000 => 00000000 (20000000 00000000) |
| mullwo. 00000000, 000f423f => 00000000 (20000000 00000000) |
| mullwo. 00000000, ffffffff => 00000000 (20000000 00000000) |
| mullwo. 000f423f, 00000000 => 00000000 (20000000 00000000) |
| mullwo. 000f423f, 000f423f => d4868b81 (90000000 c0000000) |
| mullwo. 000f423f, ffffffff => fff0bdc1 (80000000 00000000) |
| mullwo. ffffffff, 00000000 => 00000000 (20000000 00000000) |
| mullwo. ffffffff, 000f423f => fff0bdc1 (80000000 00000000) |
| mullwo. ffffffff, ffffffff => 00000001 (40000000 00000000) |
| |
| subf. 00000000, 00000000 => 00000000 (20000000 00000000) |
| subf. 00000000, 000f423f => 000f423f (40000000 00000000) |
| subf. 00000000, ffffffff => ffffffff (80000000 00000000) |
| subf. 000f423f, 00000000 => fff0bdc1 (80000000 00000000) |
| subf. 000f423f, 000f423f => 00000000 (20000000 00000000) |
| subf. 000f423f, ffffffff => fff0bdc0 (80000000 00000000) |
| subf. ffffffff, 00000000 => 00000001 (40000000 00000000) |
| subf. ffffffff, 000f423f => 000f4240 (40000000 00000000) |
| subf. ffffffff, ffffffff => 00000000 (20000000 00000000) |
| |
| subfo. 00000000, 00000000 => 00000000 (20000000 00000000) |
| subfo. 00000000, 000f423f => 000f423f (40000000 00000000) |
| subfo. 00000000, ffffffff => ffffffff (80000000 00000000) |
| subfo. 000f423f, 00000000 => fff0bdc1 (80000000 00000000) |
| subfo. 000f423f, 000f423f => 00000000 (20000000 00000000) |
| subfo. 000f423f, ffffffff => fff0bdc0 (80000000 00000000) |
| subfo. ffffffff, 00000000 => 00000001 (40000000 00000000) |
| subfo. ffffffff, 000f423f => 000f4240 (40000000 00000000) |
| subfo. ffffffff, ffffffff => 00000000 (20000000 00000000) |
| |
| subfc. 00000000, 00000000 => 00000000 (20000000 20000000) |
| subfc. 00000000, 000f423f => 000f423f (40000000 20000000) |
| subfc. 00000000, ffffffff => ffffffff (80000000 20000000) |
| subfc. 000f423f, 00000000 => fff0bdc1 (80000000 00000000) |
| subfc. 000f423f, 000f423f => 00000000 (20000000 20000000) |
| subfc. 000f423f, ffffffff => fff0bdc0 (80000000 20000000) |
| subfc. ffffffff, 00000000 => 00000001 (40000000 00000000) |
| subfc. ffffffff, 000f423f => 000f4240 (40000000 00000000) |
| subfc. ffffffff, ffffffff => 00000000 (20000000 20000000) |
| |
| subfco. 00000000, 00000000 => 00000000 (20000000 20000000) |
| subfco. 00000000, 000f423f => 000f423f (40000000 20000000) |
| subfco. 00000000, ffffffff => ffffffff (80000000 20000000) |
| subfco. 000f423f, 00000000 => fff0bdc1 (80000000 00000000) |
| subfco. 000f423f, 000f423f => 00000000 (20000000 20000000) |
| subfco. 000f423f, ffffffff => fff0bdc0 (80000000 20000000) |
| subfco. ffffffff, 00000000 => 00000001 (40000000 00000000) |
| subfco. ffffffff, 000f423f => 000f4240 (40000000 00000000) |
| subfco. ffffffff, ffffffff => 00000000 (20000000 20000000) |
| |
| PPC integer arith insns with two args and carry: |
| adde 00000000, 00000000 => 00000000 (00000000 00000000) |
| adde 00000000, 000f423f => 000f423f (00000000 00000000) |
| adde 00000000, ffffffff => ffffffff (00000000 00000000) |
| adde 000f423f, 00000000 => 000f423f (00000000 00000000) |
| adde 000f423f, 000f423f => 001e847e (00000000 00000000) |
| adde 000f423f, ffffffff => 000f423e (00000000 20000000) |
| adde ffffffff, 00000000 => ffffffff (00000000 00000000) |
| adde ffffffff, 000f423f => 000f423e (00000000 20000000) |
| adde ffffffff, ffffffff => fffffffe (00000000 20000000) |
| adde 00000000, 00000000 => 00000001 (00000000 00000000) |
| adde 00000000, 000f423f => 000f4240 (00000000 00000000) |
| adde 00000000, ffffffff => 00000000 (00000000 20000000) |
| adde 000f423f, 00000000 => 000f4240 (00000000 00000000) |
| adde 000f423f, 000f423f => 001e847f (00000000 00000000) |
| adde 000f423f, ffffffff => 000f423f (00000000 20000000) |
| adde ffffffff, 00000000 => 00000000 (00000000 20000000) |
| adde ffffffff, 000f423f => 000f423f (00000000 20000000) |
| adde ffffffff, ffffffff => ffffffff (00000000 20000000) |
| |
| addeo 00000000, 00000000 => 00000000 (00000000 00000000) |
| addeo 00000000, 000f423f => 000f423f (00000000 00000000) |
| addeo 00000000, ffffffff => ffffffff (00000000 00000000) |
| addeo 000f423f, 00000000 => 000f423f (00000000 00000000) |
| addeo 000f423f, 000f423f => 001e847e (00000000 00000000) |
| addeo 000f423f, ffffffff => 000f423e (00000000 20000000) |
| addeo ffffffff, 00000000 => ffffffff (00000000 00000000) |
| addeo ffffffff, 000f423f => 000f423e (00000000 20000000) |
| addeo ffffffff, ffffffff => fffffffe (00000000 20000000) |
| addeo 00000000, 00000000 => 00000001 (00000000 00000000) |
| addeo 00000000, 000f423f => 000f4240 (00000000 00000000) |
| addeo 00000000, ffffffff => 00000000 (00000000 20000000) |
| addeo 000f423f, 00000000 => 000f4240 (00000000 00000000) |
| addeo 000f423f, 000f423f => 001e847f (00000000 00000000) |
| addeo 000f423f, ffffffff => 000f423f (00000000 20000000) |
| addeo ffffffff, 00000000 => 00000000 (00000000 20000000) |
| addeo ffffffff, 000f423f => 000f423f (00000000 20000000) |
| addeo ffffffff, ffffffff => ffffffff (00000000 20000000) |
| |
| subfe 00000000, 00000000 => ffffffff (00000000 00000000) |
| subfe 00000000, 000f423f => 000f423e (00000000 20000000) |
| subfe 00000000, ffffffff => fffffffe (00000000 20000000) |
| subfe 000f423f, 00000000 => fff0bdc0 (00000000 00000000) |
| subfe 000f423f, 000f423f => ffffffff (00000000 00000000) |
| subfe 000f423f, ffffffff => fff0bdbf (00000000 20000000) |
| subfe ffffffff, 00000000 => 00000000 (00000000 00000000) |
| subfe ffffffff, 000f423f => 000f423f (00000000 00000000) |
| subfe ffffffff, ffffffff => ffffffff (00000000 00000000) |
| subfe 00000000, 00000000 => 00000000 (00000000 20000000) |
| subfe 00000000, 000f423f => 000f423f (00000000 20000000) |
| subfe 00000000, ffffffff => ffffffff (00000000 20000000) |
| subfe 000f423f, 00000000 => fff0bdc1 (00000000 00000000) |
| subfe 000f423f, 000f423f => 00000000 (00000000 20000000) |
| subfe 000f423f, ffffffff => fff0bdc0 (00000000 20000000) |
| subfe ffffffff, 00000000 => 00000001 (00000000 00000000) |
| subfe ffffffff, 000f423f => 000f4240 (00000000 00000000) |
| subfe ffffffff, ffffffff => 00000000 (00000000 20000000) |
| |
| subfeo 00000000, 00000000 => ffffffff (00000000 00000000) |
| subfeo 00000000, 000f423f => 000f423e (00000000 20000000) |
| subfeo 00000000, ffffffff => fffffffe (00000000 20000000) |
| subfeo 000f423f, 00000000 => fff0bdc0 (00000000 00000000) |
| subfeo 000f423f, 000f423f => ffffffff (00000000 00000000) |
| subfeo 000f423f, ffffffff => fff0bdbf (00000000 20000000) |
| subfeo ffffffff, 00000000 => 00000000 (00000000 00000000) |
| subfeo ffffffff, 000f423f => 000f423f (00000000 00000000) |
| subfeo ffffffff, ffffffff => ffffffff (00000000 00000000) |
| subfeo 00000000, 00000000 => 00000000 (00000000 20000000) |
| subfeo 00000000, 000f423f => 000f423f (00000000 20000000) |
| subfeo 00000000, ffffffff => ffffffff (00000000 20000000) |
| subfeo 000f423f, 00000000 => fff0bdc1 (00000000 00000000) |
| subfeo 000f423f, 000f423f => 00000000 (00000000 20000000) |
| subfeo 000f423f, ffffffff => fff0bdc0 (00000000 20000000) |
| subfeo ffffffff, 00000000 => 00000001 (00000000 00000000) |
| subfeo ffffffff, 000f423f => 000f4240 (00000000 00000000) |
| subfeo ffffffff, ffffffff => 00000000 (00000000 20000000) |
| |
| PPC integer arith insns with two args and carry with flags update: |
| adde. 00000000, 00000000 => 00000000 (20000000 00000000) |
| adde. 00000000, 000f423f => 000f423f (40000000 00000000) |
| adde. 00000000, ffffffff => ffffffff (80000000 00000000) |
| adde. 000f423f, 00000000 => 000f423f (40000000 00000000) |
| adde. 000f423f, 000f423f => 001e847e (40000000 00000000) |
| adde. 000f423f, ffffffff => 000f423e (40000000 20000000) |
| adde. ffffffff, 00000000 => ffffffff (80000000 00000000) |
| adde. ffffffff, 000f423f => 000f423e (40000000 20000000) |
| adde. ffffffff, ffffffff => fffffffe (80000000 20000000) |
| adde. 00000000, 00000000 => 00000001 (40000000 00000000) |
| adde. 00000000, 000f423f => 000f4240 (40000000 00000000) |
| adde. 00000000, ffffffff => 00000000 (20000000 20000000) |
| adde. 000f423f, 00000000 => 000f4240 (40000000 00000000) |
| adde. 000f423f, 000f423f => 001e847f (40000000 00000000) |
| adde. 000f423f, ffffffff => 000f423f (40000000 20000000) |
| adde. ffffffff, 00000000 => 00000000 (20000000 20000000) |
| adde. ffffffff, 000f423f => 000f423f (40000000 20000000) |
| adde. ffffffff, ffffffff => ffffffff (80000000 20000000) |
| |
| addeo. 00000000, 00000000 => 00000000 (20000000 00000000) |
| addeo. 00000000, 000f423f => 000f423f (40000000 00000000) |
| addeo. 00000000, ffffffff => ffffffff (80000000 00000000) |
| addeo. 000f423f, 00000000 => 000f423f (40000000 00000000) |
| addeo. 000f423f, 000f423f => 001e847e (40000000 00000000) |
| addeo. 000f423f, ffffffff => 000f423e (40000000 20000000) |
| addeo. ffffffff, 00000000 => ffffffff (80000000 00000000) |
| addeo. ffffffff, 000f423f => 000f423e (40000000 20000000) |
| addeo. ffffffff, ffffffff => fffffffe (80000000 20000000) |
| addeo. 00000000, 00000000 => 00000001 (40000000 00000000) |
| addeo. 00000000, 000f423f => 000f4240 (40000000 00000000) |
| addeo. 00000000, ffffffff => 00000000 (20000000 20000000) |
| addeo. 000f423f, 00000000 => 000f4240 (40000000 00000000) |
| addeo. 000f423f, 000f423f => 001e847f (40000000 00000000) |
| addeo. 000f423f, ffffffff => 000f423f (40000000 20000000) |
| addeo. ffffffff, 00000000 => 00000000 (20000000 20000000) |
| addeo. ffffffff, 000f423f => 000f423f (40000000 20000000) |
| addeo. ffffffff, ffffffff => ffffffff (80000000 20000000) |
| |
| subfe. 00000000, 00000000 => ffffffff (80000000 00000000) |
| subfe. 00000000, 000f423f => 000f423e (40000000 20000000) |
| subfe. 00000000, ffffffff => fffffffe (80000000 20000000) |
| subfe. 000f423f, 00000000 => fff0bdc0 (80000000 00000000) |
| subfe. 000f423f, 000f423f => ffffffff (80000000 00000000) |
| subfe. 000f423f, ffffffff => fff0bdbf (80000000 20000000) |
| subfe. ffffffff, 00000000 => 00000000 (20000000 00000000) |
| subfe. ffffffff, 000f423f => 000f423f (40000000 00000000) |
| subfe. ffffffff, ffffffff => ffffffff (80000000 00000000) |
| subfe. 00000000, 00000000 => 00000000 (20000000 20000000) |
| subfe. 00000000, 000f423f => 000f423f (40000000 20000000) |
| subfe. 00000000, ffffffff => ffffffff (80000000 20000000) |
| subfe. 000f423f, 00000000 => fff0bdc1 (80000000 00000000) |
| subfe. 000f423f, 000f423f => 00000000 (20000000 20000000) |
| subfe. 000f423f, ffffffff => fff0bdc0 (80000000 20000000) |
| subfe. ffffffff, 00000000 => 00000001 (40000000 00000000) |
| subfe. ffffffff, 000f423f => 000f4240 (40000000 00000000) |
| subfe. ffffffff, ffffffff => 00000000 (20000000 20000000) |
| |
| subfeo. 00000000, 00000000 => ffffffff (80000000 00000000) |
| subfeo. 00000000, 000f423f => 000f423e (40000000 20000000) |
| subfeo. 00000000, ffffffff => fffffffe (80000000 20000000) |
| subfeo. 000f423f, 00000000 => fff0bdc0 (80000000 00000000) |
| subfeo. 000f423f, 000f423f => ffffffff (80000000 00000000) |
| subfeo. 000f423f, ffffffff => fff0bdbf (80000000 20000000) |
| subfeo. ffffffff, 00000000 => 00000000 (20000000 00000000) |
| subfeo. ffffffff, 000f423f => 000f423f (40000000 00000000) |
| subfeo. ffffffff, ffffffff => ffffffff (80000000 00000000) |
| subfeo. 00000000, 00000000 => 00000000 (20000000 20000000) |
| subfeo. 00000000, 000f423f => 000f423f (40000000 20000000) |
| subfeo. 00000000, ffffffff => ffffffff (80000000 20000000) |
| subfeo. 000f423f, 00000000 => fff0bdc1 (80000000 00000000) |
| subfeo. 000f423f, 000f423f => 00000000 (20000000 20000000) |
| subfeo. 000f423f, ffffffff => fff0bdc0 (80000000 20000000) |
| subfeo. ffffffff, 00000000 => 00000001 (40000000 00000000) |
| subfeo. ffffffff, 000f423f => 000f4240 (40000000 00000000) |
| subfeo. ffffffff, ffffffff => 00000000 (20000000 20000000) |
| |
| PPC integer arith insns |
| with one register + one 16 bits immediate args: |
| addi 00000000, 00000000 => 00000000 (00000000 00000000) |
| addi 00000000, 000003e7 => 000003e7 (00000000 00000000) |
| addi 00000000, 0000ffff => ffffffff (00000000 00000000) |
| addi 000f423f, 00000000 => 000f423f (00000000 00000000) |
| addi 000f423f, 000003e7 => 000f4626 (00000000 00000000) |
| addi 000f423f, 0000ffff => 000f423e (00000000 00000000) |
| addi ffffffff, 00000000 => ffffffff (00000000 00000000) |
| addi ffffffff, 000003e7 => 000003e6 (00000000 00000000) |
| addi ffffffff, 0000ffff => fffffffe (00000000 00000000) |
| |
| addic 00000000, 00000000 => 00000000 (00000000 00000000) |
| addic 00000000, 000003e7 => 000003e7 (00000000 00000000) |
| addic 00000000, 0000ffff => ffffffff (00000000 00000000) |
| addic 000f423f, 00000000 => 000f423f (00000000 00000000) |
| addic 000f423f, 000003e7 => 000f4626 (00000000 00000000) |
| addic 000f423f, 0000ffff => 000f423e (00000000 20000000) |
| addic ffffffff, 00000000 => ffffffff (00000000 00000000) |
| addic ffffffff, 000003e7 => 000003e6 (00000000 20000000) |
| addic ffffffff, 0000ffff => fffffffe (00000000 20000000) |
| |
| addis 00000000, 00000000 => 00000000 (00000000 00000000) |
| addis 00000000, 000003e7 => 03e70000 (00000000 00000000) |
| addis 00000000, 0000ffff => ffff0000 (00000000 00000000) |
| addis 000f423f, 00000000 => 000f423f (00000000 00000000) |
| addis 000f423f, 000003e7 => 03f6423f (00000000 00000000) |
| addis 000f423f, 0000ffff => 000e423f (00000000 00000000) |
| addis ffffffff, 00000000 => ffffffff (00000000 00000000) |
| addis ffffffff, 000003e7 => 03e6ffff (00000000 00000000) |
| addis ffffffff, 0000ffff => fffeffff (00000000 00000000) |
| |
| mulli 00000000, 00000000 => 00000000 (00000000 00000000) |
| mulli 00000000, 000003e7 => 00000000 (00000000 00000000) |
| mulli 00000000, 0000ffff => 00000000 (00000000 00000000) |
| mulli 000f423f, 00000000 => 00000000 (00000000 00000000) |
| mulli 000f423f, 000003e7 => 3b8b83d9 (00000000 00000000) |
| mulli 000f423f, 0000ffff => fff0bdc1 (00000000 00000000) |
| mulli ffffffff, 00000000 => 00000000 (00000000 00000000) |
| mulli ffffffff, 000003e7 => fffffc19 (00000000 00000000) |
| mulli ffffffff, 0000ffff => 00000001 (00000000 00000000) |
| |
| subfic 00000000, 00000000 => 00000000 (00000000 20000000) |
| subfic 00000000, 000003e7 => 000003e7 (00000000 20000000) |
| subfic 00000000, 0000ffff => ffffffff (00000000 20000000) |
| subfic 000f423f, 00000000 => fff0bdc1 (00000000 00000000) |
| subfic 000f423f, 000003e7 => fff0c1a8 (00000000 00000000) |
| subfic 000f423f, 0000ffff => fff0bdc0 (00000000 20000000) |
| subfic ffffffff, 00000000 => 00000001 (00000000 00000000) |
| subfic ffffffff, 000003e7 => 000003e8 (00000000 00000000) |
| subfic ffffffff, 0000ffff => 00000000 (00000000 20000000) |
| |
| PPC integer arith insns |
| with one register + one 16 bits immediate args with flags update: |
| addic. 00000000, 00000000 => 00000000 (20000000 00000000) |
| addic. 00000000, 000003e7 => 000003e7 (40000000 00000000) |
| addic. 00000000, 0000ffff => ffffffff (80000000 00000000) |
| addic. 000f423f, 00000000 => 000f423f (40000000 00000000) |
| addic. 000f423f, 000003e7 => 000f4626 (40000000 00000000) |
| addic. 000f423f, 0000ffff => 000f423e (40000000 20000000) |
| addic. ffffffff, 00000000 => ffffffff (80000000 00000000) |
| addic. ffffffff, 000003e7 => 000003e6 (40000000 20000000) |
| addic. ffffffff, 0000ffff => fffffffe (80000000 20000000) |
| |
| PPC integer arith insns with one arg and carry: |
| addme 00000000 => ffffffff (00000000 00000000) |
| addme 000f423f => 000f423e (00000000 20000000) |
| addme ffffffff => fffffffe (00000000 20000000) |
| addme 00000000 => 00000000 (00000000 20000000) |
| addme 000f423f => 000f423f (00000000 20000000) |
| addme ffffffff => ffffffff (00000000 20000000) |
| |
| addmeo 00000000 => ffffffff (00000000 00000000) |
| addmeo 000f423f => 000f423e (00000000 20000000) |
| addmeo ffffffff => fffffffe (00000000 20000000) |
| addmeo 00000000 => 00000000 (00000000 20000000) |
| addmeo 000f423f => 000f423f (00000000 20000000) |
| addmeo ffffffff => ffffffff (00000000 20000000) |
| |
| addze 00000000 => 00000000 (00000000 00000000) |
| addze 000f423f => 000f423f (00000000 00000000) |
| addze ffffffff => ffffffff (00000000 00000000) |
| addze 00000000 => 00000001 (00000000 00000000) |
| addze 000f423f => 000f4240 (00000000 00000000) |
| addze ffffffff => 00000000 (00000000 20000000) |
| |
| addzeo 00000000 => 00000000 (00000000 00000000) |
| addzeo 000f423f => 000f423f (00000000 00000000) |
| addzeo ffffffff => ffffffff (00000000 00000000) |
| addzeo 00000000 => 00000001 (00000000 00000000) |
| addzeo 000f423f => 000f4240 (00000000 00000000) |
| addzeo ffffffff => 00000000 (00000000 20000000) |
| |
| subfme 00000000 => fffffffe (00000000 20000000) |
| subfme 000f423f => fff0bdbf (00000000 20000000) |
| subfme ffffffff => ffffffff (00000000 00000000) |
| subfme 00000000 => ffffffff (00000000 20000000) |
| subfme 000f423f => fff0bdc0 (00000000 20000000) |
| subfme ffffffff => 00000000 (00000000 20000000) |
| |
| subfmeo 00000000 => fffffffe (00000000 20000000) |
| subfmeo 000f423f => fff0bdbf (00000000 20000000) |
| subfmeo ffffffff => ffffffff (00000000 00000000) |
| subfmeo 00000000 => ffffffff (00000000 20000000) |
| subfmeo 000f423f => fff0bdc0 (00000000 20000000) |
| subfmeo ffffffff => 00000000 (00000000 20000000) |
| |
| subfze 00000000 => ffffffff (00000000 00000000) |
| subfze 000f423f => fff0bdc0 (00000000 00000000) |
| subfze ffffffff => 00000000 (00000000 00000000) |
| subfze 00000000 => 00000000 (00000000 20000000) |
| subfze 000f423f => fff0bdc1 (00000000 00000000) |
| subfze ffffffff => 00000001 (00000000 00000000) |
| |
| subfzeo 00000000 => ffffffff (00000000 00000000) |
| subfzeo 000f423f => fff0bdc0 (00000000 00000000) |
| subfzeo ffffffff => 00000000 (00000000 00000000) |
| subfzeo 00000000 => 00000000 (00000000 20000000) |
| subfzeo 000f423f => fff0bdc1 (00000000 00000000) |
| subfzeo ffffffff => 00000001 (00000000 00000000) |
| |
| PPC integer arith insns with one arg and carry with flags update: |
| addme. 00000000 => ffffffff (80000000 00000000) |
| addme. 000f423f => 000f423e (40000000 20000000) |
| addme. ffffffff => fffffffe (80000000 20000000) |
| addme. 00000000 => 00000000 (20000000 20000000) |
| addme. 000f423f => 000f423f (40000000 20000000) |
| addme. ffffffff => ffffffff (80000000 20000000) |
| |
| addmeo. 00000000 => ffffffff (80000000 00000000) |
| addmeo. 000f423f => 000f423e (40000000 20000000) |
| addmeo. ffffffff => fffffffe (80000000 20000000) |
| addmeo. 00000000 => 00000000 (20000000 20000000) |
| addmeo. 000f423f => 000f423f (40000000 20000000) |
| addmeo. ffffffff => ffffffff (80000000 20000000) |
| |
| addze. 00000000 => 00000000 (20000000 00000000) |
| addze. 000f423f => 000f423f (40000000 00000000) |
| addze. ffffffff => ffffffff (80000000 00000000) |
| addze. 00000000 => 00000001 (40000000 00000000) |
| addze. 000f423f => 000f4240 (40000000 00000000) |
| addze. ffffffff => 00000000 (20000000 20000000) |
| |
| addzeo. 00000000 => 00000000 (20000000 00000000) |
| addzeo. 000f423f => 000f423f (40000000 00000000) |
| addzeo. ffffffff => ffffffff (80000000 00000000) |
| addzeo. 00000000 => 00000001 (40000000 00000000) |
| addzeo. 000f423f => 000f4240 (40000000 00000000) |
| addzeo. ffffffff => 00000000 (20000000 20000000) |
| |
| subfme. 00000000 => fffffffe (80000000 20000000) |
| subfme. 000f423f => fff0bdbf (80000000 20000000) |
| subfme. ffffffff => ffffffff (80000000 00000000) |
| subfme. 00000000 => ffffffff (80000000 20000000) |
| subfme. 000f423f => fff0bdc0 (80000000 20000000) |
| subfme. ffffffff => 00000000 (20000000 20000000) |
| |
| subfmeo. 00000000 => fffffffe (80000000 20000000) |
| subfmeo. 000f423f => fff0bdbf (80000000 20000000) |
| subfmeo. ffffffff => ffffffff (80000000 00000000) |
| subfmeo. 00000000 => ffffffff (80000000 20000000) |
| subfmeo. 000f423f => fff0bdc0 (80000000 20000000) |
| subfmeo. ffffffff => 00000000 (20000000 20000000) |
| |
| subfze. 00000000 => ffffffff (80000000 00000000) |
| subfze. 000f423f => fff0bdc0 (80000000 00000000) |
| subfze. ffffffff => 00000000 (20000000 00000000) |
| subfze. 00000000 => 00000000 (20000000 20000000) |
| subfze. 000f423f => fff0bdc1 (80000000 00000000) |
| subfze. ffffffff => 00000001 (40000000 00000000) |
| |
| subfzeo. 00000000 => ffffffff (80000000 00000000) |
| subfzeo. 000f423f => fff0bdc0 (80000000 00000000) |
| subfzeo. ffffffff => 00000000 (20000000 00000000) |
| subfzeo. 00000000 => 00000000 (20000000 20000000) |
| subfzeo. 000f423f => fff0bdc1 (80000000 00000000) |
| subfzeo. ffffffff => 00000001 (40000000 00000000) |
| |
| PPC integer population count with one register args, no flags: |
| popcntb 00000000 => 00000000 (00000000 00000000) |
| popcntb 000f423f => 00040206 (00000000 00000000) |
| popcntb ffffffff => 08080808 (00000000 00000000) |
| |
| All done. Tested 63 different instructions |