Lines Matching defs:LS2

1108   LatticeCell LS1, LS2;
1109   if (!getCell(R1, Inputs, LS1) || !getCell(R2, Inputs, LS2))
1113   bool IsProp2 = LS2.isProperty();
1117       return evaluateCMPpp(Cmp, Prop1, LS2.properties(), Result);
1122     uint32_t Prop2 = LS2.properties();
1128   for (unsigned i = 0; i < LS2.size(); ++i) {
1130     bool Computed = constToInt(LS2.Values[i], A) &&
1382   LatticeCell LS2;
1383   if (!evaluate(R2, L2, LS2))
1385   if (LS2.isBottom() || LS2.isProperty())
1389   for (unsigned i = 0; i < LS2.size(); ++i) {
1391     bool Eval = constToInt(LS2.Values[i], A) &&
1449   LatticeCell LS2;
1450   if (!evaluate(R2, L2, LS2))
1452   if (LS2.isBottom() || LS2.isProperty())
1456   for (unsigned i = 0; i < LS2.size(); ++i) {
1458     bool Eval = constToInt(LS2.Values[i], A) &&
1506   LatticeCell LS1, LS2;
1507   if (!getCell(R1, Inputs, LS1) || !getCell(R2, Inputs, LS2))
1511       return !(Result = LS2).isBottom();
1514   if (LS2.isProperty()) {
1515     if (LS2.properties() & ConstantProperties::Zero)
1521   for (unsigned i = 0; i < LS2.size(); ++i) {
1523     bool Eval = constToInt(LS2.Values[i], A) &&
2979       LatticeCell LS2, LS3;
2982       bool HasC2 = getCell(R2, Inputs, LS2), HasC3 = getCell(R3, Inputs, LS3);
2985       bool Zero = ((HasC2 && (LS2.properties() & ConstantProperties::Zero)) ||
3008         if (!LS2.isSingle())
3012       const LatticeCell &LI = Swap ? LS2 : LS3;
3041       LatticeCell LS1, LS2;
3049       else if (getCell(R2, Inputs, LS2) && LS2.isSingle()) {
3051         if (constToInt(LS2.Value, M1) && !~M1)
3077       LatticeCell LS1, LS2;
3084       else if (getCell(R2, Inputs, LS2) && (LS2.properties() & P::Zero))