let cond_bitmap = coverage_context

.try_get_mcdc_condition_bitmap(&instance, decision_depth)

.expect("mcdc cond bitmap should have been allocated for merging into the global bitmap");

let bitmap_bytes = bx.tcx().coverage_ids_info(instance.def).mcdc_bitmap_bytes;

let bitmap_bytes = function_coverage_info.mcdc_bitmap_bytes;

assert!(bitmap_idx < bitmap_bytes, "bitmap index of the decision out of range");

assert!(

bitmap_bytes <= function_coverage_info.mcdc_bitmap_bytes,

"bitmap length disagreement: query says {bitmap_bytes} but function info only has {}",

function_coverage_info.mcdc_bitmap_bytes

);

let fn_name = bx.get_pgo_func_name_var(instance);

let hash = bx.const_u64(function_coverage_info.function_source_hash);

/// InstrumentCoverage MIR pass, if the highest-numbered counter increments

/// were removed by MIR optimizations.

pub max_counter_id: mir::coverage::CounterId,

/// Coverage codegen for mcdc needs to know the size of the global bitmap so that it can

/// set the `bytemap-bytes` argument of the `llvm.instrprof.mcdc.tvbitmap.update` intrinsic.

pub mcdc_bitmap_bytes: u32,

}

.max()

.unwrap_or(CounterId::ZERO);

let mcdc_bitmap_bytes = mir_body

.coverage_branch_info

.as_deref()

.map(|info| {

info.mcdc_decision_spans

.iter()

.fold(0, |acc, decision| acc + (1_u32 << decision.conditions_num).div_ceil(8))

})

.unwrap_or_default();

CoverageIdsInfo { max_counter_id, mcdc_bitmap_bytes }

CoverageIdsInfo { max_counter_id }

}

fn all_coverage_in_mir_body<'a, 'tcx>(