Lines Matching defs:Sb
1480 Value *Sb = getShadow(B);
1486 B = IRB.CreatePointerCast(B, Sb->getType());
1490 // Sc = Sa | Sb
1492 Value *Sc = IRB.CreateOr(Sa, Sb);
1553 Value *Sb = getShadow(B);
1559 B = IRB.CreatePointerCast(B, Sb->getType());
1567 getHighestPossibleValue(IRB, B, Sb, IsSigned));
1570 getLowestPossibleValue(IRB, B, Sb, IsSigned));
2026 // to sext(Sa != zeroinitializer), sext(Sb != zeroinitializer).
2452 Value *Sb = getShadow(B);
2462 // Sa = select Sb, poisoned, (select b, Sc, Sd)
2465 // Sa = select Sb, [ (c^d) | Sc | Sd ], [ b ? Sc : Sd ]
2466 // If Sb (condition is poisoned), look for bits in c and d that are equal
2468 // If !Sb (condition is unpoisoned), simply pick one of Sc and Sd.
2477 Value *Sa = IRB.CreateSelect(Sb, Sa1, Sa0, "_msprop_select");
2486 Sb = IRB.CreateICmpNE(IRB.CreateBitCast(Sb, FlatTy),
2490 // Oa = Sb ? Ob : (b ? Oc : Od)
2492 Sb, getOrigin(I.getCondition()),
