haiku-buildtools/isl/isl_tab_pip.c

33  * constraint, making sure the sample solution remains feasible
37  * increment to the sample solution.
39  * By starting out from a sample value that is lexicographically
41  * feasible integer sample point we find will also be the lexicographically
43  * then the initial sample value may be chosen equal to zero.
49  * Taking as initial sample value x' = 0 corresponds to x = -M,
1025  * lead to the lexicographically smallest increment in the sample
1027  * Pivoting with column c will increment the sample value by a non-negative
1085  * in the sample point.
1244  * smallest increment in the sample point.  If there is no such column
1561  * current sample value is integral and no cut is required
1595  * current sample value is integral and no cut is required
1605 /* Add a (non-parametric) cut to cut away the non-integral sample
1664  * sample point is obtained or until the tableau is determined
1666  * As long as there is any non-integer value in the sample point,
1751 /* Check whether the sample value of the tableau is finite,
1754  * some constant.  This constant is the actual sample value.
1777  * then it is added to the list of sample values.
1779  * This function is only called when none of the currently active sample
1798 		struct isl_vec *sample;
1800 		sample = isl_tab_get_sample_value(tab);
1802 		tab = isl_tab_add_sample(tab, sample);
1814 /* Check if any of the currently active sample values satisfies
1943 /* Add a parametric cut to cut away the non-integral sample value
2290  * active sample values.  See row_sign for more information.
2694  * use the sample point to construct an integer point
2699 	struct isl_vec *sample;
2708 	sample = isl_tab_get_sample_value(cgbr->shifted);
2709 	sample = isl_vec_ceil(sample);
2711 	return sample;
2746 		struct isl_vec *sample;
2748 		sample = gbr_get_shifted_sample(cgbr);
2749 		if (!sample || sample->size > 0)
2750 			return sample;
2752 		isl_vec_free(sample);
2768 		struct isl_vec *sample;
2782 		sample = isl_tab_sample(cgbr->tab);
2785 			isl_vec_free(sample);
2789 		return sample;
2808 	struct isl_vec *sample;
2816 	sample = gbr_get_sample(cgbr);
2817 	if (!sample)
2820 	if (sample->size == 0) {
2821 		isl_vec_free(sample);
2827 	cgbr->tab = isl_tab_add_sample(cgbr->tab, sample);
3672  * On entry the sample value of the main tableau is lexicographically
3713  * Otherwise, we check if all values of the sample point of the tableau
3716  * If the sample point is not integral, then we need to make a distinction
3722  * to a non-integral sample point and are only mentioned for completeness.