Skip to content

Instantly share code, notes, and snippets.

@dsyme
Created May 25, 2015 03:05
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save dsyme/d3b6347051b07484db21 to your computer and use it in GitHub Desktop.
Save dsyme/d3b6347051b07484db21 to your computer and use it in GitHub Desktop.
Benchmark program failing on 64-bit LLVM
http://benchmarksgame.alioth.debian.org/u64/program.php?test=fannkuchredux&lang=fsharp&id=1
Fri, 22 May 2015 04:36:01 GMT
MAKE:
mv fannkuchredux.fsharp fannkuchredux.fs
/usr/local/bin/fsharpc --target:exe --platform:x64 -O -o fannkuchredux.fsharp_run.exe fannkuchredux.fs
F# Compiler for F# 3.1 (Open Source Edition)
Freely distributed under the Apache 2.0 Open Source License
rm fannkuchredux.fs
3.94s to complete and log all make actions
COMMAND LINE:
/usr/local/bin/mono --llvm fannkuchredux.fsharp_run.exe 10
PROGRAM FAILED
PROGRAM OUTPUT:
mono: /usr/local/src/llvm/include/llvm/IR/Instructions.h:999: void llvm::ICmpInst::AssertOK(): Assertion `getOperand(0)->getType() == getOperand(1)->getType() && "Both operands to ICmp instruction are not of the same type!"' failed.
Stacktrace:
at <unknown> <0xffffffff>
at Microsoft.FSharp.Core.PrintfModule.PrintFormatToTextWriter<T_REF> (System.IO.TextWriter,Microsoft.FSharp.Core.PrintfFormat`4<T_REF, System.IO.TextWriter, Microsoft.FSharp.Core.Unit, Microsoft.FSharp.Core.Unit>) <0x00047>
at <StartupCode$fannkuchredux-fsharp_run>.$Fannkuchredux.main@ () <0x000f7>
at (wrapper runtime-invoke) object.runtime_invoke_void (object,intptr,intptr,intptr) <0xffffffff>
Native stacktrace:
/usr/local/bin/mono() [0x61d0e0]
/lib/x86_64-linux-gnu/libpthread.so.0(+0x10d10) [0x7f14adf72d10]
/lib/x86_64-linux-gnu/libc.so.6(gsignal+0x37) [0x7f14ad9b7267]
/lib/x86_64-linux-gnu/libc.so.6(abort+0x16a) [0x7f14ad9b8eca]
/lib/x86_64-linux-gnu/libc.so.6(+0x2e03d) [0x7f14ad9b003d]
/lib/x86_64-linux-gnu/libc.so.6(+0x2e0f2) [0x7f14ad9b00f2]
/usr/local/bin/mono() [0x7da6c6]
/usr/local/bin/mono(LLVMBuildICmp+0x47) [0x112b6c7]
/usr/local/bin/mono() [0x658617]
/usr/local/bin/mono() [0x6922b9]
/usr/local/bin/mono() [0x6930b7]
/usr/local/bin/mono() [0x59ee7c]
/usr/local/bin/mono() [0x59f4bb]
/usr/local/bin/mono() [0x61e370]
[0x408ed166]
Debug info from gdb:
=================================================================
Got a SIGABRT while executing native code. This usually indicates
a fatal error in the mono runtime or one of the native libraries
used by your application.
=================================================================
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment