Lines Matching defs:upperGate
41 ArrayBoundsCheckElimination::Bound::Bound(int lower, GateRef lowerGate, int upper, GateRef upperGate)
46 upperGate_ = upperGate;
607 bool ArrayBoundsCheckElimination::CheckLoop(GateRef array, GateRef lowerGate, int lower, GateRef upperGate, int upper)
609 if (IsArrayLength(upperGate) && FindBoundGate(acc_.GetValueIn(upperGate, 0)) == array) {
667 GateRef lengthMetaData, GateRef lowerGate, int lower, GateRef upperGate, int upper, bool isTypedArray)
692 if (upperGate == Circuit::NullGate()) {
697 Predicate(upperGate, TypedBinOp::TYPED_LESS, length);
699 // upperGate + upper < length
700 PredicateAdd(upperGate, upper, TypedBinOp::TYPED_LESS, length);
702 // upperGate + upper < length
704 // upperGate < length + (-upper)
705 PredicateAdd(length, -upper, TypedBinOp::TYPED_GREATER, upperGate);