Searched refs:S1S2 (Results 1 – 1 of 1) sorted by relevance
2068 Value *S1S2 = IRB.CreateAnd(S1, S2); in visitAnd() local2071 setShadow(&I, IRB.CreateOr({S1S2, V1S2, S1V2})); in visitAnd()2090 Value *S1S2 = IRB.CreateAnd(S1, S2); in visitOr() local2093 setShadow(&I, IRB.CreateOr({S1S2, V1S2, S1V2})); in visitOr()