Home
last modified time | relevance | path

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

/linux-6.3-rc2/kernel/bpf/
A Dverifier.c1550 reg->s32_max_value = (s32)imm; in ___mark_reg_known()
1572 reg->s32_max_value = (s32)imm; in __mark_reg32_known()
1690 reg->s32_max_value = S32_MAX; in __mark_reg_unbounded()
1706 reg->s32_max_value = S32_MAX; in __mark_reg32_unbounded()
1719 reg->s32_max_value = min_t(s32, reg->s32_max_value, in __update_reg32_bounds()
11219 dst_reg->s32_max_value = (u32)(((s32)dst_reg->s32_max_value) >> umin_val); in scalar32_min_max_arsh()
11802 if (reg->s32_max_value < sval) in is_branch32_taken()
11826 if (reg->s32_max_value <= sval) in is_branch32_taken()
12099 false_reg->s32_max_value = min(false_reg->s32_max_value, false_smax); in reg_set_min_max()
12138 true_reg->s32_max_value = min(true_reg->s32_max_value, true_smax); in reg_set_min_max()
[all …]
/linux-6.3-rc2/include/linux/
A Dbpf_verifier.h131 s32 s32_max_value; /* maximum possible (s32)value */ member

Completed in 32 milliseconds