Lines Matching refs:Sc
1682 // Sc = Sa | Sb
1684 Value *Sc = IRB.CreateOr(Sa, Sb);
1689 // Si = !(C & ~Sc) && Sc
1690 Value *Zero = Constant::getNullValue(Sc->getType());
1691 Value *MinusOne = Constant::getAllOnesValue(Sc->getType());
1693 IRB.CreateAnd(IRB.CreateICmpNE(Sc, Zero),
1695 IRB.CreateAnd(IRB.CreateXor(Sc, MinusOne), C), Zero));
2636 Value *Sc = getShadow(C);
2640 Value *Sa0 = IRB.CreateSelect(B, Sc, Sd);
2645 // Sa = select Sb, poisoned, (select b, Sc, Sd)
2648 // Sa = select Sb, [ (c^d) | Sc | Sd ], [ b ? Sc : Sd ]
2651 // If !Sb (condition is unpoisoned), simply pick one of Sc and Sd.
2658 Sa1 = IRB.CreateOr(IRB.CreateXor(C, D), IRB.CreateOr(Sc, Sd));