Changes between Version 21 and Version 22 of Commentary/Compiler/IntegratedCodeGen


Ignore:
Timestamp:
Jun 10, 2008 11:52:44 PM (6 years ago)
Author:
nr
Comment:

tiny formatting changes (and correct 1 misspelling)

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/IntegratedCodeGen

    v21 v22  
    110110  ..etc.. 
    111111}}} 
    112 This allows us to  '''make code improvements machine-independent''', by using machine-dependent functions to capture the semantics of instructions.  Figuring out precisely what the interace should be is a key step.  For example, to support copy propagation we might want an operation 
     112This allows us to  '''make code improvements machine-independent''', by using machine-dependent functions to capture the semantics of instructions.  Figuring out precisely what the interface should be is a key step.  For example, to support copy propagation we might want an operation 
    113113{{{  
    114114  isCopy :: i -> Maybe (LocalReg,LocalReg) 
     
    180180  * A reverse postorder depth-first traversal simultaneously converts the graph to sequential code and converts each instruction into an assembly-code string: '''Assembly code ahoy'''! 
    181181 
    182 === Machine-dependence === 
     182== Machine-dependence == 
    183183 
    184184A key property of the design is that the scopes of machine-dependent code and machine-dependent static types are limited as much as possible: