kernel/bpf/log.c

583

is_snum_decimal((s64)reg_s32_max(reg))

kernel/bpf/log.c

584

? (s64)reg_s32_max(reg)

kernel/bpf/log.c

585

: (u32)reg_s32_max(reg), reg_s32_max(reg) == S32_MAX},

kernel/bpf/verifier.c

13892

s32 smax = reg_s32_max(dst_reg);

kernel/bpf/verifier.c

13904

check_mul_overflow(smin, reg_s32_max(src_reg), &tmp_prod[1]) ||

kernel/bpf/verifier.c

13906

check_mul_overflow(smax, reg_s32_max(src_reg), &tmp_prod[3])) {

kernel/bpf/verifier.c

13978

s32 smax = reg_s32_max(dst_reg);

kernel/bpf/verifier.c

14107

if (reg_s32_min(dst_reg) >= -res_max_abs && reg_s32_max(dst_reg) <= res_max_abs)

kernel/bpf/verifier.c

14112

reg_set_srange32(dst_reg, 0, min(reg_s32_max(dst_reg), res_max_abs));

kernel/bpf/verifier.c

14113

} else if (reg_s32_max(dst_reg) <= 0) {

kernel/bpf/verifier.c

14328

(s64)reg_s32_max(dst_reg) << 32);

kernel/bpf/verifier.c

14431

(u32)(((s32)reg_s32_max(dst_reg)) >> umin_val));

kernel/bpf/verifier.c

14517

&& reg_s32_min(src_reg) == reg_s32_max(src_reg)

kernel/bpf/verifier.c

14568

else if (reg_s32_min(dst_reg) == -1 && reg_s32_max(dst_reg) == 0)

kernel/bpf/verifier.c

15234

s64 smax1 = is_jmp32 ? (s64)reg_s32_max(reg1) : reg_smax(reg1);

kernel/bpf/verifier.c

15238

s64 smax2 = is_jmp32 ? (s64)reg_s32_max(reg2) : reg_smax(reg2);

kernel/bpf/verifier.c

15286

if (reg_s32_min(reg1) > reg_s32_max(reg2) ||

kernel/bpf/verifier.c

15287

reg_s32_max(reg1) < reg_s32_min(reg2))

kernel/bpf/verifier.c

15312

if (reg_s32_min(reg1) > reg_s32_max(reg2) ||

kernel/bpf/verifier.c

15313

reg_s32_max(reg1) < reg_s32_min(reg2))

kernel/bpf/verifier.c

15634

cnum32_intersect_with_srange(&reg1->r32, S32_MIN, reg_s32_max(reg2));

kernel/bpf/verifier.c

15643

cnum32_intersect_with_srange(&reg1->r32, S32_MIN, reg_s32_max(reg2) - 1);

kernel/bpf/verifier.c

2185

min_t(s32, reg_s32_max(reg), s32_max));

kernel/bpf/verifier.c

5525

top_smax_value = ((u32)reg_s32_max(reg) >> num_bits) << num_bits;

kernel/bpf/verifier.c

5533

init_s32_max = (s8)reg_s32_max(reg);

kernel/bpf/verifier.c

5537

init_s32_max = (s16)reg_s32_max(reg);

kernel/bpf/verifier.c

9712

return range.minval <= reg_s32_min(reg) && reg_s32_max(reg) <= range.maxval;