Searched refs:smax_value (Results 1 – 3 of 3) sorted by relevance
381 if (reg->smax_value < S64_MAX) { in verbose_invalid_scalar()382 verbose(env, " smax=%lld", reg->smax_value); in verbose_invalid_scalar()1806 reg->smax_value = (s64)imm; in ___mark_reg_known()1958 reg->smax_value = S64_MAX; in __mark_reg_unbounded()1971 reg->smax_value = S64_MAX; in __mark_reg64_unbounded()2005 reg->smax_value = min_t(s64, reg->smax_value, in __update_reg64_bounds()2054 if ((reg->smin_value >> 32) == (reg->smax_value >> 32)) { in __reg32_deduce_bounds()2056 if ((u32)reg->smin_value <= (u32)reg->smax_value) { in __reg32_deduce_bounds()2058 reg->u32_max_value = min_t(u32, reg->u32_max_value, (u32)reg->smax_value); in __reg32_deduce_bounds()2061 if ((s32)reg->smin_value <= (s32)reg->smax_value) { in __reg32_deduce_bounds()[all …]
620 {"smax", reg->smax_value, reg->smax_value == S64_MAX}, in print_scalar_ranges()
139 s64 smax_value; /* maximum possible (s64)value */ member