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