Lines Matching refs:modulo

735 	int pos, isl_int *modulo, isl_int *residue)  in isl_basic_set_dim_residue_class()  argument
743 if (!bset || !modulo || !residue) in isl_basic_set_dim_residue_class()
750 isl_int_set_si(*modulo, 0); in isl_basic_set_dim_residue_class()
765 total-bset->n_eq, modulo); in isl_basic_set_dim_residue_class()
766 if (isl_int_is_zero(*modulo)) in isl_basic_set_dim_residue_class()
767 isl_int_set_si(*modulo, 1); in isl_basic_set_dim_residue_class()
768 if (isl_int_is_one(*modulo)) { in isl_basic_set_dim_residue_class()
794 isl_int_set_si(*modulo, 1); in isl_basic_set_dim_residue_class()
799 isl_int_fdiv_r(*residue, *residue, *modulo); in isl_basic_set_dim_residue_class()
818 int pos, isl_int *modulo, isl_int *residue) in isl_set_dim_residue_class() argument
824 if (!set || !modulo || !residue) in isl_set_dim_residue_class()
828 isl_int_set_si(*modulo, 0); in isl_set_dim_residue_class()
833 if (isl_basic_set_dim_residue_class(set->p[0], pos, modulo, residue)<0) in isl_set_dim_residue_class()
839 if (isl_int_is_one(*modulo)) in isl_set_dim_residue_class()
848 isl_int_gcd(*modulo, *modulo, m); in isl_set_dim_residue_class()
850 isl_int_gcd(*modulo, *modulo, m); in isl_set_dim_residue_class()
851 if (!isl_int_is_zero(*modulo)) in isl_set_dim_residue_class()
852 isl_int_fdiv_r(*residue, *residue, *modulo); in isl_set_dim_residue_class()
853 if (isl_int_is_one(*modulo)) in isl_set_dim_residue_class()
877 int pos, __isl_give isl_val **modulo, __isl_give isl_val **residue) in isl_set_dim_residue_class_val() argument
879 *modulo = NULL; in isl_set_dim_residue_class_val()
883 *modulo = isl_val_alloc(isl_set_get_ctx(set)); in isl_set_dim_residue_class_val()
885 if (!*modulo || !*residue) in isl_set_dim_residue_class_val()
888 &(*modulo)->n, &(*residue)->n) < 0) in isl_set_dim_residue_class_val()
890 isl_int_set_si((*modulo)->d, 1); in isl_set_dim_residue_class_val()
894 isl_val_free(*modulo); in isl_set_dim_residue_class_val()