1109   LatticeCell LS1, LS2;  in evaluateCMPrr()  local
1110   if (!getCell(R1, Inputs, LS1) || !getCell(R2, Inputs, LS2))  in evaluateCMPrr()
1113   bool IsProp1 = LS1.isProperty();  in evaluateCMPrr()
1116     uint32_t Prop1 = LS1.properties();  in evaluateCMPrr()
1413   LatticeCell LS1;  in evaluateANDri()  local
1414   if (!getCell(R1, Inputs, LS1))  in evaluateANDri()
1416   if (LS1.isBottom() || LS1.isProperty())  in evaluateANDri()
1420   for (unsigned i = 0; i < LS1.size(); ++i) {  in evaluateANDri()
1421     bool Eval = constToInt(LS1.Values[i], A) &&  in evaluateANDri()
1480   LatticeCell LS1;  in evaluateORri()  local
1481   if (!getCell(R1, Inputs, LS1))  in evaluateORri()
1483   if (LS1.isBottom() || LS1.isProperty())  in evaluateORri()
1487   for (unsigned i = 0; i < LS1.size(); ++i) {  in evaluateORri()
1488     bool Eval = constToInt(LS1.Values[i], A) &&  in evaluateORri()
1507   LatticeCell LS1, LS2;  in evaluateXORrr()  local
1508   if (!getCell(R1, Inputs, LS1) || !getCell(R2, Inputs, LS2))  in evaluateXORrr()
1510   if (LS1.isProperty()) {  in evaluateXORrr()
1511     if (LS1.properties() & ConstantProperties::Zero)  in evaluateXORrr()
1517       return !(Result = LS1).isBottom();  in evaluateXORrr()
1536   LatticeCell LS1;  in evaluateXORri()  local
1537   if (!getCell(R1, Inputs, LS1))  in evaluateXORri()
1539   if (LS1.isProperty()) {  in evaluateXORri()
1540     if (LS1.properties() & ConstantProperties::Zero) {  in evaluateXORri()
1549   for (unsigned i = 0; i < LS1.size(); ++i) {  in evaluateXORri()
1550     bool Eval = constToInt(LS1.Values[i], A) &&  in evaluateXORri()
1569   LatticeCell LS1;  in evaluateZEXTr()  local
1570   if (!getCell(R1, Inputs, LS1))  in evaluateZEXTr()
1572   if (LS1.isProperty())  in evaluateZEXTr()
1576   for (unsigned i = 0; i < LS1.size(); ++i) {  in evaluateZEXTr()
1577     bool Eval = constToInt(LS1.Values[i], A) &&  in evaluateZEXTr()
1600   LatticeCell LS1;  in evaluateSEXTr()  local
1601   if (!getCell(R1, Inputs, LS1))  in evaluateSEXTr()
1603   if (LS1.isBottom() || LS1.isProperty())  in evaluateSEXTr()
1607   for (unsigned i = 0; i < LS1.size(); ++i) {  in evaluateSEXTr()
1608     bool Eval = constToInt(LS1.Values[i], A) &&  in evaluateSEXTr()
1665   LatticeCell LS1;  in evaluateCLBr()  local
1666   if (!getCell(R1, Inputs, LS1))  in evaluateCLBr()
1668   if (LS1.isBottom() || LS1.isProperty())  in evaluateCLBr()
1672   for (unsigned i = 0; i < LS1.size(); ++i) {  in evaluateCLBr()
1673     bool Eval = constToInt(LS1.Values[i], A) &&  in evaluateCLBr()
1700   LatticeCell LS1;  in evaluateCTBr()  local
1701   if (!getCell(R1, Inputs, LS1))  in evaluateCTBr()
1703   if (LS1.isBottom() || LS1.isProperty())  in evaluateCTBr()
1707   for (unsigned i = 0; i < LS1.size(); ++i) {  in evaluateCTBr()
1708     bool Eval = constToInt(LS1.Values[i], A) &&  in evaluateCTBr()
1737   LatticeCell LS1;  in evaluateEXTRACTr()  local
1738   if (!getCell(R1, Inputs, LS1))  in evaluateEXTRACTr()
1740   if (LS1.isBottom())  in evaluateEXTRACTr()
1742   if (LS1.isProperty()) {  in evaluateEXTRACTr()
1743     uint32_t Ps = LS1.properties();  in evaluateEXTRACTr()
1753   for (unsigned i = 0; i < LS1.size(); ++i) {  in evaluateEXTRACTr()
1754     bool Eval = constToInt(LS1.Values[i], A) &&  in evaluateEXTRACTr()
1794   LatticeCell LS1;  in evaluateSplatr()  local
1795   if (!getCell(R1, Inputs, LS1))  in evaluateSplatr()
1797   if (LS1.isBottom() || LS1.isProperty())  in evaluateSplatr()
1801   for (unsigned i = 0; i < LS1.size(); ++i) {  in evaluateSplatr()
1802     bool Eval = constToInt(LS1.Values[i], A) &&  in evaluateSplatr()
3042       LatticeCell LS1, LS2;  in rewriteHexConstUses()  local
3045       if (getCell(R1, Inputs, LS1) && LS1.isSingle()) {  in rewriteHexConstUses()
3047         if (constToInt(LS1.Value, M1) && !~M1)  in rewriteHexConstUses()
3078       LatticeCell LS1, LS2;  in rewriteHexConstUses()  local
3083       if (getCell(R1, Inputs, LS1) && (LS1.properties() & P::Zero))  in rewriteHexConstUses()