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


Ignore:
Timestamp:
Dec 11, 2007 12:29:33 PM (8 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