--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
Severity|normal |enhancement
Status|UNCONFIRMED |NEW
--- Comment #2 from xinliangli at gmail dot com 2008-02-24 00:36 ---
(In reply to comment #1)
> (In reply to comment #0)
> > The following rule is not handled by GCC
> >
> > (a & x) || (a & y) ===> a & (x | y)
>
> Perhaps that is because those two expressions aren't equivalent?
>
> B
--- Comment #1 from segher at kernel dot crashing dot org 2008-02-23 19:51
---
(In reply to comment #0)
> The following rule is not handled by GCC
>
> (a & x) || (a & y) ===> a & (x | y)
Perhaps that is because those two expressions aren't equivalent?
But, confirmed, assuming you me
