2329     Value *Sa = getShadow(A);  in handleEqualityComparison()  local
2335     A = IRB.CreatePointerCast(A, Sa->getType());  in handleEqualityComparison()
2342     Value *Sc = IRB.CreateOr(Sa, Sb);  in handleEqualityComparison()
2361   Value *getLowestPossibleValue(IRBuilder<> &IRB, Value *A, Value *Sa,  in getLowestPossibleValue()
2365       Value *SaOtherBits = IRB.CreateLShr(IRB.CreateShl(Sa, 1), 1);  in getLowestPossibleValue()
2366       Value *SaSignBit = IRB.CreateXor(Sa, SaOtherBits);  in getLowestPossibleValue()
2372       return IRB.CreateAnd(A, IRB.CreateNot(Sa));  in getLowestPossibleValue()
2378   Value *getHighestPossibleValue(IRBuilder<> &IRB, Value *A, Value *Sa,  in getHighestPossibleValue()
2382       Value *SaOtherBits = IRB.CreateLShr(IRB.CreateShl(Sa, 1), 1);  in getHighestPossibleValue()
2383       Value *SaSignBit = IRB.CreateXor(Sa, SaOtherBits);  in getHighestPossibleValue()
2389       return IRB.CreateOr(A, Sa);  in getHighestPossibleValue()
2402     Value *Sa = getShadow(A);  in handleRelationalComparisonExact()  local
2408     A = IRB.CreatePointerCast(A, Sa->getType());  in handleRelationalComparisonExact()
2416                                getLowestPossibleValue(IRB, A, Sa, IsSigned),  in handleRelationalComparisonExact()
2419                                getHighestPossibleValue(IRB, A, Sa, IsSigned),  in handleRelationalComparisonExact()
3972     Value *Sa = IRB.CreateSelect(Sb, Sa1, Sa0, "_msprop_select");  in visitSelectInst()  local
3973     setShadow(&I, Sa);  in visitSelectInst()