mcdc-coverage(codegen): Add MCDCTestVectorBitmapUpdate codegen implementation

Author: RenjiSann

compiler/rustc_codegen_llvm/src/coverageinfo/mod.rs

@@ -221,7 +221,33 @@ impl<'tcx> CoverageInfoBuilderMethods<'tcx> for Builder<'_, '_, 'tcx> {
                     cond_result,
                 )
             }
-            CoverageKind::MCDCTestBitmapUpdate { needed_bytes: _, decision_index: _ } => todo!(),
+            CoverageKind::MCDCTestVectorBitmapUpdate { needed_bytes, decision_index } => {
+                // Drop unused coverage_map, which prevents us to use bx.
+                drop(coverage_map);
+
+                let fn_name = bx.get_pgo_func_name_var(instance);
+                let hash = bx.const_u64(function_coverage_info.function_source_hash);
+                let needed_bytes = bx.const_u32(needed_bytes);
+                let bitmap_idx = bx.const_u32(decision_index);
+                let cond_bitmap_addr = match coverage_context
+                    .mcdc_condbitmap_map
+                    .borrow()
+                    .get(&instance)
+                {
+                    Some(addr) => *addr,
+                    None => bug!(
+                        "Condition bitmap reset instruction was encountered without a condition bitmap being declared."
+                    ),
+                };
+
+                bx.instrprof_mcdc_tvbitmap_update(
+                    fn_name,
+                    hash,
+                    needed_bytes,
+                    bitmap_idx,
+                    cond_bitmap_addr,
+                )
+            }
         }
     }
 }

compiler/rustc_middle/src/mir/coverage.rs

@@ -190,7 +190,7 @@ pub enum CoverageKind {
     MCDCCondBitmapUpdate { condition_id: u32, bool_value: bool },
 
     /// Marks a point where a bit of the global Test Vector bitmap should be set to one.
-    MCDCTestBitmapUpdate { needed_bytes: u32, decision_index: u32 },
+    MCDCTestVectorBitmapUpdate { needed_bytes: u32, decision_index: u32 },
 }
 
 impl Debug for CoverageKind {
@@ -228,7 +228,7 @@ impl Debug for CoverageKind {
             MCDCCondBitmapUpdate { condition_id, bool_value } => {
                 write!(fmt, "MCDCCondBitmapUpdate({condition_id}, {bool_value})")
             }
-            MCDCTestBitmapUpdate { needed_bytes, decision_index } => {
+            MCDCTestVectorBitmapUpdate { needed_bytes, decision_index } => {
                 write!(fmt, "MCDCTVBitmapUpdate({needed_bytes} bytes, {decision_index})")
             }
         }

compiler/rustc_mir_transform/src/coverage/spans/from_mir.rs

@@ -239,7 +239,7 @@ fn filtered_statement_span(statement: &Statement<'_>) -> Option<Span> {
             | CoverageKind::MCDCBitmapRequire { .. }
             | CoverageKind::MCDCCondBitmapReset
             | CoverageKind::MCDCCondBitmapUpdate { .. }
-            | CoverageKind::MCDCTestBitmapUpdate { .. }
+            | CoverageKind::MCDCTestVectorBitmapUpdate { .. }
         ) => bug!(
             "Unexpected coverage statement found during coverage instrumentation: {statement:?}"
         ),