Home | History | Annotate | Download | only in Core

Lines Matching refs:V2

147                              const llvm::APSInt& V1, const llvm::APSInt& V2) {
154 return &getValue( V1 * V2 );
157 return &getValue( V1 / V2 );
160 return &getValue( V1 % V2 );
163 return &getValue( V1 + V2 );
166 return &getValue( V1 - V2 );
175 if (V2.isSigned() && V2.isNegative())
178 uint64_t Amt = V2.getZExtValue();
193 if (V2.isSigned() && V2.isNegative())
196 uint64_t Amt = V2.getZExtValue();
205 return &getTruthValue( V1 < V2 );
208 return &getTruthValue( V1 > V2 );
211 return &getTruthValue( V1 <= V2 );
214 return &getTruthValue( V1 >= V2 );
217 return &getTruthValue( V1 == V2 );
220 return &getTruthValue( V1 != V2 );
225 return &getValue( V1 & V2 );
228 return &getValue( V1 | V2 );
231 return &getValue( V1 ^ V2 );
262 BasicValueFactory::getPersistentSValPair(const SVal& V1, const SVal& V2) {
270 V2.Profile(ID);
279 new (P) FoldNodeTy(std::make_pair(V1, V2));