Searched refs:smin_value (Results 1 – 2 of 2) sorted by relevance
1407 if (reg->smin_value != reg->umin_value && in print_verifier_state()1408 reg->smin_value != S64_MIN) in print_verifier_state()1409 verbose_a("smin=%lld", (long long)reg->smin_value); in print_verifier_state()1423 if (reg->s32_min_value != reg->smin_value && in print_verifier_state()1883 reg->smin_value = (s64)imm; in ___mark_reg_known()2029 reg->smin_value = S64_MIN; in __mark_reg_unbounded()2042 reg->smin_value = S64_MIN; in __mark_reg64_unbounded()2074 reg->smin_value = max_t(s64, reg->smin_value, in __update_reg64_bounds()2132 if (reg->smin_value >= 0 || reg->smax_value < 0) { in __reg64_deduce_bounds()2133 reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value, in __reg64_deduce_bounds()[all …]
149 s64 smin_value; /* minimum possible (s64)value */ member
