Lines Matching defs:LInt

290 // Simplify "(LSym + LInt) Op (RSym + RInt)" assuming all values are of the
295                                    SymbolRef LSym, llvm::APSInt LInt,
304   assert(APSIntType(LInt) == BV.getAPSIntType(SymTy) &&
319         .evalBinOpNN(State, Op, nonloc::ConcreteInt(BV.getValue(LInt)),
330     if (LInt > RInt) {
333       ResultInt = LInt - RInt; // Opposite order!
337       ResultInt = RInt - LInt; // Opposite order!
341     ResultInt = (Op == BO_Add) ? (LInt + RInt) : (LInt - RInt);
412   llvm::APSInt LInt, RInt;
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);