rn _3;
> }
>
> This is a correct optimization since -fno-strict-overflow implies -fwrapv.
>
> Eugene
>
> -Original Message-
> From: Richard Biener
> Sent: Tuesday, October 27, 2020 2:23 AM
> To: Eugene Rozenfeld
> Cc: gcc-patches@gcc.gnu.org
> Subject: [
gt; }
>
> This is a correct optimization since -fno-strict-overflow implies -fwrapv.
OK.
Thanks,
Richard.
> Eugene
>
> -Original Message-
> From: Richard Biener
> Sent: Tuesday, October 27, 2020 2:23 AM
> To: Eugene Rozenfeld
> Cc: gcc-patches@gcc.gnu.o
: gcc-patches@gcc.gnu.org
Subject: [EXTERNAL] Re: [PATCH] [tree-optimization] Fix for PR97223
On Sat, Oct 24, 2020 at 2:20 AM Eugene Rozenfeld via Gcc-patches
wrote:
>
> This patch adds a pattern for folding
> x < (short) ((unsigned short)x + const) to
> x
On Sat, Oct 24, 2020 at 2:20 AM Eugene Rozenfeld via Gcc-patches
wrote:
>
> This patch adds a pattern for folding
> x < (short) ((unsigned short)x + const)
> to
> x <= SHORT_MAX - const
> (and similarly for other integral types) if const is not 0.
> as described in PR97223
This patch adds a pattern for folding
x < (short) ((unsigned short)x + const)
to
x <= SHORT_MAX - const
(and similarly for other integral types) if const is not 0.
as described in PR97223.
For example, without this patch the x86_64-pc-linux code generated for this
functi