Lines Matching refs:V1
197 static bool isKnownNonEqual(Value *V1, Value *V2, const DataLayout &DL,
200 bool llvm::isKnownNonEqual(Value *V1, Value *V2, const DataLayout &DL,
203 return ::isKnownNonEqual(V1, V2, DL, Query(AC,
204 safeCxtI(V1, safeCxtI(V2, CxtI)),
2075 /// Return true if V2 == V1 + X, where X is known non-zero.
2076 static bool isAddOfNonZero(Value *V1, Value *V2, const DataLayout &DL,
2078 BinaryOperator *BO = dyn_cast<BinaryOperator>(V1);
2091 /// Return true if it is known that V1 != V2.
2092 static bool isKnownNonEqual(Value *V1, Value *V2, const DataLayout &DL,
2094 if (V1->getType()->isVectorTy() || V1 == V2)
2096 if (V1->getType() != V2->getType())
2099 if (isAddOfNonZero(V1, V2, DL, Q) || isAddOfNonZero(V2, V1, DL, Q))
2102 if (IntegerType *Ty = dyn_cast<IntegerType>(V1->getType())) {
2103 // Are any known bits in V1 contradictory to known bits in V2? If V1
2108 computeKnownBits(V1, KnownZero1, KnownOne1, DL, 0, Q);
3989 static Value *lookThroughCast(CmpInst *CmpI, Value *V1, Value *V2,
3991 CastInst *CI = dyn_cast<CastInst>(V1);
3999 // If V1 and V2 are both the same cast from the same type, we can look
4000 // through V1.
