Update `ooc-960222' available

[jnzimmer@informatik.uni-kl.de]

Hello,
I just uploaded an update for `ooc'.

We fixed some bugs in the front end

New is `ValueNumbering.Mod', which implements `common subexpression
elimination' (state: beta).

So long
  Juergen


Here's the relevant part of the ChangeLog

Thu Feb 22 13:31:28 1996  Juergen Zimmermann  <jnzimmer@informatik.uni-kl.de>

	* optimizers/ValueNumbering.Mod (FixpointIteration):
	Removed unnecessary code which checked for empty
	  partitions.

	Module is considered <beta>.

	* optimizers/ConstPropagation.Mod (ConstantFolding):
	Added assertions to make sure that two constant
	  operands are of the same type.

	(InitLattices): Removed, replacement is `InitLattice'

	(InitLattice): New, generate lattice information for argument, if none
	  is present.

	(RegionInitLattices): New, generates lattice information for all
	  instructions of given region.

	behaviour change: lattices for all instructions are now generated
	unconditionally at the beginning of constant propagation. Previously,
	they were only generated on demand.

	* optimizers/Worklist.Mod:
	converted `ReplaceData' to typebound procedure for `Node'.

Thu Feb 22 12:31:29 1996  Michael van Acken  <acken@informatik.uni-kl.de>

	* frontend/ParseStatm.Mod:
	Added type conversion for second operand of INC/DEC to the first
	operand's type.

Thu Feb 22 11:12:06 1996  Michael van Acken  <acken@informatik.uni-kl.de>

	* backend/ansi-c/SystemFlags.Mod: Initial revision

	* frontend/Make.Mod, frontend/ParseDecl.Mod:
	Moved procedures `ObjectModifiers' and `StructModifiers' into module
	`SystemFlags'.

Wed Feb 21 19:23:49 1996  Michael van Acken  <acken@informatik.uni-kl.de>

	* frontend/doc/SymbolFile.ebnf:
	Specified places for back-end dependent information.

	* frontend/SymbolTable.Mod:
	Added code to write/read back-end specific information that may be
	part of a `Struct' resp. `Object' to/form symbol files.

	* frontend/ParseExpr.Mod (Designator):
	Convert index value to type LONGINT.

	* frontend/ParseDecl.Mod (ProcDecl):
	Set flag `Data.objContainsProc' for the module
	resp. procedure in which this procedure is declared.

	* frontend/Data.Mod:
	Added field `beInfo' to type `Addressable' (ie, to `Struct' and
	`Object'), added flags `objExportsBEInfo' and `structExportsBEInfo'.

Tue Feb 20 12:34:09 1996  Juergen Zimmermann  <jnzimmer@informatik.uni-kl.de>

	* optimizers/ValueNumbering.Mod: Works now.

	Added checking of post conditions for all stages.

	Still some open questions.

Sun Feb 18 18:01:56 1996  Juergen Zimmermann  <jnzimmer@informatik.uni-kl.de>

	* optimizers/ValueNumbering.Mod:
	Seem to be a faily stable version now, can be run on the compiler
	itself without any runtime errors.

	Correctness is still not verified...

Fri Feb 16 06:50:03 1996  Juergen Zimmermann  <jnzimmer@informatik.uni-kl.de>

	* optimizers/ValueNumbering.Mod: still too slow...

Wed Feb 14 15:11:04 1996  Juergen Zimmermann  <jnzimmer@informatik.uni-kl.de>

	* frontend/Data.Mod (Dominates, DominatesNR):
	Fixed serious bug in predicate.

Wed Feb 14 12:50:59 1996  Juergen Zimmermann  <jnzimmer@informatik.uni-kl.de>

	* optimizers/ValueNumbering.Mod: seems to work, but not very elegant...

	* optimizers/ValueNumbering.Mod:
	Intermediate version, major speedup (factor 10) by introduction of a
	`modified' list, which holds all split partitions. Only for those we
	must collect complement partitions.