[MLton] Crashes with 64-bit native code generator on Windows
David Hansel
hansel at reactive-systems.com
Mon Nov 30 13:19:19 PST 2009
Hello Matthew,
I tried using "-native-commented 6" but (due to the size of the code involved)
compilation (in the "outputAssembly" stage) seems to take a VERY long time.
I also tried "-native-commented 5" with the same result. A setting of "4"
worked much faster and I have uploaded a file hansel-20091130-1.s containing
the basic block.
I will try the others again but the "4" setting produced about 1200 .s output
files and with the "6" setting MLton produced the first (.0.s) output file
and then I stopped it after about an hour of not producing any more output.
I will try again but unless the process gets much faster after the second file
I don't think we'll get to output file #913 in any reasonable amount of time.
Are there ways to restrict the additional output to specific parts of the code?
Unfortunately, I can't cut down the code much without the problem going away.
David
Matthew Fluet wrote:
> On Mon, Nov 30, 2009 at 12:45 PM, David Hansel
> <hansel at reactive-systems.com <mailto:hansel at reactive-systems.com>> wrote:
>
> See the code below. It should match up with the code I posted before.
> From what I can tell it does look like MLton puts the target address for
> applyFFTempFun into a register but then later does the indirect call via
> the memory location.
>
>
> Yes, it looks like it gets dropped into %r11, but not used from that
> location.
>
>
> Please let me know if you need any more context or other debugging
> information. It does seem like you are on the right track.
>
>
> We need to find out when the codegen loses track of the fact that %r11
> has applyFFTempFun. Could you compile with "-native-commented 6"?
> That's the most debugging information that we can get from a precompiled
> MLton binary. It produces a *lot* of debugging information (in the form
> of comments in the assembly). Rather than posting to the mailing list,
> I suggest posting the basic block to http://mlton.org/TemporaryUpload.
>
> -Matthew
--
----------------------------------------------------------
David Hansel
Chief Technology Officer -- Reactive Systems, Inc.
http://www.reactive-systems.com/
(919) 324-3507 ext. 102 -- hansel at reactive-systems.com
OpenPGP (GnuPG) public key file:
http://www.reactive-systems.com/~hansel/pgp_public_key.txt
----------------------------------------------------------
More information about the MLton
mailing list