Wed Sep 12 08:38:52 PDT 2007 Norman Ramsey <[EMAIL PROTECTED]>
* change the zipper representation of calls
This patch combines two changes:
1. As requested by SimonPJ, the redundancy inherent in having
LastCall bear actual parameters has been removed. The actual
parameters are now carried by a separate CopyOut node.
2. The internal (to zipper) representation of calls has changed;
the representation of calling conventions is more orthogonal,
and there is now no such thing as a 'safe' or 'final' call
to a CallishMachOp. This change has affected the interface
to MkZipCfgCmm, which now provides a static guarantee. Simon's
new upstream code will be affected; I've patched the existing
code in CmmCvt (which becomes ever hairier).
M ./compiler/cmm/CmmContFlowOpt.hs -6 +6
M ./compiler/cmm/CmmCvt.hs -42 +67
M ./compiler/cmm/CmmLiveZ.hs -6 +6
M ./compiler/cmm/CmmProcPointZ.hs -5 +6
M ./compiler/cmm/CmmSpillReload.hs -7 +7
M ./compiler/cmm/MkZipCfgCmm.hs -8 +12
M ./compiler/cmm/PprCmm.hs -2 +1
M ./compiler/cmm/PprCmmZ.hs -34 +58
M ./compiler/cmm/ZipCfgCmmRep.hs -38 +31
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
