Lines Matching refs:Sa
1692 Value *Sa = getShadow(A); in handleEqualityComparison() local
1698 A = IRB.CreatePointerCast(A, Sa->getType()); in handleEqualityComparison()
1705 Value *Sc = IRB.CreateOr(Sa, Sb); in handleEqualityComparison()
1724 Value *getLowestPossibleValue(IRBuilder<> &IRB, Value *A, Value *Sa, in getLowestPossibleValue()
1728 Value *SaOtherBits = IRB.CreateLShr(IRB.CreateShl(Sa, 1), 1); in getLowestPossibleValue()
1729 Value *SaSignBit = IRB.CreateXor(Sa, SaOtherBits); in getLowestPossibleValue()
1735 return IRB.CreateAnd(A, IRB.CreateNot(Sa)); in getLowestPossibleValue()
1741 Value *getHighestPossibleValue(IRBuilder<> &IRB, Value *A, Value *Sa, in getHighestPossibleValue()
1745 Value *SaOtherBits = IRB.CreateLShr(IRB.CreateShl(Sa, 1), 1); in getHighestPossibleValue()
1746 Value *SaSignBit = IRB.CreateXor(Sa, SaOtherBits); in getHighestPossibleValue()
1752 return IRB.CreateOr(A, Sa); in getHighestPossibleValue()
1765 Value *Sa = getShadow(A); in handleRelationalComparisonExact() local
1771 A = IRB.CreatePointerCast(A, Sa->getType()); in handleRelationalComparisonExact()
1779 getLowestPossibleValue(IRB, A, Sa, IsSigned), in handleRelationalComparisonExact()
1782 getHighestPossibleValue(IRB, A, Sa, IsSigned), in handleRelationalComparisonExact()
2750 Value *Sa = IRB.CreateSelect(Sb, Sa1, Sa0, "_msprop_select"); in visitSelectInst() local
2751 setShadow(&I, Sa); in visitSelectInst()