3473 static void reg_set_min_max(struct bpf_reg_state *true_reg,  in reg_set_min_max()  argument
3491 		__mark_reg_known(true_reg, val);  in reg_set_min_max()
3501 		true_reg->umin_value = max(true_reg->umin_value, val + 1);  in reg_set_min_max()
3505 		true_reg->smin_value = max_t(s64, true_reg->smin_value, val + 1);  in reg_set_min_max()
3509 		true_reg->umax_value = min(true_reg->umax_value, val - 1);  in reg_set_min_max()
3513 		true_reg->smax_value = min_t(s64, true_reg->smax_value, val - 1);  in reg_set_min_max()
3517 		true_reg->umin_value = max(true_reg->umin_value, val);  in reg_set_min_max()
3521 		true_reg->smin_value = max_t(s64, true_reg->smin_value, val);  in reg_set_min_max()
3525 		true_reg->umax_value = min(true_reg->umax_value, val);  in reg_set_min_max()
3529 		true_reg->smax_value = min_t(s64, true_reg->smax_value, val);  in reg_set_min_max()
3536 	__reg_deduce_bounds(true_reg);  in reg_set_min_max()
3539 	__reg_bound_offset(true_reg);  in reg_set_min_max()
3545 	__update_reg_bounds(true_reg);  in reg_set_min_max()
3551 static void reg_set_min_max_inv(struct bpf_reg_state *true_reg,  in reg_set_min_max_inv()  argument
3563 		__mark_reg_known(true_reg, val);  in reg_set_min_max_inv()
3572 		true_reg->umax_value = min(true_reg->umax_value, val - 1);  in reg_set_min_max_inv()
3576 		true_reg->smax_value = min_t(s64, true_reg->smax_value, val - 1);  in reg_set_min_max_inv()
3580 		true_reg->umin_value = max(true_reg->umin_value, val + 1);  in reg_set_min_max_inv()
3584 		true_reg->smin_value = max_t(s64, true_reg->smin_value, val + 1);  in reg_set_min_max_inv()
3588 		true_reg->umax_value = min(true_reg->umax_value, val);  in reg_set_min_max_inv()
3592 		true_reg->smax_value = min_t(s64, true_reg->smax_value, val);  in reg_set_min_max_inv()
3596 		true_reg->umin_value = max(true_reg->umin_value, val);  in reg_set_min_max_inv()
3600 		true_reg->smin_value = max_t(s64, true_reg->smin_value, val);  in reg_set_min_max_inv()
3608 	__reg_deduce_bounds(true_reg);  in reg_set_min_max_inv()
3611 	__reg_bound_offset(true_reg);  in reg_set_min_max_inv()
3617 	__update_reg_bounds(true_reg);  in reg_set_min_max_inv()