5325 static void reg_set_min_max(struct bpf_reg_state *true_reg,  in reg_set_min_max()  argument
5348 			opcode == BPF_JEQ ? true_reg : false_reg;  in reg_set_min_max()
5369 			true_reg->var_off = tnum_or(true_reg->var_off,  in reg_set_min_max()
5380 			true_umin += gen_hi_min(true_reg->var_off);  in reg_set_min_max()
5383 		true_reg->umin_value = max(true_reg->umin_value, true_umin);  in reg_set_min_max()
5398 		true_reg->smin_value = max(true_reg->smin_value, true_smin);  in reg_set_min_max()
5409 			true_umax += gen_hi_max(true_reg->var_off);  in reg_set_min_max()
5412 		true_reg->umax_value = min(true_reg->umax_value, true_umax);  in reg_set_min_max()
5424 		true_reg->smax_value = min(true_reg->smax_value, true_smax);  in reg_set_min_max()
5432 	__reg_deduce_bounds(true_reg);  in reg_set_min_max()
5435 	__reg_bound_offset(true_reg);  in reg_set_min_max()
5441 	__update_reg_bounds(true_reg);  in reg_set_min_max()
5447 static void reg_set_min_max_inv(struct bpf_reg_state *true_reg,  in reg_set_min_max_inv()  argument
5464 			opcode == BPF_JEQ ? true_reg : false_reg;  in reg_set_min_max_inv()
5481 			true_reg->var_off = tnum_or(true_reg->var_off,  in reg_set_min_max_inv()
5492 			true_umax += gen_hi_max(true_reg->var_off);  in reg_set_min_max_inv()
5495 		true_reg->umax_value = min(true_reg->umax_value, true_umax);  in reg_set_min_max_inv()
5507 		true_reg->smax_value = min(true_reg->smax_value, true_smax);  in reg_set_min_max_inv()
5518 			true_umin += gen_hi_min(true_reg->var_off);  in reg_set_min_max_inv()
5521 		true_reg->umin_value = max(true_reg->umin_value, true_umin);  in reg_set_min_max_inv()
5533 		true_reg->smin_value = max(true_reg->smin_value, true_smin);  in reg_set_min_max_inv()
5541 	__reg_deduce_bounds(true_reg);  in reg_set_min_max_inv()
5544 	__reg_bound_offset(true_reg);  in reg_set_min_max_inv()
5550 	__update_reg_bounds(true_reg);  in reg_set_min_max_inv()