Transforms/Instrumentation/MemorySanitizer.cpp

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);