On Thu, Aug 14, 2014 at 11:29 PM, Sebastian Pop wrote:
> Bin.Cheng wrote:
>> >> The overflow check can be improved by using deeper inspection to prove the
>> >> equality. This patch deals with that by making below two improvements:
>> >> a) Handles constant cases.
>> >> b) Uses affine expansi
Bin.Cheng wrote:
> >> The overflow check can be improved by using deeper inspection to prove the
> >> equality. This patch deals with that by making below two improvements:
> >> a) Handles constant cases.
> >> b) Uses affine expansion as deeper inspection to check the equality.
Looks good to
On Fri, Jul 25, 2014 at 8:35 PM, Richard Biener
wrote:
> On Thu, Jul 17, 2014 at 11:08 AM, Bin Cheng wrote:
>> Hi,
>> As quoted from the function difference_cannot_overflow_p,
>>
>> /* TODO: deeper inspection may be necessary to prove the equality. */
>> switch (code)
>> {
>> case PL
Forgot the patch~
On Wed, Aug 6, 2014 at 10:32 AM, Bin.Cheng wrote:
> On Fri, Jul 25, 2014 at 8:35 PM, Richard Biener
> wrote:
>> On Thu, Jul 17, 2014 at 11:08 AM, Bin Cheng wrote:
>>> Hi,
>>> As quoted from the function difference_cannot_overflow_p,
>>>
>>> /* TODO: deeper inspection may be
On Fri, Jul 25, 2014 at 8:35 PM, Richard Biener
wrote:
> On Thu, Jul 17, 2014 at 11:08 AM, Bin Cheng wrote:
>> Hi,
>> As quoted from the function difference_cannot_overflow_p,
>>
>> /* TODO: deeper inspection may be necessary to prove the equality. */
>> switch (code)
>> {
>> case PL
On Fri, Jul 25, 2014 at 1:35 PM, Richard Biener
wrote:
> On Thu, Jul 17, 2014 at 11:08 AM, Bin Cheng wrote:
>> Hi,
>> As quoted from the function difference_cannot_overflow_p,
>>
>> /* TODO: deeper inspection may be necessary to prove the equality. */
>> switch (code)
>> {
>> case PL
On Thu, Jul 17, 2014 at 11:08 AM, Bin Cheng wrote:
> Hi,
> As quoted from the function difference_cannot_overflow_p,
>
> /* TODO: deeper inspection may be necessary to prove the equality. */
> switch (code)
> {
> case PLUS_EXPR:
> return expr_equal_p (e1, offset) || expr_equal_p
Hi,
As quoted from the function difference_cannot_overflow_p,
/* TODO: deeper inspection may be necessary to prove the equality. */
switch (code)
{
case PLUS_EXPR:
return expr_equal_p (e1, offset) || expr_equal_p (e2, offset);
case POINTER_PLUS_EXPR:
return expr_equal_
