Lines Matching defs:Adjustment
229 static void computeAdjustment(SymbolRef &Sym, llvm::APSInt &Adjustment) {
235 Adjustment = APSIntType(Adjustment).convert(SE->getRHS());
237 // Don't forget to negate the adjustment if it's being subtracted.
241 Adjustment = -Adjustment;
259 // The adjustment is "constant1" in the above expression. It's used to
263 // the subclasses of SimpleConstraintManager to handle the adjustment.
265 llvm::APSInt Adjustment = WraparoundType.getZeroValue();
266 computeAdjustment(Sym, Adjustment);
275 Adjustment.setIsSigned(false);
282 return assumeSymEQ(state, Sym, ConvertedInt, Adjustment);
285 return assumeSymNE(state, Sym, ConvertedInt, Adjustment);
288 return assumeSymGT(state, Sym, ConvertedInt, Adjustment);
291 return assumeSymGE(state, Sym, ConvertedInt, Adjustment);
294 return assumeSymLT(state, Sym, ConvertedInt, Adjustment);
297 return assumeSymLE(state, Sym, ConvertedInt, Adjustment);
311 llvm::APSInt Adjustment = WraparoundType.getZeroValue();
313 computeAdjustment(AdjustedSym, Adjustment);
323 Adjustment.setIsSigned(false);
327 ConvertedTo, Adjustment);
329 ConvertedTo, Adjustment);
