Home
last modified time | relevance | path

Searched refs:res_max (Results 1 – 1 of 1) sorted by relevance

/linux/kernel/bpf/
H A Dverifier.c14023 u32 res_max = src_val - 1; in scalar_min_max_add()
14026 * If dst_umax <= res_max, the result remains unchanged. in scalar_min_max_add()
14029 if (reg_u32_max(dst_reg) <= res_max) in scalar_min_max_add()
14032 reg_set_urange32(dst_reg, 0, min(reg_u32_max(dst_reg), res_max)); in scalar32_min_max_sub()
14042 u64 res_max = src_val - 1; in scalar32_min_max_sub()
14045 * If dst_umax <= res_max, the result remains unchanged. in scalar32_min_max_sub()
14048 if (reg_umax(dst_reg) <= res_max) in scalar32_min_max_sub()
14051 reg_set_urange64(dst_reg, 0, min(reg_umax(dst_reg), res_max)); in scalar32_min_max_sub()
14264 u32 res_max = src_val - 1; scalar32_min_max_umod() local
14288 u64 res_max = src_val - 1; scalar_min_max_umod() local