Lines Matching defs:V1
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 );
180 if (Amt > V1.getBitWidth())
183 return &getValue( V1.operator<<( (unsigned) Amt ));
198 if (Amt > V1.getBitWidth())
201 return &getValue( V1.operator>>( (unsigned) Amt ));
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) {
269 V1.Profile(ID);
279 new (P) FoldNodeTy(std::make_pair(V1, V2));