Lines Matching refs:V1
321 Value *combineShadows(Value *V1, Value *V2, Instruction *Pos);
950 Value *DFSanFunction::combineShadows(Value *V1, Value *V2, Instruction *Pos) {
951 if (V1 == DFS.ZeroShadow)
954 return V1;
955 if (V1 == V2)
956 return V1;
958 auto V1Elems = ShadowElements.find(V1);
963 return V1;
970 return V1;
972 if (V2Elems->second.count(V1))
976 auto Key = std::make_pair(V1, V2);
977 if (V1 > V2)
985 CallInst *Call = IRB.CreateCall(DFS.DFSanCheckedUnionFn, {V1, V2});
994 Value *Ne = IRB.CreateICmpNE(V1, V2);
998 CallInst *Call = ThenIRB.CreateCall(DFS.DFSanUnionFn, {V1, V2});
1006 Phi->addIncoming(V1, Head);
1016 UnionElems.insert(V1);
