Lines Matching refs:is_infty
851 isl_bool is_infty; in isl_poly_sum() local
853 is_infty = isl_poly_is_infty(poly2); in isl_poly_sum()
854 if (is_infty >= 0 && !is_infty) in isl_poly_sum()
855 is_infty = isl_poly_is_neginfty(poly2); in isl_poly_sum()
856 if (is_infty < 0) in isl_poly_sum()
858 if (is_infty) { in isl_poly_sum()
1217 isl_bool is_infty; in isl_poly_mul() local
1219 is_infty = isl_poly_is_infty(poly2); in isl_poly_mul()
1220 if (is_infty >= 0 && !is_infty) in isl_poly_mul()
1221 is_infty = isl_poly_is_neginfty(poly2); in isl_poly_mul()
1222 if (is_infty < 0) in isl_poly_mul()
1224 if (is_infty) { in isl_poly_mul()