Searched refs:upper_bounds (Results 1 – 4 of 4) sorted by relevance
291 if (induction_var->upper_bounds().size() == 0 && in ChangeToInductionVariablePhis()304 for (auto bound : induction_var->upper_bounds()) { in ChangeToInductionVariablePhis()
38 const ZoneVector<Bound>& upper_bounds() { return upper_bounds_; } in upper_bounds() function
820 for (auto bound : induction_var->upper_bounds()) { in TypeInductionVariablePhi()891 for (auto bound : induction_var->upper_bounds()) { in InductionVariablePhiTypeIsPrefixedPoint()
131 …g. `Pointwise(Le(), upper_bounds)` verifies that each element in `argument` doesn't exceed the cor…