<div class="gmail_quote">On Mon, Nov 30, 2009 at 12:45 PM, David Hansel <span dir="ltr"><<a href="mailto:hansel@reactive-systems.com">hansel@reactive-systems.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
See the code below. It should match up with the code I posted before.<br>
>From what I can tell it does look like MLton puts the target address for<br>
applyFFTempFun into a register but then later does the indirect call via<br>
the memory location.<br></blockquote><div><br>Yes, it looks like it gets dropped into %r11, but not used from that location.<br> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Please let me know if you need any more context or other debugging<br>
information. It does seem like you are on the right track.<br></blockquote><br>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 <a href="http://mlton.org/TemporaryUpload">http://mlton.org/TemporaryUpload</a>.<br>
<br>-Matthew<br></div>