Lines Matching refs:LowerGate
194 if (xBound->Lower() >= 0 && xBound->LowerGate() == Circuit::NullGate() && IsArrayLength(y)) {
238 return chunk_->New<Bound>(newLower, bound->LowerGate(), newUpper, bound->UpperGate());
246 if (bound->LowerGate() == y) {
285 return chunk_->New<Bound>(newLower, bound->LowerGate(), newUpper, bound->UpperGate());
584 if (bound->Lower() >= 0 && bound->LowerGate() == Circuit::NullGate() &&
724 || !LoopInvariant(loopHeader, indexBound->LowerGate())
726 || (indexBound->LowerGate() == Circuit::NullGate() && indexBound->Lower() < 0)
751 if (!CheckLoop(array, indexBound->LowerGate(), indexBound->Lower(),
757 LoopInvariantMotionForIndexCheck(array, length, lengthMetaData, indexBound->LowerGate(),
980 if (b->LowerGate() == Circuit::NullGate()) { // LowerBound is the Constant !!!