Re: [PATCH GCC]Simplify (cond (cmp (convert? x) c1) (op x c2) c3) -> (op (minmax x c1) c2)

2016-12-02 Thread Richard Biener
On Fri, Dec 2, 2016 at 12:58 PM, Bin.Cheng wrote: > On Wed, Nov 30, 2016 at 3:10 PM, Richard Biener > wrote: >> On Fri, Nov 18, 2016 at 5:53 PM, Bin Cheng wrote: >>> Hi, >>> This is a rework of >>>

Re: [PATCH GCC]Simplify (cond (cmp (convert? x) c1) (op x c2) c3) -> (op (minmax x c1) c2)

2016-12-02 Thread Bin.Cheng
On Wed, Nov 30, 2016 at 3:10 PM, Richard Biener wrote: > On Fri, Nov 18, 2016 at 5:53 PM, Bin Cheng wrote: >> Hi, >> This is a rework of https://gcc.gnu.org/ml/gcc-patches/2016-10/msg02007.html. >> Though review comments suggested it could be merged

Re: [PATCH GCC]Simplify (cond (cmp (convert? x) c1) (op x c2) c3) -> (op (minmax x c1) c2)

2016-11-30 Thread Richard Biener
On Fri, Nov 18, 2016 at 5:53 PM, Bin Cheng wrote: > Hi, > This is a rework of https://gcc.gnu.org/ml/gcc-patches/2016-10/msg02007.html. > Though review comments suggested it could be merged with last kind > simplification > of fold_cond_expr_with_comparison, it's not really

[PATCH GCC]Simplify (cond (cmp (convert? x) c1) (op x c2) c3) -> (op (minmax x c1) c2)

2016-11-18 Thread Bin Cheng
Hi, This is a rework of https://gcc.gnu.org/ml/gcc-patches/2016-10/msg02007.html. Though review comments suggested it could be merged with last kind simplification of fold_cond_expr_with_comparison, it's not really applicable. As a matter of fact, the suggestion stands for patch