Searched refs:ExistingOccupiedAndKnown (Results 1 – 1 of 1) sorted by relevance
94 isl_ctx *Ctx, isl::union_map ExistingOccupiedAndKnown, in checkIsConflictingNonsymmetricCommon() argument100 if (ExistingOccupiedAndKnown) in checkIsConflictingNonsymmetricCommon()101 Universe = Universe.unite(ExistingOccupiedAndKnown.domain()); in checkIsConflictingNonsymmetricCommon()128 completeLifetime(Universe, ExistingOccupiedAndKnown, ExistingOccupied, in checkIsConflictingNonsymmetricCommon()164 auto ExistingOccupiedAndKnown = in checkIsConflictingNonsymmetricKnown() local175 Ctx.get(), ExistingOccupiedAndKnown, ExistingUnused, ExistingWritten, in checkIsConflictingNonsymmetricKnown()