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

References

tools/polly/lib/External/isl/isl_convex_hull.c
  673 		for (j = 0; j < bset->n_eq; ++j) {
  677 				isl_int_mul(a, lower[0], bset->eq[j][1]);
  678 				isl_int_mul(b, lower[1], bset->eq[j][0]);
  679 				if (isl_int_lt(a, b) && isl_int_is_pos(bset->eq[j][1]))
  680 					isl_seq_cpy(lower, bset->eq[j], 2);
  681 				if (isl_int_gt(a, b) && isl_int_is_neg(bset->eq[j][1]))
  682 					isl_seq_neg(lower, bset->eq[j], 2);
  685 				isl_int_mul(a, upper[0], bset->eq[j][1]);
  686 				isl_int_mul(b, upper[1], bset->eq[j][0]);
  687 				if (isl_int_lt(a, b) && isl_int_is_pos(bset->eq[j][1]))
  688 					isl_seq_neg(upper, bset->eq[j], 2);
  689 				if (isl_int_gt(a, b) && isl_int_is_neg(bset->eq[j][1]))
  690 					isl_seq_cpy(upper, bset->eq[j], 2);
  693 		for (j = 0; j < bset->n_ineq; ++j) {
  694 			if (isl_int_is_pos(bset->ineq[j][1]))
  696 			if (isl_int_is_neg(bset->ineq[j][1]))
  698 			if (lower && isl_int_is_pos(bset->ineq[j][1])) {
  699 				isl_int_mul(a, lower[0], bset->ineq[j][1]);
  700 				isl_int_mul(b, lower[1], bset->ineq[j][0]);
  702 					isl_seq_cpy(lower, bset->ineq[j], 2);
  704 			if (upper && isl_int_is_neg(bset->ineq[j][1])) {
  705 				isl_int_mul(a, upper[0], bset->ineq[j][1]);
  706 				isl_int_mul(b, upper[1], bset->ineq[j][0]);
  708 					isl_seq_cpy(upper, bset->ineq[j], 2);