Home
last modified time | relevance | path

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

/linux-6.3-rc2/kernel/bpf/
A Dverifier.c1549 reg->s32_min_value = (s32)imm; in ___mark_reg_known()
1571 reg->s32_min_value = (s32)imm; in __mark_reg32_known()
1689 reg->s32_min_value = S32_MIN; in __mark_reg_unbounded()
1705 reg->s32_min_value = S32_MIN; in __mark_reg32_unbounded()
1716 reg->s32_min_value = max_t(s32, reg->s32_min_value, in __update_reg32_bounds()
11218 dst_reg->s32_min_value = (u32)(((s32)dst_reg->s32_min_value) >> umin_val); in scalar32_min_max_arsh()
11790 if (reg->s32_min_value > sval) in is_branch32_taken()
11814 if (reg->s32_min_value >= sval) in is_branch32_taken()
12100 true_reg->s32_min_value = max(true_reg->s32_min_value, true_smin); in reg_set_min_max()
12137 false_reg->s32_min_value = max(false_reg->s32_min_value, false_smin); in reg_set_min_max()
[all …]
/linux-6.3-rc2/include/linux/
A Dbpf_verifier.h130 s32 s32_min_value; /* minimum possible (s32)value */ member

Completed in 32 milliseconds