Lines Matching refs:sval
9497 s32 sval = (s32)val; in is_branch32_taken() local
9521 if (reg->s32_min_value > sval) in is_branch32_taken()
9523 else if (reg->s32_max_value <= sval) in is_branch32_taken()
9533 if (reg->s32_max_value < sval) in is_branch32_taken()
9535 else if (reg->s32_min_value >= sval) in is_branch32_taken()
9545 if (reg->s32_min_value >= sval) in is_branch32_taken()
9547 else if (reg->s32_max_value < sval) in is_branch32_taken()
9557 if (reg->s32_max_value <= sval) in is_branch32_taken()
9559 else if (reg->s32_min_value > sval) in is_branch32_taken()
9570 s64 sval = (s64)val; in is_branch64_taken() local
9594 if (reg->smin_value > sval) in is_branch64_taken()
9596 else if (reg->smax_value <= sval) in is_branch64_taken()
9606 if (reg->smax_value < sval) in is_branch64_taken()
9608 else if (reg->smin_value >= sval) in is_branch64_taken()
9618 if (reg->smin_value >= sval) in is_branch64_taken()
9620 else if (reg->smax_value < sval) in is_branch64_taken()
9630 if (reg->smax_value <= sval) in is_branch64_taken()
9632 else if (reg->smin_value > sval) in is_branch64_taken()
9750 s64 sval = (s64)val; in reg_set_min_max() local
9833 s64 false_smax = opcode == BPF_JSGT ? sval : sval - 1; in reg_set_min_max()
9834 s64 true_smin = opcode == BPF_JSGT ? sval + 1 : sval; in reg_set_min_max()
9871 s64 false_smin = opcode == BPF_JSLT ? sval : sval + 1; in reg_set_min_max()
9872 s64 true_smax = opcode == BPF_JSLT ? sval - 1 : sval; in reg_set_min_max()