Use set_val_label before every def_var

Author: bjorn3

src/intrinsics.rs

@@ -625,6 +625,7 @@ pub fn codegen_intrinsic_call<'tcx>(
                         }
                         _ => panic!("clif_type returned {}", clif_ty),
                     };
+                    fx.bcx.set_val_label(val, cranelift::codegen::ir::ValueLabel::from_u32(var.as_u32()));
                     fx.bcx.def_var(mir_var(var), val);
                 }
                 _ => {
@@ -656,6 +657,7 @@ pub fn codegen_intrinsic_call<'tcx>(
                         }
                         _ => panic!("clif_type returned {}", clif_ty),
                     };
+                    fx.bcx.set_val_label(val, cranelift::codegen::ir::ValueLabel::from_u32(var.as_u32()));
                     fx.bcx.def_var(mir_var(var), val);
                 }
                 CPlaceInner::Addr(_, _) | CPlaceInner::Stack(_) => {

src/value_and_place.rs

@@ -423,6 +423,7 @@ impl<'tcx> CPlace<'tcx> {
         let addr = match self.inner {
             CPlaceInner::Var(var) => {
                 let data = from.load_scalar(fx);
+                fx.bcx.set_val_label(data, cranelift::codegen::ir::ValueLabel::from_u32(var.as_u32()));
                 fx.bcx.def_var(mir_var(var), data);
                 return;
             }