zenithsiz/ftmemsim-valgrind
1
0
Fork 0
mirror of https://github.com/Zenithsiz/ftmemsim-valgrind.git synced 2026-02-03 18:13:01 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
ftmemsim-valgrind/none/tests/ppc64/jm-fp.stdout.exp
Carl Love 0689c096e5 This commit is for Bugzilla 334836. The Bugzilla contains patch 3 of 3 
to add PPC64 LE support.  The other two patches can be found in Bugzillas
334384 and 334834.  Note, there are no VEX changes in this patch.


PP64 Little Endian test case fixes.

This patch adds new LE and BE expect files where needed.  In other
cases, the test was fixed to run correctly on LE and BE using based on
testing to see which platform is being used.

Where practical, the test cases have been changed so that the output
produced for BE	 and LE will be identical.  The test cases that require
a major rewrite to make the output identical for BE and LE simply
had an additional expect file added.

Signed-off-by: Carl Love <carll@us.ibm.com>


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14240
2014-08-07 23:49:27 +00:00

1534 lines
91 KiB
Plaintext
Raw Blame History

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 => 3ffff00000000000
fres 3fe00094e0000359 => 3ffff00000000000
fres 8010000000000001 => fff0000000000000
fres 80100094e0000359 => fff0000000000000
fres bfe0000000000001 => bffff00000000000
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
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 => 3ffff00000000000
fres. 3fe00094e0000359 => 3ffff00000000000
fres. 8010000000000001 => fff0000000000000
fres. 80100094e0000359 => fff0000000000000
fres. bfe0000000000001 => bffff00000000000
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
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, 65416 => 37e0000000000000, 0
lfs 00100094e0000359, 65424 => 37e0009400000000, 0
lfs 3fe0000000000001, 65432 => 3ffc000000000000, 0
lfs 3fe00094e0000359, 65440 => 3ffc001280000000, 0
lfs 8010000000000001, 65448 => b7e0000000000000, 0
lfs 80100094e0000359, 65456 => b7e0009400000000, 0
lfs bfe0000000000001, 65464 => bffc000000000000, 0
lfs bfe00094e0000359, 65472 => bffc001280000000, 0
lfs 0000000000000000, 65480 => 0000000000000000, 0
lfs 8000000000000000, 65488 => 8000000000000000, 0
lfs 7ff0000000000000, 65496 => 7ffe000000000000, 0
lfs fff0000000000000, 65504 => fffe000000000000, 0
lfs 7ff7ffffffffffff, 65512 => 7ffeffffe0000000, 0
lfs fff7ffffffffffff, 65520 => fffeffffe0000000, 0
lfs 7ff8000000000000, 65528 => 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, 65416 => 37e0000000000000, -120
lfsu 00100094e0000359, 65424 => 37e0009400000000, -112
lfsu 3fe0000000000001, 65432 => 3ffc000000000000, -104
lfsu 3fe00094e0000359, 65440 => 3ffc001280000000, -96
lfsu 8010000000000001, 65448 => b7e0000000000000, -88
lfsu 80100094e0000359, 65456 => b7e0009400000000, -80
lfsu bfe0000000000001, 65464 => bffc000000000000, -72
lfsu bfe00094e0000359, 65472 => bffc001280000000, -64
lfsu 0000000000000000, 65480 => 0000000000000000, -56
lfsu 8000000000000000, 65488 => 8000000000000000, -48
lfsu 7ff0000000000000, 65496 => 7ffe000000000000, -40
lfsu fff0000000000000, 65504 => fffe000000000000, -32
lfsu 7ff7ffffffffffff, 65512 => 7ffeffffe0000000, -24
lfsu fff7ffffffffffff, 65520 => fffeffffe0000000, -16
lfsu 7ff8000000000000, 65528 => 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, 65416 => 0010000000000001, 0
lfd 00100094e0000359, 65424 => 00100094e0000359, 0
lfd 3fe0000000000001, 65432 => 3fe0000000000001, 0
lfd 3fe00094e0000359, 65440 => 3fe00094e0000359, 0
lfd 8010000000000001, 65448 => 8010000000000001, 0
lfd 80100094e0000359, 65456 => 80100094e0000359, 0
lfd bfe0000000000001, 65464 => bfe0000000000001, 0
lfd bfe00094e0000359, 65472 => bfe00094e0000359, 0
lfd 0000000000000000, 65480 => 0000000000000000, 0
lfd 8000000000000000, 65488 => 8000000000000000, 0
lfd 7ff0000000000000, 65496 => 7ff0000000000000, 0
lfd fff0000000000000, 65504 => fff0000000000000, 0
lfd 7ff7ffffffffffff, 65512 => 7ff7ffffffffffff, 0
lfd fff7ffffffffffff, 65520 => fff7ffffffffffff, 0
lfd 7ff8000000000000, 65528 => 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, 65416 => 0010000000000001, -120
lfdu 00100094e0000359, 65424 => 00100094e0000359, -112
lfdu 3fe0000000000001, 65432 => 3fe0000000000001, -104
lfdu 3fe00094e0000359, 65440 => 3fe00094e0000359, -96
lfdu 8010000000000001, 65448 => 8010000000000001, -88
lfdu 80100094e0000359, 65456 => 80100094e0000359, -80
lfdu bfe0000000000001, 65464 => bfe0000000000001, -72
lfdu bfe00094e0000359, 65472 => bfe00094e0000359, -64
lfdu 0000000000000000, 65480 => 0000000000000000, -56
lfdu 8000000000000000, 65488 => 8000000000000000, -48
lfdu 7ff0000000000000, 65496 => 7ff0000000000000, -40
lfdu fff0000000000000, 65504 => fff0000000000000, -32
lfdu 7ff7ffffffffffff, 65512 => 7ff7ffffffffffff, -24
lfdu fff7ffffffffffff, 65520 => fff7ffffffffffff, -16
lfdu 7ff8000000000000, 65528 => 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
Reference in New Issue View Git Blame Copy Permalink