reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
406 sample = isl_tab_get_sample_value(tab); 407 sample = isl_mat_vec_product(isl_mat_copy(tab->basis), sample); 407 sample = isl_mat_vec_product(isl_mat_copy(tab->basis), sample); 408 sample = isl_vec_ceil(sample); 408 sample = isl_vec_ceil(sample); 409 sample = isl_mat_vec_inverse_product(isl_mat_copy(tab->basis), 410 sample); 411 return sample; 501 sample = isl_tab_get_sample_value(tab); 502 if (!sample) 504 if (tab->n_unbounded && !isl_int_is_one(sample->el[0])) { 505 sample = isl_mat_vec_product(isl_mat_copy(tab->basis), 506 sample); 507 sample = isl_vec_ceil(sample); 507 sample = isl_vec_ceil(sample); 508 sample = isl_mat_vec_inverse_product( 509 isl_mat_copy(tab->basis), sample); 512 sample = isl_vec_alloc(ctx, 0); 518 return sample;