[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