> 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 > >