Searched refs:umax_value (Results 1 – 4 of 4) sorted by relevance
| /linux-6.3-rc2/kernel/bpf/ |
| A D | verifier.c | 1547 reg->umax_value = imm; in ___mark_reg_known()
1687 reg->umax_value = U64_MAX; in __mark_reg_unbounded()
1735 reg->umax_value = min(reg->umax_value, in __update_reg64_bounds()
1791 reg->umax_value); in __reg64_deduce_bounds()
1803 reg->umax_value); in __reg64_deduce_bounds()
4938 reg->umax_value = mask; in coerce_reg_to_size()
10916 dst_reg->umax_value = min(dst_reg->umax_value, umax_val); in scalar_min_max_and()
12087 false_reg->umax_value = min(false_reg->umax_value, false_umax); in reg_set_min_max()
12126 true_reg->umax_value = min(true_reg->umax_value, true_umax); in reg_set_min_max()
12189 src_reg->umax_value = dst_reg->umax_value = min(src_reg->umax_value, in __reg_combine_min_max()
[all …]
|
| /linux-6.3-rc2/Documentation/bpf/ |
| A D | verifier.rst | 174 branch it will have a umax_value of 8. A signed compare (with BPF_JSGT or
252 …R0=inv(id=0,umax_value=255,var_off=(0x0; 0xff)) R1=pkt_end R2=pkt(id=2,off=8,r=8) R3=pkt(id=2,off=…
270 R4=inv(id=0,umax_value=255,var_off=(0x0; 0xff)) which means that upper 56 bits
273 R4=inv(id=0,umax_value=3570,var_off=(0x0; 0xfffe)), since multiplying an 8-bit
276 R2=inv(id=0,umax_value=65535,var_off=(0x0; 0xffff)), since the shift is not sign
|
| /linux-6.3-rc2/include/linux/ |
| A D | bpf_verifier.h | 129 u64 umax_value; /* maximum possible (u64)value */ member
|
| /linux-6.3-rc2/drivers/net/ethernet/netronome/nfp/bpf/ |
| A D | verifier.c | 565 meta->umax_src = max(meta->umax_src, sreg->umax_value); in nfp_bpf_check_alu()
567 meta->umax_dst = max(meta->umax_dst, dreg->umax_value); in nfp_bpf_check_alu()
|
Completed in 34 milliseconds