rustc_mir_transform/coverage/
query.rs1use rustc_hir::attrs::CoverageAttrKind;
2use rustc_hir::def::DefKind;
3use rustc_hir::{self as hir, find_attr};
4use rustc_index::bit_set::DenseBitSet;
5use rustc_middle::middle::codegen_fn_attrs::CodegenFnAttrFlags;
6use rustc_middle::mir::coverage::{BasicCoverageBlock, CoverageIdsInfo, CoverageKind, MappingKind};
7use rustc_middle::mir::{Body, Statement, StatementKind};
8use rustc_middle::ty::{self, TyCtxt};
9use rustc_middle::util::Providers;
10use rustc_span::def_id::LocalDefId;
11use tracing::trace;
12
13use crate::coverage::counters::node_flow::make_node_counters;
14use crate::coverage::counters::{CoverageCounters, transcribe_counters};
15
16pub(crate) fn provide(providers: &mut Providers) {
18 providers.hooks.is_eligible_for_coverage = is_eligible_for_coverage;
19 providers.queries.coverage_attr_on = coverage_attr_on;
20 providers.queries.coverage_ids_info = coverage_ids_info;
21}
22
23fn is_eligible_for_coverage(tcx: TyCtxt<'_>, def_id: LocalDefId) -> bool {
25 let def_kind = tcx.def_kind(def_id);
33 if !def_kind.is_fn_like() {
34 trace!("InstrumentCoverage skipped for {def_id:?} (not an fn-like)");
35 return false;
36 }
37
38 if matches!(def_kind, DefKind::Fn | DefKind::AssocFn)
43 && matches!(tcx.constness(def_id), hir::Constness::Const { always: true })
44 {
45 trace!("InstrumentCoverage skipped for {def_id:?} (comptime)");
46 return false;
47 }
48
49 if tcx.codegen_fn_attrs(def_id).flags.contains(CodegenFnAttrFlags::NAKED) {
50 trace!("InstrumentCoverage skipped for {def_id:?} (`#[naked]`)");
51 return false;
52 }
53
54 if !tcx.coverage_attr_on(def_id) {
55 trace!("InstrumentCoverage skipped for {def_id:?} (`#[coverage(off)]`)");
56 return false;
57 }
58
59 true
60}
61
62fn coverage_attr_on(tcx: TyCtxt<'_>, def_id: LocalDefId) -> bool {
64 if let Some(kind) = find_attr!(tcx, def_id, Coverage(kind) => kind) {
66 match kind {
67 CoverageAttrKind::On => return true,
68 CoverageAttrKind::Off => return false,
69 }
70 };
71
72 if tcx.is_automatically_derived(def_id.to_def_id()) {
78 return false;
79 }
80
81 match tcx.opt_local_parent(def_id) {
84 Some(parent) => tcx.coverage_attr_on(parent),
85 None => true,
88 }
89}
90
91fn coverage_ids_info<'tcx>(
93 tcx: TyCtxt<'tcx>,
94 instance_def: ty::InstanceKind<'tcx>,
95) -> Option<CoverageIdsInfo> {
96 let mir_body = tcx.instance_mir(instance_def);
97 let fn_cov_info = mir_body.function_coverage_info.as_deref()?;
98
99 let mut bcbs_seen = DenseBitSet::new_empty(fn_cov_info.priority_list.len());
102 for kind in all_coverage_in_mir_body(mir_body) {
103 match *kind {
104 CoverageKind::VirtualCounter { bcb } => {
105 bcbs_seen.insert(bcb);
106 }
107 _ => {}
108 }
109 }
110
111 let mut bcb_needs_counter =
115 DenseBitSet::<BasicCoverageBlock>::new_empty(fn_cov_info.priority_list.len());
116 for mapping in &fn_cov_info.mappings {
117 match mapping.kind {
118 MappingKind::Code { bcb } => {
119 bcb_needs_counter.insert(bcb);
120 }
121 MappingKind::Branch { true_bcb, false_bcb } => {
122 bcb_needs_counter.insert(true_bcb);
123 bcb_needs_counter.insert(false_bcb);
124 }
125 }
126 }
127
128 let mut priority_list = fn_cov_info.priority_list.clone();
130 debug_assert_eq!(priority_list[0], priority_list.iter().copied().max().unwrap());
133 assert!(!bcbs_seen.contains(priority_list[0]));
134 priority_list[1..].sort_by_key(|&bcb| !bcbs_seen.contains(bcb));
140
141 let node_counters = make_node_counters(&fn_cov_info.node_flow_data, &priority_list);
142 let coverage_counters = transcribe_counters(&node_counters, &bcb_needs_counter, &bcbs_seen);
143
144 let CoverageCounters {
145 phys_counter_for_node, next_counter_id, node_counters, expressions, ..
146 } = coverage_counters;
147
148 Some(CoverageIdsInfo {
149 num_counters: next_counter_id.as_u32(),
150 phys_counter_for_node,
151 term_for_bcb: node_counters,
152 expressions,
153 })
154}
155
156fn all_coverage_in_mir_body<'a, 'tcx>(
157 body: &'a Body<'tcx>,
158) -> impl Iterator<Item = &'a CoverageKind> {
159 body.basic_blocks.iter().flat_map(|bb_data| &bb_data.statements).filter_map(|statement| {
160 match statement.kind {
161 StatementKind::Coverage(ref kind) if !is_inlined(body, statement) => Some(kind),
162 _ => None,
163 }
164 })
165}
166
167fn is_inlined(body: &Body<'_>, statement: &Statement<'_>) -> bool {
168 let scope_data = &body.source_scopes[statement.source_info.scope];
169 scope_data.inlined.is_some() || scope_data.inlined_parent_scope.is_some()
170}