Lines Matching refs:isl_set_intersect
755 return isl_set_intersect(set, stride); in intersect_stride_constraint()
786 set = isl_set_intersect(set, isl_set_copy(build->domain)); in update_values()
866 build->pending = isl_set_intersect(build->pending, in isl_ast_build_set_loop_bounds()
868 build->domain = isl_set_intersect(build->domain, set); in isl_ast_build_set_loop_bounds()
870 build->domain = isl_set_intersect(build->domain, set); in isl_ast_build_set_loop_bounds()
912 build->pending = isl_set_intersect(build->pending, in isl_ast_build_set_pending_generated()
917 build->generated = isl_set_intersect(build->generated, in isl_ast_build_set_pending_generated()
941 build->domain = isl_set_intersect(build->domain, set); in isl_ast_build_restrict_internal()
966 build->generated = isl_set_intersect(build->generated, set); in isl_ast_build_restrict_generated()
1419 build->domain = isl_set_intersect(build->domain, isl_set_copy(set)); in isl_ast_build_include_stride()
1420 build->generated = isl_set_intersect(build->generated, set); in isl_ast_build_include_stride()
1924 test = isl_set_intersect(test, isl_set_copy(build->domain)); in isl_ast_build_aff_is_nonneg()