Home | History | Annotate | Download | only in gcc

Lines Matching defs:bnd

564   mpz_t offc0, offc1, loffx, loffy, bnd;
685       mpz_init (bnd);
686       mpz_sub (bnd, loffx, loffy);
687       mpz_add (bnd, bnd, offc1);
688       mpz_sub (bnd, bnd, offc0);
691 	mpz_sub_ui (bnd, bnd, 1);
695 	  mpz_neg (bnd, bnd);
696 	  if (mpz_cmp (bnds->below, bnd) < 0)
697 	    mpz_set (bnds->below, bnd);
701 	  if (mpz_cmp (bnd, bnds->up) < 0)
702 	    mpz_set (bnds->up, bnd);
704       mpz_clear (bnd);
898 /* Derives the upper bound BND on the number of executions of loop with exit
915 number_of_iterations_ne_max (mpz_t bnd, bool no_overflow, tree c, tree s,
949       wi::to_mpz (max, bnd, UNSIGNED);
955   wi::to_mpz (wi::minus_one (TYPE_PRECISION (type)), bnd, UNSIGNED);
964 	wi::to_mpz (wi::to_wide (c), bnd, UNSIGNED);
966 	mpz_set (bnd, bnds->up);
971   mpz_fdiv_q (bnd, bnd, d);
3300   widest_int bnd, max, cst;
3331       bnd = derive_constant_upper_bound (op0);
3335       if (wi::ltu_p (max, bnd))
3338       return bnd;
3354       bnd = derive_constant_upper_bound (op0);
3364 	     BND <= MAX (type) - CST.  */
3367 	  if (wi::leu_p (bnd, mmax))
3370 	  return bnd + cst;
3378 	     VAL <= BND - CST.
3387 	  if (wi::ltu_p (bnd, cst))
3398 	  bnd -= cst;
3401       return bnd;
3409       bnd = derive_constant_upper_bound (op0);
3410       return wi::udiv_floor (bnd, wi::to_widest (op1));