Floating point tests failing

[Toizi]

Setup:

• Windows 10 host
• Xubuntu 17.10 VM (VirtualBox)
• Docker version 18.03.0-ce, build 0520e24
• Remill commit 313f6a288400dfa990678eceb25e7eed7ed81923

Running remill-build/tests/X86/run-amd64-tests, I get the following result

[==========] 1380 tests from 1 test case ran. (9841 ms total)
[  PASSED  ] 1261 tests.
[  FAILED  ] 119 tests, listed below:
[  FAILED  ] GeneralInstrTest/InstrTest.SemanticsMatchNative/1258, where GetParam() = 0x160bf80
[  FAILED  ] GeneralInstrTest/InstrTest.SemanticsMatchNative/1259, where GetParam() = 0x160c000
...
[  FAILED  ] GeneralInstrTest/InstrTest.SemanticsMatchNative/1377, where GetParam() = 0x160fb00
[  FAILED  ] GeneralInstrTest/InstrTest.SemanticsMatchNative/1378, where GetParam() = 0x160fb80

As per request by @pgoodman here is a diff (full diff) of the native (left) and lifted (right) state at the point of failure for the first fail, which I think is from FADDst1_2 (first error: E0413 20:16:31.937288 1233 Run.cpp:716] States did not match for FADDst1_2 with ARG1=0x3ff0000000000000 ARG2=0x3ff0000000000000 and CF=0 PF=0 AF=0 ZF=0 SF=0 DF=0 OF=0)

Screenshots of the differences (sorry about the cursor, not going to redo that =))

1. 
2. 
3. 

The full stderr dump can be found here (to see all of the failed instructions)

[pgoodman]

@Toizi can you still reproduce this with master?

[Toizi]

Sorry for the late response. Unfortunately I don't have that VM anymore so I cannot check

[Toizi]

@pgoodman I think I can reproduce it with commit 9bddfa16afa6fea266c27b3538380ee17d75cb4b (current master). At least I am getting 119 failed tests and the first fail is also FADDst1_2

Setup is

• Windows 10 host
• Ubuntu 18.04 VM (VirtualBox)