Lines Matching refs:Sa
2210 Value *Sa = getShadow(A);
2214 // For ints (and vectors of ints), types of A and Sa match,
2216 A = IRB.CreatePointerCast(A, Sa->getType());
2221 // Sc = Sa | Sb
2223 Value *Sc = IRB.CreateOr(Sa, Sb);
2242 Value *getLowestPossibleValue(IRBuilder<> &IRB, Value *A, Value *Sa,
2246 Value *SaOtherBits = IRB.CreateLShr(IRB.CreateShl(Sa, 1), 1);
2247 Value *SaSignBit = IRB.CreateXor(Sa, SaOtherBits);
2253 return IRB.CreateAnd(A, IRB.CreateNot(Sa));
2259 Value *getHighestPossibleValue(IRBuilder<> &IRB, Value *A, Value *Sa,
2263 Value *SaOtherBits = IRB.CreateLShr(IRB.CreateShl(Sa, 1), 1);
2264 Value *SaSignBit = IRB.CreateXor(Sa, SaOtherBits);
2270 return IRB.CreateOr(A, Sa);
2283 Value *Sa = getShadow(A);
2287 // For ints (and vectors of ints), types of A and Sa match,
2289 A = IRB.CreatePointerCast(A, Sa->getType());
2297 getLowestPossibleValue(IRB, A, Sa, IsSigned),
2300 getHighestPossibleValue(IRB, A, Sa, IsSigned),
2771 // to sext(Sa != zeroinitializer), sext(Sb != zeroinitializer).
3569 // Sa = select Sb, poisoned, (select b, Sc, Sd)
3572 // Sa = select Sb, [ (c^d) | Sc | Sd ], [ b ? Sc : Sd ]
3584 Value *Sa = IRB.CreateSelect(Sb, Sa1, Sa0, "_msprop_select");
3585 setShadow(&I, Sa);