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