Lines Matching refs:range
22 auto &range = rangeInfos_[acc_.GetId(gate)];
23 if (range != info) {
24 range = info;
80 auto range = RangeInfo::NONE();
84 range = range.Union(GetRange(valueIn));
86 return UpdateRange(gate, range);
112 auto range = GetRange(acc_.GetValueIn(gate, 0));
113 if (range.IsNone()) {
118 range = range + RangeInfo(1, 1);
121 range = range - RangeInfo(1, 1);
124 range = RangeInfo(0, 0) - range;
127 range = ~ range;
132 return UpdateRange(gate, range);
141 auto range = RangeInfo::ANY();
144 range = GetRangeOfCalculate<TypedBinOp::TYPED_ADD>(gate);
147 range = GetRangeOfCalculate<TypedBinOp::TYPED_SUB>(gate);
150 range = GetRangeOfCalculate<TypedBinOp::TYPED_MOD>(gate);
153 range = GetRangeOfCalculate<TypedBinOp::TYPED_MUL>(gate);
156 range = GetRangeOfShift<TypedBinOp::TYPED_SHR>(gate);
159 range = GetRangeOfShift<TypedBinOp::TYPED_ASHR>(gate);
164 return UpdateRange(gate, range);
261 auto range = GetRange(value);
263 return range;
266 return range;
274 return range.intersection(GetRangeOfCompare(condition, value, flag));
290 auto range = GetRange(swap ? left : right);
291 if (range.IsNone()) {
292 // provide no info for branch range infer.
297 return RangeInfo(INT32_MIN, range.GetMax() - 1);
299 return RangeInfo(INT32_MIN, range.GetMax());
301 return RangeInfo(range.GetMin() + 1, INT32_MAX);
303 return RangeInfo(range.GetMin(), INT32_MAX);
305 return range;
392 auto range = GetRange(gate);
393 log += " range = [" + std::to_string(range.GetMin()) + "," + std::to_string(range.GetMax()) + "]";