Searched refs:upper_bounds (Results 1 – 8 of 8) sorted by relevance
918 self.upper_bounds = {}941 self.upper_bounds[field_name] = value1026 if field.field_name in self.upper_bounds:1034 'bound_value': self.upper_bounds[field.field_name],
184 self.assertEqual(tpm_obj.upper_bounds['field1'], 'max')
35 const ZoneVector<Bound>& upper_bounds() { return upper_bounds_; } in upper_bounds() function
352 if (induction_var->upper_bounds().size() == 0 && in ChangeToInductionVariablePhis()365 for (auto bound : induction_var->upper_bounds()) { in ChangeToInductionVariablePhis()
727 for (auto bound : induction_var->upper_bounds()) { in TypeInductionVariablePhi()
236 …g. `Pointwise(Le(), upper_bounds)` verifies that each element in `argument` doesn't exceed the cor…
248 …g. `Pointwise(Le(), upper_bounds)` verifies that each element in `argument` doesn't exceed the cor…
243 …g. `Pointwise(Le(), upper_bounds)` verifies that each element in `argument` doesn't exceed the cor…