[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gm2] Latest CVS checkins

From: Gaius Mulley
Subject: [Gm2] Latest CVS checkins
Date: 12 May 2007 10:21:37 +0100
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4


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/
when building paranoid (which current fails when building M2SubExp).
So if you want a paranoid test which passes (hopefully) set


Here are the changelog entries:
        * gm2/  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
        * 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
        * 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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]