Lines Matching defs:Sb

2696     Value *Sb = getShadow(B);
2702     B = IRB.CreatePointerCast(B, Sb->getType());
2706     // Sc = Sa | Sb
2708     Value *Sc = IRB.CreateOr(Sa, Sb);
2735     Value *Sb = getShadow(B);
2741     B = IRB.CreatePointerCast(B, Sb->getType());
2767     auto [Bmin, Bmax] = GetMinMaxUnsigned(B, Sb);
3292   // to sext(Sa != zeroinitializer), sext(Sb != zeroinitializer).
5180     Value *Sb = getShadow(B);
5194       // Sa = select Sb, poisoned, (select b, Sc, Sd)
5197       // Sa = select Sb, [ (c^d) | Sc | Sd ], [ b ? Sc : Sd ]
5198       // If Sb (condition is poisoned), look for bits in c and d that are equal
5200       // If !Sb (condition is unpoisoned), simply pick one of Sc and Sd.
5209     Value *Sa = IRB.CreateSelect(Sb, Sa1, Sa0, "_msprop_select");
5216         Sb = convertToBool(Sb, IRB);
5219       // Oa = Sb ? Ob : (b ? Oc : Od)
5220       setOrigin(&I, IRB.CreateSelect(Sb, Ob, IRB.CreateSelect(B, Oc, Od)));