Lines Matching defs:Sa

2695     Value *Sa = getShadow(A);
2699     // For ints (and vectors of ints), types of A and Sa match,
2701     A = IRB.CreatePointerCast(A, Sa->getType());
2706     // Sc = Sa | Sb
2708     Value *Sc = IRB.CreateOr(Sa, Sb);
2734     Value *Sa = getShadow(A);
2738     // For ints (and vectors of ints), types of A and Sa match,
2740     A = IRB.CreatePointerCast(A, Sa->getType());
2766     auto [Amin, Amax] = GetMinMaxUnsigned(A, Sa);
3292   // to sext(Sa != zeroinitializer), sext(Sb != zeroinitializer).
5194       // Sa = select Sb, poisoned, (select b, Sc, Sd)
5197       // Sa = select Sb, [ (c^d) | Sc | Sd ], [ b ? Sc : Sd ]
5209     Value *Sa = IRB.CreateSelect(Sb, Sa1, Sa0, "_msprop_select");
5210     setShadow(&I, Sa);