Lines Matching defs:Sa
2670 Value *Sa = getShadow(A);
2674 // For ints (and vectors of ints), types of A and Sa match,
2676 A = IRB.CreatePointerCast(A, Sa->getType());
2681 // Sc = Sa | Sb
2683 Value *Sc = IRB.CreateOr(Sa, Sb);
2702 Value *getLowestPossibleValue(IRBuilder<> &IRB, Value *A, Value *Sa,
2706 Value *SaOtherBits = IRB.CreateLShr(IRB.CreateShl(Sa, 1), 1);
2707 Value *SaSignBit = IRB.CreateXor(Sa, SaOtherBits);
2713 return IRB.CreateAnd(A, IRB.CreateNot(Sa));
2719 Value *getHighestPossibleValue(IRBuilder<> &IRB, Value *A, Value *Sa,
2723 Value *SaOtherBits = IRB.CreateLShr(IRB.CreateShl(Sa, 1), 1);
2724 Value *SaSignBit = IRB.CreateXor(Sa, SaOtherBits);
2730 return IRB.CreateOr(A, Sa);
2743 Value *Sa = getShadow(A);
2747 // For ints (and vectors of ints), types of A and Sa match,
2749 A = IRB.CreatePointerCast(A, Sa->getType());
2757 getLowestPossibleValue(IRB, A, Sa, IsSigned),
2760 getHighestPossibleValue(IRB, A, Sa, IsSigned),
3266 // to sext(Sa != zeroinitializer), sext(Sb != zeroinitializer).
4709 // Sa = select Sb, poisoned, (select b, Sc, Sd)
4712 // Sa = select Sb, [ (c^d) | Sc | Sd ], [ b ? Sc : Sd ]
4724 Value *Sa = IRB.CreateSelect(Sb, Sa1, Sa0, "_msprop_select");
4725 setShadow(&I, Sa);