kernel/bpf/log.c

579

is_snum_decimal((s64)reg_s32_min(reg))

kernel/bpf/log.c

580

? (s64)reg_s32_min(reg)

kernel/bpf/log.c

581

: (u32)reg_s32_min(reg), reg_s32_min(reg) == S32_MIN},

kernel/bpf/verifier.c

13891

s32 smin = reg_s32_min(dst_reg);

kernel/bpf/verifier.c

13903

if (check_mul_overflow(smin, reg_s32_min(src_reg), &tmp_prod[0]) ||

kernel/bpf/verifier.c

13905

check_mul_overflow(smax, reg_s32_min(src_reg), &tmp_prod[2]) ||

kernel/bpf/verifier.c

13977

s32 smin = reg_s32_min(dst_reg);

kernel/bpf/verifier.c

13979

s32 src_val = reg_s32_min(src_reg); /* non-zero, const divisor */

kernel/bpf/verifier.c

14087

s32 src_val = reg_s32_min(src_reg); /* non-zero, const divisor */

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

14111

if (reg_s32_min(dst_reg) >= 0) {

kernel/bpf/verifier.c

14114

reg_set_srange32(dst_reg, max(reg_s32_min(dst_reg), -res_max_abs), 0);

kernel/bpf/verifier.c

14327

s = cnum64_from_srange((s64)reg_s32_min(dst_reg) << 32,

kernel/bpf/verifier.c

14430

(u32)(((s32)reg_s32_min(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

15233

s64 smin1 = is_jmp32 ? (s64)reg_s32_min(reg1) : reg_smin(reg1);

kernel/bpf/verifier.c

15237

s64 smin2 = is_jmp32 ? (s64)reg_s32_min(reg2) : reg_smin(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

15635

cnum32_intersect_with_srange(&reg2->r32, reg_s32_min(reg1), S32_MAX);

kernel/bpf/verifier.c

15644

cnum32_intersect_with_srange(&reg2->r32, reg_s32_min(reg1) + 1, S32_MAX);

kernel/bpf/verifier.c

2184

max_t(s32, reg_s32_min(reg), s32_min),

kernel/bpf/verifier.c

5526

top_smin_value = ((u32)reg_s32_min(reg) >> num_bits) << num_bits;

kernel/bpf/verifier.c

5534

init_s32_min = (s8)reg_s32_min(reg);

kernel/bpf/verifier.c

5538

init_s32_min = (s16)reg_s32_min(reg);

kernel/bpf/verifier.c

9712

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