Lines Matching defs:RInt

290 // Simplify "(LSym + LInt) Op (RSym + RInt)" assuming all values are of the
296                                    SymbolRef RSym, llvm::APSInt RInt) {
306   assert(APSIntType(RInt) == BV.getAPSIntType(SymTy) &&
320                      nonloc::ConcreteInt(BV.getValue(RInt)), ResultTy)
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;
414   std::tie(RSym, RInt) = decomposeSymbol(RSym, BV);
416       !shouldRearrange(State, Op, RSym, RInt, SingleTy))
420   return doRearrangeUnchecked(State, Op, LSym, LInt, RSym, RInt);