contrib/gcc/tree-ssa-loop-niter.c

140   tree niter_type = unsigned_type_for (type);
151       s = fold_convert (niter_type,
153       c = fold_build2 (MINUS_EXPR, niter_type,
154 		       fold_convert (niter_type, iv->base),
155 		       fold_convert (niter_type, final));
159       s = fold_convert (niter_type, iv->step);
160       c = fold_build2 (MINUS_EXPR, niter_type,
161 		       fold_convert (niter_type, final),
162 		       fold_convert (niter_type, iv->base));
176   bound = build_low_bits_mask (niter_type,
177 			       (TYPE_PRECISION (niter_type)
180   d = fold_binary_to_constant (LSHIFT_EXPR, niter_type,
181 			       build_int_cst (niter_type, 1), bits);
182   s = fold_binary_to_constant (RSHIFT_EXPR, niter_type, s, bits);
188       assumption = fold_build2 (FLOOR_MOD_EXPR, niter_type, c, d);
190 				assumption, build_int_cst (niter_type, 0));
196   c = fold_build2 (EXACT_DIV_EXPR, niter_type, c, d);
197   tmp = fold_build2 (MULT_EXPR, niter_type, c, inverse (s, bound));
198   niter->niter = fold_build2 (BIT_AND_EXPR, niter_type, tmp, bound);
215   tree niter_type = TREE_TYPE (step);
216   tree mod = fold_build2 (FLOOR_MOD_EXPR, niter_type, *delta, step);
223     mod = fold_build2 (MINUS_EXPR, niter_type, step, mod);
273   *delta = fold_build2 (PLUS_EXPR, niter_type, *delta, mod);
287   tree niter_type = TREE_TYPE (step);
301 	  d = fold_build2 (MINUS_EXPR, niter_type,
302 			   fold_convert (niter_type, TYPE_MAX_VALUE (type)),
303 			   fold_convert (niter_type, iv0->base));
304 	  diff = fold_build2 (FLOOR_MOD_EXPR, niter_type, d, step);
307 	diff = fold_build2 (MINUS_EXPR, niter_type, step,
308 			    build_int_cst (niter_type, 1));
322 	  d = fold_build2 (MINUS_EXPR, niter_type,
323 			   fold_convert (niter_type, iv1->base),
324 			   fold_convert (niter_type, TYPE_MIN_VALUE (type)));
325 	  diff = fold_build2 (FLOOR_MOD_EXPR, niter_type, d, step);
328 	diff = fold_build2 (MINUS_EXPR, niter_type, step,
329 			    build_int_cst (niter_type, 1));
414   tree niter_type = unsigned_type_for (type);
430   delta = fold_build2 (MINUS_EXPR, niter_type,
431 		       fold_convert (niter_type, iv1->base),
432 		       fold_convert (niter_type, iv0->base));
455     step = fold_convert (niter_type, iv0->step);
457     step = fold_convert (niter_type,
467       zps.base = build_int_cst (niter_type, 0);
485   s = fold_build2 (MINUS_EXPR, niter_type,
486 		   step, build_int_cst (niter_type, 1));
487   delta = fold_build2 (PLUS_EXPR, niter_type, delta, s);
488   niter->niter = fold_build2 (FLOOR_DIV_EXPR, niter_type, delta, step);