[rfc] rewrite of local equivalences

[Richard Henderson]

On Thu, Nov 27, 2003 at 10:38:51PM +0800, canqun@nudt.edu.cn wrote:
> As the code for constructing the 'UNION_TYPE' in 'trans-
> equivalence.c' is very similar to which in 'trans-
> common.c', also, 'trans-common.c' needs handle global 
> EQUIVALENCE. Is it necessary to combine the two files?

It would be a good idea, yes.

I do not yet know the best way to proceed with COMMON.
Using something like I did for EQUIVALENCE is perhaps
best for optimization within a function, but it makes
inlining difficult or impossible unless the two functions
share the same view of the COMMON blocks.

Perhaps that's good enough though.  I would be interested
to see your implementation.


r~