Mercurial > hg > CbC > CbC_gcc
comparison gcc/doc/poly-int.texi @ 145:1830386684a0
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. |