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


Ignore:
Timestamp:
Jun 10, 2008 11:52:44 PM (7 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: