Searched refs:WrittenCtx (Results 1 – 1 of 1) sorted by relevance
2922 isl::set WrittenCtx = Written.params(); in getNonHoistableCtx() local2923 bool IsWritten = !WrittenCtx.is_empty(); in getNonHoistableCtx()2926 return WrittenCtx; in getNonHoistableCtx()2928 WrittenCtx = WrittenCtx.remove_divs(); in getNonHoistableCtx()2929 bool TooComplex = WrittenCtx.n_basic_set() >= MaxDisjunctsInDomain; in getNonHoistableCtx()2933 scop->addAssumption(INVARIANTLOAD, WrittenCtx, LI->getDebugLoc(), in getNonHoistableCtx()2935 return WrittenCtx; in getNonHoistableCtx()