Home | History | Annotate | Download | only in dist

Lines Matching refs:rat

1119  * "rat" collects the rational part.
1125 isl_aff *rat;
1130 * add it to data->rat if "v" is not a multiple of data->d.
1136 isl_aff *rat;
1142 rat = isl_aff_var_on_domain(isl_local_space_copy(data->ls), type, pos);
1143 rat = isl_aff_scale_val(rat, v);
1144 data->rat = isl_aff_add(data->rat, rat);
1176 data.rat = isl_aff_zero_on_domain(isl_local_space_copy(data.ls));
1188 data.rat = isl_aff_add(data.rat, rat_0);
1193 aff = isl_aff_sub(aff, isl_aff_copy(data.rat));
1196 rat_expr = div_mod(isl_ast_expr_op_div, data.rat, data.d, build);
1201 isl_aff_free(data.rat);