Re: [EXTERNAL] Re: [PATCH] [tree-optimization] Fix for PR97223

2020-11-05 Thread Jeff Law via Gcc-patches
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: [

Re: [EXTERNAL] Re: [PATCH] [tree-optimization] Fix for PR97223

2020-10-30 Thread Richard Biener via Gcc-patches
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

RE: [EXTERNAL] Re: [PATCH] [tree-optimization] Fix for PR97223

2020-10-29 Thread Eugene Rozenfeld via Gcc-patches
: 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

Re: [PATCH] [tree-optimization] Fix for PR97223

2020-10-27 Thread Richard Biener via Gcc-patches
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

[PATCH] [tree-optimization] Fix for PR97223

2020-10-23 Thread Eugene Rozenfeld via Gcc-patches
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