This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [PATCH] add VRP for bitwise OR and AND: v2

From: Denis Vlasenko <vda dot linux at googlemail dot com>
To: "Richard Guenther" <richard dot guenther at gmail dot com>
Cc: "Daniel Berlin" <dannyb at google dot com>, "Håkan Hjort" <hakan at jasper-da dot com>, gcc-patches at gcc dot gnu dot org
Date: Fri, 11 Aug 2006 11:13:49 +0200
Subject: Re: [PATCH] add VRP for bitwise OR and AND: v2
References: <200608091936.36366.vda.linux@googlemail.com> <200608111008.28486.vda.linux@googlemail.com> <84fc9c000608110110m134bb80ar4e57f38c6a2409c5@mail.gmail.com>

On Friday 11 August 2006 10:10, Richard Guenther wrote:
> > > You might want to look at the pending patch for PR15911.
> >
> > Looked on it. I do not know gcc very much. Doesn't seem to be
> > about VRP on bitwise AND/OR, no?
> 
> No, but it should help the TRUTH_OR_EXPR you have in
> 
>   if(a<0x0100 || a>0x0101) return 1;
> 
> if that is not lowered to chained ifs.

Yes, I noticed that problem yesterday.
If that is being fixed, then I'm happy. :)
--
vda

References:
- [PATCH] add VRP for bitwise OR and AND: v2
  - From: Denis Vlasenko
- Re: [PATCH] add VRP for bitwise OR and AND: v2
  - From: Denis Vlasenko
- Re: [PATCH] add VRP for bitwise OR and AND: v2
  - From: Richard Guenther

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]