[MLton-devel] eliminating Call from Machine.Transfer.t

[Stephen Weeks]

I would like to eliminate the distinction in Machine.Kind.t between
Func and Jump and to eliminate Call from Machine.Transfer.t, leaving
only Goto.  To do this, I need to make explicit the stack push that
is currently implicit in call.  This will cause no problems with the C
codegen, but I am worried it may mess up the liveness information in
the x86 codegen.  Should I be worried?  Or can I go ahead and
eliminate the distinction?  Nothing else in machine or the C codegen
cares.


-------------------------------------------------------
This SF.NET email is sponsored by:  The Best Geek Holiday Gifts!
Time is running out!  Thinkgeek.com has the coolest gifts for
your favorite geek.   Let your fingers do the typing.   Visit Now.
T H I N K G E E K . C O M        http://www.thinkgeek.com/sf/
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel