Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dverifier.c15535 u64 umin2 = is_jmp32 ? (u64)reg2->u32_min_value : reg2->umin_value; in scalar32_min_max_and()
15574 if (umin1 > umax2 || umax1 < umin2) in scalar_min_max_and()
15600 if (umin1 > umax2 || umax1 < umin2) in scalar32_min_max_or()
15632 else if (umax1 <= umin2) in scalar_min_max_or()
15642 if (umax1 < umin2) in scalar_min_max_or()
15656 else if (umax1 < umin2) in scalar_min_max_or()
15666 if (umax1 <= umin2) in scalar32_min_max_xor()
16695 u64 umin2 = is_jmp32 ? (u64)reg2->u32_min_value : reg2->umin_value; is_scalar_branch_taken() local