Mercurial > hg > CbC > CbC_gcc

comparison gcc/doc/poly-int.texi @ 145:1830386684a0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 84e7813d76e9
children
comparison
equal deleted inserted replaced
131:84e7813d76e9 145:1830386684a0
800 @code{poly_int} also provides routines for calculating lower and upper bounds: 800 @code{poly_int} also provides routines for calculating lower and upper bounds:
801 801
802 @table @samp 802 @table @samp
803 @item constant_lower_bound (@var{a}) 803 @item constant_lower_bound (@var{a})
804 Assert that @var{a} is nonnegative and return the smallest value it can have. 804 Assert that @var{a} is nonnegative and return the smallest value it can have.
805
806 @item constant_lower_bound_with_limit (@var{a}, @var{b})
807 Return the least value @var{a} can have, given that the context in
808 which @var{a} appears guarantees that the answer is no less than @var{b}.
809 In other words, the caller is asserting that @var{a} is greater than or
810 equal to @var{b} even if @samp{known_ge (@var{a}, @var{b})} doesn't hold.
811
812 @item constant_upper_bound_with_limit (@var{a}, @var{b})
813 Return the greatest value @var{a} can have, given that the context in
814 which @var{a} appears guarantees that the answer is no greater than @var{b}.
815 In other words, the caller is asserting that @var{a} is less than or equal
816 to @var{b} even if @samp{known_le (@var{a}, @var{b})} doesn't hold.
805 817
806 @item lower_bound (@var{a}, @var{b}) 818 @item lower_bound (@var{a}, @var{b})
807 Return a value that is always less than or equal to both @var{a} and @var{b}. 819 Return a value that is always less than or equal to both @var{a} and @var{b}.
808 It will be the greatest such value for some indeterminate values 820 It will be the greatest such value for some indeterminate values
809 but necessarily for all. 821 but necessarily for all.