Changes between Version 1 and Version 2 of Commentary/Compiler/BackEndTypes


Ignore:
Timestamp:
Dec 11, 2007 12:29:33 PM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/BackEndTypes

    v1 v2  
    11-------------------------------------- 
    2 = Types in the back end (aka "The `Rep` swamp")= 
     2= Types in the back end (aka "The `Rep` swamp") = 
    33 
    44I have completed a major representation change, affecting both old and new code generators, of the  various `Rep` types.  It's pervasive in that it touches a lot of files; and in the native code-gen very many lines are changed.  The new situation is much cleaner. 
     
    3232 
    3333 
    34 == `MachOp` == 
     34== The `MachOp` type == 
    3535 
    3636The `MachOp` type enumerates (in machine-independent form) the available machine instructions.  The principle they embody is that ''everything except the width is embodied in the opcode''.  In particular, we have