Searched refs:smax_value (Results 1 – 2 of 2) sorted by relevance
331 if (reg->smax_value != reg->umax_value && in print_verifier_state()332 reg->smax_value != S64_MAX) in print_verifier_state()334 (long long)reg->smax_value); in print_verifier_state()559 reg->smax_value = (s64)imm; in __mark_reg_known()624 reg->smax_value = min_t(s64, reg->smax_value, in __update_reg_bounds()639 if (reg->smin_value >= 0 || reg->smax_value < 0) { in __reg_deduce_bounds()642 reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value, in __reg_deduce_bounds()654 reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value, in __reg_deduce_bounds()662 reg->smax_value = reg->umax_value; in __reg_deduce_bounds()678 reg->smax_value = S64_MAX; in __mark_reg_unbounded()[all …]
76 s64 smax_value; /* maximum possible (s64)value */ member
