Cross Reference: /src/external/mit/isl/dist/isl_map

Lines Matching refs:disjoint
1923  * they may no longer be disjoint from each other.
3805 /* Quick check to see if two basic maps are disjoint.
3843 			goto disjoint;
3851 			goto disjoint;
3860 			goto disjoint;
3865 disjoint:
3904 /* Are "map1" and "map2" obviously disjoint, based on information
3908  * (ignoring parameters), then they are clearly disjoint.
3913 	isl_bool disjoint;
3919 	disjoint = isl_map_plain_is_empty(map1);
3920 	if (disjoint < 0 || disjoint)
3921 		return disjoint;
3923 	disjoint = isl_map_plain_is_empty(map2);
3924 	if (disjoint < 0 || disjoint)
3925 		return disjoint;
3938 /* Are "map1" and "map2" obviously disjoint?
3941  * parameters), then they are clearly disjoint.
3947  * not be able to detect if they are disjoint.
3949  * Otherwise we check if each basic map in "map1" is obviously disjoint
3955 	isl_bool disjoint;
3959 	disjoint = isl_map_plain_is_disjoint_global(map1, map2);
3960 	if (disjoint < 0 || disjoint)
3961 		return disjoint;
3974 /* Are "map1" and "map2" disjoint?
3977  * In particular, check whether all pairs of basic maps are disjoint.
3985 /* Are "map1" and "map2" disjoint?
3987  * They are disjoint if they are "obviously disjoint" or if one of them
3988  * is empty.  Otherwise, they are not disjoint if one of them is universal.
3990  * not disjoint.
3992  * are disjoint after aligning the parameters.
3996 	isl_bool disjoint;
3999 	disjoint = isl_map_plain_is_disjoint_global(map1, map2);
4000 	if (disjoint < 0 || disjoint)
4001 		return disjoint;
4003 	disjoint = isl_map_is_empty(map1);
4004 	if (disjoint < 0 || disjoint)
4005 		return disjoint;
4007 	disjoint = isl_map_is_empty(map2);
4008 	if (disjoint < 0 || disjoint)
4009 		return disjoint;
4027 /* Are "bmap1" and "bmap2" disjoint?
4029  * They are disjoint if they are "obviously disjoint" or if one of them
4030  * is empty.  Otherwise, they are not disjoint if one of them is universal.
4037 	isl_bool disjoint;
4041 	disjoint = isl_basic_map_plain_is_disjoint(bmap1, bmap2);
4042 	if (disjoint < 0 || disjoint)
4043 		return disjoint;
4045 	disjoint = isl_basic_map_is_empty(bmap1);
4046 	if (disjoint < 0 || disjoint)
4047 		return disjoint;
4049 	disjoint = isl_basic_map_is_empty(bmap2);
4050 	if (disjoint < 0 || disjoint)
4051 		return disjoint;
4063 	disjoint = isl_basic_map_is_empty(test);
4066 	return disjoint;
4069 /* Are "bset1" and "bset2" disjoint?
4083 /* Are "set1" and "set2" disjoint?
OpenGrok
