Lines Matching defs:Sb
2671 Value *Sb = getShadow(B);
2677 B = IRB.CreatePointerCast(B, Sb->getType());
2681 // Sc = Sa | Sb
2683 Value *Sc = IRB.CreateOr(Sa, Sb);
2744 Value *Sb = getShadow(B);
2750 B = IRB.CreatePointerCast(B, Sb->getType());
2758 getHighestPossibleValue(IRB, B, Sb, IsSigned));
2761 getLowestPossibleValue(IRB, B, Sb, IsSigned));
3266 // to sext(Sa != zeroinitializer), sext(Sb != zeroinitializer).
4695 Value *Sb = getShadow(B);
4709 // Sa = select Sb, poisoned, (select b, Sc, Sd)
4712 // Sa = select Sb, [ (c^d) | Sc | Sd ], [ b ? Sc : Sd ]
4713 // If Sb (condition is poisoned), look for bits in c and d that are equal
4715 // If !Sb (condition is unpoisoned), simply pick one of Sc and Sd.
4724 Value *Sa = IRB.CreateSelect(Sb, Sa1, Sa0, "_msprop_select");
4731 Sb = convertToBool(Sb, IRB);
4734 // Oa = Sb ? Ob : (b ? Oc : Od)
4735 setOrigin(&I, IRB.CreateSelect(Sb, Ob, IRB.CreateSelect(B, Oc, Od)));