This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Is VRP is too conservative to identify boolean value 0 and 1?
- From: Andrew Pinski <pinskia at gmail dot com>
- To: Jiangning Liu <jiangning dot liu at arm dot com>
- Cc: gcc at gcc dot gnu dot org
- Date: Thu, 1 Sep 2011 23:27:15 -0700
- Subject: Re: Is VRP is too conservative to identify boolean value 0 and 1?
- References: <4e607315.5117e70a.25cb.ffffb31eSMTPIN_ADDED@mx.google.com>
On Thu, Sep 1, 2011 at 10:58 PM, Jiangning Liu <jiangning.liu@arm.com> wrote:
> D.1249_3: [0, 1]
> D.1250_5: [0, 1]
> D.1251_6: [0, 1]
Those are equivalent to [0, MAX] as _Bool only has two different
values, 0 and 1 (MAX). Can you explain more about the optimization
which you are working on that needs the ranges as (int)[0,1] rather
than (_Bool)[0,MAX] ?
Thanks,
Andrew Pinski