reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

  116 	isl_seq_clr(aff->v->el + 1, aff->v->size - 1);
  140 	isl_seq_clr(aff->v->el, aff->v->size);
  171 	isl_seq_clr(aff->v->el + 2, aff->v->size - 2);
  214 	isl_seq_clr(aff->v->el + 1, aff->v->size - 1);
  513 	isl_seq_clr(res->el + 2, res->size - 2);
  590 	return isl_seq_first_non_zero(aff->v->el + 1, aff->v->size - 1) < 0;
  791 				aff->v->el + 1, v->d, aff->v->size - 1);
  869 				aff->v->el + 1, v->d, aff->v->size - 1);
 1094 				aff->v->el + 1, v->d, aff->v->size - 1);
 1201 				aff->v->el + 1, v->d, aff->v->size - 1);
 1255 	isl_seq_neg(aff->v->el + 1, aff->v->el + 1, aff->v->size - 1);
 1312 	len = aff->v->size;
 1380 				aff->v->size, i, 1);
 1544 	for (i = 1; i < aff->v->size; ++i) {
 1557 	size = aff->v->size;
 1725 	isl_seq_scale(aff1->v->el + 1, aff1->v->el + 1, f, aff1->v->size - 1);
 1727 	isl_seq_addmul(aff1->v->el + 1, f, aff2->v->el + 1, aff1->v->size - 1);
 1834 	isl_seq_scale(aff->v->el + 1, aff->v->el + 1, gcd, aff->v->size - 1);
 1897 	isl_seq_gcd(aff->v->el + 1, aff->v->size - 1, &gcd);
 1899 	isl_seq_scale_down(aff->v->el + 1, aff->v->el + 1, gcd, aff->v->size - 1);
 3307 	return isl_seq_first_non_zero(aff->v->el + 2, aff->v->size - 2) == -1;
 5032 				    aff->v->size - 1);
 5035 				    aff->v->size - 1);
 5303 			    aff->v->size, subs->v->size, v);
 5303 			    aff->v->size, subs->v->size, v);
 7154 	last1 = isl_seq_last_non_zero(aff1->v->el + 1, aff1->v->size - 1);
 7155 	last2 = isl_seq_last_non_zero(aff2->v->el + 1, aff1->v->size - 1);
 7159 	return isl_seq_cmp(aff1->v->el, aff2->v->el, aff1->v->size);
 9182 	isl_seq_inner_product(aff->el + 1, pnt->el, pnt->size, &n);

   93 		    aff->v->size - (pos + 1));

  423 			if (sample->size > 0)
  429 			if (sample->size > 0)
  491 	if (bset->sample && bset->sample->size == 1 + dim) {
  526 	if (sample->size == 0) {
  565 	isl_assert(ctx, vec->size != 0, goto error);
  567 	bset = isl_basic_set_alloc(ctx, 0, vec->size - 1, 0, vec->size - 1, 0);
  567 	bset = isl_basic_set_alloc(ctx, 0, vec->size - 1, 0, vec->size - 1, 0);
  576 			    vec->size - 1);
  578 				      vec->size - 1, &bset->eq[k][0]);
  629 	isl_seq_cpy(sample->el, tab->samples->row[tab->n_outside], sample->size);
  640 		isl_seq_cpy(sample->el, tab->samples->row[j], sample->size);
  737 	if (bset && bset->sample && bset->sample->size == 1 + total)
  748 		if (sample && sample->size > 0)
  851 		if (sample && sample->size > 0)

  916 	isl_seq_gcd(v->el + 1, v->size - 1, &ctx->normalize_gcd);

  123 	isl_seq_cpy(v->el, line[0], v->size);
 1281 		isl_seq_cpy(aff->v->el + 1, constraint->v->el, aff->v->size - 1);
 1283 		isl_seq_neg(aff->v->el + 1, constraint->v->el, aff->v->size - 1);
 1312 	isl_seq_cpy(aff->v->el + 1, constraint->v->el, aff->v->size - 1);
 1378 	last1 = isl_seq_last_non_zero(c1->v->el + 1, c1->v->size - 1);
 1379 	last2 = isl_seq_last_non_zero(c2->v->el + 1, c1->v->size - 1);
 1383 	return isl_seq_cmp(c1->v->el, c2->v->el, c1->v->size);
 1413 	last1 = isl_seq_last_non_zero(c1->v->el + 1, c1->v->size - 1);
 1414 	last2 = isl_seq_last_non_zero(c2->v->el + 1, c1->v->size - 1);

 1117 	isl_seq_clr(dir->block.data + 1, dir->size - 1);
 1135 	isl_seq_normalize(bset1->ctx, dir->el, dir->size);
 1252 	T = isl_mat_alloc(ctx, dir->size, dir->size);
 1252 	T = isl_mat_alloc(ctx, dir->size, dir->size);
 1255 	isl_seq_cpy(T->row[0], dir->block.data, dir->size);

  318 	isl_assert(B->ctx, B->n_row == d->size, goto error);
  341 							d->size - (i+1));
  342 			d->size--;

  175 		if (sample->size > 0) {
  178 			isl_seq_inner_product(f, sol->el, sol->size, opt);
  231 	if (sol->size == 0) {
  245 	isl_seq_inner_product(f, sol->el, sol->size, opt);

  976 	if (isl_int_is_zero(aff->v->el[aff->v->size - n + i]))

  320 	isl_seq_cpy(aff->v->el, ls->div->row[pos], aff->v->size);
  577 	if (ls->div->n_col != div->size)
  586 	isl_seq_cpy(ls->div->row[ls->div->n_row - 1], div->el, div->size);
  587 	isl_int_set_si(ls->div->row[ls->div->n_row - 1][div->size], 0);
 1097 					    subs->v->size, 0, ls->div->n_row);

 1677 	if (div->size != 1 + 1 + isl_basic_map_dim(bmap, isl_dim_all))
 1688 	isl_seq_cpy(bmap->div[k], div->el, div->size);
 1689 	isl_int_set_si(bmap->div[k][div->size], 0);
 3563 	if (total != vec->size)
 8741 	empty = sample->size == 0;
 8777 	if (bmap->sample->size != total)
10840 	isl_seq_clr(bound->el, bound->size);
12664 				v, subs->v->el + 1, subs->v->size - 1);
12673 				v, subs->v->el + 1, subs->v->size - 1);
12683 				v, subs->v->el + 1, subs->v->size - 1);
13512 	isl_seq_inner_product(inner->el, bset->ineq[ineq], inner->size,

 5050 	isl_seq_gcd(v->el + 1, v->size - 1, &ctx->normalize_gcd);
 5062 				v->size - 1);

   38 	isl_seq_clr(v->el + 1 + dim, v->size - (1 + dim));
  199 			vec->size = 2 + dim + tab->bmap->n_div;

  457 	isl_assert(mat->ctx, mat->n_col == vec->size, goto error);
  463 	for (i = 0; i < prod->size; ++i)
  464 		isl_seq_inner_product(mat->row[i], vec->el, vec->size,
  483 	vec_mat = isl_mat_alloc(vec->ctx, vec->size, 1);
  486 	for (i = 0; i < vec->size; ++i)
  494 		for (i = 0; i < vec->size; ++i)
  513 	isl_assert(mat->ctx, mat->n_row == vec->size, goto error);
  519 	for (i = 0; i < prod->size; ++i) {
  521 		for (j = 0; j < vec->size; ++j)
 1817 	mat = isl_mat_alloc(vec->ctx, 1, vec->size);
 1821 	isl_seq_cpy(mat->row[0], vec->el, vec->size);

 2513 	p = print_affine_of_len(space, ls->div, p, c->v->el, c->v->size);

   40 	if (vec->size > 1 + isl_space_dim(dim, isl_dim_all)) {
   44 		vec->size = 1 + isl_space_dim(dim, isl_dim_all);
   72 	isl_seq_clr(vec->el + 1, vec->size - 1);
  139 	return pnt->vec->size == 0;
  322 				pnt->vec->el + 1, v->d, pnt->vec->size - 1);
  464 	isl_seq_cpy(vec->el, point->vec->el, point->vec->size);

 1935 	isl_seq_scale(aff->el, aff->el, f, aff->size);
 3361 				    aff->v->size - 1);
 3887 	isl_seq_cpy(aff->v->el, term->div->row[pos], aff->v->size);
 4790 				qp->div->row[j][2 + total + i], v->el, v->size);
 4794 					qp->div->ctx->one, v->size);

  133 	if (!sample || sample->size == 0)
  571 		if (sample_i->size == 0) {
  649 	if (sample->size > 0) {
  686 	T = isl_mat_alloc(bset->ctx, 1 + total, 1 + total - (sample->size - 1));
  690 	for (i = 0; i < sample->size; ++i) {
  695 		isl_seq_clr(T->row[sample->size + i], T->n_col);
  696 		isl_int_set_si(T->row[sample->size + i][1 + i], 1);
  827 	isl_assert(vec->ctx, vec->size != 0, goto error);
  837 					 0, total - (vec->size - 1));
  861 	isl_assert(vec1->ctx, vec1->size > 0, goto error);
  862 	isl_assert(vec2->ctx, vec2->size > 0, goto error);
  866 	vec = isl_vec_alloc(vec1->ctx, vec1->size + vec2->size - 1);
  866 	vec = isl_vec_alloc(vec1->ctx, vec1->size + vec2->size - 1);
  870 	isl_seq_cpy(vec->el, vec1->el, vec1->size);
  871 	isl_seq_cpy(vec->el + vec1->size, vec2->el + 1, vec2->size - 1);
  871 	isl_seq_cpy(vec->el + vec1->size, vec2->el + 1, vec2->size - 1);
  952 	if (!sample || sample->size == 0) {
  976 	for (i = 0; i < v->size; ++i)
 1141 	if (bset->sample && bset->sample->size == 1 + dim) {
 1192 	isl_assert(ctx, vec->size != 0, goto error);
 1194 	bset = isl_basic_set_alloc(ctx, 0, vec->size - 1, 0, vec->size - 1, 0);
 1194 	bset = isl_basic_set_alloc(ctx, 0, vec->size - 1, 0, vec->size - 1, 0);
 1224 	if (sample_vec->size == 0) {

 2962 	if (sol->size == 0)
 4473 	if (sol->size == 0)
 5106 		if (!sol || sol->size != 0 || n_inter == 0) {
 5173 	if (sol->size == 0) {
 5665 		if (sol->size == 0) {

  902 	isl_seq_cpy(tab->samples->row[tab->n_sample], sample->el, sample->size);
 2339 	if (div->size != 1 + 1 + tab->n_var)

  921 	int len = div->size - 2;
  955 	isl_seq_neg(div->el + 1, div->el + 1, div->size - 1);
  957 	isl_seq_fdiv_r(div->el + 1, div->el + 1, div->el[0], div->size - 1);
  984 	isl_seq_fdiv_r(div->el + 1, div->el + 1, div->el[0], div->size - 1);
 2057 			div->size - 1, &samples->row[i][samples->n_col - 1]);
 2707 	isl_seq_clr(ineq->el, ineq->size);
 2974 		if (!sample || sample->size > 0)
 3045 	if (sample->size == 0) {
 3734 	isl_seq_gcd(vec->el + 1, vec->size - 1, &gcd);
 3738 		isl_seq_scale_down(vec->el + 1, vec->el + 1, gcd, vec->size-1);
 3835 		isl_seq_neg(ineq->el, ineq->el, ineq->size);
 3847 			isl_seq_neg(ineq->el, ineq->el, ineq->size);
 4107 			isl_seq_neg(ineq->el, ineq->el, ineq->size);
 4144 			isl_seq_neg(ineq->el, ineq->el, ineq->size);
 4238 		isl_seq_neg(eq->el, eq->el, eq->size);
 4241 		isl_seq_neg(eq->el, eq->el, eq->size);

   29 	return isl_seq_get_hash(vec->el, vec->size);
   47 	vec->size = size;
   61 	if (size <= vec->size)
   72 	vec->size = size;
   99 	if (pos < 0 || n < 0 || pos + n > vec->size)
  103 	old_size = vec->size;
  147 	if (size <= vec->size)
  154 	extra = size - vec->size;
  173 	if (vec2->size == 0) {
  178 	if (vec1->size == 0) {
  183 	vec1 = isl_vec_extend(vec1, vec1->size + vec2->size);
  183 	vec1 = isl_vec_extend(vec1, vec1->size + vec2->size);
  187 	isl_seq_cpy(vec1->el + vec1->size - vec2->size, vec2->el, vec2->size);
  187 	isl_seq_cpy(vec1->el + vec1->size - vec2->size, vec2->el, vec2->size);
  187 	isl_seq_cpy(vec1->el + vec1->size - vec2->size, vec2->el, vec2->size);
  212 	vec2 = isl_vec_alloc(vec->ctx, vec->size);
  215 	isl_seq_cpy(vec2->el, vec->el, vec->size);
  250 	return vec ? vec->size : -1;
  262 	if (pos < 0 || pos >= vec->size)
  274 	if (pos < 0 || pos >= vec->size)
  290 	if (pos < 0 || pos >= vec->size)
  325 	if (pos < 0 || pos >= vec1->size || pos >= vec2->size)
  325 	if (pos < 0 || pos >= vec1->size || pos >= vec2->size)
  337 	return isl_seq_first_non_zero(vec->el, vec->size) < 0;
  345 	if (vec1->size != vec2->size)
  345 	if (vec1->size != vec2->size)
  348 	return isl_seq_eq(vec1->el, vec2->el, vec1->size);
  360 	for (i = 0; i < vec->size; ++i) {
  392 	isl_seq_set(vec->el, v, vec->size);
  401 	isl_seq_set_si(vec->el, v, vec->size);
  416 	isl_seq_set(vec->el, v->n, vec->size);
  430 	isl_seq_clr(vec->el, vec->size);
  436 	isl_seq_lcm(vec->block.data, vec->size, lcm);
  448 	isl_seq_cdiv_q(vec->el + 1, vec->el + 1, vec->el[0], vec->size - 1);
  459 	isl_seq_normalize(vec->ctx, vec->el, vec->size);
  468 	isl_seq_neg(vec->el, vec->el, vec->size);
  479 	isl_seq_scale(vec->el, vec->el, m, vec->size);
  491 	isl_seq_fdiv_r(vec->el, vec->el, m, vec->size);
  503 	isl_assert(vec1->ctx, vec1->size == vec2->size, goto error);
  503 	isl_assert(vec1->ctx, vec1->size == vec2->size, goto error);
  506 			vec1->ctx->one, vec2->el, vec1->size);
  529 	qsort(vec->el, vec->size, sizeof(*vec->el), &qsort_int_cmp);
  543 	if (pos + n > vec->size)
  547 	if (pos + n != vec->size)
  549 			    vec->size - pos - n);
  551 	vec->size -= n;
  569 	if (pos > vec->size)
  573 	ext =  isl_vec_alloc(vec->ctx, vec->size + n);
  578 	isl_seq_cpy(ext->el + pos + n, vec->el + pos, vec->size - pos);
  594 	return isl_vec_insert_els(vec, vec->size, n);
  622 	if (src_pos + n > vec->size)
  625 	if (dst_pos + n > vec->size)
  633 	res = isl_vec_alloc(vec->ctx, vec->size);
  643 			    vec->el + src_pos + n, res->size - src_pos - n);
  650 			    vec->el + dst_pos + n, res->size - dst_pos - n);

 1131 		isl_seq_cpy(c->el + 1, bset->eq[i], c->size - 1);
 1138 		isl_seq_cpy(c->el + 1, bset->ineq[i], c->size - 1);
 1147 	isl_seq_clr(c->el + 1, c->size - 1);
 1175 	isl_seq_cpy(vec->el, vec->el + 1, vec->size - 1);
 1176 	vec->size--;
 1428 	isl_seq_cpy(v->el, bset->ineq[facet], v->size);
 1432 		int k = isl_seq_last_non_zero(vertex->eq[i], v->size);
 1433 		isl_seq_elim(v->el, vertex->eq[i], k, v->size, &m);
 1437 	return isl_seq_first_non_zero(v->el, v->size) == -1;