Lines Matching refs:sval
6797 s32 sval = (s32)val; in is_branch32_taken() local
6821 if (reg->s32_min_value > sval) in is_branch32_taken()
6823 else if (reg->s32_max_value < sval) in is_branch32_taken()
6833 if (reg->s32_max_value < sval) in is_branch32_taken()
6835 else if (reg->s32_min_value >= sval) in is_branch32_taken()
6845 if (reg->s32_min_value >= sval) in is_branch32_taken()
6847 else if (reg->s32_max_value < sval) in is_branch32_taken()
6857 if (reg->s32_max_value <= sval) in is_branch32_taken()
6859 else if (reg->s32_min_value > sval) in is_branch32_taken()
6870 s64 sval = (s64)val; in is_branch64_taken() local
6894 if (reg->smin_value > sval) in is_branch64_taken()
6896 else if (reg->smax_value < sval) in is_branch64_taken()
6906 if (reg->smax_value < sval) in is_branch64_taken()
6908 else if (reg->smin_value >= sval) in is_branch64_taken()
6918 if (reg->smin_value >= sval) in is_branch64_taken()
6920 else if (reg->smax_value < sval) in is_branch64_taken()
6930 if (reg->smax_value <= sval) in is_branch64_taken()
6932 else if (reg->smin_value > sval) in is_branch64_taken()
6989 s64 sval = (s64)val; in reg_set_min_max() local
7065 s64 false_smax = opcode == BPF_JSGT ? sval : sval - 1; in reg_set_min_max()
7066 s64 true_smin = opcode == BPF_JSGT ? sval + 1 : sval; in reg_set_min_max()
7103 s64 false_smin = opcode == BPF_JSLT ? sval : sval + 1; in reg_set_min_max()
7104 s64 true_smax = opcode == BPF_JSLT ? sval - 1 : sval; in reg_set_min_max()