Searched refs:assumeNoOutOfBound (Results 1 – 3 of 3) sorted by relevance
622 isl::set assumeNoOutOfBound();
665 isl::set MemoryAccess::assumeNoOutOfBound() { in assumeNoOutOfBound() function in MemoryAccess
2516 isl::set Outside = Access->assumeNoOutOfBound(); in assumeNoOutOfBounds()