Author: carll
Date: Thu Aug 7 23:49:27 2014
New Revision: 14240
Log:
This commit is for Bugzilla 334836. The Bugzilla contains patch 3 of 3
to add PPC64 LE support. The other two patches can be found in Bugzillas
334384 and 334834. Note, there are no VEX changes in this patch.
PP64 Little Endian test case fixes.
This patch adds new LE and BE expect files where needed. In other
cases, the test was fixed to run correctly on LE and BE using based on
testing to see which platform is being used.
Where practical, the test cases have been changed so that the output
produced for BE and LE will be identical. The test cases that require
a major rewrite to make the output identical for BE and LE simply
had an additional expect file added.
Signed-off-by: Carl Love <ca...@us...>
Added:
trunk/none/tests/ppc32/jm-fp.stdout.exp-BE2
trunk/none/tests/ppc32/round.stdout.exp-RM-fix
trunk/none/tests/ppc64/jm-fp.stdout.exp-BE2
trunk/none/tests/ppc64/jm-fp.stdout.exp-LE
trunk/none/tests/ppc64/jm-fp.stdout.exp-LE2
trunk/none/tests/ppc64/jm-int.stdout.exp-LE
trunk/none/tests/ppc64/jm-vmx.stdout.exp-LE
trunk/none/tests/ppc64/round.stdout.exp-RM-fix
trunk/none/tests/ppc64/std_reg_imm.stdout.exp-LE
trunk/none/tests/ppc64/test_isa_2_06_part1.stdout.exp-LE
trunk/tests/is_ppc64_BE.c
Modified:
trunk/coregrind/launcher-darwin.c
trunk/coregrind/vg_preloaded.c
trunk/helgrind/tests/tc11_XCHG.c
trunk/memcheck/tests/atomic_incs.c
trunk/memcheck/tests/badjump.c
trunk/memcheck/tests/ppc64/power_ISA2_05.c
trunk/memcheck/tests/ppc64/power_ISA2_05.stdout.exp
trunk/none/tests/amd64/xadd.c
trunk/none/tests/ppc32/Makefile.am
trunk/none/tests/ppc32/jm-insns.c
trunk/none/tests/ppc32/jm-int.stdout.exp
trunk/none/tests/ppc32/jm-vmx.stdout.exp
trunk/none/tests/ppc32/jm_vec_isa_2_07.stdout.exp
trunk/none/tests/ppc32/round.stdout.exp
trunk/none/tests/ppc32/test_dfp4.c
trunk/none/tests/ppc32/test_dfp5.c
trunk/none/tests/ppc32/test_isa_2_06_part1.c
trunk/none/tests/ppc32/test_isa_2_06_part1.stdout.exp
trunk/none/tests/ppc32/test_isa_2_06_part2.c
trunk/none/tests/ppc32/test_isa_2_06_part3.c
trunk/none/tests/ppc32/test_isa_2_07_part2.stdout.exp
trunk/none/tests/ppc64/Makefile.am
trunk/none/tests/ppc64/jm-fp.stdout.exp
trunk/none/tests/ppc64/jm-int.stdout.exp
trunk/none/tests/ppc64/jm-vmx.stdout.exp
trunk/none/tests/ppc64/jm_vec_isa_2_07.stdout.exp
trunk/none/tests/ppc64/lsw.vgtest
trunk/none/tests/ppc64/round.c
trunk/none/tests/ppc64/test_isa_2_06_part1.stdout.exp
trunk/none/tests/ppc64/test_isa_2_07_part1.c
trunk/none/tests/ppc64/test_isa_2_07_part2.c
trunk/none/tests/ppc64/test_isa_2_07_part2.stdout.exp
trunk/tests/Makefile.am
trunk/tests/check_isa-2_06_cap
trunk/tests/check_isa-2_07_cap
Modified: trunk/coregrind/launcher-darwin.c
==============================================================================
--- trunk/coregrind/launcher-darwin.c (original)
+++ trunk/coregrind/launcher-darwin.c Thu Aug 7 23:49:27 2014
@@ -64,7 +64,6 @@
{ CPU_TYPE_ARM, "arm", "arm" },
{ CPU_TYPE_POWERPC, "ppc", "ppc32" },
{ CPU_TYPE_POWERPC64BE, "ppc64be", "ppc64be" },
- { CPU_TYPE_POWERPC64LE, "ppc64le", "ppc64le" },
};
static int valid_archs_count = sizeof(valid_archs)/sizeof(valid_archs[0]);
Modified: trunk/coregrind/vg_preloaded.c
==============================================================================
--- trunk/coregrind/vg_preloaded.c (original)
+++ trunk/coregrind/vg_preloaded.c Thu Aug 7 23:49:27 2014
@@ -83,8 +83,8 @@
VALGRIND_GET_ORIG_FN(fn);
CALL_FN_W_v(result, fn);
-#if defined(VGP_ppc64_linux)
- /* ppc64 uses function descriptors, so get the actual function entry
+#if defined(VGP_ppc64be_linux)
+ /* ppc64be uses function descriptors, so get the actual function entry
address for the client request, but return the function descriptor
from this function.
result points to the function descriptor, which starts with the
Modified: trunk/helgrind/tests/tc11_XCHG.c
==============================================================================
--- trunk/helgrind/tests/tc11_XCHG.c (original)
+++ trunk/helgrind/tests/tc11_XCHG.c Thu Aug 7 23:49:27 2014
@@ -14,7 +14,7 @@
#undef PLAT_x86_linux
#undef PLAT_amd64_linux
#undef PLAT_ppc32_linux
-#undef PLAT_ppc64_linux
+#undef PLAT_ppc64be_linux
#undef PLAT_arm_linux
#undef PLAT_s390x_linux
#undef PLAT_mips32_linux
Modified: trunk/memcheck/tests/atomic_incs.c
==============================================================================
--- trunk/memcheck/tests/atomic_incs.c (original)
+++ trunk/memcheck/tests/atomic_incs.c Thu Aug 7 23:49:27 2014
@@ -79,6 +79,23 @@
: /*trash*/ "memory", "cc", "r15"
);
} while (success != 1);
+#elif defined(VGA_ppc64le)
+ /* Nasty hack. Does correctly atomically do *p += n, but only if p
+ is 8-aligned -- guaranteed by caller. */
+ unsigned long success;
+ do {
+ __asm__ __volatile__(
+ "ldarx 15,0,%1" "\n\t"
+ "add 15,15,%2" "\n\t"
+ "stdcx. 15,0,%1" "\n\t"
+ "mfcr %0" "\n\t"
+ "srwi %0,%0,29" "\n\t"
+ "andi. %0,%0,1" "\n"
+ : /*out*/"=b"(success)
+ : /*in*/ "b"(p), "b"(((unsigned long)n))
+ : /*trash*/ "memory", "cc", "r15"
+ );
+ } while (success != 1);
#elif defined(VGA_arm)
unsigned int block[3]
= { (unsigned int)p, (unsigned int)n, 0xFFFFFFFF };
@@ -278,6 +295,23 @@
: /*trash*/ "memory", "cc", "r15"
);
} while (success != 1);
+#elif defined(VGA_ppc64le)
+ /* Nasty hack. Does correctly atomically do *p += n, but only if p
+ is 8-aligned -- guaranteed by caller. */
+ unsigned long success;
+ do {
+ __asm__ __volatile__(
+ "ldarx 15,0,%1" "\n\t"
+ "add 15,15,%2" "\n\t"
+ "stdcx. 15,0,%1" "\n\t"
+ "mfcr %0" "\n\t"
+ "srwi %0,%0,29" "\n\t"
+ "andi. %0,%0,1" "\n"
+ : /*out*/"=b"(success)
+ : /*in*/ "b"(p), "b"(((unsigned long)n))
+ : /*trash*/ "memory", "cc", "r15"
+ );
+ } while (success != 1);
#elif defined(VGA_arm)
unsigned int block[3]
= { (unsigned int)p, (unsigned int)n, 0xFFFFFFFF };
@@ -474,6 +508,23 @@
: /*trash*/ "memory", "cc", "r15"
);
} while (success != 1);
+#elif defined(VGA_ppc64le)
+ /* Nasty hack. Does correctly atomically do *p += n, but only if p
+ is 8-aligned -- guaranteed by caller. */
+ unsigned long success;
+ do {
+ __asm__ __volatile__(
+ "ldarx 15,0,%1" "\n\t"
+ "add 15,15,%2" "\n\t"
+ "stdcx. 15,0,%1" "\n\t"
+ "mfcr %0" "\n\t"
+ "srwi %0,%0,29" "\n\t"
+ "andi. %0,%0,1" "\n"
+ : /*out*/"=b"(success)
+ : /*in*/ "b"(p), "b"(((unsigned long)n))
+ : /*trash*/ "memory", "cc", "r15"
+ );
+ } while (success != 1);
#elif defined(VGA_arm)
unsigned int block[3]
= { (unsigned int)p, (unsigned int)n, 0xFFFFFFFF };
@@ -574,7 +625,7 @@
"lock; addq %%rbx,(%%rax)" "\n"
: : "S"(&block[0])/* S means "rsi only" */ : "memory","cc","rax","rbx"
);
-#elif defined(VGA_ppc64be)
+#elif defined(VGA_ppc64be) || defined(VGA_ppc64le)
unsigned long success;
do {
__asm__ __volatile__(
Modified: trunk/memcheck/tests/badjump.c
==============================================================================
--- trunk/memcheck/tests/badjump.c (original)
+++ trunk/memcheck/tests/badjump.c Thu Aug 7 23:49:27 2014
@@ -2,7 +2,7 @@
int main ( void )
{
-#if defined(__powerpc64__)
+#if defined(__powerpc64__) && _CALL_ELF != 2
/* on ppc64-linux, a function pointer points to a function
descriptor, not to the function's entry point. Hence to get
uniform behaviour on all supported targets - a jump to an
Modified: trunk/memcheck/tests/ppc64/power_ISA2_05.c
==============================================================================
--- trunk/memcheck/tests/ppc64/power_ISA2_05.c (original)
+++ trunk/memcheck/tests/ppc64/power_ISA2_05.c Thu Aug 7 23:49:27 2014
@@ -41,19 +41,25 @@
void test_lfiwax()
{
unsigned long base;
+ float foo_s;
typedef struct {
+#if defined(VGP_ppc64le_linux)
+ unsigned int lo;
+ unsigned int hi;
+#else
unsigned int hi;
unsigned int lo;
+#endif
} int_pair_t;
int_pair_t *ip;
- foo = -1024.0;
- base = (unsigned long) &foo;
+ foo_s = -1024.0;
+ base = (unsigned long) &foo_s;
__asm__ volatile ("lfiwax %0, 0, %1":"=f" (FRT1):"r"(base));
ip = (int_pair_t *) & FRT1;
- printf("lfiwax (%f) => FRT=(%x, %x)\n", foo, ip->hi, ip->lo);
+ printf("lfiwax (%f) => FRT=(%x, %x)\n", foo_s, ip->hi, ip->lo);
}
@@ -167,24 +173,27 @@
void test_reservation()
{
- int RT;
+ unsigned long long RT;
unsigned long base;
unsigned long offset;
- long arr[4] = { 0xdeadbeef, 0xbad0beef, 0xbeefdead, 0xbeef0bad };
+ long arrL[] __attribute__ ((aligned (8))) = { 0xdeadbeef00112233ULL, 0xbad0beef44556677ULL, 0xbeefdead8899aabbULL, 0xbeef0badccddeeffULL };
+ int arrI[] __attribute__ ((aligned (4))) = { 0xdeadbeef, 0xbad0beef, 0xbeefdead, 0xbeef0bad };
- base = (unsigned long) &arr;
- offset = (unsigned long) &arr[1] - base;
+ base = (unsigned long) &arrI;
+ offset = ((unsigned long) &arrI[1]) - base;
__asm__ volatile ("ori 20, %0, 0"::"r" (base));
__asm__ volatile ("ori 21, %0, 0"::"r" (offset));
__asm__ volatile ("lwarx %0, 20, 21, 1":"=r" (RT));
- printf("lwarx => %x\n", RT);
+ printf("lwarx => 0x%llx\n", RT);
#ifdef __powerpc64__
- offset = (unsigned long) &arr[1] - base;
+ base = (unsigned long) &arrL;
+ offset = ((unsigned long) &arrL[1]) - base;
+ __asm__ volatile ("ori 20, %0, 0"::"r" (base));
__asm__ volatile ("ori 21, %0, 0"::"r" (offset));
__asm__ volatile ("ldarx %0, 20, 21, 1":"=r" (RT));
- printf("ldarx => %x\n", RT);
+ printf("ldarx => 0x%llx\n", RT);
#endif
}
Modified: trunk/memcheck/tests/ppc64/power_ISA2_05.stdout.exp
==============================================================================
--- trunk/memcheck/tests/ppc64/power_ISA2_05.stdout.exp (original)
+++ trunk/memcheck/tests/ppc64/power_ISA2_05.stdout.exp Thu Aug 7 23:49:27 2014
@@ -1,5 +1,5 @@
-lwarx => 0
-ldarx => bad0beef
+lwarx => 0xbad0beef
+ldarx => 0xbad0beef44556677
fcpsgn sign=10.101010, base=11.111111 => 11.111111
fcpsgn sign=10.101010, base=-0.000000 => 0.000000
fcpsgn sign=10.101010, base=0.000000 => 0.000000
@@ -20,7 +20,7 @@
stfdp (2.204800, -4.102400) => F_hi=2.204800, F_lo=-4.102400
lfdpx (2.204800, -4.102400) => F_hi=2.204800, F_lo=-4.102400
stfdpx (2.204800, 2.204800) => F_hi=2.204800, F_lo=2.204800
-lfiwax (-1024.000000) => FRT=(ffffffff, c0900000)
+lfiwax (-1024.000000) => FRT=(ffffffff, c4800000)
prtyd (0) => parity=0
prtyw (0) => parity=0
prtyd (1) => parity=1
Modified: trunk/none/tests/amd64/xadd.c
==============================================================================
--- trunk/none/tests/amd64/xadd.c (original)
+++ trunk/none/tests/amd64/xadd.c Thu Aug 7 23:49:27 2014
@@ -9,7 +9,7 @@
#undef PLAT_x86_linux
#undef PLAT_amd64_linux
#undef PLAT_ppc32_linux
-#undef PLAT_ppc64_linux
+#undef PLAT_ppc64be_linux
#if defined(__i386__)
# define PLAT_x86_linux 1
Modified: trunk/none/tests/ppc32/Makefile.am
==============================================================================
--- trunk/none/tests/ppc32/Makefile.am (original)
+++ trunk/none/tests/ppc32/Makefile.am Thu Aug 7 23:49:27 2014
@@ -11,13 +11,13 @@
ldstrev.stderr.exp ldstrev.stdout.exp ldstrev.vgtest \
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-fp.stderr.exp jm-fp.stdout.exp jm-fp.vgtest jm-fp.stdout.exp-BE2 \
jm-vmx.stderr.exp jm-vmx.stdout.exp jm-vmx.stdout.exp_Minus_nan \
jm-vmx.vgtest \
jm-misc.stderr.exp jm-misc.stdout.exp jm-misc.vgtest \
mftocrf.stderr.exp mftocrf.stdout.exp mftocrf.vgtest \
mcrfs.stderr.exp mcrfs.stdout.exp mcrfs.vgtest \
- round.stderr.exp round.stdout.exp round.vgtest \
+ round.stderr.exp round.stdout.exp round.vgtest round.stdout.exp-RM-fix\
test_fx.stderr.exp test_fx.stdout.exp test_fx.stdout.exp_Minus_nan \
test_fx.vgtest \
test_gx.stderr.exp test_gx.stdout.exp test_gx.stdout.exp_Minus_nan \
@@ -113,29 +113,41 @@
test_isa_2_06_part2_CFLAGS = $(AM_CFLAGS) -Winline -Wall -O -g -mregnames $(VSX_FLAG) \
@FLAG_M32@ $(ALTIVEC_FLAG) $(BUILD_FLAG_VSX)
-test_isa_2_06_part3_CFLAGS = $(AM_CFLAGS) -Winline -Wall -O -lm -g -mregnames $(VSX_FLAG) \
+test_isa_2_06_part3_CFLAGS = $(AM_CFLAGS) -Winline -Wall -O -g -mregnames $(VSX_FLAG) \
@FLAG_M32@ $(ALTIVEC_FLAG) $(BUILD_FLAG_VSX)
-test_dfp1_CFLAGS = $(AM_CFLAGS) -Winline -Wall -O -lm -g -mregnames $(DFP_FLAG) \
+test_dfp1_CFLAGS = $(AM_CFLAGS) -Winline -Wall -O -g -mregnames $(DFP_FLAG) \
@FLAG_M32@ $(BUILD_FLAGS_DFP)
-test_dfp2_CFLAGS = $(AM_CFLAGS) -Winline -Wall -O -lm -g -mregnames $(DFP_FLAG) \
+test_dfp2_CFLAGS = $(AM_CFLAGS) -Winline -Wall -O -g -mregnames $(DFP_FLAG) \
@FLAG_M32@ $(BUILD_FLAGS_DFP)
-test_dfp3_CFLAGS = $(AM_CFLAGS) -Winline -Wall -O -lm -g -mregnames $(DFP_FLAG) \
+test_dfp3_CFLAGS = $(AM_CFLAGS) -Winline -Wall -O -g -mregnames $(DFP_FLAG) \
@FLAG_M32@ $(BUILD_FLAGS_DFP)
-test_dfp4_CFLAGS = $(AM_CFLAGS) -Winline -Wall -O -lm -g -mregnames $(DFP_FLAG) \
+test_dfp4_CFLAGS = $(AM_CFLAGS) -Winline -Wall -O -g -mregnames $(DFP_FLAG) \
@FLAG_M32@ $(BUILD_FLAGS_DFP)
-test_dfp5_CFLAGS = $(AM_CFLAGS) -Winline -Wall -O -lm -g -mregnames $(DFP_FLAG) \
+test_dfp5_CFLAGS = $(AM_CFLAGS) -Winline -Wall -O -g -mregnames $(DFP_FLAG) \
@FLAG_M32@ $(BUILD_FLAGS_DFP)
-test_isa_2_07_part1_CFLAGS = $(AM_CFLAGS) -Winline -Wall -O -lm -g -mregnames $(ISA_2_07_FLAG) \
+test_isa_2_07_part1_CFLAGS = $(AM_CFLAGS) -Winline -Wall -O -g -mregnames $(ISA_2_07_FLAG) \
@FLAG_M32@ $(BUILD_FLAGS_ISA_2_07)
-test_isa_2_07_part2_CFLAGS = $(AM_CFLAGS) -Winline -Wall -O -lm -g -mregnames $(ISA_2_07_FLAG) \
+test_isa_2_07_part2_CFLAGS = $(AM_CFLAGS) -Winline -Wall -O -g -mregnames $(ISA_2_07_FLAG) \
@FLAG_M32@ $(BUILD_FLAGS_ISA_2_07)
-test_tm_CFLAGS = $(AM_CFLAGS) -Winline -Wall -O -lm -g -mregnames $(ISA_2_07_FLAG) \
+test_tm_CFLAGS = $(AM_CFLAGS) -Winline -Wall -O -g -mregnames $(ISA_2_07_FLAG) \
@FLAG_M32@ $(BUILD_FLAGS_ISA_2_07)
-test_touch_tm_CFLAGS = $(AM_CFLAGS) -Winline -Wall -O -lm -g -mregnames $(ISA_2_07_FLAG) \
+test_touch_tm_CFLAGS = $(AM_CFLAGS) -Winline -Wall -O -g -mregnames $(ISA_2_07_FLAG) \
@FLAG_M32@ $(BUILD_FLAGS_ISA_2_07)
+
+test_isa_2_06_part3_LDADD = -lm
+test_dfp1_LDADD = -lm
+test_dfp2_LDADD = -lm
+test_dfp3_LDADD = -lm
+test_dfp4_LDADD = -lm
+test_dfp5_LDADD = -lm
+test_isa_2_07_part1_LDADD = -lm
+test_isa_2_07_part2_LDADD = -lm
+test_tm_LDADD = -lm
+test_touch_tm_LDADD = -lm
+
Added: trunk/none/tests/ppc32/jm-fp.stdout.exp-BE2
==============================================================================
--- trunk/none/tests/ppc32/jm-fp.stdout.exp-BE2 (added)
+++ trunk/none/tests/ppc32/jm-fp.stdout.exp-BE2 Thu Aug 7 23:49:27 2014
@@ -0,0 +1,1431 @@
+PPC floating point arith insns with three args:
+ fsel 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
+ fsel 0010000000000001, 0010000000000001, bfe00094e0000359 => 0010000000000000
+ fsel 0010000000000001, 80100094e0000359, 0010000000000001 => 80100094e0000300
+ fsel 0010000000000001, 80100094e0000359, bfe00094e0000359 => 80100094e0000300
+ fsel 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0010000000000000
+ fsel 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 0010000000000000
+ fsel 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80100094e0000300
+ fsel 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 80100094e0000300
+ fsel bfe0000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
+ fsel bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
+ fsel bfe0000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
+ fsel bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
+
+ fmadd 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
+ fmadd 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
+ fmadd 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
+ fmadd 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
+ fmadd 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0018004a70000100
+ fmadd 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
+ fmadd 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0007ff6b1d4b5e00
+ fmadd 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
+ fmadd bfe0000000000001, 0010000000000001, 0010000000000001 => 0008000000000000
+ fmadd bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
+ fmadd bfe0000000000001, 80100094e0000359, 0010000000000001 => 0018004a70000100
+ fmadd bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
+
+ fmadds 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
+ fmadds 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
+ fmadds 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
+ fmadds 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
+ fmadds 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000
+ fmadds 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
+ fmadds 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000
+ fmadds 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
+ fmadds bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
+ fmadds bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
+ fmadds bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
+ fmadds bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
+
+ fmsub 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000
+ fmsub 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
+ fmsub 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000
+ fmsub 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
+ fmsub 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8007ffb58ffffe00
+ fmsub 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
+ fmsub 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80180094e2b4a100
+ fmsub 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
+ fmsub bfe0000000000001, 0010000000000001, 0010000000000001 => 8018000000000000
+ fmsub bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
+ fmsub bfe0000000000001, 80100094e0000359, 0010000000000001 => 8007ffb58ffffe00
+ fmsub bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
+
+ fmsubs 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
+ fmsubs 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
+ fmsubs 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
+ fmsubs 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
+ fmsubs 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000
+ fmsubs 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
+ fmsubs 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000
+ fmsubs 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
+ fmsubs bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
+ fmsubs bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
+ fmsubs bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
+ fmsubs bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
+
+ fnmadd 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000
+ fnmadd 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
+ fnmadd 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000
+ fnmadd 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
+ fnmadd 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8018004a70000100
+ fnmadd 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
+ fnmadd 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8007ff6b1d4b5e00
+ fnmadd 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
+ fnmadd bfe0000000000001, 0010000000000001, 0010000000000001 => 8008000000000000
+ fnmadd bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
+ fnmadd bfe0000000000001, 80100094e0000359, 0010000000000001 => 8018004a70000100
+ fnmadd bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
+
+ fnmadds 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
+ fnmadds 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
+ fnmadds 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
+ fnmadds 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
+ fnmadds 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000
+ fnmadds 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
+ fnmadds 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000
+ fnmadds 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
+ fnmadds bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
+ fnmadds bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
+ fnmadds bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
+ fnmadds bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
+
+ fnmsub 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
+ fnmsub 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
+ fnmsub 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
+ fnmsub 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
+ fnmsub 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0007ffb58ffffe00
+ fnmsub 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
+ fnmsub 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 00180094e2b4a100
+ fnmsub 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
+ fnmsub bfe0000000000001, 0010000000000001, 0010000000000001 => 0018000000000000
+ fnmsub bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
+ fnmsub bfe0000000000001, 80100094e0000359, 0010000000000001 => 0007ffb58ffffe00
+ fnmsub bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
+
+ fnmsubs 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
+ fnmsubs 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
+ fnmsubs 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
+ fnmsubs 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
+ fnmsubs 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000
+ fnmsubs 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
+ fnmsubs 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000
+ fnmsubs 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
+ fnmsubs bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
+ fnmsubs bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
+ fnmsubs bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
+ fnmsubs bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
+
+PPC floating point arith insns
+ with three args with flags update:
+ fsel. 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
+ fsel. 0010000000000001, 0010000000000001, bfe00094e0000359 => 0010000000000000
+ fsel. 0010000000000001, 80100094e0000359, 0010000000000001 => 80100094e0000300
+ fsel. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 80100094e0000300
+ fsel. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0010000000000000
+ fsel. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 0010000000000000
+ fsel. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80100094e0000300
+ fsel. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 80100094e0000300
+ fsel. bfe0000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
+ fsel. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
+ fsel. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
+ fsel. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
+
+ fmadd. 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
+ fmadd. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
+ fmadd. 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
+ fmadd. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
+ fmadd. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0018004a70000100
+ fmadd. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
+ fmadd. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0007ff6b1d4b5e00
+ fmadd. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
+ fmadd. bfe0000000000001, 0010000000000001, 0010000000000001 => 0008000000000000
+ fmadd. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
+ fmadd. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0018004a70000100
+ fmadd. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
+
+ fmadds. 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
+ fmadds. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
+ fmadds. 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
+ fmadds. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
+ fmadds. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000
+ fmadds. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
+ fmadds. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000
+ fmadds. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
+ fmadds. bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
+ fmadds. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
+ fmadds. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
+ fmadds. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
+
+ fmsub. 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000
+ fmsub. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
+ fmsub. 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000
+ fmsub. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
+ fmsub. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8007ffb58ffffe00
+ fmsub. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
+ fmsub. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80180094e2b4a100
+ fmsub. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
+ fmsub. bfe0000000000001, 0010000000000001, 0010000000000001 => 8018000000000000
+ fmsub. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
+ fmsub. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8007ffb58ffffe00
+ fmsub. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
+
+ fmsubs. 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
+ fmsubs. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
+ fmsubs. 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
+ fmsubs. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
+ fmsubs. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000
+ fmsubs. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
+ fmsubs. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000
+ fmsubs. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
+ fmsubs. bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
+ fmsubs. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
+ fmsubs. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
+ fmsubs. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
+
+ fnmadd. 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000
+ fnmadd. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
+ fnmadd. 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000
+ fnmadd. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
+ fnmadd. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8018004a70000100
+ fnmadd. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
+ fnmadd. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8007ff6b1d4b5e00
+ fnmadd. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
+ fnmadd. bfe0000000000001, 0010000000000001, 0010000000000001 => 8008000000000000
+ fnmadd. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
+ fnmadd. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8018004a70000100
+ fnmadd. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
+
+ fnmadds. 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
+ fnmadds. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
+ fnmadds. 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
+ fnmadds. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
+ fnmadds. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000
+ fnmadds. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
+ fnmadds. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000
+ fnmadds. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
+ fnmadds. bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
+ fnmadds. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
+ fnmadds. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
+ fnmadds. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
+
+ fnmsub. 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
+ fnmsub. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
+ fnmsub. 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
+ fnmsub. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
+ fnmsub. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0007ffb58ffffe00
+ fnmsub. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
+ fnmsub. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 00180094e2b4a100
+ fnmsub. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
+ fnmsub. bfe0000000000001, 0010000000000001, 0010000000000001 => 0018000000000000
+ fnmsub. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
+ fnmsub. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0007ffb58ffffe00
+ fnmsub. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
+
+ fnmsubs. 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
+ fnmsubs. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
+ fnmsubs. 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
+ fnmsubs. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
+ fnmsubs. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000
+ fnmsubs. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
+ fnmsubs. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000
+ fnmsubs. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
+ fnmsubs. bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
+ fnmsubs. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
+ fnmsubs. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
+ fnmsubs. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
+
+PPC floating point arith insns with two args:
+ fadd 0010000000000001, 0010000000000001 => 0020000000000001
+ fadd 0010000000000001, 80100094e0000359 => 80000094e0000358
+ fadd 0010000000000001, 7ff0000000000000 => 7ff0000000000000
+ fadd 0010000000000001, fff8000000000000 => fff8000000000000
+ fadd 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359
+ fadd 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359
+ fadd 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
+ fadd 3fe00094e0000359, fff8000000000000 => fff8000000000000
+ fadd bfe0000000000001, 0010000000000001 => bfe0000000000001
+ fadd bfe0000000000001, 80100094e0000359 => bfe0000000000001
+ fadd bfe0000000000001, 7ff0000000000000 => 7ff0000000000000
+ fadd bfe0000000000001, fff8000000000000 => fff8000000000000
+ fadd 8000000000000000, 0010000000000001 => 0010000000000001
+ fadd 8000000000000000, 80100094e0000359 => 80100094e0000359
+ fadd 8000000000000000, 7ff0000000000000 => 7ff0000000000000
+ fadd 8000000000000000, fff8000000000000 => fff8000000000000
+ fadd 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
+ fadd 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
+ fadd 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
+ fadd 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
+ fadd fff8000000000000, 0010000000000001 => fff8000000000000
+ fadd fff8000000000000, 80100094e0000359 => fff8000000000000
+ fadd fff8000000000000, 7ff0000000000000 => fff8000000000000
+ fadd fff8000000000000, fff8000000000000 => fff8000000000000
+
+ fadds 0010000000000001, 0010000000000001 => 0000000000000000
+ fadds 0010000000000001, 80100094e0000359 => 8000000000000000
+ fadds 0010000000000001, 7ff0000000000000 => 7ff0000000000000
+ fadds 0010000000000001, fff8000000000000 => fff8000000000000
+ fadds 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000
+ fadds 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000
+ fadds 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
+ fadds 3fe00094e0000359, fff8000000000000 => fff8000000000000
+ fadds bfe0000000000001, 0010000000000001 => bfe0000000000000
+ fadds bfe0000000000001, 80100094e0000359 => bfe0000000000000
+ fadds bfe0000000000001, 7ff0000000000000 => 7ff0000000000000
+ fadds bfe0000000000001, fff8000000000000 => fff8000000000000
+ fadds 8000000000000000, 0010000000000001 => 0000000000000000
+ fadds 8000000000000000, 80100094e0000359 => 8000000000000000
+ fadds 8000000000000000, 7ff0000000000000 => 7ff0000000000000
+ fadds 8000000000000000, fff8000000000000 => fff8000000000000
+ fadds 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
+ fadds 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
+ fadds 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
+ fadds 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
+ fadds fff8000000000000, 0010000000000001 => fff8000000000000
+ fadds fff8000000000000, 80100094e0000359 => fff8000000000000
+ fadds fff8000000000000, 7ff0000000000000 => fff8000000000000
+ fadds fff8000000000000, fff8000000000000 => fff8000000000000
+
+ fsub 0010000000000001, 0010000000000001 => 0000000000000000
+ fsub 0010000000000001, 80100094e0000359 => 0020004a700001ad
+ fsub 0010000000000001, 7ff0000000000000 => fff0000000000000
+ fsub 0010000000000001, fff8000000000000 => fff8000000000000
+ fsub 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359
+ fsub 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359
+ fsub 3fe00094e0000359, 7ff0000000000000 => fff0000000000000
+ fsub 3fe00094e0000359, fff8000000000000 => fff8000000000000
+ fsub bfe0000000000001, 0010000000000001 => bfe0000000000001
+ fsub bfe0000000000001, 80100094e0000359 => bfe0000000000001
+ fsub bfe0000000000001, 7ff0000000000000 => fff0000000000000
+ fsub bfe0000000000001, fff8000000000000 => fff8000000000000
+ fsub 8000000000000000, 0010000000000001 => 8010000000000001
+ fsub 8000000000000000, 80100094e0000359 => 00100094e0000359
+ fsub 8000000000000000, 7ff0000000000000 => fff0000000000000
+ fsub 8000000000000000, fff8000000000000 => fff8000000000000
+ fsub 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
+ fsub 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
+ fsub 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
+ fsub 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
+ fsub fff8000000000000, 0010000000000001 => fff8000000000000
+ fsub fff8000000000000, 80100094e0000359 => fff8000000000000
+ fsub fff8000000000000, 7ff0000000000000 => fff8000000000000
+ fsub fff8000000000000, fff8000000000000 => fff8000000000000
+
+ fsubs 0010000000000001, 0010000000000001 => 0000000000000000
+ fsubs 0010000000000001, 80100094e0000359 => 0000000000000000
+ fsubs 0010000000000001, 7ff0000000000000 => fff0000000000000
+ fsubs 0010000000000001, fff8000000000000 => fff8000000000000
+ fsubs 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000
+ fsubs 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000
+ fsubs 3fe00094e0000359, 7ff0000000000000 => fff0000000000000
+ fsubs 3fe00094e0000359, fff8000000000000 => fff8000000000000
+ fsubs bfe0000000000001, 0010000000000001 => bfe0000000000000
+ fsubs bfe0000000000001, 80100094e0000359 => bfe0000000000000
+ fsubs bfe0000000000001, 7ff0000000000000 => fff0000000000000
+ fsubs bfe0000000000001, fff8000000000000 => fff8000000000000
+ fsubs 8000000000000000, 0010000000000001 => 8000000000000000
+ fsubs 8000000000000000, 80100094e0000359 => 0000000000000000
+ fsubs 8000000000000000, 7ff0000000000000 => fff0000000000000
+ fsubs 8000000000000000, fff8000000000000 => fff8000000000000
+ fsubs 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
+ fsubs 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
+ fsubs 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
+ fsubs 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
+ fsubs fff8000000000000, 0010000000000001 => fff8000000000000
+ fsubs fff8000000000000, 80100094e0000359 => fff8000000000000
+ fsubs fff8000000000000, 7ff0000000000000 => fff8000000000000
+ fsubs fff8000000000000, fff8000000000000 => fff8000000000000
+
+ fmul 0010000000000001, 0010000000000001 => 0000000000000000
+ fmul 0010000000000001, 80100094e0000359 => 8000000000000000
+ fmul 0010000000000001, 7ff0000000000000 => 7ff0000000000000
+ fmul 0010000000000001, fff8000000000000 => fff8000000000000
+ fmul 3fe00094e0000359, 0010000000000001 => 0008004a700001ad
+ fmul 3fe00094e0000359, 80100094e0000359 => 80080094e2b4a179
+ fmul 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
+ fmul 3fe00094e0000359, fff8000000000000 => fff8000000000000
+ fmul bfe0000000000001, 0010000000000001 => 8008000000000001
+ fmul bfe0000000000001, 80100094e0000359 => 0008004a700001ad
+ fmul bfe0000000000001, 7ff0000000000000 => fff0000000000000
+ fmul bfe0000000000001, fff8000000000000 => fff8000000000000
+ fmul 8000000000000000, 0010000000000001 => 8000000000000000
+ fmul 8000000000000000, 80100094e0000359 => 0000000000000000
+ fmul 8000000000000000, 7ff0000000000000 => 7ff8000000000000
+ fmul 8000000000000000, fff8000000000000 => fff8000000000000
+ fmul 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
+ fmul 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
+ fmul 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
+ fmul 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
+ fmul fff8000000000000, 0010000000000001 => fff8000000000000
+ fmul fff8000000000000, 80100094e0000359 => fff8000000000000
+ fmul fff8000000000000, 7ff0000000000000 => fff8000000000000
+ fmul fff8000000000000, fff8000000000000 => fff8000000000000
+
+ fmuls 0010000000000001, 0010000000000001 => 0000000000000000
+ fmuls 0010000000000001, 80100094e0000359 => 8000000000000000
+ fmuls 0010000000000001, 7ff0000000000000 => 7ff0000000000000
+ fmuls 0010000000000001, fff8000000000000 => fff8000000000000
+ fmuls 3fe00094e0000359, 0010000000000001 => 0000000000000000
+ fmuls 3fe00094e0000359, 80100094e0000359 => 8000000000000000
+ fmuls 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
+ fmuls 3fe00094e0000359, fff8000000000000 => fff8000000000000
+ fmuls bfe0000000000001, 0010000000000001 => 8000000000000000
+ fmuls bfe0000000000001, 80100094e0000359 => 0000000000000000
+ fmuls bfe0000000000001, 7ff0000000000000 => fff0000000000000
+ fmuls bfe0000000000001, fff8000000000000 => fff8000000000000
+ fmuls 8000000000000000, 0010000000000001 => 8000000000000000
+ fmuls 8000000000000000, 80100094e0000359 => 0000000000000000
+ fmuls 8000000000000000, 7ff0000000000000 => 7ff8000000000000
+ fmuls 8000000000000000, fff8000000000000 => fff8000000000000
+ fmuls 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
+ fmuls 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
+ fmuls 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
+ fmuls 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
+ fmuls fff8000000000000, 0010000000000001 => fff8000000000000
+ fmuls fff8000000000000, 80100094e0000359 => fff8000000000000
+ fmuls fff8000000000000, 7ff0000000000000 => fff8000000000000
+ fmuls fff8000000000000, fff8000000000000 => fff8000000000000
+
+ fdiv 0010000000000001, 0010000000000001 => 3ff0000000000000
+ fdiv 0010000000000001, 80100094e0000359 => bfeffed64ad20d22
+ fdiv 0010000000000001, 7ff0000000000000 => 0000000000000000
+ fdiv 0010000000000001, fff8000000000000 => fff8000000000000
+ fdiv 3fe00094e0000359, 0010000000000001 => 7fc00094e0000358
+ fdiv 3fe00094e0000359, 80100094e0000359 => ffc0000000000000
+ fdiv 3fe00094e0000359, 7ff0000000000000 => 0000000000000000
+ fdiv 3fe00094e0000359, fff8000000000000 => fff8000000000000
+ fdiv bfe0000000000001, 0010000000000001 => ffc0000000000000
+ fdiv bfe0000000000001, 80100094e0000359 => 7fbffed64ad20d22
+ fdiv bfe0000000000001, 7ff0000000000000 => 8000000000000000
+ fdiv bfe0000000000001, fff8000000000000 => fff8000000000000
+ fdiv 8000000000000000, 0010000000000001 => 8000000000000000
+ fdiv 8000000000000000, 80100094e0000359 => 0000000000000000
+ fdiv 8000000000000000, 7ff0000000000000 => 8000000000000000
+ fdiv 8000000000000000, fff8000000000000 => fff8000000000000
+ fdiv 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
+ fdiv 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
+ fdiv 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
+ fdiv 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
+ fdiv fff8000000000000, 0010000000000001 => fff8000000000000
+ fdiv fff8000000000000, 80100094e0000359 => fff8000000000000
+ fdiv fff8000000000000, 7ff0000000000000 => fff8000000000000
+ fdiv fff8000000000000, fff8000000000000 => fff8000000000000
+
+ fdivs 0010000000000001, 0010000000000001 => 3ff0000000000000
+ fdivs 0010000000000001, 80100094e0000359 => bfeffed640000000
+ fdivs 0010000000000001, 7ff0000000000000 => 0000000000000000
+ fdivs 0010000000000001, fff8000000000000 => fff8000000000000
+ fdivs 3fe00094e0000359, 0010000000000001 => 7ff0000000000000
+ fdivs 3fe00094e0000359, 80100094e0000359 => fff0000000000000
+ fdivs 3fe00094e0000359, 7ff0000000000000 => 0000000000000000
+ fdivs 3fe00094e0000359, fff8000000000000 => fff8000000000000
+ fdivs bfe0000000000001, 0010000000000001 => fff0000000000000
+ fdivs bfe0000000000001, 80100094e0000359 => 7ff0000000000000
+ fdivs bfe0000000000001, 7ff0000000000000 => 8000000000000000
+ fdivs bfe0000000000001, fff8000000000000 => fff8000000000000
+ fdivs 8000000000000000, 0010000000000001 => 8000000000000000
+ fdivs 8000000000000000, 80100094e0000359 => 0000000000000000
+ fdivs 8000000000000000, 7ff0000000000000 => 8000000000000000
+ fdivs 8000000000000000, fff8000000000000 => fff8000000000000
+ fdivs 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
+ fdivs 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
+ fdivs 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
+ fdivs 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
+ fdivs fff8000000000000, 0010000000000001 => fff8000000000000
+ fdivs fff8000000000000, 80100094e0000359 => fff8000000000000
+ fdivs fff8000000000000, 7ff0000000000000 => fff8000000000000
+ fdivs fff8000000000000, fff8000000000000 => fff8000000000000
+
+PPC floating point arith insns
+ with two args with flags update:
+ fadd. 0010000000000001, 0010000000000001 => 0020000000000001
+ fadd. 0010000000000001, 80100094e0000359 => 80000094e0000358
+ fadd. 0010000000000001, 7ff0000000000000 => 7ff0000000000000
+ fadd. 0010000000000001, fff8000000000000 => fff8000000000000
+ fadd. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359
+ fadd. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359
+ fadd. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
+ fadd. 3fe00094e0000359, fff8000000000000 => fff8000000000000
+ fadd. bfe0000000000001, 0010000000000001 => bfe0000000000001
+ fadd. bfe0000000000001, 80100094e0000359 => bfe0000000000001
+ fadd. bfe0000000000001, 7ff0000000000000 => 7ff0000000000000
+ fadd. bfe0000000000001, fff8000000000000 => fff8000000000000
+ fadd. 8000000000000000, 0010000000000001 => 0010000000000001
+ fadd. 8000000000000000, 80100094e0000359 => 80100094e0000359
+ fadd. 8000000000000000, 7ff0000000000000 => 7ff0000000000000
+ fadd. 8000000000000000, fff8000000000000 => fff8000000000000
+ fadd. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
+ fadd. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
+ fadd. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
+ fadd. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
+ fadd. fff8000000000000, 0010000000000001 => fff8000000000000
+ fadd. fff8000000000000, 80100094e0000359 => fff8000000000000
+ fadd. fff8000000000000, 7ff0000000000000 => fff8000000000000
+ fadd. fff8000000000000, fff8000000000000 => fff8000000000000
+
+ fadds. 0010000000000001, 0010000000000001 => 0000000000000000
+ fadds. 0010000000000001, 80100094e0000359 => 8000000000000000
+ fadds. 0010000000000001, 7ff0000000000000 => 7ff0000000000000
+ fadds. 0010000000000001, fff8000000000000 => fff8000000000000
+ fadds. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000
+ fadds. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000
+ fadds. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
+ fadds. 3fe00094e0000359, fff8000000000000 => fff8000000000000
+ fadds. bfe0000000000001, 0010000000000001 => bfe0000000000000
+ fadds. bfe0000000000001, 80100094e0000359 => bfe0000000000000
+ fadds. bfe0000000000001, 7ff0000000000000 => 7ff0000000000000
+ fadds. bfe0000000000001, fff8000000000000 => fff8000000000000
+ fadds. 8000000000000000, 0010000000000001 => 0000000000000000
+ fadds. 8000000000000000, 80100094e0000359 => 8000000000000000
+ fadds. 8000000000000000, 7ff0000000000000 => 7ff0000000000000
+ fadds. 8000000000000000, fff8000000000000 => fff8000000000000
+ fadds. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
+ fadds. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
+ fadds. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
+ fadds. 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
+ fadds. fff8000000000000, 0010000000000001 => fff8000000000000
+ fadds. fff8000000000000, 80100094e0000359 => fff8000000000000
+ fadds. fff8000000000000, 7ff0000000000000 => fff8000000000000
+ fadds. fff8000000000000, fff8000000000000 => fff8000000000000
+
+ fsub. 0010000000000001, 0010000000000001 => 0000000000000000
+ fsub. 0010000000000001, 80100094e0000359 => 0020004a700001ad
+ fsub. 0010000000000001, 7ff0000000000000 => fff0000000000000
+ fsub. 0010000000000001, fff8000000000000 => fff8000000000000
+ fsub. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359
+ fsub. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359
+ fsub. 3fe00094e0000359, 7ff0000000000000 => fff0000000000000
+ fsub. 3fe00094e0000359, fff8000000000000 => fff8000000000000
+ fsub. bfe0000000000001, 0010000000000001 => bfe0000000000001
+ fsub. bfe0000000000001, 80100094e0000359 => bfe0000000000001
+ fsub. bfe0000000000001, 7ff0000000000000 => fff0000000000000
+ fsub. bfe0000000000001, fff8000000000000 => fff8000000000000
+ fsub. 8000000000000000, 0010000000000001 => 8010000000000001
+ fsub. 8000000000000000, 80100094e0000359 => 00100094e0000359
+ fsub. 8000000000000000, 7ff0000000000000 => fff0000000000000
+ fsub. 8000000000000000, fff8000000000000 => fff8000000000000
+ fsub. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
+ fsub. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
+ fsub. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
+ fsub. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
+ fsub. fff8000000000000, 0010000000000001 => fff8000000000000
+ fsub. fff8000000000000, 80100094e0000359 => fff8000000000000
+ fsub. fff8000000000000, 7ff0000000000000 => fff8000000000000
+ fsub. fff8000000000000, fff8000000000000 => fff8000000000000
+
+ fsubs. 0010000000000001, 0010000000000001 => 0000000000000000
+ fsubs. 0010000000000001, 80100094e0000359 => 0000000000000000
+ fsubs. 0010000000000001, 7ff0000000000000 => fff0000000000000
+ fsubs. 0010000000000001, fff8000000000000 => fff8000000000000
+ fsubs. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000
+ fsubs. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000
+ fsubs. 3fe00094e0000359, 7ff0000000000000 => fff0000000000000
+ fsubs. 3fe00094e0000359, fff8000000000000 => fff8000000000000
+ fsubs. bfe0000000000001, 0010000000000001 => bfe0000000000000
+ fsubs. bfe0000000000001, 80100094e0000359 => bfe0000000000000
+ fsubs. bfe0000000000001, 7ff0000000000000 => fff0000000000000
+ fsubs. bfe0000000000001, fff8000000000000 => fff8000000000000
+ fsubs. 8000000000000000, 0010000000000001 => 8000000000000000
+ fsubs. 8000000000000000, 80100094e0000359 => 0000000000000000
+ fsubs. 8000000000000000, 7ff0000000000000 => fff0000000000000
+ fsubs. 8000000000000000, fff8000000000000 => fff8000000000000
+ fsubs. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
+ fsubs. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
+ fsubs. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
+ fsubs. 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
+ fsubs. fff8000000000000, 0010000000000001 => fff8000000000000
+ fsubs. fff8000000000000, 80100094e0000359 => fff8000000000000
+ fsubs. fff8000000000000, 7ff0000000000000 => fff8000000000000
+ fsubs. fff8000000000000, fff8000000000000 => fff8000000000000
+
+ fmul. 0010000000000001, 0010000000000001 => 0000000000000000
+ fmul. 0010000000000001, 80100094e0000359 => 8000000000000000
+ fmul. 0010000000000001, 7ff0000000000000 => 7ff0000000000000
+ fmul. 0010000000000001, fff8000000000000 => fff8000000000000
+ fmul. 3fe00094e0000359, 0010000000000001 => 0008004a700001ad
+ fmul. 3fe00094e0000359, 80100094e0000359 => 80080094e2b4a179
+ fmul. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
+ fmul. 3fe00094e0000359, fff8000000000000 => fff8000000000000
+ fmul. bfe0000000000001, 0010000000000001 => 8008000000000001
+ fmul. bfe0000000000001, 80100094e0000359 => 0008004a700001ad
+ fmul. bfe0000000000001, 7ff0000000000000 => fff0000000000000
+ fmul. bfe0000000000001, fff8000000000000 => fff8000000000000
+ fmul. 8000000000000000, 0010000000000001 => 8000000000000000
+ fmul. 8000000000000000, 80100094e0000359 => 0000000000000000
+ fmul. 8000000000000000, 7ff0000000000000 => 7ff8000000000000
+ fmul. 8000000000000000, fff8000000000000 => fff8000000000000
+ fmul. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
+ fmul. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
+ fmul. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
+ fmul. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
+ fmul. fff8000000000000, 0010000000000001 => fff8000000000000
+ fmul. fff8000000000000, 80100094e0000359 => fff8000000000000
+ fmul. fff8000000000000, 7ff0000000000000 => fff8000000000000
+ fmul. fff8000000000000, fff8000000000000 => fff8000000000000
+
+ fmuls. 0010000000000001, 0010000000000001 => 0000000000000000
+ fmuls. 0010000000000001, 80100094e0000359 => 8000000000000000
+ fmuls. 0010000000000001, 7ff0000000000000 => 7ff0000000000000
+ fmuls. 0010000000000001, fff8000000000000 => fff8000000000000
+ fmuls. 3fe00094e0000359, 0010000000000001 => 0000000000000000
+ fmuls. 3fe00094e0000359, 80100094e0000359 => 8000000000000000
+ fmuls. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
+ fmuls. 3fe00094e0000359, fff8000000000000 => fff8000000000000
+ fmuls. bfe0000000000001, 0010000000000001 => 8000000000000000
+ fmuls. bfe0000000000001, 80100094e0000359 => 0000000000000000
+ fmuls. bfe0000000000001, 7ff0000000000000 => fff0000000000000
+ fmuls. bfe0000000000001, fff8000000000000 => fff8000000000000
+ fmuls. 8000000000000000, 0010000000000001 => 8000000000000000
+ fmuls. 8000000000000000, 80100094e0000359 => 0000000000000000
+ fmuls. 8000000000000000, 7ff0000000000000 => 7ff8000000000000
+ fmuls. 8000000000000000, fff8000000000000 => fff8000000000000
+ fmuls. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
+ fmuls. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
+ fmuls. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
+ fmuls. 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
+ fmuls. fff8000000000000, 0010000000000001 => fff8000000000000
+ fmuls. fff8000000000000, 80100094e0000359 => fff8000000000000
+ fmuls. fff8000000000000, 7ff0000000000000 => fff8000000000000
+ fmuls. fff8000000000000, fff8000000000000 => fff8000000000000
+
+ fdiv. 0010000000000001, 0010000000000001 => 3ff0000000000000
+ fdiv. 0010000000000001, 80100094e0000359 => bfeffed64ad20d22
+ fdiv. 0010000000000001, 7ff0000000000000 => 0000000000000000
+ fdiv. 0010000000000001, fff8000000000000 => fff8000000000000
+ fdiv. 3fe00094e0000359, 0010000000000001 => 7fc00094e0000358
+ fdiv. 3fe00094e0000359, 80100094e0000359 => ffc0000000000000
+ fdiv. 3fe00094e0000359, 7ff0000000000000 => 0000000000000000
+ fdiv. 3fe00094e0000359, fff8000000000000 => fff8000000000000
+ fdiv. bfe0000000000001, 0010000000000001 => ffc0000000000000
+ fdiv. bfe0000000000001, 80100094e0000359 => 7fbffed64ad20d22
+ fdiv. bfe0000000000001, 7ff0000000000000 => 8000000000000000
+ fdiv. bfe0000000000001, fff8000000000000 => fff8000000000000
+ fdiv. 8000000000000000, 0010000000000001 => 8000000000000000
+ fdiv. 8000000000000000, 80100094e0000359 => 0000000000000000
+ fdiv. 8000000000000000, 7ff0000000000000 => 8000000000000000
+ fdiv. 8000000000000000, fff8000000000000 => fff8000000000000
+ fdiv. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
+ fdiv. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
+ fdiv. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
+ fdiv. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
+ fdiv. fff8000000000000, 0010000000000001 => fff8000000000000
+ fdiv. fff8000000000000, 80100094e0000359 => fff8000000000000
+ fdiv. fff8000000000000, 7ff0000000000000 => fff8000000000000
+ fdiv. fff8000000000000, fff8000000000000 => fff8000000000000
+
+ fdivs. 0010000000000001, 0010000000000001 => 3ff0000000000000
+ fdivs. 0010000000000001, 80100094e0000359 => bfeffed640000000
+ fdivs. 0010000000000001, 7ff0000000000000 => 0000000000000000
+ fdivs. 0010000000000001, fff8000000000000 => fff8000000000000
+ fdivs. 3fe00094e0000359, 0010000000000001 => 7ff0000000000000
+ fdivs. 3fe00094e0000359, 80100094e0000359 => fff0000000000000
+ fdivs. 3fe00094e0000359, 7ff0000000000000 => 0000000000000000
+ fdivs. 3fe00094e0000359, fff8000000000000 => fff8000000000000
+ fdivs. bfe0000000000001, 0010000000000001 => fff0000000000000
+ fdivs. bfe0000000000001, 80100094e0000359 => 7ff0000000000000
+ fdivs. bfe0000000000001, 7ff0000000000000 => 8000000000000000
+ fdivs. bfe0000000000001, fff8000000000000 => fff8000000000000
+ fdivs. 8000000000000000, 0010000000000001 => 8000000000000000
+ fdivs. 8000000000000000, 80100094e0000359 => 0000000000000000
+ fdivs. 8000000000000000, 7ff0000000000000 => 8000000000000000
+ fdivs. 8000000000000000, fff8000000000000 => fff8000000000000
+ fdivs. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
+ fdivs. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
+ fdivs. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
+ fdivs. 7ff7ff...
[truncated message content] |