148 	if (isl_val_is_int(v) && isl_int_cmp_si(v->n, i) == 0)  in isl_val_set_si()
391 	if (isl_val_is_int(v))  in isl_val_normalize()
474 	if (isl_val_is_int(v))  in isl_val_floor()
495 	if (isl_val_is_int(v))  in isl_val_ceil()
516 	if (isl_val_is_int(v))  in isl_val_trunc()
540 	if (!isl_val_is_int(v))  in isl_val_pow2()
663 	if (isl_val_is_int(v1) && isl_val_is_int(v2))  in isl_val_add()
741 	if (isl_val_is_int(v1) && isl_val_is_int(v2))  in isl_val_sub()
823 	if (isl_val_is_int(v1) && isl_val_is_int(v2))  in isl_val_mul()
910 	if (isl_val_is_int(v2)) {  in isl_val_div()
969 	if (!isl_val_is_int(v1) || !isl_val_is_int(v2))  in isl_val_is_divisible_by()
983 	if (!isl_val_is_int(v1) || !isl_val_is_int(v2))  in isl_val_mod()
1020 	if (!isl_val_is_int(v1) || !isl_val_is_int(v2))  in isl_val_gcd()
1105 	if (!isl_val_is_int(v1) || !isl_val_is_int(v2))  in isl_val_gcdext()
1141 isl_bool isl_val_is_int(__isl_keep isl_val *v)  in isl_val_is_int()  function
1292 	if (isl_val_is_int(v1) && isl_val_is_int(v2))  in isl_val_lt()
1332 	if (isl_val_is_int(v))  in isl_val_gt_si()
1357 	if (isl_val_is_int(v1) && isl_val_is_int(v2))  in isl_val_le()
1401 	if (isl_val_is_int(v))  in isl_val_cmp_si()
1438 	if (!isl_val_is_int(v))  in isl_val_eq_si()