Searched refs:S1V2 (Results 1 – 1 of 1) sorted by relevance
2402 Value *S1V2 = IRB.CreateAnd(S1, V2); in visitAnd() local2403 setShadow(&I, IRB.CreateOr({S1S2, V1S2, S1V2})); in visitAnd()2424 Value *S1V2 = IRB.CreateAnd(S1, V2); in visitOr() local2425 setShadow(&I, IRB.CreateOr({S1S2, V1S2, S1V2})); in visitOr()