[haskell-llvm] Crashes in Array, Vector, DotProd

Henning Thielemann lemming at henning-thielemann.de
Mon Oct 11 16:26:33 EDT 2010


I had to recompile LLVM-2.8 with asserts, then I got more information
about the crashes. It turns out, that LLVM-2.8 is no longer as liberal
as LLVM-2.6 in accepting 'add', 'mul' and friends for floating point types.

I suggest to introduce new functions 'iadd', 'isub', 'imul' that have
IsInteger constraint and alter 'add', 'sub', 'mul' such that they call
LLVM's 'add' and so on for integers and LLVM's 'fadd' and so on for
floating point numbers. This would maintain the current behaviour and
the names sound reasonable to me, they are however not consistent with
the ones of LLVM. If you like that, I'll submit a patch.




More information about the Haskell-llvm mailing list