9741 static void reg_set_min_max(struct bpf_reg_state *true_reg,  in reg_set_min_max()  argument
9748 	struct tnum true_32off = tnum_subreg(true_reg->var_off);  in reg_set_min_max()
9749 	struct tnum true_64off = true_reg->var_off;  in reg_set_min_max()
9774 			__mark_reg32_known(true_reg, val32);  in reg_set_min_max()
9775 			true_32off = tnum_subreg(true_reg->var_off);  in reg_set_min_max()
9777 			___mark_reg_known(true_reg, val);  in reg_set_min_max()
9778 			true_64off = true_reg->var_off;  in reg_set_min_max()
9812 			true_reg->u32_min_value = max(true_reg->u32_min_value,  in reg_set_min_max()
9819 			true_reg->umin_value = max(true_reg->umin_value, true_umin);  in reg_set_min_max()
9831 			true_reg->s32_min_value = max(true_reg->s32_min_value, true_smin);  in reg_set_min_max()
9837 			true_reg->smin_value = max(true_reg->smin_value, true_smin);  in reg_set_min_max()
9850 			true_reg->u32_max_value = min(true_reg->u32_max_value,  in reg_set_min_max()
9857 			true_reg->umax_value = min(true_reg->umax_value, true_umax);  in reg_set_min_max()
9869 			true_reg->s32_max_value = min(true_reg->s32_max_value, true_smax);  in reg_set_min_max()
9875 			true_reg->smax_value = min(true_reg->smax_value, true_smax);  in reg_set_min_max()
9886 		true_reg->var_off = tnum_or(tnum_clear_subreg(true_64off),  in reg_set_min_max()
9889 		__reg_combine_32_into_64(true_reg);  in reg_set_min_max()
9892 		true_reg->var_off = true_64off;  in reg_set_min_max()
9894 		__reg_combine_64_into_32(true_reg);  in reg_set_min_max()
9901 static void reg_set_min_max_inv(struct bpf_reg_state *true_reg,  in reg_set_min_max_inv()  argument
9911 		reg_set_min_max(true_reg, false_reg, val, val32, opcode, is_jmp32);  in reg_set_min_max_inv()