> The auto-canonicalization does present some problems.  No doubt about
> that.  However, I was added specifically because it was allowing us
> to eliminate more useless crud.  IIRC it was comparison elimination
> that primarily benefited from auto canonicalization.

I think that part may have been superseded by VRP, which uses
operand_equal_p

(the remainings parts of DOM, including avail_expr_eq, for example, uses
operand_equal_p, which should handle that situation)

> 
> I don't recall any changes which would make the auto canonicalization
> no longer necessary, but if you can show no ill effects before/after
> removing auto canonicalization, then I won't object.

I'll run some numbers.

> 
> 
> jeff
> 
> 

Reply via email to