1109   LatticeCell LS1, LS2;  in evaluateCMPrr()  local
1110   if (!getCell(R1, Inputs, LS1) || !getCell(R2, Inputs, LS2))  in evaluateCMPrr()
1114   bool IsProp2 = LS2.isProperty();  in evaluateCMPrr()
1118       return evaluateCMPpp(Cmp, Prop1, LS2.properties(), Result);  in evaluateCMPrr()
1123     uint32_t Prop2 = LS2.properties();  in evaluateCMPrr()
1129   for (unsigned i = 0; i < LS2.size(); ++i) {  in evaluateCMPrr()
1131     bool Computed = constToInt(LS2.Values[i], A) &&  in evaluateCMPrr()
1383   LatticeCell LS2;  in evaluateANDrr()  local
1384   if (!evaluate(R2, L2, LS2))  in evaluateANDrr()
1386   if (LS2.isBottom() || LS2.isProperty())  in evaluateANDrr()
1390   for (unsigned i = 0; i < LS2.size(); ++i) {  in evaluateANDrr()
1392     bool Eval = constToInt(LS2.Values[i], A) &&  in evaluateANDrr()
1450   LatticeCell LS2;  in evaluateORrr()  local
1451   if (!evaluate(R2, L2, LS2))  in evaluateORrr()
1453   if (LS2.isBottom() || LS2.isProperty())  in evaluateORrr()
1457   for (unsigned i = 0; i < LS2.size(); ++i) {  in evaluateORrr()
1459     bool Eval = constToInt(LS2.Values[i], A) &&  in evaluateORrr()
1507   LatticeCell LS1, LS2;  in evaluateXORrr()  local
1508   if (!getCell(R1, Inputs, LS1) || !getCell(R2, Inputs, LS2))  in evaluateXORrr()
1512       return !(Result = LS2).isBottom();  in evaluateXORrr()
1515   if (LS2.isProperty()) {  in evaluateXORrr()
1516     if (LS2.properties() & ConstantProperties::Zero)  in evaluateXORrr()
1522   for (unsigned i = 0; i < LS2.size(); ++i) {  in evaluateXORrr()
1524     bool Eval = constToInt(LS2.Values[i], A) &&  in evaluateXORrr()
2980       LatticeCell LS2, LS3;  in rewriteHexConstUses()  local
2983       bool HasC2 = getCell(R2, Inputs, LS2), HasC3 = getCell(R3, Inputs, LS3);  in rewriteHexConstUses()
2986       bool Zero = ((HasC2 && (LS2.properties() & ConstantProperties::Zero)) ||  in rewriteHexConstUses()
3009         if (!LS2.isSingle())  in rewriteHexConstUses()
3013       const LatticeCell &LI = Swap ? LS2 : LS3;  in rewriteHexConstUses()
3042       LatticeCell LS1, LS2;  in rewriteHexConstUses()  local
3050       else if (getCell(R2, Inputs, LS2) && LS2.isSingle()) {  in rewriteHexConstUses()
3052         if (constToInt(LS2.Value, M1) && !~M1)  in rewriteHexConstUses()
3078       LatticeCell LS1, LS2;  in rewriteHexConstUses()  local
3085       else if (getCell(R2, Inputs, LS2) && (LS2.properties() & P::Zero))  in rewriteHexConstUses()