Lines Matching refs:sval
8501 s32 sval = (s32)val; in is_branch32_taken() local
8525 if (reg->s32_min_value > sval) in is_branch32_taken()
8527 else if (reg->s32_max_value <= sval) in is_branch32_taken()
8537 if (reg->s32_max_value < sval) in is_branch32_taken()
8539 else if (reg->s32_min_value >= sval) in is_branch32_taken()
8549 if (reg->s32_min_value >= sval) in is_branch32_taken()
8551 else if (reg->s32_max_value < sval) in is_branch32_taken()
8561 if (reg->s32_max_value <= sval) in is_branch32_taken()
8563 else if (reg->s32_min_value > sval) in is_branch32_taken()
8574 s64 sval = (s64)val; in is_branch64_taken() local
8598 if (reg->smin_value > sval) in is_branch64_taken()
8600 else if (reg->smax_value <= sval) in is_branch64_taken()
8610 if (reg->smax_value < sval) in is_branch64_taken()
8612 else if (reg->smin_value >= sval) in is_branch64_taken()
8622 if (reg->smin_value >= sval) in is_branch64_taken()
8624 else if (reg->smax_value < sval) in is_branch64_taken()
8634 if (reg->smax_value <= sval) in is_branch64_taken()
8636 else if (reg->smin_value > sval) in is_branch64_taken()
8754 s64 sval = (s64)val; in reg_set_min_max() local
8830 s64 false_smax = opcode == BPF_JSGT ? sval : sval - 1; in reg_set_min_max()
8831 s64 true_smin = opcode == BPF_JSGT ? sval + 1 : sval; in reg_set_min_max()
8868 s64 false_smin = opcode == BPF_JSLT ? sval : sval + 1; in reg_set_min_max()
8869 s64 true_smax = opcode == BPF_JSLT ? sval - 1 : sval; in reg_set_min_max()