Commit 05a2f49c authored by Simon Marlow's avatar Simon Marlow

ffi005: run only the via-C way on x86 platforms

due to 80-bit vs. 64-bit precision leading to floating point
differences when using the native code generator.  -fvia-C uses the
-ffloat-store gcc sledgehammer to avoid this.
parent 90e99343
......@@ -28,7 +28,13 @@ test('ffi004', skip, compile_and_run, [''])
# omit prof ways, because this test exits before the RTS has a chance to
# generate profiling info.
test('ffi005', [ omit_ways(prof_ways), exit_code(3) ],
# On x86, the test suffers from floating-point differences due to the
# use of 80-bit internal precision when using the native code generator.
test('ffi005', [ omit_ways(prof_ways),
if_arch('i386', only_ways(['optc'])),
exit_code(3) ],
compile_and_run, [''])
# ffi[006-009] don't work with External Core due to non-static-C foreign calls
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment