Lines Matching defs:Adjustment
111 llvm::APSInt Adjustment = WraparoundType.getZeroValue();
113 computeAdjustment(AdjustedSym, Adjustment);
123 Adjustment.setIsSigned(false);
127 ConvertedTo, Adjustment);
129 ConvertedTo, Adjustment);
181 llvm::APSInt Adjustment = WraparoundType.getZeroValue();
182 computeAdjustment(Sym, Adjustment);
191 Adjustment.setIsSigned(false);
198 return assumeSymEQ(State, Sym, ConvertedInt, Adjustment);
201 return assumeSymNE(State, Sym, ConvertedInt, Adjustment);
204 return assumeSymGT(State, Sym, ConvertedInt, Adjustment);
207 return assumeSymGE(State, Sym, ConvertedInt, Adjustment);
210 return assumeSymLT(State, Sym, ConvertedInt, Adjustment);
213 return assumeSymLE(State, Sym, ConvertedInt, Adjustment);
218 llvm::APSInt &Adjustment) {
224 Adjustment = APSIntType(Adjustment).convert(SE->getRHS());
230 Adjustment = -Adjustment;