Lines Matching defs:LS

79   auto LS = State->get<LoopStack>();
80   if (!LS.isEmpty() && LS.getHead().getLoopStmt() == LoopStmt)
81     State = State->set<LoopStack>(LS.getTail());
328   auto LS = State->get<LoopStack>();
329   if (!LS.isEmpty() && LoopStmt == LS.getHead().getLoopStmt() &&
330       LCtx == LS.getHead().getLocationContext()) {
331     if (LS.getHead().isUnrolled() && madeNewBranch(Pred, LoopStmt)) {
332       State = State->set<LoopStack>(LS.getTail());
345   unsigned outerStep = (LS.isEmpty() ? 1 : LS.getHead().getMaxStep());
358   auto LS = State->get<LoopStack>();
359   if (LS.isEmpty() || !LS.getHead().isUnrolled())