coverage: Rename CoverageSpans
to ExtractedMappings
This commit is contained in:
parent
84cedbec9d
commit
56c6288c6f
@ -53,7 +53,7 @@ pub(super) struct MCDCDecision {
|
|||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Default)]
|
#[derive(Default)]
|
||||||
pub(super) struct CoverageSpans {
|
pub(super) struct ExtractedMappings {
|
||||||
pub(super) code_mappings: Vec<CodeMapping>,
|
pub(super) code_mappings: Vec<CodeMapping>,
|
||||||
pub(super) branch_pairs: Vec<BranchPair>,
|
pub(super) branch_pairs: Vec<BranchPair>,
|
||||||
pub(super) mcdc_bitmap_bytes: u32,
|
pub(super) mcdc_bitmap_bytes: u32,
|
||||||
@ -63,17 +63,17 @@ pub(super) struct CoverageSpans {
|
|||||||
|
|
||||||
/// Extracts coverage-relevant spans from MIR, and associates them with
|
/// Extracts coverage-relevant spans from MIR, and associates them with
|
||||||
/// their corresponding BCBs.
|
/// their corresponding BCBs.
|
||||||
pub(super) fn generate_coverage_spans(
|
pub(super) fn extract_all_mapping_info_from_mir(
|
||||||
mir_body: &mir::Body<'_>,
|
mir_body: &mir::Body<'_>,
|
||||||
hir_info: &ExtractedHirInfo,
|
hir_info: &ExtractedHirInfo,
|
||||||
basic_coverage_blocks: &CoverageGraph,
|
basic_coverage_blocks: &CoverageGraph,
|
||||||
) -> CoverageSpans {
|
) -> ExtractedMappings {
|
||||||
if hir_info.is_async_fn {
|
if hir_info.is_async_fn {
|
||||||
// An async function desugars into a function that returns a future,
|
// An async function desugars into a function that returns a future,
|
||||||
// with the user code wrapped in a closure. Any spans in the desugared
|
// with the user code wrapped in a closure. Any spans in the desugared
|
||||||
// outer function will be unhelpful, so just keep the signature span
|
// outer function will be unhelpful, so just keep the signature span
|
||||||
// and ignore all of the spans in the MIR body.
|
// and ignore all of the spans in the MIR body.
|
||||||
let mut mappings = CoverageSpans::default();
|
let mut mappings = ExtractedMappings::default();
|
||||||
if let Some(span) = hir_info.fn_sig_span_extended {
|
if let Some(span) = hir_info.fn_sig_span_extended {
|
||||||
mappings.code_mappings.push(CodeMapping { span, bcb: START_BCB });
|
mappings.code_mappings.push(CodeMapping { span, bcb: START_BCB });
|
||||||
}
|
}
|
||||||
@ -99,10 +99,16 @@ pub(super) fn generate_coverage_spans(
|
|||||||
&mut mcdc_decisions,
|
&mut mcdc_decisions,
|
||||||
);
|
);
|
||||||
|
|
||||||
CoverageSpans { code_mappings, branch_pairs, mcdc_bitmap_bytes, mcdc_branches, mcdc_decisions }
|
ExtractedMappings {
|
||||||
|
code_mappings,
|
||||||
|
branch_pairs,
|
||||||
|
mcdc_bitmap_bytes,
|
||||||
|
mcdc_branches,
|
||||||
|
mcdc_decisions,
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
impl CoverageSpans {
|
impl ExtractedMappings {
|
||||||
pub(super) fn all_bcbs_with_counter_mappings(
|
pub(super) fn all_bcbs_with_counter_mappings(
|
||||||
&self,
|
&self,
|
||||||
basic_coverage_blocks: &CoverageGraph, // Only used for allocating a correctly-sized set
|
basic_coverage_blocks: &CoverageGraph, // Only used for allocating a correctly-sized set
|
||||||
|
@ -9,7 +9,7 @@ mod tests;
|
|||||||
|
|
||||||
use self::counters::{CounterIncrementSite, CoverageCounters};
|
use self::counters::{CounterIncrementSite, CoverageCounters};
|
||||||
use self::graph::{BasicCoverageBlock, CoverageGraph};
|
use self::graph::{BasicCoverageBlock, CoverageGraph};
|
||||||
use self::mappings::CoverageSpans;
|
use self::mappings::ExtractedMappings;
|
||||||
|
|
||||||
use crate::MirPass;
|
use crate::MirPass;
|
||||||
|
|
||||||
@ -69,9 +69,9 @@ fn instrument_function_for_coverage<'tcx>(tcx: TyCtxt<'tcx>, mir_body: &mut mir:
|
|||||||
let basic_coverage_blocks = CoverageGraph::from_mir(mir_body);
|
let basic_coverage_blocks = CoverageGraph::from_mir(mir_body);
|
||||||
|
|
||||||
////////////////////////////////////////////////////
|
////////////////////////////////////////////////////
|
||||||
// Compute coverage spans from the `CoverageGraph`.
|
// Extract coverage spans and other mapping info from MIR.
|
||||||
let coverage_spans =
|
let extracted_mappings =
|
||||||
mappings::generate_coverage_spans(mir_body, &hir_info, &basic_coverage_blocks);
|
mappings::extract_all_mapping_info_from_mir(mir_body, &hir_info, &basic_coverage_blocks);
|
||||||
|
|
||||||
////////////////////////////////////////////////////
|
////////////////////////////////////////////////////
|
||||||
// Create an optimized mix of `Counter`s and `Expression`s for the `CoverageGraph`. Ensure
|
// Create an optimized mix of `Counter`s and `Expression`s for the `CoverageGraph`. Ensure
|
||||||
@ -79,7 +79,7 @@ fn instrument_function_for_coverage<'tcx>(tcx: TyCtxt<'tcx>, mir_body: &mut mir:
|
|||||||
// and all `Expression` dependencies (operands) are also generated, for any other
|
// and all `Expression` dependencies (operands) are also generated, for any other
|
||||||
// `BasicCoverageBlock`s not already associated with a coverage span.
|
// `BasicCoverageBlock`s not already associated with a coverage span.
|
||||||
let bcbs_with_counter_mappings =
|
let bcbs_with_counter_mappings =
|
||||||
coverage_spans.all_bcbs_with_counter_mappings(&basic_coverage_blocks);
|
extracted_mappings.all_bcbs_with_counter_mappings(&basic_coverage_blocks);
|
||||||
if bcbs_with_counter_mappings.is_empty() {
|
if bcbs_with_counter_mappings.is_empty() {
|
||||||
// No relevant spans were found in MIR, so skip instrumenting this function.
|
// No relevant spans were found in MIR, so skip instrumenting this function.
|
||||||
return;
|
return;
|
||||||
@ -89,7 +89,7 @@ fn instrument_function_for_coverage<'tcx>(tcx: TyCtxt<'tcx>, mir_body: &mut mir:
|
|||||||
let coverage_counters =
|
let coverage_counters =
|
||||||
CoverageCounters::make_bcb_counters(&basic_coverage_blocks, bcb_has_counter_mappings);
|
CoverageCounters::make_bcb_counters(&basic_coverage_blocks, bcb_has_counter_mappings);
|
||||||
|
|
||||||
let mappings = create_mappings(tcx, &hir_info, &coverage_spans, &coverage_counters);
|
let mappings = create_mappings(tcx, &hir_info, &extracted_mappings, &coverage_counters);
|
||||||
if mappings.is_empty() {
|
if mappings.is_empty() {
|
||||||
// No spans could be converted into valid mappings, so skip this function.
|
// No spans could be converted into valid mappings, so skip this function.
|
||||||
debug!("no spans could be converted into valid mappings; skipping");
|
debug!("no spans could be converted into valid mappings; skipping");
|
||||||
@ -103,9 +103,9 @@ fn instrument_function_for_coverage<'tcx>(tcx: TyCtxt<'tcx>, mir_body: &mut mir:
|
|||||||
&coverage_counters,
|
&coverage_counters,
|
||||||
);
|
);
|
||||||
|
|
||||||
inject_mcdc_statements(mir_body, &basic_coverage_blocks, &coverage_spans);
|
inject_mcdc_statements(mir_body, &basic_coverage_blocks, &extracted_mappings);
|
||||||
|
|
||||||
let mcdc_num_condition_bitmaps = coverage_spans
|
let mcdc_num_condition_bitmaps = extracted_mappings
|
||||||
.mcdc_decisions
|
.mcdc_decisions
|
||||||
.iter()
|
.iter()
|
||||||
.map(|&mappings::MCDCDecision { decision_depth, .. }| decision_depth)
|
.map(|&mappings::MCDCDecision { decision_depth, .. }| decision_depth)
|
||||||
@ -115,7 +115,7 @@ fn instrument_function_for_coverage<'tcx>(tcx: TyCtxt<'tcx>, mir_body: &mut mir:
|
|||||||
mir_body.function_coverage_info = Some(Box::new(FunctionCoverageInfo {
|
mir_body.function_coverage_info = Some(Box::new(FunctionCoverageInfo {
|
||||||
function_source_hash: hir_info.function_source_hash,
|
function_source_hash: hir_info.function_source_hash,
|
||||||
num_counters: coverage_counters.num_counters(),
|
num_counters: coverage_counters.num_counters(),
|
||||||
mcdc_bitmap_bytes: coverage_spans.mcdc_bitmap_bytes,
|
mcdc_bitmap_bytes: extracted_mappings.mcdc_bitmap_bytes,
|
||||||
expressions: coverage_counters.into_expressions(),
|
expressions: coverage_counters.into_expressions(),
|
||||||
mappings,
|
mappings,
|
||||||
mcdc_num_condition_bitmaps,
|
mcdc_num_condition_bitmaps,
|
||||||
@ -130,7 +130,7 @@ fn instrument_function_for_coverage<'tcx>(tcx: TyCtxt<'tcx>, mir_body: &mut mir:
|
|||||||
fn create_mappings<'tcx>(
|
fn create_mappings<'tcx>(
|
||||||
tcx: TyCtxt<'tcx>,
|
tcx: TyCtxt<'tcx>,
|
||||||
hir_info: &ExtractedHirInfo,
|
hir_info: &ExtractedHirInfo,
|
||||||
coverage_spans: &CoverageSpans,
|
extracted_mappings: &ExtractedMappings,
|
||||||
coverage_counters: &CoverageCounters,
|
coverage_counters: &CoverageCounters,
|
||||||
) -> Vec<Mapping> {
|
) -> Vec<Mapping> {
|
||||||
let source_map = tcx.sess.source_map();
|
let source_map = tcx.sess.source_map();
|
||||||
@ -152,13 +152,13 @@ fn create_mappings<'tcx>(
|
|||||||
let region_for_span = |span: Span| make_code_region(source_map, file_name, span, body_span);
|
let region_for_span = |span: Span| make_code_region(source_map, file_name, span, body_span);
|
||||||
|
|
||||||
// Fully destructure the mappings struct to make sure we don't miss any kinds.
|
// Fully destructure the mappings struct to make sure we don't miss any kinds.
|
||||||
let CoverageSpans {
|
let ExtractedMappings {
|
||||||
code_mappings,
|
code_mappings,
|
||||||
branch_pairs,
|
branch_pairs,
|
||||||
mcdc_bitmap_bytes: _,
|
mcdc_bitmap_bytes: _,
|
||||||
mcdc_branches,
|
mcdc_branches,
|
||||||
mcdc_decisions,
|
mcdc_decisions,
|
||||||
} = coverage_spans;
|
} = extracted_mappings;
|
||||||
let mut mappings = Vec::new();
|
let mut mappings = Vec::new();
|
||||||
|
|
||||||
mappings.extend(code_mappings.iter().filter_map(
|
mappings.extend(code_mappings.iter().filter_map(
|
||||||
@ -261,7 +261,7 @@ fn inject_coverage_statements<'tcx>(
|
|||||||
fn inject_mcdc_statements<'tcx>(
|
fn inject_mcdc_statements<'tcx>(
|
||||||
mir_body: &mut mir::Body<'tcx>,
|
mir_body: &mut mir::Body<'tcx>,
|
||||||
basic_coverage_blocks: &CoverageGraph,
|
basic_coverage_blocks: &CoverageGraph,
|
||||||
coverage_spans: &CoverageSpans,
|
extracted_mappings: &ExtractedMappings,
|
||||||
) {
|
) {
|
||||||
// Inject test vector update first because `inject_statement` always insert new statement at head.
|
// Inject test vector update first because `inject_statement` always insert new statement at head.
|
||||||
for &mappings::MCDCDecision {
|
for &mappings::MCDCDecision {
|
||||||
@ -270,7 +270,7 @@ fn inject_mcdc_statements<'tcx>(
|
|||||||
bitmap_idx,
|
bitmap_idx,
|
||||||
conditions_num: _,
|
conditions_num: _,
|
||||||
decision_depth,
|
decision_depth,
|
||||||
} in &coverage_spans.mcdc_decisions
|
} in &extracted_mappings.mcdc_decisions
|
||||||
{
|
{
|
||||||
for end in end_bcbs {
|
for end in end_bcbs {
|
||||||
let end_bb = basic_coverage_blocks[*end].leader_bb();
|
let end_bb = basic_coverage_blocks[*end].leader_bb();
|
||||||
@ -283,7 +283,7 @@ fn inject_mcdc_statements<'tcx>(
|
|||||||
}
|
}
|
||||||
|
|
||||||
for &mappings::MCDCBranch { span: _, true_bcb, false_bcb, condition_info, decision_depth } in
|
for &mappings::MCDCBranch { span: _, true_bcb, false_bcb, condition_info, decision_depth } in
|
||||||
&coverage_spans.mcdc_branches
|
&extracted_mappings.mcdc_branches
|
||||||
{
|
{
|
||||||
let Some(condition_info) = condition_info else { continue };
|
let Some(condition_info) = condition_info else { continue };
|
||||||
let id = condition_info.condition_id;
|
let id = condition_info.condition_id;
|
||||||
|
Loading…
x
Reference in New Issue
Block a user