[Gm2] Latest CVS checkins

[Gaius Mulley]

Hi,

I've finally managed to track down 3 hard to find optimisation bugs
which only manifest themselves when a final call to the back end is
issued - the bug occurs during tree construction many stages before.

Anyway I've checked these changes in and now the regression tests
deliver the following results:


# of expected passes            13248
# of unexpected failures        162
# of unresolved testcases       75


There is another couple of optimisation bugs lurking (one at least
similar to the 3 found before - there are also linking bugs).
However the optimisation bugs should take too long as I now
know what I'm looking for.  Basically optimisation is still not
reliable - but it is alot further down the road than before the
checkin's.  Also I've enabled optimisation in gm2/Make-file.in
when building paranoid (which current fails when building M2SubExp).
So if you want a paranoid test which passes (hopefully) set

GM2_O_S3=

Here are the changelog entries:
        
        * gm2/Make-lang.in:  added -O for paranoid
        * gm2/gccgm2.c:  
        * gm2/gm2-compiler/M2Base.def:  removed generic Unbounded type
        * gm2/gm2-compiler/M2Base.mod:  removed generic Unbounded type
          creation.
        * gm2/gm2-compiler/M2Code.mod:  tidied up comments and semicolon.
        * gm2/gm2-compiler/M2GCCDeclare.def:  export DeclareParameters.
        * gm2/gm2-compiler/M2GCCDeclare.mod:  implement
          DeclareParameters and new unbounded type mechanism.
        * gm2/gm2-compiler/M2GenGCC.mod:  modified references
          to unbounded fields.  Fixed two major optimization bugs
          in CodeXIndr and CodeIndrX pointer types
          now use generic pointer types when building indirect GCC
          trees.
        * gm2/gm2-compiler/M2Quads:  now create a specific unbounded type
          rather than cast to a generic unbounded record.  Again this fixes
          bugs in Tree construction which were exposed by the back end
          when -O was enabled.
        * gm2/gm2-compiler/SymbolTable.def:  declared Unbounded record and
          field operators.
        * gm2/gm2-compiler/SymbolTable.mod:  implement Unbounded record and
          field operators.

regards,
Gaius