Lines Matching defs:known
1442 * do they have the same (known) divs?
1450 int known;
1461 known = isl_basic_map_divs_known(bmap1);
1462 if (known < 0 || !known)
1463 return known;
1464 known = isl_basic_map_divs_known(bmap2);
1465 if (known < 0 || !known)
1466 return known;
1541 * We first check if the divs of "i" are all known and form a subset
1547 int known;
1559 known = isl_basic_map_divs_known(map->p[i]);
1560 if (known < 0 || !known)
1561 return known;