Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dverifier.c16671 s64 smin1 = is_jmp32 ? (s64)reg1->s32_min_value : reg1->smin_value; in is_scalar_branch_taken() local
16696 return (smin1 <= 0 && smax1 >= 0) ? -1 : 1; in is_scalar_branch_taken()
16714 if (smin1 > smax2 || smax1 < smin2) in is_scalar_branch_taken()
16740 if (smin1 > smax2 || smax1 < smin2) in is_scalar_branch_taken()
16774 if (smin1 > smax2) in is_scalar_branch_taken()
16788 else if (smin1 >= smax2) in is_scalar_branch_taken()
16798 if (smin1 >= smax2) in is_scalar_branch_taken()
16812 else if (smin1 > smax2) in is_scalar_branch_taken()