Home
last modified time | relevance | path

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

/linux-6.15/kernel/bpf/
H A Dverifier.c15638 u64 umin1 = is_jmp32 ? (u64)reg1->u32_min_value : reg1->umin_value; in is_scalar_branch_taken() local
15655 if (umin1 > umax2 || umax1 < umin2) in is_scalar_branch_taken()
15679 if (umin1 > umax2 || umax1 < umin2) in is_scalar_branch_taken()
15709 if (umin1 > umax2) in is_scalar_branch_taken()
15723 else if (umin1 >= umax2) in is_scalar_branch_taken()
15733 if (umin1 >= umax2) in is_scalar_branch_taken()
15747 else if (umin1 > umax2) in is_scalar_branch_taken()