Lines Matching full: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) &&
2978 LatticeCell LS2, LS3;
2981 bool HasC2 = getCell(R2, Inputs, LS2), HasC3 = getCell(R3, Inputs, LS3);
2984 bool Zero = ((HasC2 && (LS2.properties() & ConstantProperties::Zero)) ||
3007 if (!LS2.isSingle())
3011 const LatticeCell &LI = Swap ? LS2 : LS3;
3040 LatticeCell LS1, LS2;
3048 else if (getCell(R2, Inputs, LS2) && LS2.isSingle()) {
3050 if (constToInt(LS2.Value, M1) && !~M1)
3076 LatticeCell LS1, LS2;
3083 else if (getCell(R2, Inputs, LS2) && (LS2.properties() & P::Zero))