Lines Matching refs:Circuit
37 lowerGate_ = Circuit::NullGate();
38 upperGate_ = Circuit::NullGate();
61 lowerGate_ = Circuit::NullGate();
63 upperGate_ = Circuit::NullGate();
64 if (gate == Circuit::NullGate()) {
78 upperGate_ = Circuit::NullGate();
83 lowerGate_ = Circuit::NullGate();
103 if (bound->lowerGate_ != Circuit::NullGate() && b->lowerGate_ != Circuit::NullGate()) {
128 if (bound->upperGate_ != Circuit::NullGate() && b->upperGate_ != Circuit::NullGate()) {
154 bound->lowerGate_ = Circuit::NullGate();
161 bound->upperGate_ = Circuit::NullGate();
173 return chunk_->New<Bound>(constValue, Circuit::NullGate(), constValue, Circuit::NullGate());
190 return chunk_->New<Bound>(0, Circuit::NullGate(), constValue, Circuit::NullGate());
194 if (xBound->Lower() >= 0 && xBound->LowerGate() == Circuit::NullGate() && IsArrayLength(y)) {
195 return chunk_->New<Bound>(0, Circuit::NullGate(), -1, y);
200 return chunk_->New<Bound>(0, Circuit::NullGate(), abs(constValue) - 1, Circuit::NullGate());
247 return chunk_->New<Bound>(TypedBinOp::TYPED_GREATEREQ, Circuit::NullGate(), bound->Lower());
433 instrValue = Circuit::NullGate();
441 GateRef other = Circuit::NullGate();
453 instrValue = Circuit::NullGate();
466 if (gate == Circuit::NullGate()) {
507 x >= Circuit::NullGate() + 0
516 if (constValue == INT_MAX && instrValue == Circuit::NullGate()) {
523 if (constValue == INT_MIN && instrValue == Circuit::NullGate()) {
546 if (gate == Circuit::NullGate()) {
580 if (!bound || array == Circuit::NullGate()) {
584 if (bound->Lower() >= 0 && bound->LowerGate() == Circuit::NullGate() &&
585 bound->Upper() < 0 && bound->UpperGate() != Circuit::NullGate()) {
586 if (length != Circuit::NullGate() && bound->UpperGate() == length) {
624 if (gate == Circuit::NullGate()) {
670 if (lowerGate != Circuit::NullGate()) {
688 if (length == Circuit::NullGate()) {
692 if (upperGate == Circuit::NullGate()) {
726 || (indexBound->LowerGate() == Circuit::NullGate() && indexBound->Lower() < 0)
727 || (indexBound->UpperGate() == Circuit::NullGate() && indexBound->Upper() < 0)) {
731 ASSERT(length != Circuit::NullGate());
741 length = Circuit::NullGate();
768 if (gate == Circuit::NullGate()) continue;
858 if (lastInteger >= 0 && lastGate == Circuit::NullGate()) { // IsConstant
865 } else if (lastGate != Circuit::NullGate()) {
888 ASSERT(length != Circuit::NullGate());
928 ASSERT(length != Circuit::NullGate());
980 if (b->LowerGate() == Circuit::NullGate()) { // LowerBound is the Constant !!!
981 UpdateBound(pushed, index, TypedBinOp::TYPED_GREATEREQ, Circuit::NullGate(), 0);
983 if (!b->HasUpper() && length != Circuit::NullGate()) { // default dont know the Length