Lines Matching defs:properties

75     // For a given constant, deduce the set of trackable properties that this
135 uint32_t properties() const;
461 // properties.
468 uint32_t Ps = !isTop() ? properties()
483 uint32_t Ps = properties();
535 return add(L.properties());
546 // will track properties of the associated values, and not the values
577 uint32_t Ps = properties();
594 uint32_t Ps = properties();
601 // Return the properties of the values in the cell. This is valid for any
603 uint32_t LatticeCell::properties() const {
1116 uint32_t Prop1 = LS1.properties();
1118 return evaluateCMPpp(Cmp, Prop1, LS2.properties(), Result);
1123 uint32_t Prop2 = LS2.properties();
1152 return evaluateCMPpi(Cmp, LS.properties(), A2, Result);
1179 return evaluateCMPpp(Cmp, LS.properties(), Props2, Result);
1200 // NE is a special kind of comparison (not composed of smaller properties).
1253 // Let X be a number that has properties Props.
1511 if (LS1.properties() & ConstantProperties::Zero)
1516 if (LS2.properties() & ConstantProperties::Zero)
1540 if (LS1.properties() & ConstantProperties::Zero) {
1743 uint32_t Ps = LS1.properties();
2222 uint32_t Ps = Input.properties();
2304 uint32_t Props = PredC.properties();
2683 uint32_t Ps = LS.properties();
2877 uint64_t Ps = L.properties();
2986 bool Zero = ((HasC2 && (LS2.properties() & ConstantProperties::Zero)) ||
2987 (HasC3 && (LS3.properties() & ConstantProperties::Zero)));
3083 if (getCell(R1, Inputs, LS1) && (LS1.properties() & P::Zero))
3085 else if (getCell(R2, Inputs, LS2) && (LS2.properties() & P::Zero))