Lines Matching refs:sval
13386 s32 sval = (s32)val; in is_branch32_taken() local
13414 if (reg->s32_min_value > sval) in is_branch32_taken()
13416 else if (reg->s32_max_value <= sval) in is_branch32_taken()
13426 if (reg->s32_max_value < sval) in is_branch32_taken()
13428 else if (reg->s32_min_value >= sval) in is_branch32_taken()
13438 if (reg->s32_min_value >= sval) in is_branch32_taken()
13440 else if (reg->s32_max_value < sval) in is_branch32_taken()
13450 if (reg->s32_max_value <= sval) in is_branch32_taken()
13452 else if (reg->s32_min_value > sval) in is_branch32_taken()
13463 s64 sval = (s64)val; in is_branch64_taken() local
13491 if (reg->smin_value > sval) in is_branch64_taken()
13493 else if (reg->smax_value <= sval) in is_branch64_taken()
13503 if (reg->smax_value < sval) in is_branch64_taken()
13505 else if (reg->smin_value >= sval) in is_branch64_taken()
13515 if (reg->smin_value >= sval) in is_branch64_taken()
13517 else if (reg->smax_value < sval) in is_branch64_taken()
13527 if (reg->smax_value <= sval) in is_branch64_taken()
13529 else if (reg->smin_value > sval) in is_branch64_taken()
13647 s64 sval = (s64)val; in reg_set_min_max() local
13730 s64 false_smax = opcode == BPF_JSGT ? sval : sval - 1; in reg_set_min_max()
13731 s64 true_smin = opcode == BPF_JSGT ? sval + 1 : sval; in reg_set_min_max()
13768 s64 false_smin = opcode == BPF_JSLT ? sval : sval + 1; in reg_set_min_max()
13769 s64 true_smax = opcode == BPF_JSLT ? sval - 1 : sval; in reg_set_min_max()