Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dverifier.c1763 reg->umin_value = imm; in ___mark_reg_known()
1907 reg->umin_value = 0; in __mark_reg_unbounded()
1920 reg->umin_value = 0; in __mark_reg64_unbounded()
1970 reg->umin_value = max(reg->umin_value, reg->var_off.value); in __update_reg64_bounds()
1975 tnum_next = tnum_step(reg->var_off, reg->umin_value); in __update_reg64_bounds()
1976 umin_in_tnum = (reg->umin_value & ~reg->var_off.mask) == reg->var_off.value; in __update_reg64_bounds()
1983 ___mark_reg_known(reg, reg->umin_value); in __update_reg64_bounds()
2032 if ((reg->umin_value >> 32) == (reg->umax_value >> 32)) { in deduce_bounds_32_from_64()
2036 reg->u32_min_value = max_t(u32, reg->u32_min_value, (u32)reg->umin_value); in deduce_bounds_32_from_64()
2039 if ((s32)reg->umin_value <= (s32)reg->umax_value) { in deduce_bounds_32_from_64()
[all …]
/linux/include/linux/
H A Dbpf_verifier.h125 u64 umin_value; /* minimum possible (u64)value */ member