43 	struct isl_vec *sample;  in zero_sample()  local
48 	sample = isl_vec_alloc(bset->ctx, 1 + dim);  in zero_sample()
49 	if (sample) {  in zero_sample()
50 		isl_int_set_si(sample->el[0], 1);  in zero_sample()
51 		isl_seq_clr(sample->el + 1, dim);  in zero_sample()
54 	return sample;  in zero_sample()
64 	struct isl_vec *sample;  in interval_sample()  local
74 	sample = isl_vec_alloc(bset->ctx, 2);  in interval_sample()
75 	if (!sample)  in interval_sample()
79 	isl_int_set_si(sample->block.data[0], 1);  in interval_sample()
85 			isl_int_neg(sample->el[1], bset->eq[0][0]);  in interval_sample()
89 			isl_int_set(sample->el[1], bset->eq[0][0]);  in interval_sample()
92 		return sample;  in interval_sample()
97 		isl_int_neg(sample->block.data[1], bset->ineq[0][0]);  in interval_sample()
99 		isl_int_set(sample->block.data[1], bset->ineq[0][0]);  in interval_sample()
101 		isl_seq_inner_product(sample->block.data,  in interval_sample()
108 		isl_vec_free(sample);  in interval_sample()
113 	return sample;  in interval_sample()
116 	isl_vec_free(sample);  in interval_sample()
131 	struct isl_vec *sample;  in sample_eq()  local
137 	sample = recurse(bset);  in sample_eq()
138 	if (!sample || sample->size == 0)  in sample_eq()
141 		sample = isl_mat_vec_product(T, sample);  in sample_eq()
142 	return sample;  in sample_eq()
383 	struct isl_vec *sample;  in isl_tab_sample()  local
411 		sample = isl_tab_get_sample_value(tab);  in isl_tab_sample()
412 		sample = isl_mat_vec_product(isl_mat_copy(tab->basis), sample);  in isl_tab_sample()
413 		sample = isl_vec_ceil(sample);  in isl_tab_sample()
414 		sample = isl_mat_vec_inverse_product(isl_mat_copy(tab->basis),  in isl_tab_sample()
415 							sample);  in isl_tab_sample()
416 		return sample;  in isl_tab_sample()
506 		sample = isl_tab_get_sample_value(tab);  in isl_tab_sample()
507 		if (!sample)  in isl_tab_sample()
509 		if (tab->n_unbounded && !isl_int_is_one(sample->el[0])) {  in isl_tab_sample()
510 			sample = isl_mat_vec_product(isl_mat_copy(tab->basis),  in isl_tab_sample()
511 						     sample);  in isl_tab_sample()
512 			sample = isl_vec_ceil(sample);  in isl_tab_sample()
513 			sample = isl_mat_vec_inverse_product(  in isl_tab_sample()
514 					isl_mat_copy(tab->basis), sample);  in isl_tab_sample()
517 		sample = isl_vec_alloc(ctx, 0);  in isl_tab_sample()
523 	return sample;  in isl_tab_sample()
540 	isl_vec *sample;  member
553 	isl_vec *sample;  in factor_sample()  local
560 	sample = sample_bounded(isl_basic_set_copy(bset));  in factor_sample()
561 	if (!sample)  in factor_sample()
563 	if (sample->size == 0) {  in factor_sample()
564 		isl_vec_free(data->sample);  in factor_sample()
565 		data->sample = sample;  in factor_sample()
568 	isl_seq_cpy(data->sample->el + data->pos, sample->el + 1, n);  in factor_sample()
569 	isl_vec_free(sample);  in factor_sample()
591 	data.sample = isl_vec_alloc(ctx, 1 + total);  in factored_sample()
592 	if (!data.sample)  in factored_sample()
594 	isl_int_set_si(data.sample->el[0], 1);  in factored_sample()
599 		data.sample = isl_vec_free(data.sample);  in factored_sample()
604 		data.sample = isl_morph_vec(morph, data.sample);  in factored_sample()
609 	return data.sample;  in factored_sample()
613 	isl_vec_free(data.sample);  in factored_sample()
627 	struct isl_vec *sample;  in sample_bounded()  local
658 		sample = isl_vec_alloc(isl_basic_set_get_ctx(bset), 0);  in sample_bounded()
660 		return sample;  in sample_bounded()
667 	sample = isl_tab_sample(tab);  in sample_bounded()
668 	if (!sample)  in sample_bounded()
671 	if (sample->size > 0) {  in sample_bounded()
672 		isl_vec_free(bset->sample);  in sample_bounded()
673 		bset->sample = isl_vec_copy(sample);  in sample_bounded()
678 	return sample;  in sample_bounded()
698 	__isl_take isl_vec *sample)  in plug_in()  argument
705 	if (total < 0 || !sample)  in plug_in()
708 	T = isl_mat_alloc(bset->ctx, 1 + total, 1 + total - (sample->size - 1));  in plug_in()
712 	for (i = 0; i < sample->size; ++i) {  in plug_in()
713 		isl_int_set(T->row[i][0], sample->el[i]);  in plug_in()
717 		isl_seq_clr(T->row[sample->size + i], T->n_col);  in plug_in()
718 		isl_int_set_si(T->row[sample->size + i][1 + i], 1);  in plug_in()
720 	isl_vec_free(sample);  in plug_in()
726 	isl_vec_free(sample);  in plug_in()
736 	struct isl_vec *sample;  in rational_sample()  local
742 	sample = isl_tab_get_sample_value(tab);  in rational_sample()
747 	return sample;  in rational_sample()
949 	struct isl_vec *sample;  in isl_basic_set_sample_with_cone()  local
974 	sample = sample_bounded(bounded);  in isl_basic_set_sample_with_cone()
975 	if (!sample || sample->size == 0) {  in isl_basic_set_sample_with_cone()
979 		return sample;  in isl_basic_set_sample_with_cone()
981 	bset = plug_in(bset, isl_vec_copy(sample));  in isl_basic_set_sample_with_cone()
984 	sample = vec_concat(sample, cone_sample);  in isl_basic_set_sample_with_cone()
985 	sample = isl_mat_vec_product(U, sample);  in isl_basic_set_sample_with_cone()
986 	return sample;  in isl_basic_set_sample_with_cone()
1168 	if (bset->sample && bset->sample->size == 1 + dim) {  in basic_set_sample()
1169 		int contains = isl_basic_set_contains(bset, bset->sample);  in basic_set_sample()
1173 			struct isl_vec *sample = isl_vec_copy(bset->sample);  in basic_set_sample()  local
1175 			return sample;  in basic_set_sample()
1178 	isl_vec_free(bset->sample);  in basic_set_sample()
1179 	bset->sample = NULL;  in basic_set_sample()
1233 	bset->sample = vec;  in isl_basic_set_from_vec()
1255 	isl_vec_free(bmap->sample);  in isl_basic_map_sample()
1256 	bmap->sample = isl_vec_copy(sample_vec);  in isl_basic_map_sample()
1272 	isl_basic_map *sample = NULL;  in isl_map_sample()  local
1278 		sample = isl_basic_map_sample(isl_basic_map_copy(map->p[i]));  in isl_map_sample()
1279 		if (!sample)  in isl_map_sample()
1281 		if (!ISL_F_ISSET(sample, ISL_BASIC_MAP_EMPTY))  in isl_map_sample()
1283 		isl_basic_map_free(sample);  in isl_map_sample()
1286 		sample = isl_basic_map_empty(isl_map_get_space(map));  in isl_map_sample()
1288 	return sample;  in isl_map_sample()