Lines Matching defs:Sa
1671 Value *Sa = getShadow(A);
1675 // For ints (and vectors of ints), types of A and Sa match,
1677 A = IRB.CreatePointerCast(A, Sa->getType());
1682 // Sc = Sa | Sb
1684 Value *Sc = IRB.CreateOr(Sa, Sb);
1703 Value *getLowestPossibleValue(IRBuilder<> &IRB, Value *A, Value *Sa,
1707 Value *SaOtherBits = IRB.CreateLShr(IRB.CreateShl(Sa, 1), 1);
1708 Value *SaSignBit = IRB.CreateXor(Sa, SaOtherBits);
1714 return IRB.CreateAnd(A, IRB.CreateNot(Sa));
1720 Value *getHighestPossibleValue(IRBuilder<> &IRB, Value *A, Value *Sa,
1724 Value *SaOtherBits = IRB.CreateLShr(IRB.CreateShl(Sa, 1), 1);
1725 Value *SaSignBit = IRB.CreateXor(Sa, SaOtherBits);
1731 return IRB.CreateOr(A, Sa);
1744 Value *Sa = getShadow(A);
1748 // For ints (and vectors of ints), types of A and Sa match,
1750 A = IRB.CreatePointerCast(A, Sa->getType());
1758 getLowestPossibleValue(IRB, A, Sa, IsSigned),
1761 getHighestPossibleValue(IRB, A, Sa, IsSigned),
2201 // to sext(Sa != zeroinitializer), sext(Sb != zeroinitializer).
2645 // Sa = select Sb, poisoned, (select b, Sc, Sd)
2648 // Sa = select Sb, [ (c^d) | Sc | Sd ], [ b ? Sc : Sd ]
2660 Value *Sa = IRB.CreateSelect(Sb, Sa1, Sa0, "_msprop_select");
2661 setShadow(&I, Sa);