Lines Matching refs:intersect
3956 isl_bool intersect; in isl_map_plain_is_disjoint() local
3967 intersect = isl_map_plain_is_equal(map1, map2); in isl_map_plain_is_disjoint()
3968 if (intersect < 0 || intersect) in isl_map_plain_is_disjoint()
3969 return intersect < 0 ? isl_bool_error : isl_bool_false; in isl_map_plain_is_disjoint()
3997 isl_bool intersect; in isl_map_is_disjoint() local
4011 intersect = isl_map_plain_is_universe(map1); in isl_map_is_disjoint()
4012 if (intersect < 0 || intersect) in isl_map_is_disjoint()
4013 return isl_bool_not(intersect); in isl_map_is_disjoint()
4015 intersect = isl_map_plain_is_universe(map2); in isl_map_is_disjoint()
4016 if (intersect < 0 || intersect) in isl_map_is_disjoint()
4017 return isl_bool_not(intersect); in isl_map_is_disjoint()
4019 intersect = isl_map_plain_is_equal(map1, map2); in isl_map_is_disjoint()
4020 if (intersect < 0 || intersect) in isl_map_is_disjoint()
4021 return isl_bool_not(intersect); in isl_map_is_disjoint()
4038 isl_bool intersect; in isl_basic_map_is_disjoint() local
4053 intersect = isl_basic_map_plain_is_universe(bmap1); in isl_basic_map_is_disjoint()
4054 if (intersect < 0 || intersect) in isl_basic_map_is_disjoint()
4055 return isl_bool_not(intersect); in isl_basic_map_is_disjoint()
4057 intersect = isl_basic_map_plain_is_universe(bmap2); in isl_basic_map_is_disjoint()
4058 if (intersect < 0 || intersect) in isl_basic_map_is_disjoint()
4059 return isl_bool_not(intersect); in isl_basic_map_is_disjoint()