Lines Matching refs:sval
9782 s32 sval = (s32)val; in is_branch32_taken() local
9806 if (reg->s32_min_value > sval) in is_branch32_taken()
9808 else if (reg->s32_max_value <= sval) in is_branch32_taken()
9818 if (reg->s32_max_value < sval) in is_branch32_taken()
9820 else if (reg->s32_min_value >= sval) in is_branch32_taken()
9830 if (reg->s32_min_value >= sval) in is_branch32_taken()
9832 else if (reg->s32_max_value < sval) in is_branch32_taken()
9842 if (reg->s32_max_value <= sval) in is_branch32_taken()
9844 else if (reg->s32_min_value > sval) in is_branch32_taken()
9855 s64 sval = (s64)val; in is_branch64_taken() local
9879 if (reg->smin_value > sval) in is_branch64_taken()
9881 else if (reg->smax_value <= sval) in is_branch64_taken()
9891 if (reg->smax_value < sval) in is_branch64_taken()
9893 else if (reg->smin_value >= sval) in is_branch64_taken()
9903 if (reg->smin_value >= sval) in is_branch64_taken()
9905 else if (reg->smax_value < sval) in is_branch64_taken()
9915 if (reg->smax_value <= sval) in is_branch64_taken()
9917 else if (reg->smin_value > sval) in is_branch64_taken()
10035 s64 sval = (s64)val; in reg_set_min_max() local
10118 s64 false_smax = opcode == BPF_JSGT ? sval : sval - 1; in reg_set_min_max()
10119 s64 true_smin = opcode == BPF_JSGT ? sval + 1 : sval; in reg_set_min_max()
10156 s64 false_smin = opcode == BPF_JSLT ? sval : sval + 1; in reg_set_min_max()
10157 s64 true_smax = opcode == BPF_JSLT ? sval - 1 : sval; in reg_set_min_max()