I've compiled f18 with system-provided gcc/g++ 7.3.0 on similarly configured Gentoo Linux systems, one x86_64, one AArch64. On x86_64, all make test
tests are succeeding. On AArch64, one of those tests is failing, which is real-test.
I've tried to run real-test binary manually. On x86_64 it reports success:
$ ./real-test
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x800001 * 0xbf7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x800001 * 0x3f7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x80800001 * 0xbf7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x80800001 * 0x3f7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbf7ffffe * 0x800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbf7ffffe * 0x80800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3f7ffffe * 0x800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3f7ffffe * 0x80800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1000001 * 0xbefffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1000001 * 0x3efffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x81000001 * 0xbefffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x81000001 * 0x3efffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1800001 * 0xbe7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1800001 * 0x3e7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x81800001 * 0xbe7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x81800001 * 0x3e7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbefffffe * 0x1000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbefffffe * 0x81000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3efffffe * 0x1000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3efffffe * 0x81000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbe7ffffe * 0x1800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbe7ffffe * 0x81800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3e7ffffe * 0x1800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3e7ffffe * 0x81800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x20000001 * 0x9ffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x20000001 * 0x1ffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa0000001 * 0x9ffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa0000001 * 0x1ffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x20800001 * 0x9f7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x20800001 * 0x1f7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa0800001 * 0x9f7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa0800001 * 0x1f7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9ffffffe * 0x20000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9ffffffe * 0xa0000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1ffffffe * 0x20000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1ffffffe * 0xa0000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9f7ffffe * 0x20800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9f7ffffe * 0xa0800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1f7ffffe * 0x20800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1f7ffffe * 0xa0800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x21000001 * 0x9efffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x21000001 * 0x1efffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa1000001 * 0x9efffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa1000001 * 0x1efffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x21800001 * 0x9e7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x21800001 * 0x1e7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa1800001 * 0x9e7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa1800001 * 0x1e7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9efffffe * 0x21000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9efffffe * 0xa1000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1efffffe * 0x21000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1efffffe * 0xa1000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9e7ffffe * 0x21800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9e7ffffe * 0xa1800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1e7ffffe * 0x21800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1e7ffffe * 0xa1800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x2000001 * 0xbdfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x2000001 * 0x3dfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x82000001 * 0xbdfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x82000001 * 0x3dfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x2800001 * 0xbd7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x2800001 * 0x3d7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x82800001 * 0xbd7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x82800001 * 0x3d7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbdfffffe * 0x2000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbdfffffe * 0x82000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3dfffffe * 0x2000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3dfffffe * 0x82000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbd7ffffe * 0x2800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbd7ffffe * 0x82800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3d7ffffe * 0x2800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3d7ffffe * 0x82800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3000001 * 0xbcfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3000001 * 0x3cfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x83000001 * 0xbcfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x83000001 * 0x3cfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3800001 * 0xbc7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3800001 * 0x3c7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x83800001 * 0xbc7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x83800001 * 0x3c7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbcfffffe * 0x3000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbcfffffe * 0x83000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3cfffffe * 0x3000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3cfffffe * 0x83000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbc7ffffe * 0x3800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbc7ffffe * 0x83800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3c7ffffe * 0x3800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3c7ffffe * 0x83800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x22000001 * 0x9dfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x22000001 * 0x1dfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa2000001 * 0x9dfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa2000001 * 0x1dfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x22800001 * 0x9d7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x22800001 * 0x1d7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa2800001 * 0x9d7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa2800001 * 0x1d7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9dfffffe * 0x22000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9dfffffe * 0xa2000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1dfffffe * 0x22000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1dfffffe * 0xa2000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9d7ffffe * 0x22800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9d7ffffe * 0xa2800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1d7ffffe * 0x22800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1d7ffffe * 0xa2800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x23000001 * 0x9cfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x23000001 * 0x1cfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa3000001 * 0x9cfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa3000001 * 0x1cfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x23800001 * 0x9c7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x23800001 * 0x1c7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa3800001 * 0x9c7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa3800001 * 0x1c7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9cfffffe * 0x23000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9cfffffe * 0xa3000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1cfffffe * 0x23000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1cfffffe * 0xa3000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9c7ffffe * 0x23800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9c7ffffe * 0xa3800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1c7ffffe * 0x23800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1c7ffffe * 0xa3800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x10000000000001 * 0xbfeffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x10000000000001 * 0x3feffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x8010000000000001 * 0xbfeffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x8010000000000001 * 0x3feffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbfeffffffffffffe * 0x10000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbfeffffffffffffe * 0x8010000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3feffffffffffffe * 0x10000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3feffffffffffffe * 0x8010000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x20000000000001 * 0xbfdffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x20000000000001 * 0x3fdffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x8020000000000001 * 0xbfdffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x8020000000000001 * 0x3fdffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x30000000000001 * 0xbfcffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x30000000000001 * 0x3fcffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x8030000000000001 * 0xbfcffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x8030000000000001 * 0x3fcffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbfdffffffffffffe * 0x20000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbfdffffffffffffe * 0x8020000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3fdffffffffffffe * 0x20000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3fdffffffffffffe * 0x8020000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbfcffffffffffffe * 0x30000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbfcffffffffffffe * 0x8030000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3fcffffffffffffe * 0x30000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3fcffffffffffffe * 0x8030000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x2000000000000001 * 0x9ffffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x2000000000000001 * 0x1ffffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa000000000000001 * 0x9ffffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa000000000000001 * 0x1ffffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x2010000000000001 * 0x9feffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x2010000000000001 * 0x1feffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa010000000000001 * 0x9feffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa010000000000001 * 0x1feffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9ffffffffffffffe * 0x2000000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9ffffffffffffffe * 0xa000000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1ffffffffffffffe * 0x2000000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1ffffffffffffffe * 0xa000000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9feffffffffffffe * 0x2010000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9feffffffffffffe * 0xa010000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1feffffffffffffe * 0x2010000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1feffffffffffffe * 0xa010000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x2020000000000001 * 0x9fdffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x2020000000000001 * 0x1fdffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa020000000000001 * 0x9fdffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa020000000000001 * 0x1fdffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x2030000000000001 * 0x9fcffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x2030000000000001 * 0x1fcffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa030000000000001 * 0x9fcffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa030000000000001 * 0x1fcffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9fdffffffffffffe * 0x2020000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9fdffffffffffffe * 0xa020000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1fdffffffffffffe * 0x2020000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1fdffffffffffffe * 0xa020000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9fcffffffffffffe * 0x2030000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9fcffffffffffffe * 0xa030000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1fcffffffffffffe * 0x2030000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1fcffffffffffffe * 0xa030000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x40000000000001 * 0xbfbffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x40000000000001 * 0x3fbffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x8040000000000001 * 0xbfbffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x8040000000000001 * 0x3fbffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x50000000000001 * 0xbfaffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x50000000000001 * 0x3faffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x8050000000000001 * 0xbfaffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x8050000000000001 * 0x3faffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbfbffffffffffffe * 0x40000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbfbffffffffffffe * 0x8040000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3fbffffffffffffe * 0x40000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3fbffffffffffffe * 0x8040000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbfaffffffffffffe * 0x50000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbfaffffffffffffe * 0x8050000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3faffffffffffffe * 0x50000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3faffffffffffffe * 0x8050000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x60000000000001 * 0xbf9ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x60000000000001 * 0x3f9ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x8060000000000001 * 0xbf9ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x8060000000000001 * 0x3f9ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x70000000000001 * 0xbf8ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x70000000000001 * 0x3f8ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x8070000000000001 * 0xbf8ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x8070000000000001 * 0x3f8ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbf9ffffffffffffe * 0x60000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbf9ffffffffffffe * 0x8060000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3f9ffffffffffffe * 0x60000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3f9ffffffffffffe * 0x8060000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbf8ffffffffffffe * 0x70000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xbf8ffffffffffffe * 0x8070000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3f8ffffffffffffe * 0x70000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x3f8ffffffffffffe * 0x8070000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x2040000000000001 * 0x9fbffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x2040000000000001 * 0x1fbffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa040000000000001 * 0x9fbffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa040000000000001 * 0x1fbffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x2050000000000001 * 0x9faffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x2050000000000001 * 0x1faffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa050000000000001 * 0x9faffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa050000000000001 * 0x1faffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9fbffffffffffffe * 0x2040000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9fbffffffffffffe * 0xa040000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1fbffffffffffffe * 0x2040000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1fbffffffffffffe * 0xa040000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9faffffffffffffe * 0x2050000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9faffffffffffffe * 0xa050000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1faffffffffffffe * 0x2050000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1faffffffffffffe * 0xa050000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x2060000000000001 * 0x9f9ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x2060000000000001 * 0x1f9ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa060000000000001 * 0x9f9ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa060000000000001 * 0x1f9ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x2070000000000001 * 0x9f8ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x2070000000000001 * 0x1f8ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa070000000000001 * 0x9f8ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0xa070000000000001 * 0x1f8ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9f9ffffffffffffe * 0x2060000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9f9ffffffffffffe * 0xa060000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1f9ffffffffffffe * 0x2060000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1f9ffffffffffffe * 0xa060000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9f8ffffffffffffe * 0x2070000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x9f8ffffffffffffe * 0xa070000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1f8ffffffffffffe * 0x2070000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
0 0x1f8ffffffffffffe * 0xa070000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x800001 * 0x3f7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x80800001 * 0xbf7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xbf7ffffe * 0x80800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x3f7ffffe * 0x800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x1000001 * 0x3efffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x81000001 * 0xbefffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x1800001 * 0x3e7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x81800001 * 0xbe7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xbefffffe * 0x81000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x3efffffe * 0x1000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xbe7ffffe * 0x81800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x3e7ffffe * 0x1800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x20000001 * 0x1ffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xa0000001 * 0x9ffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x20800001 * 0x1f7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xa0800001 * 0x9f7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x9ffffffe * 0xa0000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x1ffffffe * 0x20000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x9f7ffffe * 0xa0800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x1f7ffffe * 0x20800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x21000001 * 0x1efffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xa1000001 * 0x9efffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x21800001 * 0x1e7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xa1800001 * 0x9e7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x9efffffe * 0xa1000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x1efffffe * 0x21000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x9e7ffffe * 0xa1800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x1e7ffffe * 0x21800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x2000001 * 0x3dfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x82000001 * 0xbdfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x2800001 * 0x3d7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x82800001 * 0xbd7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xbdfffffe * 0x82000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x3dfffffe * 0x2000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xbd7ffffe * 0x82800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x3d7ffffe * 0x2800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x3000001 * 0x3cfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x83000001 * 0xbcfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x3800001 * 0x3c7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x83800001 * 0xbc7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xbcfffffe * 0x83000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x3cfffffe * 0x3000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xbc7ffffe * 0x83800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x3c7ffffe * 0x3800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x22000001 * 0x1dfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xa2000001 * 0x9dfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x22800001 * 0x1d7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xa2800001 * 0x9d7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x9dfffffe * 0xa2000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x1dfffffe * 0x22000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x9d7ffffe * 0xa2800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x1d7ffffe * 0x22800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x23000001 * 0x1cfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xa3000001 * 0x9cfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x23800001 * 0x1c7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xa3800001 * 0x9c7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x9cfffffe * 0xa3000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x1cfffffe * 0x23000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x9c7ffffe * 0xa3800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x1c7ffffe * 0x23800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x10000000000001 * 0x3feffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x8010000000000001 * 0xbfeffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xbfeffffffffffffe * 0x8010000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x3feffffffffffffe * 0x10000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x20000000000001 * 0x3fdffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x8020000000000001 * 0xbfdffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x30000000000001 * 0x3fcffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x8030000000000001 * 0xbfcffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xbfdffffffffffffe * 0x8020000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x3fdffffffffffffe * 0x20000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xbfcffffffffffffe * 0x8030000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x3fcffffffffffffe * 0x30000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x2000000000000001 * 0x1ffffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xa000000000000001 * 0x9ffffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x2010000000000001 * 0x1feffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xa010000000000001 * 0x9feffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x9ffffffffffffffe * 0xa000000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x1ffffffffffffffe * 0x2000000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x9feffffffffffffe * 0xa010000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x1feffffffffffffe * 0x2010000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x2020000000000001 * 0x1fdffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xa020000000000001 * 0x9fdffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x2030000000000001 * 0x1fcffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xa030000000000001 * 0x9fcffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x9fdffffffffffffe * 0xa020000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x1fdffffffffffffe * 0x2020000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x9fcffffffffffffe * 0xa030000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x1fcffffffffffffe * 0x2030000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x40000000000001 * 0x3fbffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x8040000000000001 * 0xbfbffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x50000000000001 * 0x3faffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x8050000000000001 * 0xbfaffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xbfbffffffffffffe * 0x8040000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x3fbffffffffffffe * 0x40000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xbfaffffffffffffe * 0x8050000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x3faffffffffffffe * 0x50000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x60000000000001 * 0x3f9ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x8060000000000001 * 0xbf9ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x70000000000001 * 0x3f8ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x8070000000000001 * 0xbf8ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xbf9ffffffffffffe * 0x8060000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x3f9ffffffffffffe * 0x60000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xbf8ffffffffffffe * 0x8070000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x3f8ffffffffffffe * 0x70000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x2040000000000001 * 0x1fbffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xa040000000000001 * 0x9fbffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x2050000000000001 * 0x1faffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xa050000000000001 * 0x9faffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x9fbffffffffffffe * 0xa040000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x1fbffffffffffffe * 0x2040000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x9faffffffffffffe * 0xa050000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x1faffffffffffffe * 0x2050000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x2060000000000001 * 0x1f9ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xa060000000000001 * 0x9f9ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x2070000000000001 * 0x1f8ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0xa070000000000001 * 0x9f8ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x9f9ffffffffffffe * 0xa060000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x1f9ffffffffffffe * 0x2060000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x9f8ffffffffffffe * 0xa070000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
2 0x1f8ffffffffffffe * 0x2070000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x800001 * 0xbf7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x80800001 * 0x3f7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xbf7ffffe * 0x800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x3f7ffffe * 0x80800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x1000001 * 0xbefffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x81000001 * 0x3efffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x1800001 * 0xbe7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x81800001 * 0x3e7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xbefffffe * 0x1000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x3efffffe * 0x81000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xbe7ffffe * 0x1800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x3e7ffffe * 0x81800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x20000001 * 0x9ffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xa0000001 * 0x1ffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x20800001 * 0x9f7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xa0800001 * 0x1f7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x9ffffffe * 0x20000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x1ffffffe * 0xa0000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x9f7ffffe * 0x20800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x1f7ffffe * 0xa0800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x21000001 * 0x9efffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xa1000001 * 0x1efffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x21800001 * 0x9e7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xa1800001 * 0x1e7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x9efffffe * 0x21000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x1efffffe * 0xa1000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x9e7ffffe * 0x21800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x1e7ffffe * 0xa1800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x2000001 * 0xbdfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x82000001 * 0x3dfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x2800001 * 0xbd7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x82800001 * 0x3d7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xbdfffffe * 0x2000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x3dfffffe * 0x82000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xbd7ffffe * 0x2800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x3d7ffffe * 0x82800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x3000001 * 0xbcfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x83000001 * 0x3cfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x3800001 * 0xbc7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x83800001 * 0x3c7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xbcfffffe * 0x3000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x3cfffffe * 0x83000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xbc7ffffe * 0x3800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x3c7ffffe * 0x83800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x22000001 * 0x9dfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xa2000001 * 0x1dfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x22800001 * 0x9d7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xa2800001 * 0x1d7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x9dfffffe * 0x22000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x1dfffffe * 0xa2000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x9d7ffffe * 0x22800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x1d7ffffe * 0xa2800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x23000001 * 0x9cfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xa3000001 * 0x1cfffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x23800001 * 0x9c7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xa3800001 * 0x1c7ffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x9cfffffe * 0x23000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x1cfffffe * 0xa3000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x9c7ffffe * 0x23800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x1c7ffffe * 0xa3800001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x10000000000001 * 0xbfeffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x8010000000000001 * 0x3feffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xbfeffffffffffffe * 0x10000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x3feffffffffffffe * 0x8010000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x20000000000001 * 0xbfdffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x8020000000000001 * 0x3fdffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x30000000000001 * 0xbfcffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x8030000000000001 * 0x3fcffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xbfdffffffffffffe * 0x20000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x3fdffffffffffffe * 0x8020000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xbfcffffffffffffe * 0x30000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x3fcffffffffffffe * 0x8030000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x2000000000000001 * 0x9ffffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xa000000000000001 * 0x1ffffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x2010000000000001 * 0x9feffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xa010000000000001 * 0x1feffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x9ffffffffffffffe * 0x2000000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x1ffffffffffffffe * 0xa000000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x9feffffffffffffe * 0x2010000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x1feffffffffffffe * 0xa010000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x2020000000000001 * 0x9fdffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xa020000000000001 * 0x1fdffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x2030000000000001 * 0x9fcffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xa030000000000001 * 0x1fcffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x9fdffffffffffffe * 0x2020000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x1fdffffffffffffe * 0xa020000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x9fcffffffffffffe * 0x2030000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x1fcffffffffffffe * 0xa030000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x40000000000001 * 0xbfbffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x8040000000000001 * 0x3fbffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x50000000000001 * 0xbfaffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x8050000000000001 * 0x3faffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xbfbffffffffffffe * 0x40000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x3fbffffffffffffe * 0x8040000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xbfaffffffffffffe * 0x50000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x3faffffffffffffe * 0x8050000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x60000000000001 * 0xbf9ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x8060000000000001 * 0x3f9ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x70000000000001 * 0xbf8ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x8070000000000001 * 0x3f8ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xbf9ffffffffffffe * 0x60000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x3f9ffffffffffffe * 0x8060000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xbf8ffffffffffffe * 0x70000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x3f8ffffffffffffe * 0x8070000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x2040000000000001 * 0x9fbffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xa040000000000001 * 0x1fbffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x2050000000000001 * 0x9faffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xa050000000000001 * 0x1faffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x9fbffffffffffffe * 0x2040000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x1fbffffffffffffe * 0xa040000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x9faffffffffffffe * 0x2050000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x1faffffffffffffe * 0xa050000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x2060000000000001 * 0x9f9ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xa060000000000001 * 0x1f9ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x2070000000000001 * 0x9f8ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0xa070000000000001 * 0x1f8ffffffffffffe
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x9f9ffffffffffffe * 0x2060000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x1f9ffffffffffffe * 0xa060000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x9f8ffffffffffffe * 0x2070000000000001
real.cc:345: FAIL: FlagsToBits(prod.flags) == 0x10, not 0x18
3 0x1f8ffffffffffffe * 0xa070000000000001
16804909 tests pass, 480 tests FAIL