Lines Matching refs:LS2
1098 LatticeCell LS1, LS2;
1099 if (!getCell(R1, Inputs, LS1) || !getCell(R2, Inputs, LS2))
1103 bool IsProp2 = LS2.isProperty();
1107 return evaluateCMPpp(Cmp, Prop1, LS2.properties(), Result);
1112 uint32_t Prop2 = LS2.properties();
1118 for (unsigned i = 0; i < LS2.size(); ++i) {
1120 bool Computed = constToInt(LS2.Values[i], A) &&
1372 LatticeCell LS2;
1373 if (!evaluate(R2, L2, LS2))
1375 if (LS2.isBottom() || LS2.isProperty())
1379 for (unsigned i = 0; i < LS2.size(); ++i) {
1381 bool Eval = constToInt(LS2.Values[i], A) &&
1439 LatticeCell LS2;
1440 if (!evaluate(R2, L2, LS2))
1442 if (LS2.isBottom() || LS2.isProperty())
1446 for (unsigned i = 0; i < LS2.size(); ++i) {
1448 bool Eval = constToInt(LS2.Values[i], A) &&
1496 LatticeCell LS1, LS2;
1497 if (!getCell(R1, Inputs, LS1) || !getCell(R2, Inputs, LS2))
1501 return !(Result = LS2).isBottom();
1504 if (LS2.isProperty()) {
1505 if (LS2.properties() & ConstantProperties::Zero)
1511 for (unsigned i = 0; i < LS2.size(); ++i) {
1513 bool Eval = constToInt(LS2.Values[i], A) &&
2962 LatticeCell LS2, LS3;
2965 bool HasC2 = getCell(R2, Inputs, LS2), HasC3 = getCell(R3, Inputs, LS3);
2968 bool Zero = ((HasC2 && (LS2.properties() & ConstantProperties::Zero)) ||
2991 if (!LS2.isSingle())
2995 const LatticeCell &LI = Swap ? LS2 : LS3;
3024 LatticeCell LS1, LS2;
3032 else if (getCell(R2, Inputs, LS2) && LS2.isSingle()) {
3034 if (constToInt(LS2.Value, M1) && !~M1)
3060 LatticeCell LS1, LS2;
3067 else if (getCell(R2, Inputs, LS2) && (LS2.properties() & P::Zero))
