Searched refs:WrittenCtx (Results 1 – 1 of 1) sorted by relevance
2737 isl::set WrittenCtx = Written.params(); in getNonHoistableCtx() local2738 bool IsWritten = !WrittenCtx.is_empty(); in getNonHoistableCtx()2741 return WrittenCtx; in getNonHoistableCtx()2743 WrittenCtx = WrittenCtx.remove_divs(); in getNonHoistableCtx()2745 unsignedFromIslSize(WrittenCtx.n_basic_set()) >= MaxDisjunctsInDomain; in getNonHoistableCtx()2749 scop->addAssumption(INVARIANTLOAD, WrittenCtx, LI->getDebugLoc(), in getNonHoistableCtx()2751 return WrittenCtx; in getNonHoistableCtx()