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 => 7fff800000000000 frsqrte fff7ffffffffffff => ffff800000000000 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 fcfid 0010000000000001 => 4330000000000001 fcfid 00100094e0000359 => 43300094e0000359 fcfid 3fe0000000000001 => 43cff00000000000 fcfid 3fe00094e0000359 => 43cff0004a700002 fcfid 8010000000000001 => c3dffc0000000000 fcfid 80100094e0000359 => c3dffbffdac7ffff fcfid bfe0000000000001 => c3d0080000000000 fcfid bfe00094e0000359 => c3d007ffdac7ffff fcfid 0000000000000000 => 0000000000000000 fcfid 8000000000000000 => c3e0000000000000 fcfid 7ff0000000000000 => 43dffc0000000000 fcfid fff0000000000000 => c330000000000000 fcfid 7ff7ffffffffffff => 43dffe0000000000 fcfid fff7ffffffffffff => c320000000000002 fcfid 7ff8000000000000 => 43dffe0000000000 fcfid fff8000000000000 => c320000000000000 fctid 0010000000000001 => 0000000000000000 fctid 00100094e0000359 => 0000000000000000 fctid 3fe0000000000001 => 0000000000000001 fctid 3fe00094e0000359 => 0000000000000001 fctid 8010000000000001 => 0000000000000000 fctid 80100094e0000359 => 0000000000000000 fctid bfe0000000000001 => ffffffffffffffff fctid bfe00094e0000359 => ffffffffffffffff fctid 0000000000000000 => 0000000000000000 fctid 8000000000000000 => 0000000000000000 fctid 7ff0000000000000 => 7fffffffffffffff fctid fff0000000000000 => 8000000000000000 fctid 7ff7ffffffffffff => 8000000000000000 fctid fff7ffffffffffff => 8000000000000000 fctid 7ff8000000000000 => 8000000000000000 fctid fff8000000000000 => 8000000000000000 fctidz 0010000000000001 => 0000000000000000 fctidz 00100094e0000359 => 0000000000000000 fctidz 3fe0000000000001 => 0000000000000000 fctidz 3fe00094e0000359 => 0000000000000000 fctidz 8010000000000001 => 0000000000000000 fctidz 80100094e0000359 => 0000000000000000 fctidz bfe0000000000001 => 0000000000000000 fctidz bfe00094e0000359 => 0000000000000000 fctidz 0000000000000000 => 0000000000000000 fctidz 8000000000000000 => 0000000000000000 fctidz 7ff0000000000000 => 7fffffffffffffff fctidz fff0000000000000 => 8000000000000000 fctidz 7ff7ffffffffffff => 8000000000000000 fctidz fff7ffffffffffff => 8000000000000000 fctidz 7ff8000000000000 => 8000000000000000 fctidz fff8000000000000 => 8000000000000000 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 => 7fff800000000000 frsqrte. fff7ffffffffffff => ffff800000000000 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 fcfid. 0010000000000001 => 4330000000000001 fcfid. 00100094e0000359 => 43300094e0000359 fcfid. 3fe0000000000001 => 43cff00000000000 fcfid. 3fe00094e0000359 => 43cff0004a700002 fcfid. 8010000000000001 => c3dffc0000000000 fcfid. 80100094e0000359 => c3dffbffdac7ffff fcfid. bfe0000000000001 => c3d0080000000000 fcfid. bfe00094e0000359 => c3d007ffdac7ffff fcfid. 0000000000000000 => 0000000000000000 fcfid. 8000000000000000 => c3e0000000000000 fcfid. 7ff0000000000000 => 43dffc0000000000 fcfid. fff0000000000000 => c330000000000000 fcfid. 7ff7ffffffffffff => 43dffe0000000000 fcfid. fff7ffffffffffff => c320000000000002 fcfid. 7ff8000000000000 => 43dffe0000000000 fcfid. fff8000000000000 => c320000000000000 fctid. 0010000000000001 => 0000000000000000 fctid. 00100094e0000359 => 0000000000000000 fctid. 3fe0000000000001 => 0000000000000001 fctid. 3fe00094e0000359 => 0000000000000001 fctid. 8010000000000001 => 0000000000000000 fctid. 80100094e0000359 => 0000000000000000 fctid. bfe0000000000001 => ffffffffffffffff fctid. bfe00094e0000359 => ffffffffffffffff fctid. 0000000000000000 => 0000000000000000 fctid. 8000000000000000 => 0000000000000000 fctid. 7ff0000000000000 => 7fffffffffffffff fctid. fff0000000000000 => 8000000000000000 fctid. 7ff7ffffffffffff => 8000000000000000 fctid. fff7ffffffffffff => 8000000000000000 fctid. 7ff8000000000000 => 8000000000000000 fctid. fff8000000000000 => 8000000000000000 fctidz. 0010000000000001 => 0000000000000000 fctidz. 00100094e0000359 => 0000000000000000 fctidz. 3fe0000000000001 => 0000000000000000 fctidz. 3fe00094e0000359 => 0000000000000000 fctidz. 8010000000000001 => 0000000000000000 fctidz. 80100094e0000359 => 0000000000000000 fctidz. bfe0000000000001 => 0000000000000000 fctidz. bfe00094e0000359 => 0000000000000000 fctidz. 0000000000000000 => 0000000000000000 fctidz. 8000000000000000 => 0000000000000000 fctidz. 7ff0000000000000 => 7fffffffffffffff fctidz. fff0000000000000 => 8000000000000000 fctidz. 7ff7ffffffffffff => 8000000000000000 fctidz. fff7ffffffffffff => 8000000000000000 fctidz. 7ff8000000000000 => 8000000000000000 fctidz. fff8000000000000 => 8000000000000000 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 77 different instructions