|
From: <sv...@va...> - 2005-12-14 22:24:49
|
Author: cerion Date: 2005-12-14 22:24:45 +0000 (Wed, 14 Dec 2005) New Revision: 5344 Log: Added fp regtest - needed some hackery to get around VEX's loss of accuracy. ------------------------------ Added test for fsqrt (fp square root) Enabled stfs(u)(x) (fp single-precision stores) - VEX implementation not great: ends up rounding twice, losing accuracy, but is good enough for this test's small fp argument array. Changed fp arg setup - no denormals (for VEX inaccuracy) All fp tests - don't print CR, XER flags, as VEX doesn't set them. 3 arg fp arith tests (fp 'multiply and add' etc) - no 'special' fp vals (for VEX inaccuracy) - zap lo byte (for VEX inaccuracy) fctiw, fctiwz (fp convert to int) - zap high 32bits of result (is undefined) Added: trunk/none/tests/ppc32/jm-fp.stderr.exp trunk/none/tests/ppc32/jm-fp.stdout.exp trunk/none/tests/ppc32/jm-fp.vgtest Modified: trunk/none/tests/ppc32/Makefile.am trunk/none/tests/ppc32/jm-insns.c Modified: trunk/none/tests/ppc32/Makefile.am =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D --- trunk/none/tests/ppc32/Makefile.am 2005-12-14 17:59:35 UTC (rev 5343) +++ trunk/none/tests/ppc32/Makefile.am 2005-12-14 22:24:45 UTC (rev 5344) @@ -4,6 +4,7 @@ EXTRA_DIST =3D $(noinst_SCRIPTS) \ lsw.stderr.exp lsw.stdout.exp lsw.vgtest \ jm-int.stderr.exp jm-int.stdout.exp jm-int.vgtest \ + jm-fp.stderr.exp jm-fp.stdout.exp jm-fp.vgtest \ jm-vmx.stderr.exp jm-vmx.stdout.exp jm-vmx.vgtest \ testVMX.stderr.exp testVMX.stdout.exp testVMX.vgtest =20 Added: trunk/none/tests/ppc32/jm-fp.stderr.exp =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D --- trunk/none/tests/ppc32/jm-fp.stderr.exp (rev = 0) +++ trunk/none/tests/ppc32/jm-fp.stderr.exp 2005-12-14 22:24:45 UTC (rev = 5344) @@ -0,0 +1,2 @@ + + Added: trunk/none/tests/ppc32/jm-fp.stdout.exp =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D --- trunk/none/tests/ppc32/jm-fp.stdout.exp (rev = 0) +++ trunk/none/tests/ppc32/jm-fp.stdout.exp 2005-12-14 22:24:45 UTC (rev = 5344) @@ -0,0 +1,1363 @@ +PPC floating point arith insns with three args: + fsel 0010000000000001, 0010000000000001, 0010000000000001 =3D> 0= 010000000000000 + fsel 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> 0= 010000000000000 + fsel 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 0100094e0000300 + fsel 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> 8= 0100094e0000300 + fsel 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 0= 010000000000000 + fsel 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> 0= 010000000000000 + fsel 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 8= 0100094e0000300 + fsel 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> 8= 0100094e0000300 + fsel bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 0= 010000000000000 + fsel bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fsel bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 010000000000000 + fsel bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + + fmadd 0010000000000001, 0010000000000001, 0010000000000001 =3D> 0= 010000000000000 + fmadd 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fmadd 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 010000000000000 + fmadd 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + fmadd 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 0= 018004a70000100 + fmadd 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fmadd 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 0= 007ff6b1d4b5e00 + fmadd 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + fmadd bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 0= 008000000000000 + fmadd bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fmadd bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 018004a70000100 + fmadd bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + + fmadds 0010000000000001, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fmadds 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fmadds 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fmadds 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + fmadds 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fmadds 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fmadds 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fmadds 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + fmadds bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fmadds bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fmadds bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fmadds bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + + fmsub 0010000000000001, 0010000000000001, 0010000000000001 =3D> 8= 010000000000000 + fmsub 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fmsub 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 010000000000000 + fmsub 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + fmsub 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 8= 007ffb58ffffe00 + fmsub 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fmsub 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 8= 0180094e2b4a100 + fmsub 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + fmsub bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 8= 018000000000000 + fmsub bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fmsub bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 007ffb58ffffe00 + fmsub bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + + fmsubs 0010000000000001, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fmsubs 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fmsubs 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fmsubs 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + fmsubs 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fmsubs 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fmsubs 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fmsubs 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + fmsubs bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fmsubs bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fmsubs bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fmsubs bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + + fnmadd 0010000000000001, 0010000000000001, 0010000000000001 =3D> 8= 010000000000000 + fnmadd 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fnmadd 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 010000000000000 + fnmadd 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + fnmadd 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 8= 018004a70000100 + fnmadd 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fnmadd 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 8= 007ff6b1d4b5e00 + fnmadd 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + fnmadd bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 8= 008000000000000 + fnmadd bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fnmadd bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 018004a70000100 + fnmadd bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + + fnmadds 0010000000000001, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fnmadds 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fnmadds 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fnmadds 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + fnmadds 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fnmadds 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fnmadds 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fnmadds 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + fnmadds bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fnmadds bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fnmadds bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fnmadds bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + + fnmsub 0010000000000001, 0010000000000001, 0010000000000001 =3D> 0= 010000000000000 + fnmsub 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fnmsub 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 010000000000000 + fnmsub 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + fnmsub 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 0= 007ffb58ffffe00 + fnmsub 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fnmsub 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 0= 0180094e2b4a100 + fnmsub 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + fnmsub bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 0= 018000000000000 + fnmsub bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fnmsub bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 007ffb58ffffe00 + fnmsub bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + + fnmsubs 0010000000000001, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fnmsubs 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + fnmsubs 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fnmsubs 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + fnmsubs bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fnmsubs bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + +PPC floating point arith insns + with three args with flags update: + fsel. 0010000000000001, 0010000000000001, 0010000000000001 =3D> 0= 010000000000000 + fsel. 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> 0= 010000000000000 + fsel. 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 0100094e0000300 + fsel. 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> 8= 0100094e0000300 + fsel. 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 0= 010000000000000 + fsel. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> 0= 010000000000000 + fsel. 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 8= 0100094e0000300 + fsel. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> 8= 0100094e0000300 + fsel. bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 0= 010000000000000 + fsel. bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fsel. bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 010000000000000 + fsel. bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + + fmadd. 0010000000000001, 0010000000000001, 0010000000000001 =3D> 0= 010000000000000 + fmadd. 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fmadd. 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 010000000000000 + fmadd. 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + fmadd. 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 0= 018004a70000100 + fmadd. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fmadd. 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 0= 007ff6b1d4b5e00 + fmadd. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + fmadd. bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 0= 008000000000000 + fmadd. bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fmadd. bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 018004a70000100 + fmadd. bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + + fmadds. 0010000000000001, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fmadds. 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fmadds. 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fmadds. 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + fmadds. 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fmadds. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fmadds. 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fmadds. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + fmadds. bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fmadds. bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fmadds. bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fmadds. bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + + fmsub. 0010000000000001, 0010000000000001, 0010000000000001 =3D> 8= 010000000000000 + fmsub. 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fmsub. 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 010000000000000 + fmsub. 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + fmsub. 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 8= 007ffb58ffffe00 + fmsub. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fmsub. 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 8= 0180094e2b4a100 + fmsub. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + fmsub. bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 8= 018000000000000 + fmsub. bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fmsub. bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 007ffb58ffffe00 + fmsub. bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + + fmsubs. 0010000000000001, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fmsubs. 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fmsubs. 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fmsubs. 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + fmsubs. 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fmsubs. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fmsubs. 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fmsubs. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + fmsubs. bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fmsubs. bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fmsubs. bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fmsubs. bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + + fnmadd. 0010000000000001, 0010000000000001, 0010000000000001 =3D> 8= 010000000000000 + fnmadd. 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fnmadd. 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 010000000000000 + fnmadd. 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + fnmadd. 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 8= 018004a70000100 + fnmadd. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fnmadd. 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 8= 007ff6b1d4b5e00 + fnmadd. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + fnmadd. bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 8= 008000000000000 + fnmadd. bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fnmadd. bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 018004a70000100 + fnmadd. bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + + fnmadds. 0010000000000001, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fnmadds. 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fnmadds. 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fnmadds. 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + fnmadds. 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fnmadds. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fnmadds. 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fnmadds. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + fnmadds. bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fnmadds. bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fnmadds. bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fnmadds. bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + + fnmsub. 0010000000000001, 0010000000000001, 0010000000000001 =3D> 0= 010000000000000 + fnmsub. 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fnmsub. 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 010000000000000 + fnmsub. 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + fnmsub. 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 0= 007ffb58ffffe00 + fnmsub. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fnmsub. 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 0= 0180094e2b4a100 + fnmsub. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + fnmsub. bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 0= 018000000000000 + fnmsub. bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fnmsub. bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 007ffb58ffffe00 + fnmsub. bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + + fnmsubs. 0010000000000001, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs. 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fnmsubs. 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs. 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + fnmsubs. 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fnmsubs. 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + fnmsubs. bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs. bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fnmsubs. bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs. bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + +PPC floating point arith insns with two args: + fadd 0010000000000001, 0010000000000001 =3D> 0020000000000001 + fadd 0010000000000001, 80100094e0000359 =3D> 80000094e0000358 + fadd 0010000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fadd 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fadd 3fe00094e0000359, 0010000000000001 =3D> 3fe00094e0000359 + fadd 3fe00094e0000359, 80100094e0000359 =3D> 3fe00094e0000359 + fadd 3fe00094e0000359, 7ff0000000000000 =3D> 7ff0000000000000 + fadd 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fadd bfe0000000000001, 0010000000000001 =3D> bfe0000000000001 + fadd bfe0000000000001, 80100094e0000359 =3D> bfe0000000000001 + fadd bfe0000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fadd bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fadd 8000000000000000, 0010000000000001 =3D> 0010000000000001 + fadd 8000000000000000, 80100094e0000359 =3D> 80100094e0000359 + fadd 8000000000000000, 7ff0000000000000 =3D> 7ff0000000000000 + fadd 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fadd 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffffffffff + fadd 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffffffffff + fadd 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffffffffff + fadd 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffffffffff + fadd fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fadd fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fadd fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fadd fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fadds 0010000000000001, 0010000000000001 =3D> 0000000000000000 + fadds 0010000000000001, 80100094e0000359 =3D> 8000000000000000 + fadds 0010000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fadds 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fadds 3fe00094e0000359, 0010000000000001 =3D> 3fe00094e0000000 + fadds 3fe00094e0000359, 80100094e0000359 =3D> 3fe00094e0000000 + fadds 3fe00094e0000359, 7ff0000000000000 =3D> 7ff0000000000000 + fadds 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fadds bfe0000000000001, 0010000000000001 =3D> bfe0000000000000 + fadds bfe0000000000001, 80100094e0000359 =3D> bfe0000000000000 + fadds bfe0000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fadds bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fadds 8000000000000000, 0010000000000001 =3D> 0000000000000000 + fadds 8000000000000000, 80100094e0000359 =3D> 8000000000000000 + fadds 8000000000000000, 7ff0000000000000 =3D> 7ff0000000000000 + fadds 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fadds 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffe0000000 + fadds 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffe0000000 + fadds 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffe0000000 + fadds 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffe0000000 + fadds fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fadds fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fadds fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fadds fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fsub 0010000000000001, 0010000000000001 =3D> 0000000000000000 + fsub 0010000000000001, 80100094e0000359 =3D> 0020004a700001ad + fsub 0010000000000001, 7ff0000000000000 =3D> fff0000000000000 + fsub 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fsub 3fe00094e0000359, 0010000000000001 =3D> 3fe00094e0000359 + fsub 3fe00094e0000359, 80100094e0000359 =3D> 3fe00094e0000359 + fsub 3fe00094e0000359, 7ff0000000000000 =3D> fff0000000000000 + fsub 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fsub bfe0000000000001, 0010000000000001 =3D> bfe0000000000001 + fsub bfe0000000000001, 80100094e0000359 =3D> bfe0000000000001 + fsub bfe0000000000001, 7ff0000000000000 =3D> fff0000000000000 + fsub bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fsub 8000000000000000, 0010000000000001 =3D> 8010000000000001 + fsub 8000000000000000, 80100094e0000359 =3D> 00100094e0000359 + fsub 8000000000000000, 7ff0000000000000 =3D> fff0000000000000 + fsub 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fsub 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffffffffff + fsub 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffffffffff + fsub 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffffffffff + fsub 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffffffffff + fsub fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fsub fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fsub fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fsub fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fsubs 0010000000000001, 0010000000000001 =3D> 0000000000000000 + fsubs 0010000000000001, 80100094e0000359 =3D> 0000000000000000 + fsubs 0010000000000001, 7ff0000000000000 =3D> fff0000000000000 + fsubs 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fsubs 3fe00094e0000359, 0010000000000001 =3D> 3fe00094e0000000 + fsubs 3fe00094e0000359, 80100094e0000359 =3D> 3fe00094e0000000 + fsubs 3fe00094e0000359, 7ff0000000000000 =3D> fff0000000000000 + fsubs 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fsubs bfe0000000000001, 0010000000000001 =3D> bfe0000000000000 + fsubs bfe0000000000001, 80100094e0000359 =3D> bfe0000000000000 + fsubs bfe0000000000001, 7ff0000000000000 =3D> fff0000000000000 + fsubs bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fsubs 8000000000000000, 0010000000000001 =3D> 8000000000000000 + fsubs 8000000000000000, 80100094e0000359 =3D> 0000000000000000 + fsubs 8000000000000000, 7ff0000000000000 =3D> fff0000000000000 + fsubs 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fsubs 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffe0000000 + fsubs 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffe0000000 + fsubs 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffe0000000 + fsubs 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffe0000000 + fsubs fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fsubs fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fsubs fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fsubs fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fmul 0010000000000001, 0010000000000001 =3D> 0000000000000000 + fmul 0010000000000001, 80100094e0000359 =3D> 8000000000000000 + fmul 0010000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fmul 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fmul 3fe00094e0000359, 0010000000000001 =3D> 0008004a700001ad + fmul 3fe00094e0000359, 80100094e0000359 =3D> 80080094e2b4a179 + fmul 3fe00094e0000359, 7ff0000000000000 =3D> 7ff0000000000000 + fmul 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fmul bfe0000000000001, 0010000000000001 =3D> 8008000000000001 + fmul bfe0000000000001, 80100094e0000359 =3D> 0008004a700001ad + fmul bfe0000000000001, 7ff0000000000000 =3D> fff0000000000000 + fmul bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fmul 8000000000000000, 0010000000000001 =3D> 8000000000000000 + fmul 8000000000000000, 80100094e0000359 =3D> 0000000000000000 + fmul 8000000000000000, 7ff0000000000000 =3D> 7ff8000000000000 + fmul 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fmul 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffffffffff + fmul 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffffffffff + fmul 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffffffffff + fmul 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffffffffff + fmul fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fmul fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fmul fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fmul fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fmuls 0010000000000001, 0010000000000001 =3D> 0000000000000000 + fmuls 0010000000000001, 80100094e0000359 =3D> 8000000000000000 + fmuls 0010000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fmuls 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fmuls 3fe00094e0000359, 0010000000000001 =3D> 0000000000000000 + fmuls 3fe00094e0000359, 80100094e0000359 =3D> 8000000000000000 + fmuls 3fe00094e0000359, 7ff0000000000000 =3D> 7ff0000000000000 + fmuls 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fmuls bfe0000000000001, 0010000000000001 =3D> 8000000000000000 + fmuls bfe0000000000001, 80100094e0000359 =3D> 0000000000000000 + fmuls bfe0000000000001, 7ff0000000000000 =3D> fff0000000000000 + fmuls bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fmuls 8000000000000000, 0010000000000001 =3D> 8000000000000000 + fmuls 8000000000000000, 80100094e0000359 =3D> 0000000000000000 + fmuls 8000000000000000, 7ff0000000000000 =3D> 7ff8000000000000 + fmuls 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fmuls 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffe0000000 + fmuls 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffe0000000 + fmuls 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffe0000000 + fmuls 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffe0000000 + fmuls fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fmuls fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fmuls fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fmuls fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fdiv 0010000000000001, 0010000000000001 =3D> 3ff0000000000000 + fdiv 0010000000000001, 80100094e0000359 =3D> bfeffed64ad20d22 + fdiv 0010000000000001, 7ff0000000000000 =3D> 0000000000000000 + fdiv 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fdiv 3fe00094e0000359, 0010000000000001 =3D> 7fc00094e0000358 + fdiv 3fe00094e0000359, 80100094e0000359 =3D> ffc0000000000000 + fdiv 3fe00094e0000359, 7ff0000000000000 =3D> 0000000000000000 + fdiv 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fdiv bfe0000000000001, 0010000000000001 =3D> ffc0000000000000 + fdiv bfe0000000000001, 80100094e0000359 =3D> 7fbffed64ad20d22 + fdiv bfe0000000000001, 7ff0000000000000 =3D> 8000000000000000 + fdiv bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fdiv 8000000000000000, 0010000000000001 =3D> 8000000000000000 + fdiv 8000000000000000, 80100094e0000359 =3D> 0000000000000000 + fdiv 8000000000000000, 7ff0000000000000 =3D> 8000000000000000 + fdiv 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fdiv 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffffffffff + fdiv 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffffffffff + fdiv 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffffffffff + fdiv 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffffffffff + fdiv fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fdiv fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fdiv fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fdiv fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fdivs 0010000000000001, 0010000000000001 =3D> 3ff0000000000000 + fdivs 0010000000000001, 80100094e0000359 =3D> bfeffed640000000 + fdivs 0010000000000001, 7ff0000000000000 =3D> 0000000000000000 + fdivs 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fdivs 3fe00094e0000359, 0010000000000001 =3D> 7ff0000000000000 + fdivs 3fe00094e0000359, 80100094e0000359 =3D> fff0000000000000 + fdivs 3fe00094e0000359, 7ff0000000000000 =3D> 0000000000000000 + fdivs 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fdivs bfe0000000000001, 0010000000000001 =3D> fff0000000000000 + fdivs bfe0000000000001, 80100094e0000359 =3D> 7ff0000000000000 + fdivs bfe0000000000001, 7ff0000000000000 =3D> 8000000000000000 + fdivs bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fdivs 8000000000000000, 0010000000000001 =3D> 8000000000000000 + fdivs 8000000000000000, 80100094e0000359 =3D> 0000000000000000 + fdivs 8000000000000000, 7ff0000000000000 =3D> 8000000000000000 + fdivs 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fdivs 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffe0000000 + fdivs 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffe0000000 + fdivs 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffe0000000 + fdivs 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffe0000000 + fdivs fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fdivs fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fdivs fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fdivs fff8000000000000, fff8000000000000 =3D> fff8000000000000 + +PPC floating point arith insns + with two args with flags update: + fadd. 0010000000000001, 0010000000000001 =3D> 0020000000000001 + fadd. 0010000000000001, 80100094e0000359 =3D> 80000094e0000358 + fadd. 0010000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fadd. 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fadd. 3fe00094e0000359, 0010000000000001 =3D> 3fe00094e0000359 + fadd. 3fe00094e0000359, 80100094e0000359 =3D> 3fe00094e0000359 + fadd. 3fe00094e0000359, 7ff0000000000000 =3D> 7ff0000000000000 + fadd. 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fadd. bfe0000000000001, 0010000000000001 =3D> bfe0000000000001 + fadd. bfe0000000000001, 80100094e0000359 =3D> bfe0000000000001 + fadd. bfe0000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fadd. bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fadd. 8000000000000000, 0010000000000001 =3D> 0010000000000001 + fadd. 8000000000000000, 80100094e0000359 =3D> 80100094e0000359 + fadd. 8000000000000000, 7ff0000000000000 =3D> 7ff0000000000000 + fadd. 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fadd. 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffffffffff + fadd. 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffffffffff + fadd. 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffffffffff + fadd. 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffffffffff + fadd. fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fadd. fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fadd. fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fadd. fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fadds. 0010000000000001, 0010000000000001 =3D> 0000000000000000 + fadds. 0010000000000001, 80100094e0000359 =3D> 8000000000000000 + fadds. 0010000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fadds. 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fadds. 3fe00094e0000359, 0010000000000001 =3D> 3fe00094e0000000 + fadds. 3fe00094e0000359, 80100094e0000359 =3D> 3fe00094e0000000 + fadds. 3fe00094e0000359, 7ff0000000000000 =3D> 7ff0000000000000 + fadds. 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fadds. bfe0000000000001, 0010000000000001 =3D> bfe0000000000000 + fadds. bfe0000000000001, 80100094e0000359 =3D> bfe0000000000000 + fadds. bfe0000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fadds. bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fadds. 8000000000000000, 0010000000000001 =3D> 0000000000000000 + fadds. 8000000000000000, 80100094e0000359 =3D> 8000000000000000 + fadds. 8000000000000000, 7ff0000000000000 =3D> 7ff0000000000000 + fadds. 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fadds. 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffe0000000 + fadds. 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffe0000000 + fadds. 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffe0000000 + fadds. 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffe0000000 + fadds. fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fadds. fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fadds. fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fadds. fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fsub. 0010000000000001, 0010000000000001 =3D> 0000000000000000 + fsub. 0010000000000001, 80100094e0000359 =3D> 0020004a700001ad + fsub. 0010000000000001, 7ff0000000000000 =3D> fff0000000000000 + fsub. 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fsub. 3fe00094e0000359, 0010000000000001 =3D> 3fe00094e0000359 + fsub. 3fe00094e0000359, 80100094e0000359 =3D> 3fe00094e0000359 + fsub. 3fe00094e0000359, 7ff0000000000000 =3D> fff0000000000000 + fsub. 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fsub. bfe0000000000001, 0010000000000001 =3D> bfe0000000000001 + fsub. bfe0000000000001, 80100094e0000359 =3D> bfe0000000000001 + fsub. bfe0000000000001, 7ff0000000000000 =3D> fff0000000000000 + fsub. bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fsub. 8000000000000000, 0010000000000001 =3D> 8010000000000001 + fsub. 8000000000000000, 80100094e0000359 =3D> 00100094e0000359 + fsub. 8000000000000000, 7ff0000000000000 =3D> fff0000000000000 + fsub. 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fsub. 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffffffffff + fsub. 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffffffffff + fsub. 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffffffffff + fsub. 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffffffffff + fsub. fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fsub. fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fsub. fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fsub. fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fsubs. 0010000000000001, 0010000000000001 =3D> 0000000000000000 + fsubs. 0010000000000001, 80100094e0000359 =3D> 0000000000000000 + fsubs. 0010000000000001, 7ff0000000000000 =3D> fff0000000000000 + fsubs. 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fsubs. 3fe00094e0000359, 0010000000000001 =3D> 3fe00094e0000000 + fsubs. 3fe00094e0000359, 80100094e0000359 =3D> 3fe00094e0000000 + fsubs. 3fe00094e0000359, 7ff0000000000000 =3D> fff0000000000000 + fsubs. 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fsubs. bfe0000000000001, 0010000000000001 =3D> bfe0000000000000 + fsubs. bfe0000000000001, 80100094e0000359 =3D> bfe0000000000000 + fsubs. bfe0000000000001, 7ff0000000000000 =3D> fff0000000000000 + fsubs. bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fsubs. 8000000000000000, 0010000000000001 =3D> 8000000000000000 + fsubs. 8000000000000000, 80100094e0000359 =3D> 0000000000000000 + fsubs. 8000000000000000, 7ff0000000000000 =3D> fff0000000000000 + fsubs. 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fsubs. 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffe0000000 + fsubs. 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffe0000000 + fsubs. 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffe0000000 + fsubs. 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffe0000000 + fsubs. fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fsubs. fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fsubs. fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fsubs. fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fmul. 0010000000000001, 0010000000000001 =3D> 0000000000000000 + fmul. 0010000000000001, 80100094e0000359 =3D> 8000000000000000 + fmul. 0010000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fmul. 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fmul. 3fe00094e0000359, 0010000000000001 =3D> 0008004a700001ad + fmul. 3fe00094e0000359, 80100094e0000359 =3D> 80080094e2b4a179 + fmul. 3fe00094e0000359, 7ff0000000000000 =3D> 7ff0000000000000 + fmul. 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fmul. bfe0000000000001, 0010000000000001 =3D> 8008000000000001 + fmul. bfe0000000000001, 80100094e0000359 =3D> 0008004a700001ad + fmul. bfe0000000000001, 7ff0000000000000 =3D> fff0000000000000 + fmul. bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fmul. 8000000000000000, 0010000000000001 =3D> 8000000000000000 + fmul. 8000000000000000, 80100094e0000359 =3D> 0000000000000000 + fmul. 8000000000000000, 7ff0000000000000 =3D> 7ff8000000000000 + fmul. 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fmul. 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffffffffff + fmul. 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffffffffff + fmul. 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffffffffff + fmul. 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffffffffff + fmul. fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fmul. fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fmul. fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fmul. fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fmuls. 0010000000000001, 0010000000000001 =3D> 0000000000000000 + fmuls. 0010000000000001, 80100094e0000359 =3D> 8000000000000000 + fmuls. 0010000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fmuls. 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fmuls. 3fe00094e0000359, 0010000000000001 =3D> 0000000000000000 + fmuls. 3fe00094e0000359, 80100094e0000359 =3D> 8000000000000000 + fmuls. 3fe00094e0000359, 7ff0000000000000 =3D> 7ff0000000000000 + fmuls. 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fmuls. bfe0000000000001, 0010000000000001 =3D> 8000000000000000 + fmuls. bfe0000000000001, 80100094e0000359 =3D> 0000000000000000 + fmuls. bfe0000000000001, 7ff0000000000000 =3D> fff0000000000000 + fmuls. bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fmuls. 8000000000000000, 0010000000000001 =3D> 8000000000000000 + fmuls. 8000000000000000, 80100094e0000359 =3D> 0000000000000000 + fmuls. 8000000000000000, 7ff0000000000000 =3D> 7ff8000000000000 + fmuls. 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fmuls. 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffe0000000 + fmuls. 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffe0000000 + fmuls. 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffe0000000 + fmuls. 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffe0000000 + fmuls. fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fmuls. fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fmuls. fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fmuls. fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fdiv. 0010000000000001, 0010000000000001 =3D> 3ff0000000000000 + fdiv. 0010000000000001, 80100094e0000359 =3D> bfeffed64ad20d22 + fdiv. 0010000000000001, 7ff0000000000000 =3D> 0000000000000000 + fdiv. 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fdiv. 3fe00094e0000359, 0010000000000001 =3D> 7fc00094e0000358 + fdiv. 3fe00094e0000359, 80100094e0000359 =3D> ffc0000000000000 + fdiv. 3fe00094e0000359, 7ff0000000000000 =3D> 0000000000000000 + fdiv. 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fdiv. bfe0000000000001, 0010000000000001 =3D> ffc0000000000000 + fdiv. bfe0000000000001, 80100094e0000359 =3D> 7fbffed64ad20d22 + fdiv. bfe0000000000001, 7ff0000000000000 =3D> 8000000000000000 + fdiv. bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fdiv. 8000000000000000, 0010000000000001 =3D> 8000000000000000 + fdiv. 8000000000000000, 80100094e0000359 =3D> 0000000000000000 + fdiv. 8000000000000000, 7ff0000000000000 =3D> 8000000000000000 + fdiv. 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fdiv. 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffffffffff + fdiv. 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffffffffff + fdiv. 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffffffffff + fdiv. 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffffffffff + fdiv. fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fdiv. fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fdiv. fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fdiv. fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fdivs. 0010000000000001, 0010000000000001 =3D> 3ff0000000000000 + fdivs. 0010000000000001, 80100094e0000359 =3D> bfeffed640000000 + fdivs. 0010000000000001, 7ff0000000000000 =3D> 0000000000000000 + fdivs. 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fdivs. 3fe00094e0000359, 0010000000000001 =3D> 7ff0000000000000 + fdivs. 3fe00094e0000359, 80100094e0000359 =3D> fff0000000000000 + fdivs. 3fe00094e0000359, 7ff0000000000000 =3D> 0000000000000000 + fdivs. 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fdivs. bfe0000000000001, 0010000000000001 =3D> fff0000000000000 + fdivs. bfe0000000000001, 80100094e0000359 =3D> 7ff0000000000000 + fdivs. bfe0000000000001, 7ff0000000000000 =3D> 8000000000000000 + fdivs. bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fdivs. 8000000000000000, 0010000000000001 =3D> 8000000000000000 + fdivs. 8000000000000000, 80100094e0000359 =3D> 0000000000000000 + fdivs. 8000000000000000, 7ff0000000000000 =3D> 8000000000000000 + fdivs. 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fdivs. 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffe0000000 + fdivs. 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffe0000000 + fdivs. 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffe0000000 + fdivs. 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffe0000000 + fdivs. fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fdivs. fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fdivs. fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fdivs. fff8000000000000, fff8000000000000 =3D> fff8000000000000 + +PPC floating point compare insns (two args): + fcmpo 0010000000000001, 0010000000000001 =3D> fff8000000000000 + fcmpo 0010000000000001, 80100094e0000359 =3D> fff8000000000000 + fcmpo 0010000000000001, 7ff0000000000000 =3D> fff8000000000000 + fcmpo 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fcmpo 3fe00094e0000359, 0010000000000001 =3D> fff8000000000000 + fcmpo 3fe00094e0000359, 80100094e0000359 =3D> fff8000000000000 + fcmpo 3fe00094e0000359, 7ff0000000000000 =3D> fff8000000000000 + fcmpo 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fcmpo bfe0000000000001, 0010000000000001 =3D> fff8000000000000 + fcmpo bfe0000000000001, 80100094e0000359 =3D> fff8000000000000 + fcmpo bfe0000000000001, 7ff0000000000000 =3D> fff8000000000000 + fcmpo bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fcmpo 8000000000000000, 0010000000000001 =3D> fff8000000000000 + fcmpo 8000000000000000, 80100094e0000359 =3D> fff8000000000000 + fcmpo 8000000000000000, 7ff0000000000000 =3D> fff8000000000000 + fcmpo 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fcmpo 7ff7ffffffffffff, 0010000000000001 =3D> fff8000000000000 + fcmpo 7ff7ffffffffffff, 80100094e0000359 =3D> fff8000000000000 + fcmpo 7ff7ffffffffffff, 7ff0000000000000 =3D> fff8000000000000 + fcmpo 7ff7ffffffffffff, fff8000000000000 =3D> fff8000000000000 + fcmpo fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fcmpo fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fcmpo fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fcmpo fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fcmpu 0010000000000001, 0010000000000001 =3D> fff8000000000000 + fcmpu 0010000000000001, 80100094e0000359 =3D> fff8000000000000 + fcmpu 0010000000000001, 7ff0000000000000 =3D> fff8000000000000 + fcmpu 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fcmpu 3fe00094e0000359, 0010000000000001 =3D> fff8000000000000 + fcmpu 3fe00094e0000359, 80100094e0000359 =3D> fff8000000000000 + fcmpu 3fe00094e0000359, 7ff0000000000000 =3D> fff8000000000000 + fcmpu 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fcmpu bfe0000000000001, 0010000000000001 =3D> fff8000000000000 + fcmpu bfe0000000000001, 80100094e0000359 =3D> fff8000000000000 + fcmpu bfe0000000000001, 7ff0000000000000 =3D> fff8000000000000 + fcmpu bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fcmpu 8000000000000000, 0010000000000001 =3D> fff8000000000000 + fcmpu 8000000000000000, 80100094e0000359 =3D> fff8000000000000 + fcmpu 8000000000000000, 7ff0000000000000 =3D> fff8000000000000 + fcmpu 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fcmpu 7ff7ffffffffffff, 0010000000000001 =3D> fff8000000000000 + fcmpu 7ff7ffffffffffff, 80100094e0000359 =3D> fff8000000000000 + fcmpu 7ff7ffffffffffff, 7ff0000000000000 =3D> fff8000000000000 + fcmpu 7ff7ffffffffffff, fff8000000000000 =3D> fff8000000000000 + fcmpu fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fcmpu fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fcmpu fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fcmpu fff8000000000000, fff8000000000000 =3D> fff8000000000000 + +PPC floating point arith insns with one arg: + frsp 0010000000000001 =3D> 0000000000000000 + frsp 00100094e0000359 =3D> 0000000000000000 + frsp 3fe0000000000001 =3D> 3fe0000000000000 + frsp 3fe00094e0000359 =3D> 3fe00094e0000000 + frsp 8010000000000001 =3D> 8000000000000000 + frsp 80100094e0000359 =3D> 8000000000000000 + frsp bfe0000000000001 =3D> bfe0000000000000 + frsp bfe00094e0000359 =3D> bfe00094e0000000 + frsp 0000000000000000 =3D> 0000000000000000 + frsp 8000000000000000 =3D> 8000000000000000 + frsp 7ff0000000000000 =3D> 7ff0000000000000 + frsp fff0000000000000 =3D> fff0000000000000 + frsp 7ff7ffffffffffff =3D> 7fffffffe0000000 + frsp fff7ffffffffffff =3D> ffffffffe0000000 + frsp 7ff8000000000000 =3D> 7ff8000000000000 + frsp fff8000000000000 =3D> fff8000000000000 + + fctiw 0010000000000001 =3D> 0000000000000000 + fctiw 00100094e0000359 =3D> 0000000000000000 + fctiw 3fe0000000000001 =3D> 0000000000000001 + fctiw 3fe00094e0000359 =3D> 0000000000000001 + fctiw 8010000000000001 =3D> 0000000000000000 + fctiw 80100094e0000359 =3D> 0000000000000000 + fctiw bfe0000000000001 =3D> 00000000ffffffff + fctiw bfe00094e0000359 =3D> 00000000ffffffff + fctiw 0000000000000000 =3D> 0000000000000000 + fctiw 8000000000000000 =3D> 0000000000000000 + fctiw 7ff0000000000000 =3D> 000000007fffffff + fctiw fff0000000000000 =3D> 0000000080000000 + fctiw 7ff7ffffffffffff =3D> 0000000080000000 + fctiw fff7ffffffffffff =3D> 0000000080000000 + fctiw 7ff8000000000000 =3D> 0000000080000000 + fctiw fff8000000000000 =3D> 0000000080000000 + + fctiwz 0010000000000001 =3D> 0000000000000000 + fctiwz 00100094e0000359 =3D> 0000000000000000 + fctiwz 3fe0000000000001 =3D> 0000000000000000 + fctiwz 3fe00094e0000359 =3D> 0000000000000000 + fctiwz 8010000000000001 =3D> 0000000000000000 + fctiwz 80100094e0000359 =3D> 0000000000000000 + fctiwz bfe0000000000001 =3D> 0000000000000000 + fctiwz bfe00094e0000359 =3D> 0000000000000000 + fctiwz 0000000000000000 =3D> 0000000000000000 + fctiwz 8000000000000000 =3D> 0000000000000000 + fctiwz 7ff0000000000000 =3D> 000000007fffffff + fctiwz fff0000000000000 =3D> 0000000080000000 + fctiwz 7ff7ffffffffffff =3D> 0000000080000000 + fctiwz fff7ffffffffffff =3D> 0000000080000000 + fctiwz 7ff8000000000000 =3D> 0000000080000000 + fctiwz fff8000000000000 =3D> 0000000080000000 + + fmr 0010000000000001 =3D> 0010000000000001 + fmr 00100094e0000359 =3D> 00100094e0000359 + fmr 3fe0000000000001 =3D> 3fe0000000000001 + fmr 3fe00094e0000359 =3D> 3fe00094e0000359 + fmr 8010000000000001 =3D> 8010000000000001 + fmr 80100094e0000359 =3D> 80100094e0000359 + fmr bfe0000000000001 =3D> bfe0000000000001 + fmr bfe00094e0000359 =3D> bfe00094e0000359 + fmr 0000000000000000 =3D> 0000000000000000 + fmr 8000000000000000 =3D> 8000000000000000 + fmr 7ff0000000000000 =3D> 7ff0000000000000 + fmr fff0000000000000 =3D> fff0000000000000 + fmr 7ff7ffffffffffff =3D> 7ff7ffffffffffff + fmr fff7ffffffffffff =3D> fff7ffffffffffff + fmr 7ff8000000000000 =3D> 7ff8000000000000 + fmr fff8000000000000 =3D> fff8000000000000 + + fneg 0010000000000001 =3D> 8010000000000001 + fneg 00100094e0000359 =3D> 80100094e0000359 + fneg 3fe0000000000001 =3D> bfe0000000000001 + fneg 3fe00094e0000359 =3D> bfe00094e0000359 + fneg 8010000000000001 =3D> 0010000000000001 + fneg 80100094e0000359 =3D> 00100094e0000359 + fneg bfe0000000000001 =3D> 3fe0000000000001 + fneg bfe00094e0000359 =3D> 3fe00094e0000359 + fneg 0000000000000000 =3D> 8000000000000000 + fneg 8000000000000000 =3D> 0000000000000000 + fneg 7ff0000000000000 =3D> fff0000000000000 + fneg fff0000000000000 =3D> 7ff0000000000000 + fneg 7ff7ffffffffffff =3D> fff7ffffffffffff + fneg fff7ffffffffffff =3D> 7ff7ffffffffffff + fneg 7ff8000000000000 =3D> fff8000000000000 + fneg fff8000000000000 =3D> 7ff8000000000000 + + fabs 0010000000000001 =3D> 0010000000000001 + fabs 00100094e0000359 =3D> 00100094e0000359 + fabs 3fe0000000000001 =3D> 3fe0000000000001 + fabs 3fe00094e0000359 =3D> 3fe00094e0000359 + fabs 8010000000000001 =3D> 0010000000000001 + fabs 80100094e0000359 =3D> 00100094e0000359 + fabs bfe0000000000001 =3D> 3fe0000000000001 + fabs bfe00094e0000359 =3D> 3fe00094e0000359 + fabs 0000000000000000 =3D> 0000000000000000 + fabs 8000000000000000 =3D> 0000000000000000 + fabs 7ff0000000000000 =3D> 7ff0000000000000 + fabs fff0000000000000 =3D> 7ff0000000000000 + fabs 7ff7ffffffffffff =3D> 7ff7ffffffffffff + fabs fff7ffffffffffff =3D> 7ff7ffffffffffff + fabs 7ff8000000000000 =3D> 7ff8000000000000 + fabs fff8000000000000 =3D> 7ff8000000000000 + + fnabs 0010000000000001 =3D> 8010000000000001 + fnabs 00100094e0000359 =3D> 80100094e0000359 + fnabs 3fe0000000000001 =3D> bfe0000000000001 + fnabs 3fe00094e0000359 =3D> bfe00094e0000359 + fnabs 8010000000000001 =3D> 8010000000000001 + fnabs 80100094e0000359 =3D> 80100094e0000359 + fnabs bfe0000000000001 =3D> bfe0000000000001 + fnabs bfe00094e0000359 =3D> bfe00094e0000359 + fnabs 0000000000000000 =3D> 8000000000000000 + fnabs 8000000000000000 =3D> 8000000000000000 + fnabs 7ff0000000000000 =3D> fff0000000000000 + fnabs fff0000000000000 =3D> fff0000000000000 + fnabs 7ff7ffffffffffff =3D> fff7ffffffffffff + fnabs fff7ffffffffffff =3D> fff7ffffffffffff + fnabs 7ff8000000000000 =3D> fff8000000000000 + fnabs fff8000000000000 =3D> fff8000000000000 + + fsqrt 0010000000000001 =3D> 2000000000000000 + fsqrt 00100094e0000359 =3D> 2000004a6f52dd4a + fsqrt 3fe0000000000001 =3D> 3fe6a09e667f3bcd + fsqrt 3fe00094e0000359 =3D> 3fe6a107aacb50df + fsqrt 8010000000000001 =3D> 7ff8000000000000 + fsqrt 80100094e0000359 =3D> 7ff8000000000000 + fsqrt bfe0000000000001 =3D> 7ff8000000000000 + fsqrt bfe00094e0000359 =3D> 7ff8000000000000 + fsqrt 0000000000000000 =3D> 0000000000000000 + fsqrt 8000000000000000 =3D> 8000000000000000 + fsqrt 7ff0000000000000 =3D> 7ff0000000000000 + fsqrt fff0000000000000 =3D> 7ff8000000000000 + fsqrt 7ff7ffffffffffff =3D> 7fffffffffffffff + fsqrt fff7ffffffffffff =3D> ffffffffffffffff + fsqrt 7ff8000000000000 =3D> 7ff8000000000000 + fsqrt fff8000000000000 =3D> fff8000000000000 + +PPC floating point arith insns + with one arg with flags update: + frsp. 0010000000000001 =3D> 0000000000000000 + frsp. 00100094e0000359 =3D> 0000000000000000 + frsp. 3fe0000000000001 =3D> 3fe0000000000000 + frsp. 3fe00094e0000359 =3D> 3fe00094e0000000 + frsp. 8010000000000001 =3D> 8000000000000000 + frsp. 80100094e0000359 =3D> 8000000000000000 + frsp. bfe0000000000001 =3D> bfe0000000000000 + frsp. bfe00094e0000359 =3D> bfe00094e0000000 + frsp. 0000000000000000 =3D> 0000000000000000 + frsp. 8000000000000000 =3D> 8000000000000000 + frsp. 7ff000000000... [truncated message content] |
|
From: <sv...@va...> - 2005-12-17 20:50:34
|
Author: cerion Date: 2005-12-14 22:24:45 +0000 (Wed, 14 Dec 2005) New Revision: 5344 Log: Added fp regtest - needed some hackery to get around VEX's loss of accuracy. ------------------------------ Added test for fsqrt (fp square root) Enabled stfs(u)(x) (fp single-precision stores) - VEX implementation not great: ends up rounding twice, losing accuracy, but is good enough for this test's small fp argument array. Changed fp arg setup - no denormals (for VEX inaccuracy) All fp tests - don't print CR, XER flags, as VEX doesn't set them. 3 arg fp arith tests (fp 'multiply and add' etc) - no 'special' fp vals (for VEX inaccuracy) - zap lo byte (for VEX inaccuracy) fctiw, fctiwz (fp convert to int) - zap high 32bits of result (is undefined) Added: trunk/none/tests/ppc32/jm-fp.stderr.exp trunk/none/tests/ppc32/jm-fp.stdout.exp trunk/none/tests/ppc32/jm-fp.vgtest Modified: trunk/none/tests/ppc32/Makefile.am trunk/none/tests/ppc32/jm-insns.c Modified: trunk/none/tests/ppc32/Makefile.am =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D --- trunk/none/tests/ppc32/Makefile.am 2005-12-14 17:59:35 UTC (rev 5343) +++ trunk/none/tests/ppc32/Makefile.am 2005-12-14 22:24:45 UTC (rev 5344) @@ -4,6 +4,7 @@ EXTRA_DIST =3D $(noinst_SCRIPTS) \ lsw.stderr.exp lsw.stdout.exp lsw.vgtest \ jm-int.stderr.exp jm-int.stdout.exp jm-int.vgtest \ + jm-fp.stderr.exp jm-fp.stdout.exp jm-fp.vgtest \ jm-vmx.stderr.exp jm-vmx.stdout.exp jm-vmx.vgtest \ testVMX.stderr.exp testVMX.stdout.exp testVMX.vgtest =20 Added: trunk/none/tests/ppc32/jm-fp.stderr.exp =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D --- trunk/none/tests/ppc32/jm-fp.stderr.exp (rev = 0) +++ trunk/none/tests/ppc32/jm-fp.stderr.exp 2005-12-14 22:24:45 UTC (rev = 5344) @@ -0,0 +1,2 @@ + + Added: trunk/none/tests/ppc32/jm-fp.stdout.exp =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D --- trunk/none/tests/ppc32/jm-fp.stdout.exp (rev = 0) +++ trunk/none/tests/ppc32/jm-fp.stdout.exp 2005-12-14 22:24:45 UTC (rev = 5344) @@ -0,0 +1,1363 @@ +PPC floating point arith insns with three args: + fsel 0010000000000001, 0010000000000001, 0010000000000001 =3D> 0= 010000000000000 + fsel 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> 0= 010000000000000 + fsel 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 0100094e0000300 + fsel 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> 8= 0100094e0000300 + fsel 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 0= 010000000000000 + fsel 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> 0= 010000000000000 + fsel 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 8= 0100094e0000300 + fsel 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> 8= 0100094e0000300 + fsel bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 0= 010000000000000 + fsel bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fsel bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 010000000000000 + fsel bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + + fmadd 0010000000000001, 0010000000000001, 0010000000000001 =3D> 0= 010000000000000 + fmadd 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fmadd 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 010000000000000 + fmadd 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + fmadd 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 0= 018004a70000100 + fmadd 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fmadd 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 0= 007ff6b1d4b5e00 + fmadd 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + fmadd bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 0= 008000000000000 + fmadd bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fmadd bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 018004a70000100 + fmadd bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + + fmadds 0010000000000001, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fmadds 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fmadds 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fmadds 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + fmadds 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fmadds 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fmadds 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fmadds 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + fmadds bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fmadds bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fmadds bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fmadds bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + + fmsub 0010000000000001, 0010000000000001, 0010000000000001 =3D> 8= 010000000000000 + fmsub 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fmsub 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 010000000000000 + fmsub 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + fmsub 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 8= 007ffb58ffffe00 + fmsub 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fmsub 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 8= 0180094e2b4a100 + fmsub 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + fmsub bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 8= 018000000000000 + fmsub bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fmsub bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 007ffb58ffffe00 + fmsub bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + + fmsubs 0010000000000001, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fmsubs 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fmsubs 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fmsubs 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + fmsubs 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fmsubs 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fmsubs 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fmsubs 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + fmsubs bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fmsubs bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fmsubs bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fmsubs bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + + fnmadd 0010000000000001, 0010000000000001, 0010000000000001 =3D> 8= 010000000000000 + fnmadd 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fnmadd 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 010000000000000 + fnmadd 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + fnmadd 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 8= 018004a70000100 + fnmadd 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fnmadd 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 8= 007ff6b1d4b5e00 + fnmadd 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + fnmadd bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 8= 008000000000000 + fnmadd bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fnmadd bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 018004a70000100 + fnmadd bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + + fnmadds 0010000000000001, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fnmadds 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fnmadds 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fnmadds 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + fnmadds 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fnmadds 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fnmadds 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fnmadds 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + fnmadds bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fnmadds bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fnmadds bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fnmadds bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + + fnmsub 0010000000000001, 0010000000000001, 0010000000000001 =3D> 0= 010000000000000 + fnmsub 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fnmsub 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 010000000000000 + fnmsub 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + fnmsub 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 0= 007ffb58ffffe00 + fnmsub 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fnmsub 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 0= 0180094e2b4a100 + fnmsub 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + fnmsub bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 0= 018000000000000 + fnmsub bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fnmsub bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 007ffb58ffffe00 + fnmsub bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + + fnmsubs 0010000000000001, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fnmsubs 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + fnmsubs 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fnmsubs 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + fnmsubs bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fnmsubs bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + +PPC floating point arith insns + with three args with flags update: + fsel. 0010000000000001, 0010000000000001, 0010000000000001 =3D> 0= 010000000000000 + fsel. 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> 0= 010000000000000 + fsel. 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 0100094e0000300 + fsel. 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> 8= 0100094e0000300 + fsel. 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 0= 010000000000000 + fsel. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> 0= 010000000000000 + fsel. 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 8= 0100094e0000300 + fsel. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> 8= 0100094e0000300 + fsel. bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 0= 010000000000000 + fsel. bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fsel. bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 010000000000000 + fsel. bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + + fmadd. 0010000000000001, 0010000000000001, 0010000000000001 =3D> 0= 010000000000000 + fmadd. 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fmadd. 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 010000000000000 + fmadd. 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + fmadd. 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 0= 018004a70000100 + fmadd. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fmadd. 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 0= 007ff6b1d4b5e00 + fmadd. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + fmadd. bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 0= 008000000000000 + fmadd. bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fmadd. bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 018004a70000100 + fmadd. bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + + fmadds. 0010000000000001, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fmadds. 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fmadds. 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fmadds. 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + fmadds. 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fmadds. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fmadds. 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fmadds. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + fmadds. bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fmadds. bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fmadds. bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fmadds. bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + + fmsub. 0010000000000001, 0010000000000001, 0010000000000001 =3D> 8= 010000000000000 + fmsub. 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fmsub. 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 010000000000000 + fmsub. 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + fmsub. 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 8= 007ffb58ffffe00 + fmsub. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fmsub. 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 8= 0180094e2b4a100 + fmsub. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + fmsub. bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 8= 018000000000000 + fmsub. bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fmsub. bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 007ffb58ffffe00 + fmsub. bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + + fmsubs. 0010000000000001, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fmsubs. 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fmsubs. 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fmsubs. 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + fmsubs. 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fmsubs. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fmsubs. 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fmsubs. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + fmsubs. bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fmsubs. bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fmsubs. bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fmsubs. bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + + fnmadd. 0010000000000001, 0010000000000001, 0010000000000001 =3D> 8= 010000000000000 + fnmadd. 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fnmadd. 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 010000000000000 + fnmadd. 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + fnmadd. 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 8= 018004a70000100 + fnmadd. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fnmadd. 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 8= 007ff6b1d4b5e00 + fnmadd. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + fnmadd. bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 8= 008000000000000 + fnmadd. bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000300 + fnmadd. bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 018004a70000100 + fnmadd. bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000300 + + fnmadds. 0010000000000001, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fnmadds. 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fnmadds. 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fnmadds. 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + fnmadds. 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fnmadds. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fnmadds. 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fnmadds. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + fnmadds. bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 8= 000000000000000 + fnmadds. bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> 3= fe00094e0000000 + fnmadds. bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 8= 000000000000000 + fnmadds. bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> 3= fe00094e0000000 + + fnmsub. 0010000000000001, 0010000000000001, 0010000000000001 =3D> 0= 010000000000000 + fnmsub. 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fnmsub. 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 010000000000000 + fnmsub. 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + fnmsub. 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 0= 007ffb58ffffe00 + fnmsub. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fnmsub. 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 0= 0180094e2b4a100 + fnmsub. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + fnmsub. bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 0= 018000000000000 + fnmsub. bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000300 + fnmsub. bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 007ffb58ffffe00 + fnmsub. bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000300 + + fnmsubs. 0010000000000001, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs. 0010000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fnmsubs. 0010000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs. 0010000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + fnmsubs. 3fe00094e0000359, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fnmsubs. 3fe00094e0000359, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + fnmsubs. bfe0000000000001, 0010000000000001, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs. bfe0000000000001, 0010000000000001, bfe00094e0000359 =3D> b= fe00094e0000000 + fnmsubs. bfe0000000000001, 80100094e0000359, 0010000000000001 =3D> 0= 000000000000000 + fnmsubs. bfe0000000000001, 80100094e0000359, bfe00094e0000359 =3D> b= fe00094e0000000 + +PPC floating point arith insns with two args: + fadd 0010000000000001, 0010000000000001 =3D> 0020000000000001 + fadd 0010000000000001, 80100094e0000359 =3D> 80000094e0000358 + fadd 0010000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fadd 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fadd 3fe00094e0000359, 0010000000000001 =3D> 3fe00094e0000359 + fadd 3fe00094e0000359, 80100094e0000359 =3D> 3fe00094e0000359 + fadd 3fe00094e0000359, 7ff0000000000000 =3D> 7ff0000000000000 + fadd 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fadd bfe0000000000001, 0010000000000001 =3D> bfe0000000000001 + fadd bfe0000000000001, 80100094e0000359 =3D> bfe0000000000001 + fadd bfe0000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fadd bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fadd 8000000000000000, 0010000000000001 =3D> 0010000000000001 + fadd 8000000000000000, 80100094e0000359 =3D> 80100094e0000359 + fadd 8000000000000000, 7ff0000000000000 =3D> 7ff0000000000000 + fadd 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fadd 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffffffffff + fadd 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffffffffff + fadd 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffffffffff + fadd 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffffffffff + fadd fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fadd fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fadd fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fadd fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fadds 0010000000000001, 0010000000000001 =3D> 0000000000000000 + fadds 0010000000000001, 80100094e0000359 =3D> 8000000000000000 + fadds 0010000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fadds 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fadds 3fe00094e0000359, 0010000000000001 =3D> 3fe00094e0000000 + fadds 3fe00094e0000359, 80100094e0000359 =3D> 3fe00094e0000000 + fadds 3fe00094e0000359, 7ff0000000000000 =3D> 7ff0000000000000 + fadds 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fadds bfe0000000000001, 0010000000000001 =3D> bfe0000000000000 + fadds bfe0000000000001, 80100094e0000359 =3D> bfe0000000000000 + fadds bfe0000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fadds bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fadds 8000000000000000, 0010000000000001 =3D> 0000000000000000 + fadds 8000000000000000, 80100094e0000359 =3D> 8000000000000000 + fadds 8000000000000000, 7ff0000000000000 =3D> 7ff0000000000000 + fadds 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fadds 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffe0000000 + fadds 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffe0000000 + fadds 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffe0000000 + fadds 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffe0000000 + fadds fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fadds fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fadds fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fadds fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fsub 0010000000000001, 0010000000000001 =3D> 0000000000000000 + fsub 0010000000000001, 80100094e0000359 =3D> 0020004a700001ad + fsub 0010000000000001, 7ff0000000000000 =3D> fff0000000000000 + fsub 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fsub 3fe00094e0000359, 0010000000000001 =3D> 3fe00094e0000359 + fsub 3fe00094e0000359, 80100094e0000359 =3D> 3fe00094e0000359 + fsub 3fe00094e0000359, 7ff0000000000000 =3D> fff0000000000000 + fsub 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fsub bfe0000000000001, 0010000000000001 =3D> bfe0000000000001 + fsub bfe0000000000001, 80100094e0000359 =3D> bfe0000000000001 + fsub bfe0000000000001, 7ff0000000000000 =3D> fff0000000000000 + fsub bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fsub 8000000000000000, 0010000000000001 =3D> 8010000000000001 + fsub 8000000000000000, 80100094e0000359 =3D> 00100094e0000359 + fsub 8000000000000000, 7ff0000000000000 =3D> fff0000000000000 + fsub 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fsub 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffffffffff + fsub 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffffffffff + fsub 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffffffffff + fsub 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffffffffff + fsub fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fsub fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fsub fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fsub fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fsubs 0010000000000001, 0010000000000001 =3D> 0000000000000000 + fsubs 0010000000000001, 80100094e0000359 =3D> 0000000000000000 + fsubs 0010000000000001, 7ff0000000000000 =3D> fff0000000000000 + fsubs 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fsubs 3fe00094e0000359, 0010000000000001 =3D> 3fe00094e0000000 + fsubs 3fe00094e0000359, 80100094e0000359 =3D> 3fe00094e0000000 + fsubs 3fe00094e0000359, 7ff0000000000000 =3D> fff0000000000000 + fsubs 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fsubs bfe0000000000001, 0010000000000001 =3D> bfe0000000000000 + fsubs bfe0000000000001, 80100094e0000359 =3D> bfe0000000000000 + fsubs bfe0000000000001, 7ff0000000000000 =3D> fff0000000000000 + fsubs bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fsubs 8000000000000000, 0010000000000001 =3D> 8000000000000000 + fsubs 8000000000000000, 80100094e0000359 =3D> 0000000000000000 + fsubs 8000000000000000, 7ff0000000000000 =3D> fff0000000000000 + fsubs 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fsubs 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffe0000000 + fsubs 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffe0000000 + fsubs 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffe0000000 + fsubs 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffe0000000 + fsubs fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fsubs fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fsubs fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fsubs fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fmul 0010000000000001, 0010000000000001 =3D> 0000000000000000 + fmul 0010000000000001, 80100094e0000359 =3D> 8000000000000000 + fmul 0010000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fmul 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fmul 3fe00094e0000359, 0010000000000001 =3D> 0008004a700001ad + fmul 3fe00094e0000359, 80100094e0000359 =3D> 80080094e2b4a179 + fmul 3fe00094e0000359, 7ff0000000000000 =3D> 7ff0000000000000 + fmul 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fmul bfe0000000000001, 0010000000000001 =3D> 8008000000000001 + fmul bfe0000000000001, 80100094e0000359 =3D> 0008004a700001ad + fmul bfe0000000000001, 7ff0000000000000 =3D> fff0000000000000 + fmul bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fmul 8000000000000000, 0010000000000001 =3D> 8000000000000000 + fmul 8000000000000000, 80100094e0000359 =3D> 0000000000000000 + fmul 8000000000000000, 7ff0000000000000 =3D> 7ff8000000000000 + fmul 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fmul 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffffffffff + fmul 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffffffffff + fmul 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffffffffff + fmul 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffffffffff + fmul fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fmul fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fmul fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fmul fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fmuls 0010000000000001, 0010000000000001 =3D> 0000000000000000 + fmuls 0010000000000001, 80100094e0000359 =3D> 8000000000000000 + fmuls 0010000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fmuls 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fmuls 3fe00094e0000359, 0010000000000001 =3D> 0000000000000000 + fmuls 3fe00094e0000359, 80100094e0000359 =3D> 8000000000000000 + fmuls 3fe00094e0000359, 7ff0000000000000 =3D> 7ff0000000000000 + fmuls 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fmuls bfe0000000000001, 0010000000000001 =3D> 8000000000000000 + fmuls bfe0000000000001, 80100094e0000359 =3D> 0000000000000000 + fmuls bfe0000000000001, 7ff0000000000000 =3D> fff0000000000000 + fmuls bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fmuls 8000000000000000, 0010000000000001 =3D> 8000000000000000 + fmuls 8000000000000000, 80100094e0000359 =3D> 0000000000000000 + fmuls 8000000000000000, 7ff0000000000000 =3D> 7ff8000000000000 + fmuls 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fmuls 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffe0000000 + fmuls 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffe0000000 + fmuls 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffe0000000 + fmuls 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffe0000000 + fmuls fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fmuls fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fmuls fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fmuls fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fdiv 0010000000000001, 0010000000000001 =3D> 3ff0000000000000 + fdiv 0010000000000001, 80100094e0000359 =3D> bfeffed64ad20d22 + fdiv 0010000000000001, 7ff0000000000000 =3D> 0000000000000000 + fdiv 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fdiv 3fe00094e0000359, 0010000000000001 =3D> 7fc00094e0000358 + fdiv 3fe00094e0000359, 80100094e0000359 =3D> ffc0000000000000 + fdiv 3fe00094e0000359, 7ff0000000000000 =3D> 0000000000000000 + fdiv 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fdiv bfe0000000000001, 0010000000000001 =3D> ffc0000000000000 + fdiv bfe0000000000001, 80100094e0000359 =3D> 7fbffed64ad20d22 + fdiv bfe0000000000001, 7ff0000000000000 =3D> 8000000000000000 + fdiv bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fdiv 8000000000000000, 0010000000000001 =3D> 8000000000000000 + fdiv 8000000000000000, 80100094e0000359 =3D> 0000000000000000 + fdiv 8000000000000000, 7ff0000000000000 =3D> 8000000000000000 + fdiv 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fdiv 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffffffffff + fdiv 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffffffffff + fdiv 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffffffffff + fdiv 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffffffffff + fdiv fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fdiv fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fdiv fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fdiv fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fdivs 0010000000000001, 0010000000000001 =3D> 3ff0000000000000 + fdivs 0010000000000001, 80100094e0000359 =3D> bfeffed640000000 + fdivs 0010000000000001, 7ff0000000000000 =3D> 0000000000000000 + fdivs 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fdivs 3fe00094e0000359, 0010000000000001 =3D> 7ff0000000000000 + fdivs 3fe00094e0000359, 80100094e0000359 =3D> fff0000000000000 + fdivs 3fe00094e0000359, 7ff0000000000000 =3D> 0000000000000000 + fdivs 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fdivs bfe0000000000001, 0010000000000001 =3D> fff0000000000000 + fdivs bfe0000000000001, 80100094e0000359 =3D> 7ff0000000000000 + fdivs bfe0000000000001, 7ff0000000000000 =3D> 8000000000000000 + fdivs bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fdivs 8000000000000000, 0010000000000001 =3D> 8000000000000000 + fdivs 8000000000000000, 80100094e0000359 =3D> 0000000000000000 + fdivs 8000000000000000, 7ff0000000000000 =3D> 8000000000000000 + fdivs 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fdivs 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffe0000000 + fdivs 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffe0000000 + fdivs 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffe0000000 + fdivs 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffe0000000 + fdivs fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fdivs fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fdivs fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fdivs fff8000000000000, fff8000000000000 =3D> fff8000000000000 + +PPC floating point arith insns + with two args with flags update: + fadd. 0010000000000001, 0010000000000001 =3D> 0020000000000001 + fadd. 0010000000000001, 80100094e0000359 =3D> 80000094e0000358 + fadd. 0010000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fadd. 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fadd. 3fe00094e0000359, 0010000000000001 =3D> 3fe00094e0000359 + fadd. 3fe00094e0000359, 80100094e0000359 =3D> 3fe00094e0000359 + fadd. 3fe00094e0000359, 7ff0000000000000 =3D> 7ff0000000000000 + fadd. 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fadd. bfe0000000000001, 0010000000000001 =3D> bfe0000000000001 + fadd. bfe0000000000001, 80100094e0000359 =3D> bfe0000000000001 + fadd. bfe0000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fadd. bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fadd. 8000000000000000, 0010000000000001 =3D> 0010000000000001 + fadd. 8000000000000000, 80100094e0000359 =3D> 80100094e0000359 + fadd. 8000000000000000, 7ff0000000000000 =3D> 7ff0000000000000 + fadd. 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fadd. 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffffffffff + fadd. 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffffffffff + fadd. 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffffffffff + fadd. 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffffffffff + fadd. fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fadd. fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fadd. fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fadd. fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fadds. 0010000000000001, 0010000000000001 =3D> 0000000000000000 + fadds. 0010000000000001, 80100094e0000359 =3D> 8000000000000000 + fadds. 0010000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fadds. 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fadds. 3fe00094e0000359, 0010000000000001 =3D> 3fe00094e0000000 + fadds. 3fe00094e0000359, 80100094e0000359 =3D> 3fe00094e0000000 + fadds. 3fe00094e0000359, 7ff0000000000000 =3D> 7ff0000000000000 + fadds. 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fadds. bfe0000000000001, 0010000000000001 =3D> bfe0000000000000 + fadds. bfe0000000000001, 80100094e0000359 =3D> bfe0000000000000 + fadds. bfe0000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fadds. bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fadds. 8000000000000000, 0010000000000001 =3D> 0000000000000000 + fadds. 8000000000000000, 80100094e0000359 =3D> 8000000000000000 + fadds. 8000000000000000, 7ff0000000000000 =3D> 7ff0000000000000 + fadds. 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fadds. 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffe0000000 + fadds. 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffe0000000 + fadds. 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffe0000000 + fadds. 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffe0000000 + fadds. fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fadds. fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fadds. fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fadds. fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fsub. 0010000000000001, 0010000000000001 =3D> 0000000000000000 + fsub. 0010000000000001, 80100094e0000359 =3D> 0020004a700001ad + fsub. 0010000000000001, 7ff0000000000000 =3D> fff0000000000000 + fsub. 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fsub. 3fe00094e0000359, 0010000000000001 =3D> 3fe00094e0000359 + fsub. 3fe00094e0000359, 80100094e0000359 =3D> 3fe00094e0000359 + fsub. 3fe00094e0000359, 7ff0000000000000 =3D> fff0000000000000 + fsub. 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fsub. bfe0000000000001, 0010000000000001 =3D> bfe0000000000001 + fsub. bfe0000000000001, 80100094e0000359 =3D> bfe0000000000001 + fsub. bfe0000000000001, 7ff0000000000000 =3D> fff0000000000000 + fsub. bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fsub. 8000000000000000, 0010000000000001 =3D> 8010000000000001 + fsub. 8000000000000000, 80100094e0000359 =3D> 00100094e0000359 + fsub. 8000000000000000, 7ff0000000000000 =3D> fff0000000000000 + fsub. 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fsub. 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffffffffff + fsub. 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffffffffff + fsub. 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffffffffff + fsub. 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffffffffff + fsub. fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fsub. fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fsub. fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fsub. fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fsubs. 0010000000000001, 0010000000000001 =3D> 0000000000000000 + fsubs. 0010000000000001, 80100094e0000359 =3D> 0000000000000000 + fsubs. 0010000000000001, 7ff0000000000000 =3D> fff0000000000000 + fsubs. 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fsubs. 3fe00094e0000359, 0010000000000001 =3D> 3fe00094e0000000 + fsubs. 3fe00094e0000359, 80100094e0000359 =3D> 3fe00094e0000000 + fsubs. 3fe00094e0000359, 7ff0000000000000 =3D> fff0000000000000 + fsubs. 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fsubs. bfe0000000000001, 0010000000000001 =3D> bfe0000000000000 + fsubs. bfe0000000000001, 80100094e0000359 =3D> bfe0000000000000 + fsubs. bfe0000000000001, 7ff0000000000000 =3D> fff0000000000000 + fsubs. bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fsubs. 8000000000000000, 0010000000000001 =3D> 8000000000000000 + fsubs. 8000000000000000, 80100094e0000359 =3D> 0000000000000000 + fsubs. 8000000000000000, 7ff0000000000000 =3D> fff0000000000000 + fsubs. 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fsubs. 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffe0000000 + fsubs. 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffe0000000 + fsubs. 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffe0000000 + fsubs. 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffe0000000 + fsubs. fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fsubs. fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fsubs. fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fsubs. fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fmul. 0010000000000001, 0010000000000001 =3D> 0000000000000000 + fmul. 0010000000000001, 80100094e0000359 =3D> 8000000000000000 + fmul. 0010000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fmul. 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fmul. 3fe00094e0000359, 0010000000000001 =3D> 0008004a700001ad + fmul. 3fe00094e0000359, 80100094e0000359 =3D> 80080094e2b4a179 + fmul. 3fe00094e0000359, 7ff0000000000000 =3D> 7ff0000000000000 + fmul. 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fmul. bfe0000000000001, 0010000000000001 =3D> 8008000000000001 + fmul. bfe0000000000001, 80100094e0000359 =3D> 0008004a700001ad + fmul. bfe0000000000001, 7ff0000000000000 =3D> fff0000000000000 + fmul. bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fmul. 8000000000000000, 0010000000000001 =3D> 8000000000000000 + fmul. 8000000000000000, 80100094e0000359 =3D> 0000000000000000 + fmul. 8000000000000000, 7ff0000000000000 =3D> 7ff8000000000000 + fmul. 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fmul. 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffffffffff + fmul. 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffffffffff + fmul. 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffffffffff + fmul. 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffffffffff + fmul. fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fmul. fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fmul. fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fmul. fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fmuls. 0010000000000001, 0010000000000001 =3D> 0000000000000000 + fmuls. 0010000000000001, 80100094e0000359 =3D> 8000000000000000 + fmuls. 0010000000000001, 7ff0000000000000 =3D> 7ff0000000000000 + fmuls. 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fmuls. 3fe00094e0000359, 0010000000000001 =3D> 0000000000000000 + fmuls. 3fe00094e0000359, 80100094e0000359 =3D> 8000000000000000 + fmuls. 3fe00094e0000359, 7ff0000000000000 =3D> 7ff0000000000000 + fmuls. 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fmuls. bfe0000000000001, 0010000000000001 =3D> 8000000000000000 + fmuls. bfe0000000000001, 80100094e0000359 =3D> 0000000000000000 + fmuls. bfe0000000000001, 7ff0000000000000 =3D> fff0000000000000 + fmuls. bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fmuls. 8000000000000000, 0010000000000001 =3D> 8000000000000000 + fmuls. 8000000000000000, 80100094e0000359 =3D> 0000000000000000 + fmuls. 8000000000000000, 7ff0000000000000 =3D> 7ff8000000000000 + fmuls. 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fmuls. 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffe0000000 + fmuls. 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffe0000000 + fmuls. 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffe0000000 + fmuls. 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffe0000000 + fmuls. fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fmuls. fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fmuls. fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fmuls. fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fdiv. 0010000000000001, 0010000000000001 =3D> 3ff0000000000000 + fdiv. 0010000000000001, 80100094e0000359 =3D> bfeffed64ad20d22 + fdiv. 0010000000000001, 7ff0000000000000 =3D> 0000000000000000 + fdiv. 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fdiv. 3fe00094e0000359, 0010000000000001 =3D> 7fc00094e0000358 + fdiv. 3fe00094e0000359, 80100094e0000359 =3D> ffc0000000000000 + fdiv. 3fe00094e0000359, 7ff0000000000000 =3D> 0000000000000000 + fdiv. 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fdiv. bfe0000000000001, 0010000000000001 =3D> ffc0000000000000 + fdiv. bfe0000000000001, 80100094e0000359 =3D> 7fbffed64ad20d22 + fdiv. bfe0000000000001, 7ff0000000000000 =3D> 8000000000000000 + fdiv. bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fdiv. 8000000000000000, 0010000000000001 =3D> 8000000000000000 + fdiv. 8000000000000000, 80100094e0000359 =3D> 0000000000000000 + fdiv. 8000000000000000, 7ff0000000000000 =3D> 8000000000000000 + fdiv. 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fdiv. 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffffffffff + fdiv. 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffffffffff + fdiv. 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffffffffff + fdiv. 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffffffffff + fdiv. fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fdiv. fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fdiv. fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fdiv. fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fdivs. 0010000000000001, 0010000000000001 =3D> 3ff0000000000000 + fdivs. 0010000000000001, 80100094e0000359 =3D> bfeffed640000000 + fdivs. 0010000000000001, 7ff0000000000000 =3D> 0000000000000000 + fdivs. 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fdivs. 3fe00094e0000359, 0010000000000001 =3D> 7ff0000000000000 + fdivs. 3fe00094e0000359, 80100094e0000359 =3D> fff0000000000000 + fdivs. 3fe00094e0000359, 7ff0000000000000 =3D> 0000000000000000 + fdivs. 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fdivs. bfe0000000000001, 0010000000000001 =3D> fff0000000000000 + fdivs. bfe0000000000001, 80100094e0000359 =3D> 7ff0000000000000 + fdivs. bfe0000000000001, 7ff0000000000000 =3D> 8000000000000000 + fdivs. bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fdivs. 8000000000000000, 0010000000000001 =3D> 8000000000000000 + fdivs. 8000000000000000, 80100094e0000359 =3D> 0000000000000000 + fdivs. 8000000000000000, 7ff0000000000000 =3D> 8000000000000000 + fdivs. 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fdivs. 7ff7ffffffffffff, 0010000000000001 =3D> 7fffffffe0000000 + fdivs. 7ff7ffffffffffff, 80100094e0000359 =3D> 7fffffffe0000000 + fdivs. 7ff7ffffffffffff, 7ff0000000000000 =3D> 7fffffffe0000000 + fdivs. 7ff7ffffffffffff, fff8000000000000 =3D> 7fffffffe0000000 + fdivs. fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fdivs. fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fdivs. fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fdivs. fff8000000000000, fff8000000000000 =3D> fff8000000000000 + +PPC floating point compare insns (two args): + fcmpo 0010000000000001, 0010000000000001 =3D> fff8000000000000 + fcmpo 0010000000000001, 80100094e0000359 =3D> fff8000000000000 + fcmpo 0010000000000001, 7ff0000000000000 =3D> fff8000000000000 + fcmpo 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fcmpo 3fe00094e0000359, 0010000000000001 =3D> fff8000000000000 + fcmpo 3fe00094e0000359, 80100094e0000359 =3D> fff8000000000000 + fcmpo 3fe00094e0000359, 7ff0000000000000 =3D> fff8000000000000 + fcmpo 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fcmpo bfe0000000000001, 0010000000000001 =3D> fff8000000000000 + fcmpo bfe0000000000001, 80100094e0000359 =3D> fff8000000000000 + fcmpo bfe0000000000001, 7ff0000000000000 =3D> fff8000000000000 + fcmpo bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fcmpo 8000000000000000, 0010000000000001 =3D> fff8000000000000 + fcmpo 8000000000000000, 80100094e0000359 =3D> fff8000000000000 + fcmpo 8000000000000000, 7ff0000000000000 =3D> fff8000000000000 + fcmpo 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fcmpo 7ff7ffffffffffff, 0010000000000001 =3D> fff8000000000000 + fcmpo 7ff7ffffffffffff, 80100094e0000359 =3D> fff8000000000000 + fcmpo 7ff7ffffffffffff, 7ff0000000000000 =3D> fff8000000000000 + fcmpo 7ff7ffffffffffff, fff8000000000000 =3D> fff8000000000000 + fcmpo fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fcmpo fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fcmpo fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fcmpo fff8000000000000, fff8000000000000 =3D> fff8000000000000 + + fcmpu 0010000000000001, 0010000000000001 =3D> fff8000000000000 + fcmpu 0010000000000001, 80100094e0000359 =3D> fff8000000000000 + fcmpu 0010000000000001, 7ff0000000000000 =3D> fff8000000000000 + fcmpu 0010000000000001, fff8000000000000 =3D> fff8000000000000 + fcmpu 3fe00094e0000359, 0010000000000001 =3D> fff8000000000000 + fcmpu 3fe00094e0000359, 80100094e0000359 =3D> fff8000000000000 + fcmpu 3fe00094e0000359, 7ff0000000000000 =3D> fff8000000000000 + fcmpu 3fe00094e0000359, fff8000000000000 =3D> fff8000000000000 + fcmpu bfe0000000000001, 0010000000000001 =3D> fff8000000000000 + fcmpu bfe0000000000001, 80100094e0000359 =3D> fff8000000000000 + fcmpu bfe0000000000001, 7ff0000000000000 =3D> fff8000000000000 + fcmpu bfe0000000000001, fff8000000000000 =3D> fff8000000000000 + fcmpu 8000000000000000, 0010000000000001 =3D> fff8000000000000 + fcmpu 8000000000000000, 80100094e0000359 =3D> fff8000000000000 + fcmpu 8000000000000000, 7ff0000000000000 =3D> fff8000000000000 + fcmpu 8000000000000000, fff8000000000000 =3D> fff8000000000000 + fcmpu 7ff7ffffffffffff, 0010000000000001 =3D> fff8000000000000 + fcmpu 7ff7ffffffffffff, 80100094e0000359 =3D> fff8000000000000 + fcmpu 7ff7ffffffffffff, 7ff0000000000000 =3D> fff8000000000000 + fcmpu 7ff7ffffffffffff, fff8000000000000 =3D> fff8000000000000 + fcmpu fff8000000000000, 0010000000000001 =3D> fff8000000000000 + fcmpu fff8000000000000, 80100094e0000359 =3D> fff8000000000000 + fcmpu fff8000000000000, 7ff0000000000000 =3D> fff8000000000000 + fcmpu fff8000000000000, fff8000000000000 =3D> fff8000000000000 + +PPC floating point arith insns with one arg: + frsp 0010000000000001 =3D> 0000000000000000 + frsp 00100094e0000359 =3D> 0000000000000000 + frsp 3fe0000000000001 =3D> 3fe0000000000000 + frsp 3fe00094e0000359 =3D> 3fe00094e0000000 + frsp 8010000000000001 =3D> 8000000000000000 + frsp 80100094e0000359 =3D> 8000000000000000 + frsp bfe0000000000001 =3D> bfe0000000000000 + frsp bfe00094e0000359 =3D> bfe00094e0000000 + frsp 0000000000000000 =3D> 0000000000000000 + frsp 8000000000000000 =3D> 8000000000000000 + frsp 7ff0000000000000 =3D> 7ff0000000000000 + frsp fff0000000000000 =3D> fff0000000000000 + frsp 7ff7ffffffffffff =3D> 7fffffffe0000000 + frsp fff7ffffffffffff =3D> ffffffffe0000000 + frsp 7ff8000000000000 =3D> 7ff8000000000000 + frsp fff8000000000000 =3D> fff8000000000000 + + fctiw 0010000000000001 =3D> 0000000000000000 + fctiw 00100094e0000359 =3D> 0000000000000000 + fctiw 3fe0000000000001 =3D> 0000000000000001 + fctiw 3fe00094e0000359 =3D> 0000000000000001 + fctiw 8010000000000001 =3D> 0000000000000000 + fctiw 80100094e0000359 =3D> 0000000000000000 + fctiw bfe0000000000001 =3D> 00000000ffffffff + fctiw bfe00094e0000359 =3D> 00000000ffffffff + fctiw 0000000000000000 =3D> 0000000000000000 + fctiw 8000000000000000 =3D> 0000000000000000 + fctiw 7ff0000000000000 =3D> 000000007fffffff + fctiw fff0000000000000 =3D> 0000000080000000 + fctiw 7ff7ffffffffffff =3D> 0000000080000000 + fctiw fff7ffffffffffff =3D> 0000000080000000 + fctiw 7ff8000000000000 =3D> 0000000080000000 + fctiw fff8000000000000 =3D> 0000000080000000 + + fctiwz 0010000000000001 =3D> 0000000000000000 + fctiwz 00100094e0000359 =3D> 0000000000000000 + fctiwz 3fe0000000000001 =3D> 0000000000000000 + fctiwz 3fe00094e0000359 =3D> 0000000000000000 + fctiwz 8010000000000001 =3D> 0000000000000000 + fctiwz 80100094e0000359 =3D> 0000000000000000 + fctiwz bfe0000000000001 =3D> 0000000000000000 + fctiwz bfe00094e0000359 =3D> 0000000000000000 + fctiwz 0000000000000000 =3D> 0000000000000000 + fctiwz 8000000000000000 =3D> 0000000000000000 + fctiwz 7ff0000000000000 =3D> 000000007fffffff + fctiwz fff0000000000000 =3D> 0000000080000000 + fctiwz 7ff7ffffffffffff =3D> 0000000080000000 + fctiwz fff7ffffffffffff =3D> 0000000080000000 + fctiwz 7ff8000000000000 =3D> 0000000080000000 + fctiwz fff8000000000000 =3D> 0000000080000000 + + fmr 0010000000000001 =3D> 0010000000000001 + fmr 00100094e0000359 =3D> 00100094e0000359 + fmr 3fe0000000000001 =3D> 3fe0000000000001 + fmr 3fe00094e0000359 =3D> 3fe00094e0000359 + fmr 8010000000000001 =3D> 8010000000000001 + fmr 80100094e0000359 =3D> 80100094e0000359 + fmr bfe0000000000001 =3D> bfe0000000000001 + fmr bfe00094e0000359 =3D> bfe00094e0000359 + fmr 0000000000000000 =3D> 0000000000000000 + fmr 8000000000000000 =3D> 8000000000000000 + fmr 7ff0000000000000 =3D> 7ff0000000000000 + fmr fff0000000000000 =3D> fff0000000000000 + fmr 7ff7ffffffffffff =3D> 7ff7ffffffffffff + fmr fff7ffffffffffff =3D> fff7ffffffffffff + fmr 7ff8000000000000 =3D> 7ff8000000000000 + fmr fff8000000000000 =3D> fff8000000000000 + + fneg 0010000000000001 =3D> 8010000000000001 + fneg 00100094e0000359 =3D> 80100094e0000359 + fneg 3fe0000000000001 =3D> bfe0000000000001 + fneg 3fe00094e0000359 =3D> bfe00094e0000359 + fneg 8010000000000001 =3D> 0010000000000001 + fneg 80100094e0000359 =3D> 00100094e0000359 + fneg bfe0000000000001 =3D> 3fe0000000000001 + fneg bfe00094e0000359 =3D> 3fe00094e0000359 + fneg 0000000000000000 =3D> 8000000000000000 + fneg 8000000000000000 =3D> 0000000000000000 + fneg 7ff0000000000000 =3D> fff0000000000000 + fneg fff0000000000000 =3D> 7ff0000000000000 + fneg 7ff7ffffffffffff =3D> fff7ffffffffffff + fneg fff7ffffffffffff =3D> 7ff7ffffffffffff + fneg 7ff8000000000000 =3D> fff8000000000000 + fneg fff8000000000000 =3D> 7ff8000000000000 + + fabs 0010000000000001 =3D> 0010000000000001 + fabs 00100094e0000359 =3D> 00100094e0000359 + fabs 3fe0000000000001 =3D> 3fe0000000000001 + fabs 3fe00094e0000359 =3D> 3fe00094e0000359 + fabs 8010000000000001 =3D> 0010000000000001 + fabs 80100094e0000359 =3D> 00100094e0000359 + fabs bfe0000000000001 =3D> 3fe0000000000001 + fabs bfe00094e0000359 =3D> 3fe00094e0000359 + fabs 0000000000000000 =3D> 0000000000000000 + fabs 8000000000000000 =3D> 0000000000000000 + fabs 7ff0000000000000 =3D> 7ff0000000000000 + fabs fff0000000000000 =3D> 7ff0000000000000 + fabs 7ff7ffffffffffff =3D> 7ff7ffffffffffff + fabs fff7ffffffffffff =3D> 7ff7ffffffffffff + fabs 7ff8000000000000 =3D> 7ff8000000000000 + fabs fff8000000000000 =3D> 7ff8000000000000 + + fnabs 0010000000000001 =3D> 8010000000000001 + fnabs 00100094e0000359 =3D> 80100094e0000359 + fnabs 3fe0000000000001 =3D> bfe0000000000001 + fnabs 3fe00094e0000359 =3D> bfe00094e0000359 + fnabs 8010000000000001 =3D> 8010000000000001 + fnabs 80100094e0000359 =3D> 80100094e0000359 + fnabs bfe0000000000001 =3D> bfe0000000000001 + fnabs bfe00094e0000359 =3D> bfe00094e0000359 + fnabs 0000000000000000 =3D> 8000000000000000 + fnabs 8000000000000000 =3D> 8000000000000000 + fnabs 7ff0000000000000 =3D> fff0000000000000 + fnabs fff0000000000000 =3D> fff0000000000000 + fnabs 7ff7ffffffffffff =3D> fff7ffffffffffff + fnabs fff7ffffffffffff =3D> fff7ffffffffffff + fnabs 7ff8000000000000 =3D> fff8000000000000 + fnabs fff8000000000000 =3D> fff8000000000000 + + fsqrt 0010000000000001 =3D> 2000000000000000 + fsqrt 00100094e0000359 =3D> 2000004a6f52dd4a + fsqrt 3fe0000000000001 =3D> 3fe6a09e667f3bcd + fsqrt 3fe00094e0000359 =3D> 3fe6a107aacb50df + fsqrt 8010000000000001 =3D> 7ff8000000000000 + fsqrt 80100094e0000359 =3D> 7ff8000000000000 + fsqrt bfe0000000000001 =3D> 7ff8000000000000 + fsqrt bfe00094e0000359 =3D> 7ff8000000000000 + fsqrt 0000000000000000 =3D> 0000000000000000 + fsqrt 8000000000000000 =3D> 8000000000000000 + fsqrt 7ff0000000000000 =3D> 7ff0000000000000 + fsqrt fff0000000000000 =3D> 7ff8000000000000 + fsqrt 7ff7ffffffffffff =3D> 7fffffffffffffff + fsqrt fff7ffffffffffff =3D> ffffffffffffffff + fsqrt 7ff8000000000000 =3D> 7ff8000000000000 + fsqrt fff8000000000000 =3D> fff8000000000000 + +PPC floating point arith insns + with one arg with flags update: + frsp. 0010000000000001 =3D> 0000000000000000 + frsp. 00100094e0000359 =3D> 0000000000000000 + frsp. 3fe0000000000001 =3D> 3fe0000000000000 + frsp. 3fe00094e0000359 =3D> 3fe00094e0000000 + frsp. 8010000000000001 =3D> 8000000000000000 + frsp. 80100094e0000359 =3D> 8000000000000000 + frsp. bfe0000000000001 =3D> bfe0000000000000 + frsp. bfe00094e0000359 =3D> bfe00094e0000000 + frsp. 0000000000000000 =3D> 0000000000000000 + frsp. 8000000000000000 =3D> 8000000000000000 + frsp. 7ff000000000... [truncated message content] |