Searched refs:subtract_domain (Results 1 – 9 of 9) sorted by relevance
438 ExistingConflictingWrites.subtract_domain(CommonWrittenValDomain); in isConflicting()439 auto ProposedConflictingKnown = ProposedFixedKnown.subtract_domain( in isConflicting()
472 Known = Known.subtract_domain(AccRelUniv); in removeRedundantWrites()
921 return FN(PART,subtract_domain)(part, set); in FN()941 __isl_give UNION *FN(UNION,subtract_domain)(__isl_take UNION *u, in FN() argument
854 __isl_give PW *FN(PW,subtract_domain)(__isl_take PW *pw, in FN() argument
1945 inline isl::checked::pw_aff subtract_domain(isl::checked::set set) const;2052 inline isl::checked::pw_multi_aff subtract_domain(isl::checked::set set) const;2815 inline isl::checked::union_map subtract_domain(isl::checked::union_set dom) const;2867 inline isl::checked::union_pw_aff subtract_domain(isl::checked::space space) const;2868 inline isl::checked::union_pw_aff subtract_domain(isl::checked::union_set uset) const;2963 inline isl::checked::union_pw_multi_aff subtract_domain(isl::checked::space space) const;2964 inline isl::checked::union_pw_multi_aff subtract_domain(isl::checked::union_set uset) const;8337 isl::checked::pw_aff pw_aff::subtract_domain(isl::checked::set set) const in subtract_domain() function8796 isl::checked::pw_multi_aff pw_multi_aff::subtract_domain(isl::checked::set set) const in subtract_domain() function11608 isl::checked::union_map union_map::subtract_domain(isl::checked::union_set dom) const in subtract_domain() function[all …]
1402 inline map subtract_domain(set dom) const;2027 inline pw_aff subtract_domain(set set) const;2173 inline pw_multi_aff subtract_domain(set set) const;2294 inline pw_qpolynomial subtract_domain(set set) const;3160 inline union_map subtract_domain(union_set dom) const;3276 inline union_pw_aff subtract_domain(union_set uset) const;3390 inline union_pw_multi_aff subtract_domain(union_set uset) const;3492 inline union_pw_qpolynomial subtract_domain(union_set uset) const;8984 map map::subtract_domain(set dom) const in subtract_domain() function11894 pw_aff pw_aff::subtract_domain(set set) const in subtract_domain() function[all …]
2010 inline isl::pw_aff subtract_domain(isl::set set) const;2117 inline isl::pw_multi_aff subtract_domain(isl::set set) const;2880 inline isl::union_map subtract_domain(isl::union_set dom) const;2932 inline isl::union_pw_aff subtract_domain(isl::space space) const;2933 inline isl::union_pw_aff subtract_domain(isl::union_set uset) const;3028 inline isl::union_pw_multi_aff subtract_domain(isl::space space) const;3029 inline isl::union_pw_multi_aff subtract_domain(isl::union_set uset) const;11202 isl::pw_aff pw_aff::subtract_domain(isl::set set) const in subtract_domain() function11999 isl::pw_multi_aff pw_multi_aff::subtract_domain(isl::set set) const in subtract_domain() function16591 isl::union_map union_map::subtract_domain(isl::union_set dom) const in subtract_domain() function[all …]
384 isl::union_map WritesWithoutReads = ReachingOverwriteRotated.subtract_domain( in computeArrayUnused()
346 def subtract_domain(*args): member in union_pw_multi_aff1031 def subtract_domain(*args): member in union_pw_aff2158 def subtract_domain(arg0, arg1): member in pw_multi_aff2168 return union_pw_multi_aff(arg0).subtract_domain(arg1)2783 def subtract_domain(arg0, arg1): member in pw_aff2793 return union_pw_aff(arg0).subtract_domain(arg1)6974 def subtract_domain(arg0, arg1): member in union_map