Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dverifier.c16247 u64 umax1 = is_jmp32 ? (u64)reg_u32_max(reg1) : reg_umax(reg1); in is_scalar_branch_taken() local
16289 if (umin1 > umax2 || umax1 < umin2) in is_scalar_branch_taken()
16315 if (umin1 > umax2 || umax1 < umin2) in is_scalar_branch_taken()
16347 else if (umax1 <= umin2) in is_scalar_branch_taken()
16357 if (umax1 < umin2) in is_scalar_branch_taken()
16371 else if (umax1 < umin2) in is_scalar_branch_taken()
16381 if (umax1 <= umin2) in is_scalar_branch_taken()