[MLton-user] Re: [MLton] Intermediate forms
Eric McCorkle
ericmcc at cs.brown.edu
Thu Mar 6 22:01:30 PST 2008
On Mar 6, 2008, at 9:34 PM, Jay McCarthy wrote:
>
> Is there a way to have MLton print out my program as it is optimizing?
>
> I've tried "-keep g", but the ASM is too detached from the SML, so I
> can't tell "how much" is getting optimized.
>
> In particular, I'd like to look at the SXML and SSA (or SSA2)
> versions.
>
> Thanks so much
You can do -keep ssa, -keep ssa2, -keep rssa. The SSA languages are
a bit different from conventional, in that there are no phi-
operators. Instead, blocks take arguments, and each block ends with
one of several types of transfers (goto, case, etc), which give the
arguments for the next block.
--
Eric McCorkle
Brown University
CS Graduate Student
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mlton.org/pipermail/mlton-user/attachments/20080307/cec637d5/attachment.html
More information about the MLton-user
mailing list