Searched refs:s32_min_value (Results 1 – 3 of 3) sorted by relevance
| /linux-6.15/kernel/bpf/ |
| H A D | log.c | 625 is_snum_decimal((s64)reg->s32_min_value) in print_scalar_ranges()
626 ? (s64)reg->s32_min_value in print_scalar_ranges()
627 : (u32)reg->s32_min_value, reg->s32_min_value == S32_MIN}, in print_scalar_ranges()
|
| H A D | verifier.c | 2258 reg->s32_min_value = max_t(s32, reg->s32_min_value, in __update_reg32_bounds()
2319 reg->s32_min_value = max_t(s32, reg->s32_min_value, (s32)reg->umin_value); in __reg32_deduce_bounds()
2350 reg->s32_min_value = max_t(s32, reg->s32_min_value, (s32)reg->umin_value); in __reg32_deduce_bounds()
2355 reg->s32_min_value = max_t(s32, reg->s32_min_value, (s32)reg->smin_value); in __reg32_deduce_bounds()
2362 reg->s32_min_value = max_t(s32, reg->s32_min_value, reg->u32_min_value); in __reg32_deduce_bounds()
2697 reg->s32_min_value = max_t(s32, reg->s32_min_value, s32_min); in __mark_reg_s32_range()
15921 reg1->s32_min_value = max(reg1->s32_min_value, reg2->s32_min_value); in regs_refine_cond_op()
15925 reg2->s32_min_value = reg1->s32_min_value; in regs_refine_cond_op()
16043 reg2->s32_min_value = max(reg1->s32_min_value, reg2->s32_min_value); in regs_refine_cond_op()
16052 reg2->s32_min_value = max(reg1->s32_min_value + 1, reg2->s32_min_value); in regs_refine_cond_op()
[all …]
|
| /linux-6.15/include/linux/ |
| H A D | bpf_verifier.h | 150 s32 s32_min_value; /* minimum possible (s32)value */ member
|