Re: [PATCH][4/n] Merge from match-and-simplify, hook into fold-const.c

2014-10-17 Thread Richard Biener
On Fri, 17 Oct 2014, Richard Biener wrote: > On Thu, 16 Oct 2014, Sebastian Pop wrote: > > > Richard Biener wrote: > > > To give you an example how it looks like, the following code is > > > generated for > > > > > > /* fold_negate_exprs convert - (~A) to A + 1. */ > > > (simplify > > > (negat

Re: [PATCH][4/n] Merge from match-and-simplify, hook into fold-const.c

2014-10-17 Thread Richard Biener
On Thu, 16 Oct 2014, Sebastian Pop wrote: > Richard Biener wrote: > > To give you an example how it looks like, the following code is > > generated for > > > > /* fold_negate_exprs convert - (~A) to A + 1. */ > > (simplify > > (negate (bit_not @0)) > > (if (INTEGRAL_TYPE_P (type)) > > (plus

Re: [PATCH][4/n] Merge from match-and-simplify, hook into fold-const.c

2014-10-16 Thread Trevor Saunders
On Thu, Oct 16, 2014 at 09:14:18PM +0200, Jakub Jelinek wrote: > On Thu, Oct 16, 2014 at 06:58:25PM +, Sebastian Pop wrote: > > Richard Biener wrote: > > > To give you an example how it looks like, the following code is > > > generated for > > > > > > /* fold_negate_exprs convert - (~A) to A +

Re: [PATCH][4/n] Merge from match-and-simplify, hook into fold-const.c

2014-10-16 Thread Jakub Jelinek
On Thu, Oct 16, 2014 at 06:58:25PM +, Sebastian Pop wrote: > Richard Biener wrote: > > To give you an example how it looks like, the following code is > > generated for > > > > /* fold_negate_exprs convert - (~A) to A + 1. */ > > (simplify > > (negate (bit_not @0)) > > (if (INTEGRAL_TYPE_P

Re: [PATCH][4/n] Merge from match-and-simplify, hook into fold-const.c

2014-10-16 Thread Sebastian Pop
Richard Biener wrote: > To give you an example how it looks like, the following code is > generated for > > /* fold_negate_exprs convert - (~A) to A + 1. */ > (simplify > (negate (bit_not @0)) > (if (INTEGRAL_TYPE_P (type)) > (plus @0 { build_int_cst (TREE_TYPE (@0), 1); } ))) > > tree > gen