| PPC floating point arith insns with three args: |
| fsel 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000 |
| fsel 0010000000000001, 0010000000000001, bfe00094e0000359 => 0010000000000000 |
| fsel 0010000000000001, 80100094e0000359, 0010000000000001 => 80100094e0000300 |
| fsel 0010000000000001, 80100094e0000359, bfe00094e0000359 => 80100094e0000300 |
| fsel 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0010000000000000 |
| fsel 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 0010000000000000 |
| fsel 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80100094e0000300 |
| fsel 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 80100094e0000300 |
| fsel bfe0000000000001, 0010000000000001, 0010000000000001 => 0010000000000000 |
| fsel bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300 |
| fsel bfe0000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000 |
| fsel bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300 |
| |
| fmadd 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000 |
| fmadd 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300 |
| fmadd 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000 |
| fmadd 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300 |
| fmadd 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0018004a70000100 |
| fmadd 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300 |
| fmadd 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0007ff6b1d4b5e00 |
| fmadd 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300 |
| fmadd bfe0000000000001, 0010000000000001, 0010000000000001 => 0008000000000000 |
| fmadd bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300 |
| fmadd bfe0000000000001, 80100094e0000359, 0010000000000001 => 0018004a70000100 |
| fmadd bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300 |
| |
| fmadds 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000 |
| fmadds 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000 |
| fmadds 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000 |
| fmadds 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000 |
| fmadds 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000 |
| fmadds 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000 |
| fmadds 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000 |
| fmadds 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000 |
| fmadds bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000 |
| fmadds bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000 |
| fmadds bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000 |
| fmadds bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000 |
| |
| fmsub 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000 |
| fmsub 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300 |
| fmsub 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000 |
| fmsub 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300 |
| fmsub 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8007ffb58ffffe00 |
| fmsub 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300 |
| fmsub 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80180094e2b4a100 |
| fmsub 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300 |
| fmsub bfe0000000000001, 0010000000000001, 0010000000000001 => 8018000000000000 |
| fmsub bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300 |
| fmsub bfe0000000000001, 80100094e0000359, 0010000000000001 => 8007ffb58ffffe00 |
| fmsub bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300 |
| |
| fmsubs 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000 |
| fmsubs 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000 |
| fmsubs 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000 |
| fmsubs 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000 |
| fmsubs 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000 |
| fmsubs 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000 |
| fmsubs 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000 |
| fmsubs 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000 |
| fmsubs bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000 |
| fmsubs bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000 |
| fmsubs bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000 |
| fmsubs bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000 |
| |
| fnmadd 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000 |
| fnmadd 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300 |
| fnmadd 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000 |
| fnmadd 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300 |
| fnmadd 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8018004a70000100 |
| fnmadd 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300 |
| fnmadd 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8007ff6b1d4b5e00 |
| fnmadd 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300 |
| fnmadd bfe0000000000001, 0010000000000001, 0010000000000001 => 8008000000000000 |
| fnmadd bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300 |
| fnmadd bfe0000000000001, 80100094e0000359, 0010000000000001 => 8018004a70000100 |
| fnmadd bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300 |
| |
| fnmadds 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000 |
| fnmadds 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000 |
| fnmadds 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000 |
| fnmadds 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000 |
| fnmadds 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000 |
| fnmadds 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000 |
| fnmadds 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000 |
| fnmadds 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000 |
| fnmadds bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000 |
| fnmadds bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000 |
| fnmadds bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000 |
| fnmadds bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000 |
| |
| fnmsub 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000 |
| fnmsub 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300 |
| fnmsub 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000 |
| fnmsub 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300 |
| fnmsub 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0007ffb58ffffe00 |
| fnmsub 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300 |
| fnmsub 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 00180094e2b4a100 |
| fnmsub 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300 |
| fnmsub bfe0000000000001, 0010000000000001, 0010000000000001 => 0018000000000000 |
| fnmsub bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300 |
| fnmsub bfe0000000000001, 80100094e0000359, 0010000000000001 => 0007ffb58ffffe00 |
| fnmsub bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300 |
| |
| fnmsubs 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000 |
| fnmsubs 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000 |
| fnmsubs 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000 |
| fnmsubs 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000 |
| fnmsubs 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000 |
| fnmsubs 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000 |
| fnmsubs 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000 |
| fnmsubs 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000 |
| fnmsubs bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000 |
| fnmsubs bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000 |
| fnmsubs bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000 |
| fnmsubs bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000 |
| |
| PPC floating point arith insns |
| with three args with flags update: |
| fsel. 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000 |
| fsel. 0010000000000001, 0010000000000001, bfe00094e0000359 => 0010000000000000 |
| fsel. 0010000000000001, 80100094e0000359, 0010000000000001 => 80100094e0000300 |
| fsel. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 80100094e0000300 |
| fsel. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0010000000000000 |
| fsel. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 0010000000000000 |
| fsel. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80100094e0000300 |
| fsel. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 80100094e0000300 |
| fsel. bfe0000000000001, 0010000000000001, 0010000000000001 => 0010000000000000 |
| fsel. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300 |
| fsel. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000 |
| fsel. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300 |
| |
| fmadd. 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000 |
| fmadd. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300 |
| fmadd. 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000 |
| fmadd. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300 |
| fmadd. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0018004a70000100 |
| fmadd. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300 |
| fmadd. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0007ff6b1d4b5e00 |
| fmadd. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300 |
| fmadd. bfe0000000000001, 0010000000000001, 0010000000000001 => 0008000000000000 |
| fmadd. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300 |
| fmadd. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0018004a70000100 |
| fmadd. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300 |
| |
| fmadds. 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000 |
| fmadds. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000 |
| fmadds. 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000 |
| fmadds. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000 |
| fmadds. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000 |
| fmadds. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000 |
| fmadds. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000 |
| fmadds. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000 |
| fmadds. bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000 |
| fmadds. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000 |
| fmadds. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000 |
| fmadds. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000 |
| |
| fmsub. 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000 |
| fmsub. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300 |
| fmsub. 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000 |
| fmsub. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300 |
| fmsub. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8007ffb58ffffe00 |
| fmsub. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300 |
| fmsub. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80180094e2b4a100 |
| fmsub. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300 |
| fmsub. bfe0000000000001, 0010000000000001, 0010000000000001 => 8018000000000000 |
| fmsub. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300 |
| fmsub. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8007ffb58ffffe00 |
| fmsub. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300 |
| |
| fmsubs. 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000 |
| fmsubs. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000 |
| fmsubs. 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000 |
| fmsubs. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000 |
| fmsubs. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000 |
| fmsubs. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000 |
| fmsubs. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000 |
| fmsubs. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000 |
| fmsubs. bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000 |
| fmsubs. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000 |
| fmsubs. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000 |
| fmsubs. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000 |
| |
| fnmadd. 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000 |
| fnmadd. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300 |
| fnmadd. 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000 |
| fnmadd. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300 |
| fnmadd. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8018004a70000100 |
| fnmadd. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300 |
| fnmadd. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8007ff6b1d4b5e00 |
| fnmadd. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300 |
| fnmadd. bfe0000000000001, 0010000000000001, 0010000000000001 => 8008000000000000 |
| fnmadd. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300 |
| fnmadd. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8018004a70000100 |
| fnmadd. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300 |
| |
| fnmadds. 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000 |
| fnmadds. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000 |
| fnmadds. 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000 |
| fnmadds. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000 |
| fnmadds. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000 |
| fnmadds. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000 |
| fnmadds. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000 |
| fnmadds. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000 |
| fnmadds. bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000 |
| fnmadds. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000 |
| fnmadds. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000 |
| fnmadds. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000 |
| |
| fnmsub. 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000 |
| fnmsub. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300 |
| fnmsub. 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000 |
| fnmsub. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300 |
| fnmsub. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0007ffb58ffffe00 |
| fnmsub. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300 |
| fnmsub. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 00180094e2b4a100 |
| fnmsub. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300 |
| fnmsub. bfe0000000000001, 0010000000000001, 0010000000000001 => 0018000000000000 |
| fnmsub. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300 |
| fnmsub. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0007ffb58ffffe00 |
| fnmsub. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300 |
| |
| fnmsubs. 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000 |
| fnmsubs. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000 |
| fnmsubs. 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000 |
| fnmsubs. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000 |
| fnmsubs. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000 |
| fnmsubs. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000 |
| fnmsubs. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000 |
| fnmsubs. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000 |
| fnmsubs. bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000 |
| fnmsubs. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000 |
| fnmsubs. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000 |
| fnmsubs. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000 |
| |
| PPC floating point arith insns with two args: |
| fadd 0010000000000001, 0010000000000001 => 0020000000000001 |
| fadd 0010000000000001, 80100094e0000359 => 80000094e0000358 |
| fadd 0010000000000001, 7ff0000000000000 => 7ff0000000000000 |
| fadd 0010000000000001, fff8000000000000 => fff8000000000000 |
| fadd 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359 |
| fadd 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359 |
| fadd 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000 |
| fadd 3fe00094e0000359, fff8000000000000 => fff8000000000000 |
| fadd bfe0000000000001, 0010000000000001 => bfe0000000000001 |
| fadd bfe0000000000001, 80100094e0000359 => bfe0000000000001 |
| fadd bfe0000000000001, 7ff0000000000000 => 7ff0000000000000 |
| fadd bfe0000000000001, fff8000000000000 => fff8000000000000 |
| fadd 8000000000000000, 0010000000000001 => 0010000000000001 |
| fadd 8000000000000000, 80100094e0000359 => 80100094e0000359 |
| fadd 8000000000000000, 7ff0000000000000 => 7ff0000000000000 |
| fadd 8000000000000000, fff8000000000000 => fff8000000000000 |
| fadd 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff |
| fadd 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff |
| fadd 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff |
| fadd 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff |
| fadd fff8000000000000, 0010000000000001 => fff8000000000000 |
| fadd fff8000000000000, 80100094e0000359 => fff8000000000000 |
| fadd fff8000000000000, 7ff0000000000000 => fff8000000000000 |
| fadd fff8000000000000, fff8000000000000 => fff8000000000000 |
| |
| fadds 0010000000000001, 0010000000000001 => 0000000000000000 |
| fadds 0010000000000001, 80100094e0000359 => 8000000000000000 |
| fadds 0010000000000001, 7ff0000000000000 => 7ff0000000000000 |
| fadds 0010000000000001, fff8000000000000 => fff8000000000000 |
| fadds 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000 |
| fadds 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000 |
| fadds 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000 |
| fadds 3fe00094e0000359, fff8000000000000 => fff8000000000000 |
| fadds bfe0000000000001, 0010000000000001 => bfe0000000000000 |
| fadds bfe0000000000001, 80100094e0000359 => bfe0000000000000 |
| fadds bfe0000000000001, 7ff0000000000000 => 7ff0000000000000 |
| fadds bfe0000000000001, fff8000000000000 => fff8000000000000 |
| fadds 8000000000000000, 0010000000000001 => 0000000000000000 |
| fadds 8000000000000000, 80100094e0000359 => 8000000000000000 |
| fadds 8000000000000000, 7ff0000000000000 => 7ff0000000000000 |
| fadds 8000000000000000, fff8000000000000 => fff8000000000000 |
| fadds 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000 |
| fadds 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000 |
| fadds 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000 |
| fadds 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000 |
| fadds fff8000000000000, 0010000000000001 => fff8000000000000 |
| fadds fff8000000000000, 80100094e0000359 => fff8000000000000 |
| fadds fff8000000000000, 7ff0000000000000 => fff8000000000000 |
| fadds fff8000000000000, fff8000000000000 => fff8000000000000 |
| |
| fsub 0010000000000001, 0010000000000001 => 0000000000000000 |
| fsub 0010000000000001, 80100094e0000359 => 0020004a700001ad |
| fsub 0010000000000001, 7ff0000000000000 => fff0000000000000 |
| fsub 0010000000000001, fff8000000000000 => fff8000000000000 |
| fsub 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359 |
| fsub 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359 |
| fsub 3fe00094e0000359, 7ff0000000000000 => fff0000000000000 |
| fsub 3fe00094e0000359, fff8000000000000 => fff8000000000000 |
| fsub bfe0000000000001, 0010000000000001 => bfe0000000000001 |
| fsub bfe0000000000001, 80100094e0000359 => bfe0000000000001 |
| fsub bfe0000000000001, 7ff0000000000000 => fff0000000000000 |
| fsub bfe0000000000001, fff8000000000000 => fff8000000000000 |
| fsub 8000000000000000, 0010000000000001 => 8010000000000001 |
| fsub 8000000000000000, 80100094e0000359 => 00100094e0000359 |
| fsub 8000000000000000, 7ff0000000000000 => fff0000000000000 |
| fsub 8000000000000000, fff8000000000000 => fff8000000000000 |
| fsub 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff |
| fsub 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff |
| fsub 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff |
| fsub 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff |
| fsub fff8000000000000, 0010000000000001 => fff8000000000000 |
| fsub fff8000000000000, 80100094e0000359 => fff8000000000000 |
| fsub fff8000000000000, 7ff0000000000000 => fff8000000000000 |
| fsub fff8000000000000, fff8000000000000 => fff8000000000000 |
| |
| fsubs 0010000000000001, 0010000000000001 => 0000000000000000 |
| fsubs 0010000000000001, 80100094e0000359 => 0000000000000000 |
| fsubs 0010000000000001, 7ff0000000000000 => fff0000000000000 |
| fsubs 0010000000000001, fff8000000000000 => fff8000000000000 |
| fsubs 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000 |
| fsubs 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000 |
| fsubs 3fe00094e0000359, 7ff0000000000000 => fff0000000000000 |
| fsubs 3fe00094e0000359, fff8000000000000 => fff8000000000000 |
| fsubs bfe0000000000001, 0010000000000001 => bfe0000000000000 |
| fsubs bfe0000000000001, 80100094e0000359 => bfe0000000000000 |
| fsubs bfe0000000000001, 7ff0000000000000 => fff0000000000000 |
| fsubs bfe0000000000001, fff8000000000000 => fff8000000000000 |
| fsubs 8000000000000000, 0010000000000001 => 8000000000000000 |
| fsubs 8000000000000000, 80100094e0000359 => 0000000000000000 |
| fsubs 8000000000000000, 7ff0000000000000 => fff0000000000000 |
| fsubs 8000000000000000, fff8000000000000 => fff8000000000000 |
| fsubs 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000 |
| fsubs 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000 |
| fsubs 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000 |
| fsubs 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000 |
| fsubs fff8000000000000, 0010000000000001 => fff8000000000000 |
| fsubs fff8000000000000, 80100094e0000359 => fff8000000000000 |
| fsubs fff8000000000000, 7ff0000000000000 => fff8000000000000 |
| fsubs fff8000000000000, fff8000000000000 => fff8000000000000 |
| |
| fmul 0010000000000001, 0010000000000001 => 0000000000000000 |
| fmul 0010000000000001, 80100094e0000359 => 8000000000000000 |
| fmul 0010000000000001, 7ff0000000000000 => 7ff0000000000000 |
| fmul 0010000000000001, fff8000000000000 => fff8000000000000 |
| fmul 3fe00094e0000359, 0010000000000001 => 0008004a700001ad |
| fmul 3fe00094e0000359, 80100094e0000359 => 80080094e2b4a179 |
| fmul 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000 |
| fmul 3fe00094e0000359, fff8000000000000 => fff8000000000000 |
| fmul bfe0000000000001, 0010000000000001 => 8008000000000001 |
| fmul bfe0000000000001, 80100094e0000359 => 0008004a700001ad |
| fmul bfe0000000000001, 7ff0000000000000 => fff0000000000000 |
| fmul bfe0000000000001, fff8000000000000 => fff8000000000000 |
| fmul 8000000000000000, 0010000000000001 => 8000000000000000 |
| fmul 8000000000000000, 80100094e0000359 => 0000000000000000 |
| fmul 8000000000000000, 7ff0000000000000 => 7ff8000000000000 |
| fmul 8000000000000000, fff8000000000000 => fff8000000000000 |
| fmul 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff |
| fmul 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff |
| fmul 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff |
| fmul 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff |
| fmul fff8000000000000, 0010000000000001 => fff8000000000000 |
| fmul fff8000000000000, 80100094e0000359 => fff8000000000000 |
| fmul fff8000000000000, 7ff0000000000000 => fff8000000000000 |
| fmul fff8000000000000, fff8000000000000 => fff8000000000000 |
| |
| fmuls 0010000000000001, 0010000000000001 => 0000000000000000 |
| fmuls 0010000000000001, 80100094e0000359 => 8000000000000000 |
| fmuls 0010000000000001, 7ff0000000000000 => 7ff0000000000000 |
| fmuls 0010000000000001, fff8000000000000 => fff8000000000000 |
| fmuls 3fe00094e0000359, 0010000000000001 => 0000000000000000 |
| fmuls 3fe00094e0000359, 80100094e0000359 => 8000000000000000 |
| fmuls 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000 |
| fmuls 3fe00094e0000359, fff8000000000000 => fff8000000000000 |
| fmuls bfe0000000000001, 0010000000000001 => 8000000000000000 |
| fmuls bfe0000000000001, 80100094e0000359 => 0000000000000000 |
| fmuls bfe0000000000001, 7ff0000000000000 => fff0000000000000 |
| fmuls bfe0000000000001, fff8000000000000 => fff8000000000000 |
| fmuls 8000000000000000, 0010000000000001 => 8000000000000000 |
| fmuls 8000000000000000, 80100094e0000359 => 0000000000000000 |
| fmuls 8000000000000000, 7ff0000000000000 => 7ff8000000000000 |
| fmuls 8000000000000000, fff8000000000000 => fff8000000000000 |
| fmuls 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000 |
| fmuls 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000 |
| fmuls 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000 |
| fmuls 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000 |
| fmuls fff8000000000000, 0010000000000001 => fff8000000000000 |
| fmuls fff8000000000000, 80100094e0000359 => fff8000000000000 |
| fmuls fff8000000000000, 7ff0000000000000 => fff8000000000000 |
| fmuls fff8000000000000, fff8000000000000 => fff8000000000000 |
| |
| fdiv 0010000000000001, 0010000000000001 => 3ff0000000000000 |
| fdiv 0010000000000001, 80100094e0000359 => bfeffed64ad20d22 |
| fdiv 0010000000000001, 7ff0000000000000 => 0000000000000000 |
| fdiv 0010000000000001, fff8000000000000 => fff8000000000000 |
| fdiv 3fe00094e0000359, 0010000000000001 => 7fc00094e0000358 |
| fdiv 3fe00094e0000359, 80100094e0000359 => ffc0000000000000 |
| fdiv 3fe00094e0000359, 7ff0000000000000 => 0000000000000000 |
| fdiv 3fe00094e0000359, fff8000000000000 => fff8000000000000 |
| fdiv bfe0000000000001, 0010000000000001 => ffc0000000000000 |
| fdiv bfe0000000000001, 80100094e0000359 => 7fbffed64ad20d22 |
| fdiv bfe0000000000001, 7ff0000000000000 => 8000000000000000 |
| fdiv bfe0000000000001, fff8000000000000 => fff8000000000000 |
| fdiv 8000000000000000, 0010000000000001 => 8000000000000000 |
| fdiv 8000000000000000, 80100094e0000359 => 0000000000000000 |
| fdiv 8000000000000000, 7ff0000000000000 => 8000000000000000 |
| fdiv 8000000000000000, fff8000000000000 => fff8000000000000 |
| fdiv 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff |
| fdiv 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff |
| fdiv 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff |
| fdiv 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff |
| fdiv fff8000000000000, 0010000000000001 => fff8000000000000 |
| fdiv fff8000000000000, 80100094e0000359 => fff8000000000000 |
| fdiv fff8000000000000, 7ff0000000000000 => fff8000000000000 |
| fdiv fff8000000000000, fff8000000000000 => fff8000000000000 |
| |
| fdivs 0010000000000001, 0010000000000001 => 3ff0000000000000 |
| fdivs 0010000000000001, 80100094e0000359 => bfeffed640000000 |
| fdivs 0010000000000001, 7ff0000000000000 => 0000000000000000 |
| fdivs 0010000000000001, fff8000000000000 => fff8000000000000 |
| fdivs 3fe00094e0000359, 0010000000000001 => 7ff0000000000000 |
| fdivs 3fe00094e0000359, 80100094e0000359 => fff0000000000000 |
| fdivs 3fe00094e0000359, 7ff0000000000000 => 0000000000000000 |
| fdivs 3fe00094e0000359, fff8000000000000 => fff8000000000000 |
| fdivs bfe0000000000001, 0010000000000001 => fff0000000000000 |
| fdivs bfe0000000000001, 80100094e0000359 => 7ff0000000000000 |
| fdivs bfe0000000000001, 7ff0000000000000 => 8000000000000000 |
| fdivs bfe0000000000001, fff8000000000000 => fff8000000000000 |
| fdivs 8000000000000000, 0010000000000001 => 8000000000000000 |
| fdivs 8000000000000000, 80100094e0000359 => 0000000000000000 |
| fdivs 8000000000000000, 7ff0000000000000 => 8000000000000000 |
| fdivs 8000000000000000, fff8000000000000 => fff8000000000000 |
| fdivs 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000 |
| fdivs 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000 |
| fdivs 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000 |
| fdivs 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000 |
| fdivs fff8000000000000, 0010000000000001 => fff8000000000000 |
| fdivs fff8000000000000, 80100094e0000359 => fff8000000000000 |
| fdivs fff8000000000000, 7ff0000000000000 => fff8000000000000 |
| fdivs fff8000000000000, fff8000000000000 => fff8000000000000 |
| |
| PPC floating point arith insns |
| with two args with flags update: |
| fadd. 0010000000000001, 0010000000000001 => 0020000000000001 |
| fadd. 0010000000000001, 80100094e0000359 => 80000094e0000358 |
| fadd. 0010000000000001, 7ff0000000000000 => 7ff0000000000000 |
| fadd. 0010000000000001, fff8000000000000 => fff8000000000000 |
| fadd. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359 |
| fadd. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359 |
| fadd. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000 |
| fadd. 3fe00094e0000359, fff8000000000000 => fff8000000000000 |
| fadd. bfe0000000000001, 0010000000000001 => bfe0000000000001 |
| fadd. bfe0000000000001, 80100094e0000359 => bfe0000000000001 |
| fadd. bfe0000000000001, 7ff0000000000000 => 7ff0000000000000 |
| fadd. bfe0000000000001, fff8000000000000 => fff8000000000000 |
| fadd. 8000000000000000, 0010000000000001 => 0010000000000001 |
| fadd. 8000000000000000, 80100094e0000359 => 80100094e0000359 |
| fadd. 8000000000000000, 7ff0000000000000 => 7ff0000000000000 |
| fadd. 8000000000000000, fff8000000000000 => fff8000000000000 |
| fadd. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff |
| fadd. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff |
| fadd. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff |
| fadd. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff |
| fadd. fff8000000000000, 0010000000000001 => fff8000000000000 |
| fadd. fff8000000000000, 80100094e0000359 => fff8000000000000 |
| fadd. fff8000000000000, 7ff0000000000000 => fff8000000000000 |
| fadd. fff8000000000000, fff8000000000000 => fff8000000000000 |
| |
| fadds. 0010000000000001, 0010000000000001 => 0000000000000000 |
| fadds. 0010000000000001, 80100094e0000359 => 8000000000000000 |
| fadds. 0010000000000001, 7ff0000000000000 => 7ff0000000000000 |
| fadds. 0010000000000001, fff8000000000000 => fff8000000000000 |
| fadds. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000 |
| fadds. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000 |
| fadds. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000 |
| fadds. 3fe00094e0000359, fff8000000000000 => fff8000000000000 |
| fadds. bfe0000000000001, 0010000000000001 => bfe0000000000000 |
| fadds. bfe0000000000001, 80100094e0000359 => bfe0000000000000 |
| fadds. bfe0000000000001, 7ff0000000000000 => 7ff0000000000000 |
| fadds. bfe0000000000001, fff8000000000000 => fff8000000000000 |
| fadds. 8000000000000000, 0010000000000001 => 0000000000000000 |
| fadds. 8000000000000000, 80100094e0000359 => 8000000000000000 |
| fadds. 8000000000000000, 7ff0000000000000 => 7ff0000000000000 |
| fadds. 8000000000000000, fff8000000000000 => fff8000000000000 |
| fadds. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000 |
| fadds. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000 |
| fadds. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000 |
| fadds. 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000 |
| fadds. fff8000000000000, 0010000000000001 => fff8000000000000 |
| fadds. fff8000000000000, 80100094e0000359 => fff8000000000000 |
| fadds. fff8000000000000, 7ff0000000000000 => fff8000000000000 |
| fadds. fff8000000000000, fff8000000000000 => fff8000000000000 |
| |
| fsub. 0010000000000001, 0010000000000001 => 0000000000000000 |
| fsub. 0010000000000001, 80100094e0000359 => 0020004a700001ad |
| fsub. 0010000000000001, 7ff0000000000000 => fff0000000000000 |
| fsub. 0010000000000001, fff8000000000000 => fff8000000000000 |
| fsub. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359 |
| fsub. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359 |
| fsub. 3fe00094e0000359, 7ff0000000000000 => fff0000000000000 |
| fsub. 3fe00094e0000359, fff8000000000000 => fff8000000000000 |
| fsub. bfe0000000000001, 0010000000000001 => bfe0000000000001 |
| fsub. bfe0000000000001, 80100094e0000359 => bfe0000000000001 |
| fsub. bfe0000000000001, 7ff0000000000000 => fff0000000000000 |
| fsub. bfe0000000000001, fff8000000000000 => fff8000000000000 |
| fsub. 8000000000000000, 0010000000000001 => 8010000000000001 |
| fsub. 8000000000000000, 80100094e0000359 => 00100094e0000359 |
| fsub. 8000000000000000, 7ff0000000000000 => fff0000000000000 |
| fsub. 8000000000000000, fff8000000000000 => fff8000000000000 |
| fsub. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff |
| fsub. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff |
| fsub. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff |
| fsub. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff |
| fsub. fff8000000000000, 0010000000000001 => fff8000000000000 |
| fsub. fff8000000000000, 80100094e0000359 => fff8000000000000 |
| fsub. fff8000000000000, 7ff0000000000000 => fff8000000000000 |
| fsub. fff8000000000000, fff8000000000000 => fff8000000000000 |
| |
| fsubs. 0010000000000001, 0010000000000001 => 0000000000000000 |
| fsubs. 0010000000000001, 80100094e0000359 => 0000000000000000 |
| fsubs. 0010000000000001, 7ff0000000000000 => fff0000000000000 |
| fsubs. 0010000000000001, fff8000000000000 => fff8000000000000 |
| fsubs. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000 |
| fsubs. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000 |
| fsubs. 3fe00094e0000359, 7ff0000000000000 => fff0000000000000 |
| fsubs. 3fe00094e0000359, fff8000000000000 => fff8000000000000 |
| fsubs. bfe0000000000001, 0010000000000001 => bfe0000000000000 |
| fsubs. bfe0000000000001, 80100094e0000359 => bfe0000000000000 |
| fsubs. bfe0000000000001, 7ff0000000000000 => fff0000000000000 |
| fsubs. bfe0000000000001, fff8000000000000 => fff8000000000000 |
| fsubs. 8000000000000000, 0010000000000001 => 8000000000000000 |
| fsubs. 8000000000000000, 80100094e0000359 => 0000000000000000 |
| fsubs. 8000000000000000, 7ff0000000000000 => fff0000000000000 |
| fsubs. 8000000000000000, fff8000000000000 => fff8000000000000 |
| fsubs. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000 |
| fsubs. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000 |
| fsubs. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000 |
| fsubs. 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000 |
| fsubs. fff8000000000000, 0010000000000001 => fff8000000000000 |
| fsubs. fff8000000000000, 80100094e0000359 => fff8000000000000 |
| fsubs. fff8000000000000, 7ff0000000000000 => fff8000000000000 |
| fsubs. fff8000000000000, fff8000000000000 => fff8000000000000 |
| |
| fmul. 0010000000000001, 0010000000000001 => 0000000000000000 |
| fmul. 0010000000000001, 80100094e0000359 => 8000000000000000 |
| fmul. 0010000000000001, 7ff0000000000000 => 7ff0000000000000 |
| fmul. 0010000000000001, fff8000000000000 => fff8000000000000 |
| fmul. 3fe00094e0000359, 0010000000000001 => 0008004a700001ad |
| fmul. 3fe00094e0000359, 80100094e0000359 => 80080094e2b4a179 |
| fmul. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000 |
| fmul. 3fe00094e0000359, fff8000000000000 => fff8000000000000 |
| fmul. bfe0000000000001, 0010000000000001 => 8008000000000001 |
| fmul. bfe0000000000001, 80100094e0000359 => 0008004a700001ad |
| fmul. bfe0000000000001, 7ff0000000000000 => fff0000000000000 |
| fmul. bfe0000000000001, fff8000000000000 => fff8000000000000 |
| fmul. 8000000000000000, 0010000000000001 => 8000000000000000 |
| fmul. 8000000000000000, 80100094e0000359 => 0000000000000000 |
| fmul. 8000000000000000, 7ff0000000000000 => 7ff8000000000000 |
| fmul. 8000000000000000, fff8000000000000 => fff8000000000000 |
| fmul. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff |
| fmul. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff |
| fmul. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff |
| fmul. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff |
| fmul. fff8000000000000, 0010000000000001 => fff8000000000000 |
| fmul. fff8000000000000, 80100094e0000359 => fff8000000000000 |
| fmul. fff8000000000000, 7ff0000000000000 => fff8000000000000 |
| fmul. fff8000000000000, fff8000000000000 => fff8000000000000 |
| |
| fmuls. 0010000000000001, 0010000000000001 => 0000000000000000 |
| fmuls. 0010000000000001, 80100094e0000359 => 8000000000000000 |
| fmuls. 0010000000000001, 7ff0000000000000 => 7ff0000000000000 |
| fmuls. 0010000000000001, fff8000000000000 => fff8000000000000 |
| fmuls. 3fe00094e0000359, 0010000000000001 => 0000000000000000 |
| fmuls. 3fe00094e0000359, 80100094e0000359 => 8000000000000000 |
| fmuls. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000 |
| fmuls. 3fe00094e0000359, fff8000000000000 => fff8000000000000 |
| fmuls. bfe0000000000001, 0010000000000001 => 8000000000000000 |
| fmuls. bfe0000000000001, 80100094e0000359 => 0000000000000000 |
| fmuls. bfe0000000000001, 7ff0000000000000 => fff0000000000000 |
| fmuls. bfe0000000000001, fff8000000000000 => fff8000000000000 |
| fmuls. 8000000000000000, 0010000000000001 => 8000000000000000 |
| fmuls. 8000000000000000, 80100094e0000359 => 0000000000000000 |
| fmuls. 8000000000000000, 7ff0000000000000 => 7ff8000000000000 |
| fmuls. 8000000000000000, fff8000000000000 => fff8000000000000 |
| fmuls. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000 |
| fmuls. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000 |
| fmuls. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000 |
| fmuls. 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000 |
| fmuls. fff8000000000000, 0010000000000001 => fff8000000000000 |
| fmuls. fff8000000000000, 80100094e0000359 => fff8000000000000 |
| fmuls. fff8000000000000, 7ff0000000000000 => fff8000000000000 |
| fmuls. fff8000000000000, fff8000000000000 => fff8000000000000 |
| |
| fdiv. 0010000000000001, 0010000000000001 => 3ff0000000000000 |
| fdiv. 0010000000000001, 80100094e0000359 => bfeffed64ad20d22 |
| fdiv. 0010000000000001, 7ff0000000000000 => 0000000000000000 |
| fdiv. 0010000000000001, fff8000000000000 => fff8000000000000 |
| fdiv. 3fe00094e0000359, 0010000000000001 => 7fc00094e0000358 |
| fdiv. 3fe00094e0000359, 80100094e0000359 => ffc0000000000000 |
| fdiv. 3fe00094e0000359, 7ff0000000000000 => 0000000000000000 |
| fdiv. 3fe00094e0000359, fff8000000000000 => fff8000000000000 |
| fdiv. bfe0000000000001, 0010000000000001 => ffc0000000000000 |
| fdiv. bfe0000000000001, 80100094e0000359 => 7fbffed64ad20d22 |
| fdiv. bfe0000000000001, 7ff0000000000000 => 8000000000000000 |
| fdiv. bfe0000000000001, fff8000000000000 => fff8000000000000 |
| fdiv. 8000000000000000, 0010000000000001 => 8000000000000000 |
| fdiv. 8000000000000000, 80100094e0000359 => 0000000000000000 |
| fdiv. 8000000000000000, 7ff0000000000000 => 8000000000000000 |
| fdiv. 8000000000000000, fff8000000000000 => fff8000000000000 |
| fdiv. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff |
| fdiv. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff |
| fdiv. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff |
| fdiv. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff |
| fdiv. fff8000000000000, 0010000000000001 => fff8000000000000 |
| fdiv. fff8000000000000, 80100094e0000359 => fff8000000000000 |
| fdiv. fff8000000000000, 7ff0000000000000 => fff8000000000000 |
| fdiv. fff8000000000000, fff8000000000000 => fff8000000000000 |
| |
| fdivs. 0010000000000001, 0010000000000001 => 3ff0000000000000 |
| fdivs. 0010000000000001, 80100094e0000359 => bfeffed640000000 |
| fdivs. 0010000000000001, 7ff0000000000000 => 0000000000000000 |
| fdivs. 0010000000000001, fff8000000000000 => fff8000000000000 |
| fdivs. 3fe00094e0000359, 0010000000000001 => 7ff0000000000000 |
| fdivs. 3fe00094e0000359, 80100094e0000359 => fff0000000000000 |
| fdivs. 3fe00094e0000359, 7ff0000000000000 => 0000000000000000 |
| fdivs. 3fe00094e0000359, fff8000000000000 => fff8000000000000 |
| fdivs. bfe0000000000001, 0010000000000001 => fff0000000000000 |
| fdivs. bfe0000000000001, 80100094e0000359 => 7ff0000000000000 |
| fdivs. bfe0000000000001, 7ff0000000000000 => 8000000000000000 |
| fdivs. bfe0000000000001, fff8000000000000 => fff8000000000000 |
| fdivs. 8000000000000000, 0010000000000001 => 8000000000000000 |
| fdivs. 8000000000000000, 80100094e0000359 => 0000000000000000 |
| fdivs. 8000000000000000, 7ff0000000000000 => 8000000000000000 |
| fdivs. 8000000000000000, fff8000000000000 => fff8000000000000 |
| fdivs. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000 |
| fdivs. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000 |
| fdivs. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000 |
| fdivs. 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000 |
| fdivs. fff8000000000000, 0010000000000001 => fff8000000000000 |
| fdivs. fff8000000000000, 80100094e0000359 => fff8000000000000 |
| fdivs. fff8000000000000, 7ff0000000000000 => fff8000000000000 |
| fdivs. fff8000000000000, fff8000000000000 => fff8000000000000 |
| |
| PPC floating point compare insns (two args): |
| fcmpo 0010000000000001, 0010000000000001 => fff8000000000000 |
| fcmpo 0010000000000001, 80100094e0000359 => fff8000000000000 |
| fcmpo 0010000000000001, 7ff0000000000000 => fff8000000000000 |
| fcmpo 0010000000000001, fff8000000000000 => fff8000000000000 |
| fcmpo 3fe00094e0000359, 0010000000000001 => fff8000000000000 |
| fcmpo 3fe00094e0000359, 80100094e0000359 => fff8000000000000 |
| fcmpo 3fe00094e0000359, 7ff0000000000000 => fff8000000000000 |
| fcmpo 3fe00094e0000359, fff8000000000000 => fff8000000000000 |
| fcmpo bfe0000000000001, 0010000000000001 => fff8000000000000 |
| fcmpo bfe0000000000001, 80100094e0000359 => fff8000000000000 |
| fcmpo bfe0000000000001, 7ff0000000000000 => fff8000000000000 |
| fcmpo bfe0000000000001, fff8000000000000 => fff8000000000000 |
| fcmpo 8000000000000000, 0010000000000001 => fff8000000000000 |
| fcmpo 8000000000000000, 80100094e0000359 => fff8000000000000 |
| fcmpo 8000000000000000, 7ff0000000000000 => fff8000000000000 |
| fcmpo 8000000000000000, fff8000000000000 => fff8000000000000 |
| fcmpo 7ff7ffffffffffff, 0010000000000001 => fff8000000000000 |
| fcmpo 7ff7ffffffffffff, 80100094e0000359 => fff8000000000000 |
| fcmpo 7ff7ffffffffffff, 7ff0000000000000 => fff8000000000000 |
| fcmpo 7ff7ffffffffffff, fff8000000000000 => fff8000000000000 |
| fcmpo fff8000000000000, 0010000000000001 => fff8000000000000 |
| fcmpo fff8000000000000, 80100094e0000359 => fff8000000000000 |
| fcmpo fff8000000000000, 7ff0000000000000 => fff8000000000000 |
| fcmpo fff8000000000000, fff8000000000000 => fff8000000000000 |
| |
| fcmpu 0010000000000001, 0010000000000001 => fff8000000000000 |
| fcmpu 0010000000000001, 80100094e0000359 => fff8000000000000 |
| fcmpu 0010000000000001, 7ff0000000000000 => fff8000000000000 |
| fcmpu 0010000000000001, fff8000000000000 => fff8000000000000 |
| fcmpu 3fe00094e0000359, 0010000000000001 => fff8000000000000 |
| fcmpu 3fe00094e0000359, 80100094e0000359 => fff8000000000000 |
| fcmpu 3fe00094e0000359, 7ff0000000000000 => fff8000000000000 |
| fcmpu 3fe00094e0000359, fff8000000000000 => fff8000000000000 |
| fcmpu bfe0000000000001, 0010000000000001 => fff8000000000000 |
| fcmpu bfe0000000000001, 80100094e0000359 => fff8000000000000 |
| fcmpu bfe0000000000001, 7ff0000000000000 => fff8000000000000 |
| fcmpu bfe0000000000001, fff8000000000000 => fff8000000000000 |
| fcmpu 8000000000000000, 0010000000000001 => fff8000000000000 |
| fcmpu 8000000000000000, 80100094e0000359 => fff8000000000000 |
| fcmpu 8000000000000000, 7ff0000000000000 => fff8000000000000 |
| fcmpu 8000000000000000, fff8000000000000 => fff8000000000000 |
| fcmpu 7ff7ffffffffffff, 0010000000000001 => fff8000000000000 |
| fcmpu 7ff7ffffffffffff, 80100094e0000359 => fff8000000000000 |
| fcmpu 7ff7ffffffffffff, 7ff0000000000000 => fff8000000000000 |
| fcmpu 7ff7ffffffffffff, fff8000000000000 => fff8000000000000 |
| fcmpu fff8000000000000, 0010000000000001 => fff8000000000000 |
| fcmpu fff8000000000000, 80100094e0000359 => fff8000000000000 |
| fcmpu fff8000000000000, 7ff0000000000000 => fff8000000000000 |
| fcmpu fff8000000000000, fff8000000000000 => fff8000000000000 |
| |
| PPC floating point arith insns with one arg: |
| fres 0010000000000001 => 7ff0000000000000 |
| fres 00100094e0000359 => 7ff0000000000000 |
| fres 3fe0000000000001 => 4000000000000000 |
| fres 3fe00094e0000359 => 3ffff00000000000 |
| fres 8010000000000001 => fff0000000000000 |
| fres 80100094e0000359 => fff0000000000000 |
| fres bfe0000000000001 => c000000000000000 |
| fres bfe00094e0000359 => bffff00000000000 |
| fres 0000000000000000 => 7ff0000000000000 |
| fres 8000000000000000 => fff0000000000000 |
| fres 7ff0000000000000 => 0000000000000000 |
| fres fff0000000000000 => 8000000000000000 |
| fres 7ff7ffffffffffff => 7ffff00000000000 |
| fres fff7ffffffffffff => fffff00000000000 |
| fres 7ff8000000000000 => 7ff8000000000000 |
| fres fff8000000000000 => fff8000000000000 |
| |
| frsqrte 0010000000000001 => 5fdf000000000000 |
| frsqrte 00100094e0000359 => 5fdf000000000000 |
| frsqrte 3fe0000000000001 => 3ff6000000000000 |
| frsqrte 3fe00094e0000359 => 3ff6000000000000 |
| frsqrte 8010000000000001 => 7ff8000000000000 |
| frsqrte 80100094e0000359 => 7ff8000000000000 |
| frsqrte bfe0000000000001 => 7ff8000000000000 |
| frsqrte bfe00094e0000359 => 7ff8000000000000 |
| frsqrte 0000000000000000 => 7ff0000000000000 |
| frsqrte 8000000000000000 => fff0000000000000 |
| frsqrte 7ff0000000000000 => 0000000000000000 |
| frsqrte fff0000000000000 => 7ff8000000000000 |
| frsqrte 7ff7ffffffffffff => 7fff000000000000 |
| frsqrte fff7ffffffffffff => ffff000000000000 |
| frsqrte 7ff8000000000000 => 7ff8000000000000 |
| frsqrte fff8000000000000 => fff8000000000000 |
| |
| frsp 0010000000000001 => 0000000000000000 |
| frsp 00100094e0000359 => 0000000000000000 |
| frsp 3fe0000000000001 => 3fe0000000000000 |
| frsp 3fe00094e0000359 => 3fe00094e0000000 |
| frsp 8010000000000001 => 8000000000000000 |
| frsp 80100094e0000359 => 8000000000000000 |
| frsp bfe0000000000001 => bfe0000000000000 |
| frsp bfe00094e0000359 => bfe00094e0000000 |
| frsp 0000000000000000 => 0000000000000000 |
| frsp 8000000000000000 => 8000000000000000 |
| frsp 7ff0000000000000 => 7ff0000000000000 |
| frsp fff0000000000000 => fff0000000000000 |
| frsp 7ff7ffffffffffff => 7fffffffe0000000 |
| frsp fff7ffffffffffff => ffffffffe0000000 |
| frsp 7ff8000000000000 => 7ff8000000000000 |
| frsp fff8000000000000 => fff8000000000000 |
| |
| fctiw 0010000000000001 => 0000000000000000 |
| fctiw 00100094e0000359 => 0000000000000000 |
| fctiw 3fe0000000000001 => 0000000000000001 |
| fctiw 3fe00094e0000359 => 0000000000000001 |
| fctiw 8010000000000001 => 0000000000000000 |
| fctiw 80100094e0000359 => 0000000000000000 |
| fctiw bfe0000000000001 => 00000000ffffffff |
| fctiw bfe00094e0000359 => 00000000ffffffff |
| fctiw 0000000000000000 => 0000000000000000 |
| fctiw 8000000000000000 => 0000000000000000 |
| fctiw 7ff0000000000000 => 000000007fffffff |
| fctiw fff0000000000000 => 0000000080000000 |
| fctiw 7ff7ffffffffffff => 0000000080000000 |
| fctiw fff7ffffffffffff => 0000000080000000 |
| fctiw 7ff8000000000000 => 0000000080000000 |
| fctiw fff8000000000000 => 0000000080000000 |
| |
| fctiwz 0010000000000001 => 0000000000000000 |
| fctiwz 00100094e0000359 => 0000000000000000 |
| fctiwz 3fe0000000000001 => 0000000000000000 |
| fctiwz 3fe00094e0000359 => 0000000000000000 |
| fctiwz 8010000000000001 => 0000000000000000 |
| fctiwz 80100094e0000359 => 0000000000000000 |
| fctiwz bfe0000000000001 => 0000000000000000 |
| fctiwz bfe00094e0000359 => 0000000000000000 |
| fctiwz 0000000000000000 => 0000000000000000 |
| fctiwz 8000000000000000 => 0000000000000000 |
| fctiwz 7ff0000000000000 => 000000007fffffff |
| fctiwz fff0000000000000 => 0000000080000000 |
| fctiwz 7ff7ffffffffffff => 0000000080000000 |
| fctiwz fff7ffffffffffff => 0000000080000000 |
| fctiwz 7ff8000000000000 => 0000000080000000 |
| fctiwz fff8000000000000 => 0000000080000000 |
| |
| fmr 0010000000000001 => 0010000000000001 |
| fmr 00100094e0000359 => 00100094e0000359 |
| fmr 3fe0000000000001 => 3fe0000000000001 |
| fmr 3fe00094e0000359 => 3fe00094e0000359 |
| fmr 8010000000000001 => 8010000000000001 |
| fmr 80100094e0000359 => 80100094e0000359 |
| fmr bfe0000000000001 => bfe0000000000001 |
| fmr bfe00094e0000359 => bfe00094e0000359 |
| fmr 0000000000000000 => 0000000000000000 |
| fmr 8000000000000000 => 8000000000000000 |
| fmr 7ff0000000000000 => 7ff0000000000000 |
| fmr fff0000000000000 => fff0000000000000 |
| fmr 7ff7ffffffffffff => 7ff7ffffffffffff |
| fmr fff7ffffffffffff => fff7ffffffffffff |
| fmr 7ff8000000000000 => 7ff8000000000000 |
| fmr fff8000000000000 => fff8000000000000 |
| |
| fneg 0010000000000001 => 8010000000000001 |
| fneg 00100094e0000359 => 80100094e0000359 |
| fneg 3fe0000000000001 => bfe0000000000001 |
| fneg 3fe00094e0000359 => bfe00094e0000359 |
| fneg 8010000000000001 => 0010000000000001 |
| fneg 80100094e0000359 => 00100094e0000359 |
| fneg bfe0000000000001 => 3fe0000000000001 |
| fneg bfe00094e0000359 => 3fe00094e0000359 |
| fneg 0000000000000000 => 8000000000000000 |
| fneg 8000000000000000 => 0000000000000000 |
| fneg 7ff0000000000000 => fff0000000000000 |
| fneg fff0000000000000 => 7ff0000000000000 |
| fneg 7ff7ffffffffffff => fff7ffffffffffff |
| fneg fff7ffffffffffff => 7ff7ffffffffffff |
| fneg 7ff8000000000000 => fff8000000000000 |
| fneg fff8000000000000 => 7ff8000000000000 |
| |
| fabs 0010000000000001 => 0010000000000001 |
| fabs 00100094e0000359 => 00100094e0000359 |
| fabs 3fe0000000000001 => 3fe0000000000001 |
| fabs 3fe00094e0000359 => 3fe00094e0000359 |
| fabs 8010000000000001 => 0010000000000001 |
| fabs 80100094e0000359 => 00100094e0000359 |
| fabs bfe0000000000001 => 3fe0000000000001 |
| fabs bfe00094e0000359 => 3fe00094e0000359 |
| fabs 0000000000000000 => 0000000000000000 |
| fabs 8000000000000000 => 0000000000000000 |
| fabs 7ff0000000000000 => 7ff0000000000000 |
| fabs fff0000000000000 => 7ff0000000000000 |
| fabs 7ff7ffffffffffff => 7ff7ffffffffffff |
| fabs fff7ffffffffffff => 7ff7ffffffffffff |
| fabs 7ff8000000000000 => 7ff8000000000000 |
| fabs fff8000000000000 => 7ff8000000000000 |
| |
| fnabs 0010000000000001 => 8010000000000001 |
| fnabs 00100094e0000359 => 80100094e0000359 |
| fnabs 3fe0000000000001 => bfe0000000000001 |
| fnabs 3fe00094e0000359 => bfe00094e0000359 |
| fnabs 8010000000000001 => 8010000000000001 |
| fnabs 80100094e0000359 => 80100094e0000359 |
| fnabs bfe0000000000001 => bfe0000000000001 |
| fnabs bfe00094e0000359 => bfe00094e0000359 |
| fnabs 0000000000000000 => 8000000000000000 |
| fnabs 8000000000000000 => 8000000000000000 |
| fnabs 7ff0000000000000 => fff0000000000000 |
| fnabs fff0000000000000 => fff0000000000000 |
| fnabs 7ff7ffffffffffff => fff7ffffffffffff |
| fnabs fff7ffffffffffff => fff7ffffffffffff |
| fnabs 7ff8000000000000 => fff8000000000000 |
| fnabs fff8000000000000 => fff8000000000000 |
| |
| fsqrt 0010000000000001 => 2000000000000000 |
| fsqrt 00100094e0000359 => 2000004a6f52dd4a |
| fsqrt 3fe0000000000001 => 3fe6a09e667f3bcd |
| fsqrt 3fe00094e0000359 => 3fe6a107aacb50df |
| fsqrt 8010000000000001 => 7ff8000000000000 |
| fsqrt 80100094e0000359 => 7ff8000000000000 |
| fsqrt bfe0000000000001 => 7ff8000000000000 |
| fsqrt bfe00094e0000359 => 7ff8000000000000 |
| fsqrt 0000000000000000 => 0000000000000000 |
| fsqrt 8000000000000000 => 8000000000000000 |
| fsqrt 7ff0000000000000 => 7ff0000000000000 |
| fsqrt fff0000000000000 => 7ff8000000000000 |
| fsqrt 7ff7ffffffffffff => 7fffffffffffffff |
| fsqrt fff7ffffffffffff => ffffffffffffffff |
| fsqrt 7ff8000000000000 => 7ff8000000000000 |
| fsqrt fff8000000000000 => fff8000000000000 |
| |
| PPC floating point arith insns |
| with one arg with flags update: |
| fres. 0010000000000001 => 7ff0000000000000 |
| fres. 00100094e0000359 => 7ff0000000000000 |
| fres. 3fe0000000000001 => 4000000000000000 |
| fres. 3fe00094e0000359 => 3ffff00000000000 |
| fres. 8010000000000001 => fff0000000000000 |
| fres. 80100094e0000359 => fff0000000000000 |
| fres. bfe0000000000001 => c000000000000000 |
| fres. bfe00094e0000359 => bffff00000000000 |
| fres. 0000000000000000 => 7ff0000000000000 |
| fres. 8000000000000000 => fff0000000000000 |
| fres. 7ff0000000000000 => 0000000000000000 |
| fres. fff0000000000000 => 8000000000000000 |
| fres. 7ff7ffffffffffff => 7ffff00000000000 |
| fres. fff7ffffffffffff => fffff00000000000 |
| fres. 7ff8000000000000 => 7ff8000000000000 |
| fres. fff8000000000000 => fff8000000000000 |
| |
| frsqrte. 0010000000000001 => 5fdf000000000000 |
| frsqrte. 00100094e0000359 => 5fdf000000000000 |
| frsqrte. 3fe0000000000001 => 3ff6000000000000 |
| frsqrte. 3fe00094e0000359 => 3ff6000000000000 |
| frsqrte. 8010000000000001 => 7ff8000000000000 |
| frsqrte. 80100094e0000359 => 7ff8000000000000 |
| frsqrte. bfe0000000000001 => 7ff8000000000000 |
| frsqrte. bfe00094e0000359 => 7ff8000000000000 |
| frsqrte. 0000000000000000 => 7ff0000000000000 |
| frsqrte. 8000000000000000 => fff0000000000000 |
| frsqrte. 7ff0000000000000 => 0000000000000000 |
| frsqrte. fff0000000000000 => 7ff8000000000000 |
| frsqrte. 7ff7ffffffffffff => 7fff000000000000 |
| frsqrte. fff7ffffffffffff => ffff000000000000 |
| frsqrte. 7ff8000000000000 => 7ff8000000000000 |
| frsqrte. fff8000000000000 => fff8000000000000 |
| |
| frsp. 0010000000000001 => 0000000000000000 |
| frsp. 00100094e0000359 => 0000000000000000 |
| frsp. 3fe0000000000001 => 3fe0000000000000 |
| frsp. 3fe00094e0000359 => 3fe00094e0000000 |
| frsp. 8010000000000001 => 8000000000000000 |
| frsp. 80100094e0000359 => 8000000000000000 |
| frsp. bfe0000000000001 => bfe0000000000000 |
| frsp. bfe00094e0000359 => bfe00094e0000000 |
| frsp. 0000000000000000 => 0000000000000000 |
| frsp. 8000000000000000 => 8000000000000000 |
| frsp. 7ff0000000000000 => 7ff0000000000000 |
| frsp. fff0000000000000 => fff0000000000000 |
| frsp. 7ff7ffffffffffff => 7fffffffe0000000 |
| frsp. fff7ffffffffffff => ffffffffe0000000 |
| frsp. 7ff8000000000000 => 7ff8000000000000 |
| frsp. fff8000000000000 => fff8000000000000 |
| |
| fctiw. 0010000000000001 => 0000000000000000 |
| fctiw. 00100094e0000359 => 0000000000000000 |
| fctiw. 3fe0000000000001 => 0000000000000001 |
| fctiw. 3fe00094e0000359 => 0000000000000001 |
| fctiw. 8010000000000001 => 0000000000000000 |
| fctiw. 80100094e0000359 => 0000000000000000 |
| fctiw. bfe0000000000001 => 00000000ffffffff |
| fctiw. bfe00094e0000359 => 00000000ffffffff |
| fctiw. 0000000000000000 => 0000000000000000 |
| fctiw. 8000000000000000 => 0000000000000000 |
| fctiw. 7ff0000000000000 => 000000007fffffff |
| fctiw. fff0000000000000 => 0000000080000000 |
| fctiw. 7ff7ffffffffffff => 0000000080000000 |
| fctiw. fff7ffffffffffff => 0000000080000000 |
| fctiw. 7ff8000000000000 => 0000000080000000 |
| fctiw. fff8000000000000 => 0000000080000000 |
| |
| fctiwz. 0010000000000001 => 0000000000000000 |
| fctiwz. 00100094e0000359 => 0000000000000000 |
| fctiwz. 3fe0000000000001 => 0000000000000000 |
| fctiwz. 3fe00094e0000359 => 0000000000000000 |
| fctiwz. 8010000000000001 => 0000000000000000 |
| fctiwz. 80100094e0000359 => 0000000000000000 |
| fctiwz. bfe0000000000001 => 0000000000000000 |
| fctiwz. bfe00094e0000359 => 0000000000000000 |
| fctiwz. 0000000000000000 => 0000000000000000 |
| fctiwz. 8000000000000000 => 0000000000000000 |
| fctiwz. 7ff0000000000000 => 000000007fffffff |
| fctiwz. fff0000000000000 => 0000000080000000 |
| fctiwz. 7ff7ffffffffffff => 0000000080000000 |
| fctiwz. fff7ffffffffffff => 0000000080000000 |
| fctiwz. 7ff8000000000000 => 0000000080000000 |
| fctiwz. fff8000000000000 => 0000000080000000 |
| |
| fmr. 0010000000000001 => 0010000000000001 |
| fmr. 00100094e0000359 => 00100094e0000359 |
| fmr. 3fe0000000000001 => 3fe0000000000001 |
| fmr. 3fe00094e0000359 => 3fe00094e0000359 |
| fmr. 8010000000000001 => 8010000000000001 |
| fmr. 80100094e0000359 => 80100094e0000359 |
| fmr. bfe0000000000001 => bfe0000000000001 |
| fmr. bfe00094e0000359 => bfe00094e0000359 |
| fmr. 0000000000000000 => 0000000000000000 |
| fmr. 8000000000000000 => 8000000000000000 |
| fmr. 7ff0000000000000 => 7ff0000000000000 |
| fmr. fff0000000000000 => fff0000000000000 |
| fmr. 7ff7ffffffffffff => 7ff7ffffffffffff |
| fmr. fff7ffffffffffff => fff7ffffffffffff |
| fmr. 7ff8000000000000 => 7ff8000000000000 |
| fmr. fff8000000000000 => fff8000000000000 |
| |
| fneg. 0010000000000001 => 8010000000000001 |
| fneg. 00100094e0000359 => 80100094e0000359 |
| fneg. 3fe0000000000001 => bfe0000000000001 |
| fneg. 3fe00094e0000359 => bfe00094e0000359 |
| fneg. 8010000000000001 => 0010000000000001 |
| fneg. 80100094e0000359 => 00100094e0000359 |
| fneg. bfe0000000000001 => 3fe0000000000001 |
| fneg. bfe00094e0000359 => 3fe00094e0000359 |
| fneg. 0000000000000000 => 8000000000000000 |
| fneg. 8000000000000000 => 0000000000000000 |
| fneg. 7ff0000000000000 => fff0000000000000 |
| fneg. fff0000000000000 => 7ff0000000000000 |
| fneg. 7ff7ffffffffffff => fff7ffffffffffff |
| fneg. fff7ffffffffffff => 7ff7ffffffffffff |
| fneg. 7ff8000000000000 => fff8000000000000 |
| fneg. fff8000000000000 => 7ff8000000000000 |
| |
| fabs. 0010000000000001 => 0010000000000001 |
| fabs. 00100094e0000359 => 00100094e0000359 |
| fabs. 3fe0000000000001 => 3fe0000000000001 |
| fabs. 3fe00094e0000359 => 3fe00094e0000359 |
| fabs. 8010000000000001 => 0010000000000001 |
| fabs. 80100094e0000359 => 00100094e0000359 |
| fabs. bfe0000000000001 => 3fe0000000000001 |
| fabs. bfe00094e0000359 => 3fe00094e0000359 |
| fabs. 0000000000000000 => 0000000000000000 |
| fabs. 8000000000000000 => 0000000000000000 |
| fabs. 7ff0000000000000 => 7ff0000000000000 |
| fabs. fff0000000000000 => 7ff0000000000000 |
| fabs. 7ff7ffffffffffff => 7ff7ffffffffffff |
| fabs. fff7ffffffffffff => 7ff7ffffffffffff |
| fabs. 7ff8000000000000 => 7ff8000000000000 |
| fabs. fff8000000000000 => 7ff8000000000000 |
| |
| fnabs. 0010000000000001 => 8010000000000001 |
| fnabs. 00100094e0000359 => 80100094e0000359 |
| fnabs. 3fe0000000000001 => bfe0000000000001 |
| fnabs. 3fe00094e0000359 => bfe00094e0000359 |
| fnabs. 8010000000000001 => 8010000000000001 |
| fnabs. 80100094e0000359 => 80100094e0000359 |
| fnabs. bfe0000000000001 => bfe0000000000001 |
| fnabs. bfe00094e0000359 => bfe00094e0000359 |
| fnabs. 0000000000000000 => 8000000000000000 |
| fnabs. 8000000000000000 => 8000000000000000 |
| fnabs. 7ff0000000000000 => fff0000000000000 |
| fnabs. fff0000000000000 => fff0000000000000 |
| fnabs. 7ff7ffffffffffff => fff7ffffffffffff |
| fnabs. fff7ffffffffffff => fff7ffffffffffff |
| fnabs. 7ff8000000000000 => fff8000000000000 |
| fnabs. fff8000000000000 => fff8000000000000 |
| |
| PPC floating point status register manipulation insns: |
| PPC floating point status register manipulation insns |
| with flags update: |
| PPC float load insns |
| with one register + one 16 bits immediate args with flags update: |
| lfs 0010000000000001, -120 => 37e0000000000000, 0 |
| lfs 00100094e0000359, -112 => 37e0009400000000, 0 |
| lfs 3fe0000000000001, -104 => 3ffc000000000000, 0 |
| lfs 3fe00094e0000359, -96 => 3ffc001280000000, 0 |
| lfs 8010000000000001, -88 => b7e0000000000000, 0 |
| lfs 80100094e0000359, -80 => b7e0009400000000, 0 |
| lfs bfe0000000000001, -72 => bffc000000000000, 0 |
| lfs bfe00094e0000359, -64 => bffc001280000000, 0 |
| lfs 0000000000000000, -56 => 0000000000000000, 0 |
| lfs 8000000000000000, -48 => 8000000000000000, 0 |
| lfs 7ff0000000000000, -40 => 7ffe000000000000, 0 |
| lfs fff0000000000000, -32 => fffe000000000000, 0 |
| lfs 7ff7ffffffffffff, -24 => 7ffeffffe0000000, 0 |
| lfs fff7ffffffffffff, -16 => fffeffffe0000000, 0 |
| lfs 7ff8000000000000, -8 => 7fff000000000000, 0 |
| lfs 0010000000000001, 0 => 37e0000000000000, 0 |
| lfs 00100094e0000359, 8 => 37e0009400000000, 0 |
| lfs 3fe0000000000001, 16 => 3ffc000000000000, 0 |
| lfs 3fe00094e0000359, 24 => 3ffc001280000000, 0 |
| lfs 8010000000000001, 32 => b7e0000000000000, 0 |
| lfs 80100094e0000359, 40 => b7e0009400000000, 0 |
| lfs bfe0000000000001, 48 => bffc000000000000, 0 |
| lfs bfe00094e0000359, 56 => bffc001280000000, 0 |
| lfs 0000000000000000, 64 => 0000000000000000, 0 |
| lfs 8000000000000000, 72 => 8000000000000000, 0 |
| lfs 7ff0000000000000, 80 => 7ffe000000000000, 0 |
| lfs fff0000000000000, 88 => fffe000000000000, 0 |
| lfs 7ff7ffffffffffff, 96 => 7ffeffffe0000000, 0 |
| lfs fff7ffffffffffff, 104 => fffeffffe0000000, 0 |
| lfs 7ff8000000000000, 112 => 7fff000000000000, 0 |
| lfs fff8000000000000, 120 => ffff000000000000, 0 |
| |
| lfsu 0010000000000001, -120 => 37e0000000000000, -120 |
| lfsu 00100094e0000359, -112 => 37e0009400000000, -112 |
| lfsu 3fe0000000000001, -104 => 3ffc000000000000, -104 |
| lfsu 3fe00094e0000359, -96 => 3ffc001280000000, -96 |
| lfsu 8010000000000001, -88 => b7e0000000000000, -88 |
| lfsu 80100094e0000359, -80 => b7e0009400000000, -80 |
| lfsu bfe0000000000001, -72 => bffc000000000000, -72 |
| lfsu bfe00094e0000359, -64 => bffc001280000000, -64 |
| lfsu 0000000000000000, -56 => 0000000000000000, -56 |
| lfsu 8000000000000000, -48 => 8000000000000000, -48 |
| lfsu 7ff0000000000000, -40 => 7ffe000000000000, -40 |
| lfsu fff0000000000000, -32 => fffe000000000000, -32 |
| lfsu 7ff7ffffffffffff, -24 => 7ffeffffe0000000, -24 |
| lfsu fff7ffffffffffff, -16 => fffeffffe0000000, -16 |
| lfsu 7ff8000000000000, -8 => 7fff000000000000, -8 |
| lfsu 0010000000000001, 0 => 37e0000000000000, 0 |
| lfsu 00100094e0000359, 8 => 37e0009400000000, 8 |
| lfsu 3fe0000000000001, 16 => 3ffc000000000000, 16 |
| lfsu 3fe00094e0000359, 24 => 3ffc001280000000, 24 |
| lfsu 8010000000000001, 32 => b7e0000000000000, 32 |
| lfsu 80100094e0000359, 40 => b7e0009400000000, 40 |
| lfsu bfe0000000000001, 48 => bffc000000000000, 48 |
| lfsu bfe00094e0000359, 56 => bffc001280000000, 56 |
| lfsu 0000000000000000, 64 => 0000000000000000, 64 |
| lfsu 8000000000000000, 72 => 8000000000000000, 72 |
| lfsu 7ff0000000000000, 80 => 7ffe000000000000, 80 |
| lfsu fff0000000000000, 88 => fffe000000000000, 88 |
| lfsu 7ff7ffffffffffff, 96 => 7ffeffffe0000000, 96 |
| lfsu fff7ffffffffffff, 104 => fffeffffe0000000, 104 |
| lfsu 7ff8000000000000, 112 => 7fff000000000000, 112 |
| lfsu fff8000000000000, 120 => ffff000000000000, 120 |
| |
| lfd 0010000000000001, -120 => 0010000000000001, 0 |
| lfd 00100094e0000359, -112 => 00100094e0000359, 0 |
| lfd 3fe0000000000001, -104 => 3fe0000000000001, 0 |
| lfd 3fe00094e0000359, -96 => 3fe00094e0000359, 0 |
| lfd 8010000000000001, -88 => 8010000000000001, 0 |
| lfd 80100094e0000359, -80 => 80100094e0000359, 0 |
| lfd bfe0000000000001, -72 => bfe0000000000001, 0 |
| lfd bfe00094e0000359, -64 => bfe00094e0000359, 0 |
| lfd 0000000000000000, -56 => 0000000000000000, 0 |
| lfd 8000000000000000, -48 => 8000000000000000, 0 |
| lfd 7ff0000000000000, -40 => 7ff0000000000000, 0 |
| lfd fff0000000000000, -32 => fff0000000000000, 0 |
| lfd 7ff7ffffffffffff, -24 => 7ff7ffffffffffff, 0 |
| lfd fff7ffffffffffff, -16 => fff7ffffffffffff, 0 |
| lfd 7ff8000000000000, -8 => 7ff8000000000000, 0 |
| lfd 0010000000000001, 0 => 0010000000000001, 0 |
| lfd 00100094e0000359, 8 => 00100094e0000359, 0 |
| lfd 3fe0000000000001, 16 => 3fe0000000000001, 0 |
| lfd 3fe00094e0000359, 24 => 3fe00094e0000359, 0 |
| lfd 8010000000000001, 32 => 8010000000000001, 0 |
| lfd 80100094e0000359, 40 => 80100094e0000359, 0 |
| lfd bfe0000000000001, 48 => bfe0000000000001, 0 |
| lfd bfe00094e0000359, 56 => bfe00094e0000359, 0 |
| lfd 0000000000000000, 64 => 0000000000000000, 0 |
| lfd 8000000000000000, 72 => 8000000000000000, 0 |
| lfd 7ff0000000000000, 80 => 7ff0000000000000, 0 |
| lfd fff0000000000000, 88 => fff0000000000000, 0 |
| lfd 7ff7ffffffffffff, 96 => 7ff7ffffffffffff, 0 |
| lfd fff7ffffffffffff, 104 => fff7ffffffffffff, 0 |
| lfd 7ff8000000000000, 112 => 7ff8000000000000, 0 |
| lfd fff8000000000000, 120 => fff8000000000000, 0 |
| |
| lfdu 0010000000000001, -120 => 0010000000000001, -120 |
| lfdu 00100094e0000359, -112 => 00100094e0000359, -112 |
| lfdu 3fe0000000000001, -104 => 3fe0000000000001, -104 |
| lfdu 3fe00094e0000359, -96 => 3fe00094e0000359, -96 |
| lfdu 8010000000000001, -88 => 8010000000000001, -88 |
| lfdu 80100094e0000359, -80 => 80100094e0000359, -80 |
| lfdu bfe0000000000001, -72 => bfe0000000000001, -72 |
| lfdu bfe00094e0000359, -64 => bfe00094e0000359, -64 |
| lfdu 0000000000000000, -56 => 0000000000000000, -56 |
| lfdu 8000000000000000, -48 => 8000000000000000, -48 |
| lfdu 7ff0000000000000, -40 => 7ff0000000000000, -40 |
| lfdu fff0000000000000, -32 => fff0000000000000, -32 |
| lfdu 7ff7ffffffffffff, -24 => 7ff7ffffffffffff, -24 |
| lfdu fff7ffffffffffff, -16 => fff7ffffffffffff, -16 |
| lfdu 7ff8000000000000, -8 => 7ff8000000000000, -8 |
| lfdu 0010000000000001, 0 => 0010000000000001, 0 |
| lfdu 00100094e0000359, 8 => 00100094e0000359, 8 |
| lfdu 3fe0000000000001, 16 => 3fe0000000000001, 16 |
| lfdu 3fe00094e0000359, 24 => 3fe00094e0000359, 24 |
| lfdu 8010000000000001, 32 => 8010000000000001, 32 |
| lfdu 80100094e0000359, 40 => 80100094e0000359, 40 |
| lfdu bfe0000000000001, 48 => bfe0000000000001, 48 |
| lfdu bfe00094e0000359, 56 => bfe00094e0000359, 56 |
| lfdu 0000000000000000, 64 => 0000000000000000, 64 |
| lfdu 8000000000000000, 72 => 8000000000000000, 72 |
| lfdu 7ff0000000000000, 80 => 7ff0000000000000, 80 |
| lfdu fff0000000000000, 88 => fff0000000000000, 88 |
| lfdu 7ff7ffffffffffff, 96 => 7ff7ffffffffffff, 96 |
| lfdu fff7ffffffffffff, 104 => fff7ffffffffffff, 104 |
| lfdu 7ff8000000000000, 112 => 7ff8000000000000, 112 |
| lfdu fff8000000000000, 120 => fff8000000000000, 120 |
| |
| PPC float load insns with two register args: |
| lfsx 0010000000000001, -120 => 37e0000000000000, 0 |
| lfsx 00100094e0000359, -112 => 37e0009400000000, 0 |
| lfsx 3fe0000000000001, -104 => 3ffc000000000000, 0 |
| lfsx 3fe00094e0000359, -96 => 3ffc001280000000, 0 |
| lfsx 8010000000000001, -88 => b7e0000000000000, 0 |
| lfsx 80100094e0000359, -80 => b7e0009400000000, 0 |
| lfsx bfe0000000000001, -72 => bffc000000000000, 0 |
| lfsx bfe00094e0000359, -64 => bffc001280000000, 0 |
| lfsx 0000000000000000, -56 => 0000000000000000, 0 |
| lfsx 8000000000000000, -48 => 8000000000000000, 0 |
| lfsx 7ff0000000000000, -40 => 7ffe000000000000, 0 |
| lfsx fff0000000000000, -32 => fffe000000000000, 0 |
| lfsx 7ff7ffffffffffff, -24 => 7ffeffffe0000000, 0 |
| lfsx fff7ffffffffffff, -16 => fffeffffe0000000, 0 |
| lfsx 7ff8000000000000, -8 => 7fff000000000000, 0 |
| lfsx 0010000000000001, 0 => 37e0000000000000, 0 |
| lfsx 00100094e0000359, 8 => 37e0009400000000, 0 |
| lfsx 3fe0000000000001, 16 => 3ffc000000000000, 0 |
| lfsx 3fe00094e0000359, 24 => 3ffc001280000000, 0 |
| lfsx 8010000000000001, 32 => b7e0000000000000, 0 |
| lfsx 80100094e0000359, 40 => b7e0009400000000, 0 |
| lfsx bfe0000000000001, 48 => bffc000000000000, 0 |
| lfsx bfe00094e0000359, 56 => bffc001280000000, 0 |
| lfsx 0000000000000000, 64 => 0000000000000000, 0 |
| lfsx 8000000000000000, 72 => 8000000000000000, 0 |
| lfsx 7ff0000000000000, 80 => 7ffe000000000000, 0 |
| lfsx fff0000000000000, 88 => fffe000000000000, 0 |
| lfsx 7ff7ffffffffffff, 96 => 7ffeffffe0000000, 0 |
| lfsx fff7ffffffffffff, 104 => fffeffffe0000000, 0 |
| lfsx 7ff8000000000000, 112 => 7fff000000000000, 0 |
| lfsx fff8000000000000, 120 => ffff000000000000, 0 |
| |
| lfsux 0010000000000001, -120 => 37e0000000000000, -120 |
| lfsux 00100094e0000359, -112 => 37e0009400000000, -112 |
| lfsux 3fe0000000000001, -104 => 3ffc000000000000, -104 |
| lfsux 3fe00094e0000359, -96 => 3ffc001280000000, -96 |
| lfsux 8010000000000001, -88 => b7e0000000000000, -88 |
| lfsux 80100094e0000359, -80 => b7e0009400000000, -80 |
| lfsux bfe0000000000001, -72 => bffc000000000000, -72 |
| lfsux bfe00094e0000359, -64 => bffc001280000000, -64 |
| lfsux 0000000000000000, -56 => 0000000000000000, -56 |
| lfsux 8000000000000000, -48 => 8000000000000000, -48 |
| lfsux 7ff0000000000000, -40 => 7ffe000000000000, -40 |
| lfsux fff0000000000000, -32 => fffe000000000000, -32 |
| lfsux 7ff7ffffffffffff, -24 => 7ffeffffe0000000, -24 |
| lfsux fff7ffffffffffff, -16 => fffeffffe0000000, -16 |
| lfsux 7ff8000000000000, -8 => 7fff000000000000, -8 |
| lfsux 0010000000000001, 0 => 37e0000000000000, 0 |
| lfsux 00100094e0000359, 8 => 37e0009400000000, 8 |
| lfsux 3fe0000000000001, 16 => 3ffc000000000000, 16 |
| lfsux 3fe00094e0000359, 24 => 3ffc001280000000, 24 |
| lfsux 8010000000000001, 32 => b7e0000000000000, 32 |
| lfsux 80100094e0000359, 40 => b7e0009400000000, 40 |
| lfsux bfe0000000000001, 48 => bffc000000000000, 48 |
| lfsux bfe00094e0000359, 56 => bffc001280000000, 56 |
| lfsux 0000000000000000, 64 => 0000000000000000, 64 |
| lfsux 8000000000000000, 72 => 8000000000000000, 72 |
| lfsux 7ff0000000000000, 80 => 7ffe000000000000, 80 |
| lfsux fff0000000000000, 88 => fffe000000000000, 88 |
| lfsux 7ff7ffffffffffff, 96 => 7ffeffffe0000000, 96 |
| lfsux fff7ffffffffffff, 104 => fffeffffe0000000, 104 |
| lfsux 7ff8000000000000, 112 => 7fff000000000000, 112 |
| lfsux fff8000000000000, 120 => ffff000000000000, 120 |
| |
| lfdx 0010000000000001, -120 => 0010000000000001, 0 |
| lfdx 00100094e0000359, -112 => 00100094e0000359, 0 |
| lfdx 3fe0000000000001, -104 => 3fe0000000000001, 0 |
| lfdx 3fe00094e0000359, -96 => 3fe00094e0000359, 0 |
| lfdx 8010000000000001, -88 => 8010000000000001, 0 |
| lfdx 80100094e0000359, -80 => 80100094e0000359, 0 |
| lfdx bfe0000000000001, -72 => bfe0000000000001, 0 |
| lfdx bfe00094e0000359, -64 => bfe00094e0000359, 0 |
| lfdx 0000000000000000, -56 => 0000000000000000, 0 |
| lfdx 8000000000000000, -48 => 8000000000000000, 0 |
| lfdx 7ff0000000000000, -40 => 7ff0000000000000, 0 |
| lfdx fff0000000000000, -32 => fff0000000000000, 0 |
| lfdx 7ff7ffffffffffff, -24 => 7ff7ffffffffffff, 0 |
| lfdx fff7ffffffffffff, -16 => fff7ffffffffffff, 0 |
| lfdx 7ff8000000000000, -8 => 7ff8000000000000, 0 |
| lfdx 0010000000000001, 0 => 0010000000000001, 0 |
| lfdx 00100094e0000359, 8 => 00100094e0000359, 0 |
| lfdx 3fe0000000000001, 16 => 3fe0000000000001, 0 |
| lfdx 3fe00094e0000359, 24 => 3fe00094e0000359, 0 |
| lfdx 8010000000000001, 32 => 8010000000000001, 0 |
| lfdx 80100094e0000359, 40 => 80100094e0000359, 0 |
| lfdx bfe0000000000001, 48 => bfe0000000000001, 0 |
| lfdx bfe00094e0000359, 56 => bfe00094e0000359, 0 |
| lfdx 0000000000000000, 64 => 0000000000000000, 0 |
| lfdx 8000000000000000, 72 => 8000000000000000, 0 |
| lfdx 7ff0000000000000, 80 => 7ff0000000000000, 0 |
| lfdx fff0000000000000, 88 => fff0000000000000, 0 |
| lfdx 7ff7ffffffffffff, 96 => 7ff7ffffffffffff, 0 |
| lfdx fff7ffffffffffff, 104 => fff7ffffffffffff, 0 |
| lfdx 7ff8000000000000, 112 => 7ff8000000000000, 0 |
| lfdx fff8000000000000, 120 => fff8000000000000, 0 |
| |
| lfdux 0010000000000001, -120 => 0010000000000001, -120 |
| lfdux 00100094e0000359, -112 => 00100094e0000359, -112 |
| lfdux 3fe0000000000001, -104 => 3fe0000000000001, -104 |
| lfdux 3fe00094e0000359, -96 => 3fe00094e0000359, -96 |
| lfdux 8010000000000001, -88 => 8010000000000001, -88 |
| lfdux 80100094e0000359, -80 => 80100094e0000359, -80 |
| lfdux bfe0000000000001, -72 => bfe0000000000001, -72 |
| lfdux bfe00094e0000359, -64 => bfe00094e0000359, -64 |
| lfdux 0000000000000000, -56 => 0000000000000000, -56 |
| lfdux 8000000000000000, -48 => 8000000000000000, -48 |
| lfdux 7ff0000000000000, -40 => 7ff0000000000000, -40 |
| lfdux fff0000000000000, -32 => fff0000000000000, -32 |
| lfdux 7ff7ffffffffffff, -24 => 7ff7ffffffffffff, -24 |
| lfdux fff7ffffffffffff, -16 => fff7ffffffffffff, -16 |
| lfdux 7ff8000000000000, -8 => 7ff8000000000000, -8 |
| lfdux 0010000000000001, 0 => 0010000000000001, 0 |
| lfdux 00100094e0000359, 8 => 00100094e0000359, 8 |
| lfdux 3fe0000000000001, 16 => 3fe0000000000001, 16 |
| lfdux 3fe00094e0000359, 24 => 3fe00094e0000359, 24 |
| lfdux 8010000000000001, 32 => 8010000000000001, 32 |
| lfdux 80100094e0000359, 40 => 80100094e0000359, 40 |
| lfdux bfe0000000000001, 48 => bfe0000000000001, 48 |
| lfdux bfe00094e0000359, 56 => bfe00094e0000359, 56 |
| lfdux 0000000000000000, 64 => 0000000000000000, 64 |
| lfdux 8000000000000000, 72 => 8000000000000000, 72 |
| lfdux 7ff0000000000000, 80 => 7ff0000000000000, 80 |
| lfdux fff0000000000000, 88 => fff0000000000000, 88 |
| lfdux 7ff7ffffffffffff, 96 => 7ff7ffffffffffff, 96 |
| lfdux fff7ffffffffffff, 104 => fff7ffffffffffff, 104 |
| lfdux 7ff8000000000000, 112 => 7ff8000000000000, 112 |
| lfdux fff8000000000000, 120 => fff8000000000000, 120 |
| |
| PPC float store insns |
| with one register + one 16 bits immediate args with flags update: |
| stfs 0010000000000001, -56 => 0000000000000000, 0 |
| stfs 00100094e0000359, -48 => 0000000000000000, 0 |
| stfs 3fe0000000000001, -40 => 3f00000000000000, 0 |
| stfs 3fe00094e0000359, -32 => 3f0004a700000000, 0 |
| stfs 8010000000000001, -24 => 8000000000000000, 0 |
| stfs 80100094e0000359, -16 => 8000000000000000, 0 |
| stfs bfe0000000000001, -8 => bf00000000000000, 0 |
| stfs 0010000000000001, 0 => 0000000000000000, 0 |
| stfs 00100094e0000359, 8 => 0000000000000000, 0 |
| stfs 3fe0000000000001, 16 => 3f00000000000000, 0 |
| stfs 3fe00094e0000359, 24 => 3f0004a700000000, 0 |
| stfs 8010000000000001, 32 => 8000000000000000, 0 |
| stfs 80100094e0000359, 40 => 8000000000000000, 0 |
| stfs bfe0000000000001, 48 => bf00000000000000, 0 |
| stfs bfe00094e0000359, 56 => bf0004a700000000, 0 |
| |
| stfsu 0010000000000001, -56 => 0000000000000000, -56 |
| stfsu 00100094e0000359, -48 => 0000000000000000, -48 |
| stfsu 3fe0000000000001, -40 => 3f00000000000000, -40 |
| stfsu 3fe00094e0000359, -32 => 3f0004a700000000, -32 |
| stfsu 8010000000000001, -24 => 8000000000000000, -24 |
| stfsu 80100094e0000359, -16 => 8000000000000000, -16 |
| stfsu bfe0000000000001, -8 => bf00000000000000, -8 |
| stfsu 0010000000000001, 0 => 0000000000000000, 0 |
| stfsu 00100094e0000359, 8 => 0000000000000000, 8 |
| stfsu 3fe0000000000001, 16 => 3f00000000000000, 16 |
| stfsu 3fe00094e0000359, 24 => 3f0004a700000000, 24 |
| stfsu 8010000000000001, 32 => 8000000000000000, 32 |
| stfsu 80100094e0000359, 40 => 8000000000000000, 40 |
| stfsu bfe0000000000001, 48 => bf00000000000000, 48 |
| stfsu bfe00094e0000359, 56 => bf0004a700000000, 56 |
| |
| stfd 0010000000000001, -120 => 0010000000000001, 0 |
| stfd 00100094e0000359, -112 => 00100094e0000359, 0 |
| stfd 3fe0000000000001, -104 => 3fe0000000000001, 0 |
| stfd 3fe00094e0000359, -96 => 3fe00094e0000359, 0 |
| stfd 8010000000000001, -88 => 8010000000000001, 0 |
| stfd 80100094e0000359, -80 => 80100094e0000359, 0 |
| stfd bfe0000000000001, -72 => bfe0000000000001, 0 |
| stfd bfe00094e0000359, -64 => bfe00094e0000359, 0 |
| stfd 0000000000000000, -56 => 0000000000000000, 0 |
| stfd 8000000000000000, -48 => 8000000000000000, 0 |
| stfd 7ff0000000000000, -40 => 7ff0000000000000, 0 |
| stfd fff0000000000000, -32 => fff0000000000000, 0 |
| stfd 7ff7ffffffffffff, -24 => 7ff7ffffffffffff, 0 |
| stfd fff7ffffffffffff, -16 => fff7ffffffffffff, 0 |
| stfd 7ff8000000000000, -8 => 7ff8000000000000, 0 |
| stfd 0010000000000001, 0 => 0010000000000001, 0 |
| stfd 00100094e0000359, 8 => 00100094e0000359, 0 |
| stfd 3fe0000000000001, 16 => 3fe0000000000001, 0 |
| stfd 3fe00094e0000359, 24 => 3fe00094e0000359, 0 |
| stfd 8010000000000001, 32 => 8010000000000001, 0 |
| stfd 80100094e0000359, 40 => 80100094e0000359, 0 |
| stfd bfe0000000000001, 48 => bfe0000000000001, 0 |
| stfd bfe00094e0000359, 56 => bfe00094e0000359, 0 |
| stfd 0000000000000000, 64 => 0000000000000000, 0 |
| stfd 8000000000000000, 72 => 8000000000000000, 0 |
| stfd 7ff0000000000000, 80 => 7ff0000000000000, 0 |
| stfd fff0000000000000, 88 => fff0000000000000, 0 |
| stfd 7ff7ffffffffffff, 96 => 7ff7ffffffffffff, 0 |
| stfd fff7ffffffffffff, 104 => fff7ffffffffffff, 0 |
| stfd 7ff8000000000000, 112 => 7ff8000000000000, 0 |
| stfd fff8000000000000, 120 => fff8000000000000, 0 |
| |
| stfdu 0010000000000001, -120 => 0010000000000001, -120 |
| stfdu 00100094e0000359, -112 => 00100094e0000359, -112 |
| stfdu 3fe0000000000001, -104 => 3fe0000000000001, -104 |
| stfdu 3fe00094e0000359, -96 => 3fe00094e0000359, -96 |
| stfdu 8010000000000001, -88 => 8010000000000001, -88 |
| stfdu 80100094e0000359, -80 => 80100094e0000359, -80 |
| stfdu bfe0000000000001, -72 => bfe0000000000001, -72 |
| stfdu bfe00094e0000359, -64 => bfe00094e0000359, -64 |
| stfdu 0000000000000000, -56 => 0000000000000000, -56 |
| stfdu 8000000000000000, -48 => 8000000000000000, -48 |
| stfdu 7ff0000000000000, -40 => 7ff0000000000000, -40 |
| stfdu fff0000000000000, -32 => fff0000000000000, -32 |
| stfdu 7ff7ffffffffffff, -24 => 7ff7ffffffffffff, -24 |
| stfdu fff7ffffffffffff, -16 => fff7ffffffffffff, -16 |
| stfdu 7ff8000000000000, -8 => 7ff8000000000000, -8 |
| stfdu 0010000000000001, 0 => 0010000000000001, 0 |
| stfdu 00100094e0000359, 8 => 00100094e0000359, 8 |
| stfdu 3fe0000000000001, 16 => 3fe0000000000001, 16 |
| stfdu 3fe00094e0000359, 24 => 3fe00094e0000359, 24 |
| stfdu 8010000000000001, 32 => 8010000000000001, 32 |
| stfdu 80100094e0000359, 40 => 80100094e0000359, 40 |
| stfdu bfe0000000000001, 48 => bfe0000000000001, 48 |
| stfdu bfe00094e0000359, 56 => bfe00094e0000359, 56 |
| stfdu 0000000000000000, 64 => 0000000000000000, 64 |
| stfdu 8000000000000000, 72 => 8000000000000000, 72 |
| stfdu 7ff0000000000000, 80 => 7ff0000000000000, 80 |
| stfdu fff0000000000000, 88 => fff0000000000000, 88 |
| stfdu 7ff7ffffffffffff, 96 => 7ff7ffffffffffff, 96 |
| stfdu fff7ffffffffffff, 104 => fff7ffffffffffff, 104 |
| stfdu 7ff8000000000000, 112 => 7ff8000000000000, 112 |
| stfdu fff8000000000000, 120 => fff8000000000000, 120 |
| |
| PPC float store insns with three register args: |
| stfsx 0010000000000001, 0 => 0000000000000000, 0 |
| stfsx 00100094e0000359, 8 => 0000000000000000, 0 |
| stfsx 3fe0000000000001, 16 => 3f00000000000000, 0 |
| stfsx 3fe00094e0000359, 24 => 3f0004a700000000, 0 |
| stfsx 8010000000000001, 32 => 8000000000000000, 0 |
| stfsx 80100094e0000359, 40 => 8000000000000000, 0 |
| stfsx bfe0000000000001, 48 => bf00000000000000, 0 |
| stfsx bfe00094e0000359, 56 => bf0004a700000000, 0 |
| |
| stfsux 0010000000000001, 0 => 0000000000000000, 0 |
| stfsux 00100094e0000359, 8 => 0000000000000000, 8 |
| stfsux 3fe0000000000001, 16 => 3f00000000000000, 16 |
| stfsux 3fe00094e0000359, 24 => 3f0004a700000000, 24 |
| stfsux 8010000000000001, 32 => 8000000000000000, 32 |
| stfsux 80100094e0000359, 40 => 8000000000000000, 40 |
| stfsux bfe0000000000001, 48 => bf00000000000000, 48 |
| stfsux bfe00094e0000359, 56 => bf0004a700000000, 56 |
| |
| stfdx 0010000000000001, 0 => 0010000000000001, 0 |
| stfdx 00100094e0000359, 8 => 00100094e0000359, 0 |
| stfdx 3fe0000000000001, 16 => 3fe0000000000001, 0 |
| stfdx 3fe00094e0000359, 24 => 3fe00094e0000359, 0 |
| stfdx 8010000000000001, 32 => 8010000000000001, 0 |
| stfdx 80100094e0000359, 40 => 80100094e0000359, 0 |
| stfdx bfe0000000000001, 48 => bfe0000000000001, 0 |
| stfdx bfe00094e0000359, 56 => bfe00094e0000359, 0 |
| stfdx 0000000000000000, 64 => 0000000000000000, 0 |
| stfdx 8000000000000000, 72 => 8000000000000000, 0 |
| stfdx 7ff0000000000000, 80 => 7ff0000000000000, 0 |
| stfdx fff0000000000000, 88 => fff0000000000000, 0 |
| stfdx 7ff7ffffffffffff, 96 => 7ff7ffffffffffff, 0 |
| stfdx fff7ffffffffffff, 104 => fff7ffffffffffff, 0 |
| stfdx 7ff8000000000000, 112 => 7ff8000000000000, 0 |
| stfdx fff8000000000000, 120 => fff8000000000000, 0 |
| |
| stfdux 0010000000000001, 0 => 0010000000000001, 0 |
| stfdux 00100094e0000359, 8 => 00100094e0000359, 8 |
| stfdux 3fe0000000000001, 16 => 3fe0000000000001, 16 |
| stfdux 3fe00094e0000359, 24 => 3fe00094e0000359, 24 |
| stfdux 8010000000000001, 32 => 8010000000000001, 32 |
| stfdux 80100094e0000359, 40 => 80100094e0000359, 40 |
| stfdux bfe0000000000001, 48 => bfe0000000000001, 48 |
| stfdux bfe00094e0000359, 56 => bfe00094e0000359, 56 |
| stfdux 0000000000000000, 64 => 0000000000000000, 64 |
| stfdux 8000000000000000, 72 => 8000000000000000, 72 |
| stfdux 7ff0000000000000, 80 => 7ff0000000000000, 80 |
| stfdux fff0000000000000, 88 => fff0000000000000, 88 |
| stfdux 7ff7ffffffffffff, 96 => 7ff7ffffffffffff, 96 |
| stfdux fff7ffffffffffff, 104 => fff7ffffffffffff, 104 |
| stfdux 7ff8000000000000, 112 => 7ff8000000000000, 112 |
| stfdux fff8000000000000, 120 => fff8000000000000, 120 |
| |
| All done. Tested 71 different instructions |
