reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
4088 isl_int_gcd(data->g, 4090 isl_int_divexact(data->fl, bmap->ineq[l][offset + i], data->g); 4090 isl_int_divexact(data->fl, bmap->ineq[l][offset + i], data->g); 4091 isl_int_divexact(data->fu, bmap->ineq[u][offset + i], data->g); 4091 isl_int_divexact(data->fu, bmap->ineq[u][offset + i], data->g); 4092 isl_int_neg(data->fu, data->fu); 4092 isl_int_neg(data->fu, data->fu); 4093 isl_seq_combine(data->v->el, data->fl, bmap->ineq[u], 4093 isl_seq_combine(data->v->el, data->fl, bmap->ineq[u], 4094 data->fu, bmap->ineq[l], offset + n_div); 4095 isl_int_mul(data->g, data->g, data->fl); 4095 isl_int_mul(data->g, data->g, data->fl); 4095 isl_int_mul(data->g, data->g, data->fl); 4096 isl_int_mul(data->g, data->g, data->fu); 4096 isl_int_mul(data->g, data->g, data->fu); 4096 isl_int_mul(data->g, data->g, data->fu); 4097 isl_int_sub(data->g, data->g, data->fl); 4097 isl_int_sub(data->g, data->g, data->fl); 4097 isl_int_sub(data->g, data->g, data->fl); 4098 isl_int_sub(data->g, data->g, data->fu); 4098 isl_int_sub(data->g, data->g, data->fu); 4098 isl_int_sub(data->g, data->g, data->fu); 4099 isl_int_add_ui(data->g, data->g, 1); 4099 isl_int_add_ui(data->g, data->g, 1); 4100 isl_int_sub(data->fl, data->v->el[0], data->g); 4100 isl_int_sub(data->fl, data->v->el[0], data->g); 4100 isl_int_sub(data->fl, data->v->el[0], data->g); 4102 isl_seq_gcd(data->v->el + 1, offset - 1 + n_div, &data->g); 4102 isl_seq_gcd(data->v->el + 1, offset - 1 + n_div, &data->g); 4103 if (isl_int_is_zero(data->g)) 4104 return isl_int_is_nonneg(data->fl); 4105 if (isl_int_is_one(data->g)) { 4106 isl_int_set(data->v->el[0], data->fl); 4106 isl_int_set(data->v->el[0], data->fl); 4107 return test_ineq_is_satisfied(bmap, data); 4109 isl_int_fdiv_q(data->fl, data->fl, data->g); 4109 isl_int_fdiv_q(data->fl, data->fl, data->g); 4109 isl_int_fdiv_q(data->fl, data->fl, data->g); 4110 isl_int_fdiv_q(data->v->el[0], data->v->el[0], data->g); 4110 isl_int_fdiv_q(data->v->el[0], data->v->el[0], data->g); 4110 isl_int_fdiv_q(data->v->el[0], data->v->el[0], data->g); 4111 if (isl_int_eq(data->fl, data->v->el[0])) 4111 if (isl_int_eq(data->fl, data->v->el[0])) 4113 isl_int_set(data->v->el[0], data->fl); 4113 isl_int_set(data->v->el[0], data->fl); 4114 isl_seq_scale_down(data->v->el + 1, data->v->el + 1, data->g, 4114 isl_seq_scale_down(data->v->el + 1, data->v->el + 1, data->g, 4114 isl_seq_scale_down(data->v->el + 1, data->v->el + 1, data->g, 4117 return test_ineq_is_satisfied(bmap, data);