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

References

tools/polly/lib/External/isl/isl_map_subtract.c
  344 	level = 0;
  347 	while (level >= 0) {
  348 		if (level >= map->n) {
  368 			level--;
  376 			if (tab_add_divs(tab, map->p[level],
  377 					 &div_map[level]) < 0)
  380 			snap[level] = isl_tab_snap(tab);
  383 			if (tab_add_constraints(tab, map->p[level],
  384 						div_map[level]) < 0)
  386 			k[level] = 0;
  387 			n[level] = 0;
  391 				level++;
  395 			n[level] = n_non_redundant(ctx, tab, offset,
  396 						    &index[level]);
  397 			if (n[level] < 0)
  399 			if (n[level] == 0) {
  400 				level--;
  404 			if (isl_tab_rollback(tab, snap[level]) < 0)
  406 			if (tab_add_constraint(tab, map->p[level],
  407 					div_map[level], index[level][0], 1) < 0)
  407 					div_map[level], index[level][0], 1) < 0)
  409 			level++;
  412 			if (k[level] + 1 >= n[level]) {
  412 			if (k[level] + 1 >= n[level]) {
  413 				level--;
  416 			if (isl_tab_rollback(tab, snap[level]) < 0)
  418 			if (tab_add_constraint(tab, map->p[level],
  419 						div_map[level],
  420 						index[level][k[level]], 0) < 0)
  420 						index[level][k[level]], 0) < 0)
  422 			snap[level] = isl_tab_snap(tab);
  423 			k[level]++;
  424 			if (tab_add_constraint(tab, map->p[level],
  425 						div_map[level],
  426 						index[level][k[level]], 1) < 0)
  426 						index[level][k[level]], 1) < 0)
  428 			level++;