ooc-960213

[oberon1@informatik.uni-kl.de]

Changes
- bugfix in ConstPropagation
- ansi-c/CodeGen.Mod: Not exported symbols were discarded before
  EmitModuleBody was called
- fast dominance tests added to Data.Mod

-- mva


Tue Feb 13 13:27:13 1996  Juergen Zimmermann  <jnzimmer@informatik.uni-kl.de>

	* frontend/Data.Mod (Dominates, DominatesNR):
	New.  Fast dominance tests.

Tue Feb 13 13:25:26 1996  Michael van Acken  <acken@informatik.uni-kl.de>

	* backend/ansi-c/CodeGen.Mod (WriteSymbolFile):
	Don't integrate symbols into table of imported
	modules, and most of all: don't discard them.
	(CompleteModule): Discard not exported symbols only after
	`EmitModuleBody' has been run (for "--translate proc|module"),
	integrate all remaining symbols into table of imported modules.

Sat Feb 10 19:30:24 1996  Juergen Zimmermann  <jnzimmer@informatik.uni-kl.de>

	* optimizers/ConstPropagation.Mod:
	Unreachable merges were not deleted but replaced by non-existent path leading to
	them. Fixed.

	Possible speedup due to usage of non"*Unique" procedures from `Worklist'.