Lines Matching refs:RInt
280 SymbolRef RSym, llvm::APSInt RInt) { in doRearrangeUnchecked() argument
290 assert(APSIntType(RInt) == BV.getAPSIntType(SymTy) && in doRearrangeUnchecked()
303 nonloc::ConcreteInt(RInt), ResultTy) in doRearrangeUnchecked()
313 if (LInt > RInt) { in doRearrangeUnchecked()
316 ResultInt = LInt - RInt; // Opposite order! in doRearrangeUnchecked()
320 ResultInt = RInt - LInt; // Opposite order! in doRearrangeUnchecked()
324 ResultInt = (Op == BO_Add) ? (LInt + RInt) : (LInt - RInt); in doRearrangeUnchecked()
395 llvm::APSInt LInt, RInt; in tryRearrange() local
397 std::tie(RSym, RInt) = decomposeSymbol(RSym, BV); in tryRearrange()
399 !shouldRearrange(State, Op, RSym, RInt, SingleTy)) in tryRearrange()
403 return doRearrangeUnchecked(State, Op, LSym, LInt, RSym, RInt); in tryRearrange()