Lines Matching defs:LSym

290 // Simplify "(LSym + LInt) Op (RSym + RInt)" assuming all values are of the
295                                    SymbolRef LSym, llvm::APSInt LInt,
301   QualType SymTy = LSym->getType();
317   if (LSym == RSym)
331       ResultSym = SymMgr.acquire<SymSymExpr>(RSym, BO_Sub, LSym, SymTy);
335       ResultSym = SymMgr.acquire<SymSymExpr>(LSym, BO_Sub, RSym, SymTy);
340     ResultSym = SymMgr.acquire<SymSymExpr>(LSym, Op, RSym, SymTy);
383   SymbolRef LSym = Lhs.getAsSymbol();
384   if (!LSym)
388     SingleTy = LSym->getType();
394     if (LSym->getType() != SingleTy)
413   std::tie(LSym, LInt) = decomposeSymbol(LSym, BV);
415   if (!shouldRearrange(State, Op, LSym, LInt, SingleTy) ||
420   return doRearrangeUnchecked(State, Op, LSym, LInt, RSym, RInt);