Lines Matching refs:V2
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,
2082 if (V2 == BO->getOperand(0))
2084 else if (V2 == BO->getOperand(1))
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))
2103 // Are any known bits in V1 contradictory to known bits in V2? If V1
2104 // has a known zero where V2 has a known one, they must not be equal.
2111 computeKnownBits(V2, KnownZero2, KnownOne2, DL, 0, Q);
3989 static Value *lookThroughCast(CmpInst *CmpI, Value *V1, Value *V2,
3992 Constant *C = dyn_cast<Constant>(V2);
3993 CastInst *CI2 = dyn_cast<CastInst>(V2);
3999 // If V1 and V2 are both the same cast from the same type, we can look
