Changes between Version 19 and Version 20 of Commentary/Compiler/CPS


Ignore:
Timestamp:
Jul 15, 2007 8:11:01 PM (7 years ago)
Author:
Michael D. Adams
Comment:

Added section 'Cmm Optimization assumed by CPS'

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/CPS

    v19 v20  
    370370In the future it would be nice to have a more satisfactory way to handle both these issues. 
    371371 
     372=== Cmm Optimization assumed by CPS === 
     373In order to simplify the CPS pass, it makes some assumptions about the optimizer. 
     374 * The CPS pass may generate more blocks than strictly necessary.  In particular, 
     375   it might be possible to join together two blocks when the second block is only 
     376   entered by the first block.  This is a simple optimization that needs to be implemented. 
     377 * The CPS pass may generate more loads and stores than strictly necessary.  In particular, 
     378   it may load a local register only to store it back to the same stack location a few 
     379   statements later.  There may be intervening branches.  The optimizer 
     380   needs to be extended to eliminate these load store pairs. 
     381 
    372382== Notes on future development == 
    373383=== Handling GC ===