Lines Matching refs:smin
294 verbose(env, " smin=%lld", reg->smin_value);
2187 * So we use these facts to derive umin/umax from smin/smax and vice
2191 * casting umin/umax as smin/smax and checking if they form valid
13365 s64 smin = reg->smin_value;
13373 if (smin == S64_MIN) {
13379 if (smin >= BPF_MAX_VAR_OFF || smin <= -BPF_MAX_VAR_OFF) {
13381 smin, reg_type_str(env, type));
13394 s64 smin = reg->smin_value;
13402 if (smin >= BPF_MAX_VAR_OFF || smin <= -BPF_MAX_VAR_OFF) {
13404 reg_type_str(env, type), smin);
14607 * extend subreg by doing <<32 s>>32. smin/smax assignments are correct
15566 /* constants, umin/umax and smin/smax checks would be
15592 /* constants, umin/umax and smin/smax checks would be