Lines Matching refs:sample
46 struct isl_vec *sample; in zero_sample() local
51 sample = isl_vec_alloc(bset->ctx, 1 + dim); in zero_sample()
52 if (sample) { in zero_sample()
53 isl_int_set_si(sample->el[0], 1); in zero_sample()
54 isl_seq_clr(sample->el + 1, dim); in zero_sample()
57 return sample; in zero_sample()
67 struct isl_vec *sample; in interval_sample() local
77 sample = isl_vec_alloc(bset->ctx, 2); in interval_sample()
78 if (!sample) in interval_sample()
82 isl_int_set_si(sample->block.data[0], 1); in interval_sample()
88 isl_int_neg(sample->el[1], bset->eq[0][0]); in interval_sample()
92 isl_int_set(sample->el[1], bset->eq[0][0]); in interval_sample()
95 return sample; in interval_sample()
100 isl_int_neg(sample->block.data[1], bset->ineq[0][0]); in interval_sample()
102 isl_int_set(sample->block.data[1], bset->ineq[0][0]); in interval_sample()
104 isl_seq_inner_product(sample->block.data, in interval_sample()
111 isl_vec_free(sample); in interval_sample()
116 return sample; in interval_sample()
119 isl_vec_free(sample); in interval_sample()
134 struct isl_vec *sample; in sample_eq() local
140 sample = recurse(bset); in sample_eq()
141 if (!sample || sample->size == 0) in sample_eq()
144 sample = isl_mat_vec_product(T, sample); in sample_eq()
145 return sample; in sample_eq()
386 struct isl_vec *sample; in isl_tab_sample() local
414 sample = isl_tab_get_sample_value(tab); in isl_tab_sample()
415 sample = isl_mat_vec_product(isl_mat_copy(tab->basis), sample); in isl_tab_sample()
416 sample = isl_vec_ceil(sample); in isl_tab_sample()
417 sample = isl_mat_vec_inverse_product(isl_mat_copy(tab->basis), in isl_tab_sample()
418 sample); in isl_tab_sample()
419 return sample; in isl_tab_sample()
509 sample = isl_tab_get_sample_value(tab); in isl_tab_sample()
510 if (!sample) in isl_tab_sample()
512 if (tab->n_unbounded && !isl_int_is_one(sample->el[0])) { in isl_tab_sample()
513 sample = isl_mat_vec_product(isl_mat_copy(tab->basis), in isl_tab_sample()
514 sample); in isl_tab_sample()
515 sample = isl_vec_ceil(sample); in isl_tab_sample()
516 sample = isl_mat_vec_inverse_product( in isl_tab_sample()
517 isl_mat_copy(tab->basis), sample); in isl_tab_sample()
520 sample = isl_vec_alloc(ctx, 0); in isl_tab_sample()
526 return sample; in isl_tab_sample()
543 isl_vec *sample; member
556 isl_vec *sample; in factor_sample() local
563 sample = sample_bounded(isl_basic_set_copy(bset)); in factor_sample()
564 if (!sample) in factor_sample()
566 if (sample->size == 0) { in factor_sample()
567 isl_vec_free(data->sample); in factor_sample()
568 data->sample = sample; in factor_sample()
571 isl_seq_cpy(data->sample->el + data->pos, sample->el + 1, n); in factor_sample()
572 isl_vec_free(sample); in factor_sample()
594 data.sample = isl_vec_alloc(ctx, 1 + total); in factored_sample()
595 if (!data.sample) in factored_sample()
597 isl_int_set_si(data.sample->el[0], 1); in factored_sample()
602 data.sample = isl_vec_free(data.sample); in factored_sample()
607 data.sample = isl_morph_vec(morph, data.sample); in factored_sample()
612 return data.sample; in factored_sample()
616 isl_vec_free(data.sample); in factored_sample()
630 struct isl_vec *sample; in sample_bounded() local
661 sample = isl_vec_alloc(isl_basic_set_get_ctx(bset), 0); in sample_bounded()
663 return sample; in sample_bounded()
670 sample = isl_tab_sample(tab); in sample_bounded()
671 if (!sample) in sample_bounded()
674 if (sample->size > 0) { in sample_bounded()
675 isl_vec_free(bset->sample); in sample_bounded()
676 bset->sample = isl_vec_copy(sample); in sample_bounded()
681 return sample; in sample_bounded()
701 __isl_take isl_vec *sample) in plug_in() argument
708 if (total < 0 || !sample) in plug_in()
711 T = isl_mat_alloc(bset->ctx, 1 + total, 1 + total - (sample->size - 1)); in plug_in()
715 for (i = 0; i < sample->size; ++i) { in plug_in()
716 isl_int_set(T->row[i][0], sample->el[i]); in plug_in()
720 isl_seq_clr(T->row[sample->size + i], T->n_col); in plug_in()
721 isl_int_set_si(T->row[sample->size + i][1 + i], 1); in plug_in()
723 isl_vec_free(sample); in plug_in()
729 isl_vec_free(sample); in plug_in()
739 struct isl_vec *sample; in rational_sample() local
745 sample = isl_tab_get_sample_value(tab); in rational_sample()
750 return sample; in rational_sample()
952 struct isl_vec *sample; in isl_basic_set_sample_with_cone() local
977 sample = sample_bounded(bounded); in isl_basic_set_sample_with_cone()
978 if (!sample || sample->size == 0) { in isl_basic_set_sample_with_cone()
982 return sample; in isl_basic_set_sample_with_cone()
984 bset = plug_in(bset, isl_vec_copy(sample)); in isl_basic_set_sample_with_cone()
987 sample = vec_concat(sample, cone_sample); in isl_basic_set_sample_with_cone()
988 sample = isl_mat_vec_product(U, sample); in isl_basic_set_sample_with_cone()
989 return sample; in isl_basic_set_sample_with_cone()
1169 if (bset->sample && bset->sample->size == 1 + dim) { in basic_set_sample()
1170 int contains = isl_basic_set_contains(bset, bset->sample); in basic_set_sample()
1174 struct isl_vec *sample = isl_vec_copy(bset->sample); in basic_set_sample() local
1176 return sample; in basic_set_sample()
1179 isl_vec_free(bset->sample); in basic_set_sample()
1180 bset->sample = NULL; in basic_set_sample()
1234 bset->sample = vec; in isl_basic_set_from_vec()
1256 isl_vec_free(bmap->sample); in isl_basic_map_sample()
1257 bmap->sample = isl_vec_copy(sample_vec); in isl_basic_map_sample()
1273 isl_basic_map *sample = NULL; in isl_map_sample() local
1279 sample = isl_basic_map_sample(isl_basic_map_copy(map->p[i])); in isl_map_sample()
1280 if (!sample) in isl_map_sample()
1282 if (!ISL_F_ISSET(sample, ISL_BASIC_MAP_EMPTY)) in isl_map_sample()
1284 isl_basic_map_free(sample); in isl_map_sample()
1287 sample = isl_basic_map_empty(isl_map_get_space(map)); in isl_map_sample()
1289 return sample; in isl_map_sample()