Searched refs:reg_s32_max (Results 1 – 3 of 3) sorted by relevance
583 is_snum_decimal((s64)reg_s32_max(reg)) in print_scalar_ranges()584 ? (s64)reg_s32_max(reg) in print_scalar_ranges()585 : (u32)reg_s32_max(reg), reg_s32_max(reg) == S32_MAX}, in print_scalar_ranges()
2216 min_t(s32, reg_s32_max(reg), s32_max)); in __mark_reg_s32_range()5730 top_smax_value = ((u32)reg_s32_max(reg) >> num_bits) << num_bits; in coerce_subreg_to_size_sx()5738 init_s32_max = (s8)reg_s32_max(reg); in coerce_subreg_to_size_sx()5742 init_s32_max = (s16)reg_s32_max(reg); in coerce_subreg_to_size_sx()10262 return range.minval <= reg_s32_min(reg) && reg_s32_max(reg) <= range.maxval; in retval_range_within()14732 s32 smax = reg_s32_max(dst_reg); in scalar32_min_max_mul()14744 check_mul_overflow(smin, reg_s32_max(src_reg), &tmp_prod[1]) || in scalar32_min_max_mul()14746 check_mul_overflow(smax, reg_s32_max(src_reg), &tmp_prod[3])) { in scalar32_min_max_mul()14818 s32 smax = reg_s32_max(dst_reg); in scalar32_min_max_sdiv()14947 if (reg_s32_min(dst_reg) >= -res_max_abs && reg_s32_max(dst_reg) <= res_max_abs) in scalar32_min_max_smod()[all …]
194 static inline s32 reg_s32_max(const struct bpf_reg_state *reg) in reg_s32_max() function