[PATCH] Simplify x^y == z to x == y^z if y^z simplifies

[Mark Mitchell]

Steven Bosscher wrote:
> On Tuesday 06 December 2005 23:28, Mark Mitchell wrote:
> 
>>Andrew Pinski wrote:
>>
>>>While looking at optimizations which combine and LLVM does, I noticed
>>>that fold does not simplify x^y == z to x == y^z when y^z simplifies.
>>
>>OK.
> 
> 
> Roger Sayle already reviewed this and said it was not yet OK:
> http://gcc.gnu.org/ml/gcc-patches/2005-12/msg00291.html

OK, then; my approval is hereby withdrawn!  I'm annoyed at myself that I
didn't see Roger's mail; apparently, I must have deleted that without
deleting Andrew's mail.

Thanks,

-- 
Mark Mitchell
CodeSourcery, LLC
mark@codesourcery.com
(916) 791-8304