Searched refs:s32_max_value (Results 1 – 2 of 2) sorted by relevance
1426 if (reg->s32_max_value != reg->smax_value && in print_verifier_state()1427 reg->s32_max_value != S32_MAX) in print_verifier_state()1428 verbose_a("s32_max=%d", (int)(reg->s32_max_value)); in print_verifier_state()1889 reg->s32_max_value = (s32)imm; in ___mark_reg_known()1911 reg->s32_max_value = (s32)imm; in __mark_reg32_known()2035 reg->s32_max_value = S32_MAX; in __mark_reg_unbounded()2051 reg->s32_max_value = S32_MAX; in __mark_reg32_unbounded()2064 reg->s32_max_value = min_t(s32, reg->s32_max_value, in __update_reg32_bounds()2098 if (reg->s32_min_value >= 0 || reg->s32_max_value < 0) { in __reg32_deduce_bounds()2101 reg->s32_max_value = reg->u32_max_value = in __reg32_deduce_bounds()[all …]
154 s32 s32_max_value; /* maximum possible (s32)value */ member
