2020-11-12 16:08:42 -08:00
|
|
|
//! This crate hosts a selection of "unit tests" for components of the `InstrumentCoverage` MIR
|
|
|
|
//! pass.
|
|
|
|
//!
|
2021-04-26 02:45:46 -07:00
|
|
|
//! ```shell
|
|
|
|
//! ./x.py test --keep-stage 1 compiler/rustc_mir --test-args '--show-output coverage'
|
|
|
|
//! ```
|
|
|
|
//!
|
2020-11-12 16:08:42 -08:00
|
|
|
//! The tests construct a few "mock" objects, as needed, to support the `InstrumentCoverage`
|
|
|
|
//! functions and algorithms. Mocked objects include instances of `mir::Body`; including
|
|
|
|
//! `Terminator`s of various `kind`s, and `Span` objects. Some functions used by or used on
|
|
|
|
//! real, runtime versions of these mocked-up objects have constraints (such as cross-thread
|
|
|
|
//! limitations) and deep dependencies on other elements of the full Rust compiler (which is
|
|
|
|
//! *not* constructed or mocked for these tests).
|
|
|
|
//!
|
|
|
|
//! Of particular note, attempting to simply print elements of the `mir::Body` with default
|
|
|
|
//! `Debug` formatting can fail because some `Debug` format implementations require the
|
|
|
|
//! `TyCtxt`, obtained via a static global variable that is *not* set for these tests.
|
|
|
|
//! Initializing the global type context is prohibitively complex for the scope and scale of these
|
|
|
|
//! tests (essentially requiring initializing the entire compiler).
|
|
|
|
//!
|
|
|
|
//! Also note, some basic features of `Span` also rely on the `Span`s own "session globals", which
|
|
|
|
//! are unrelated to the `TyCtxt` global. Without initializing the `Span` session globals, some
|
|
|
|
//! basic, coverage-specific features would be impossible to test, but thankfully initializing these
|
2021-04-19 15:57:08 +03:00
|
|
|
//! globals is comparatively simpler. The easiest way is to wrap the test in a closure argument
|
2021-05-05 21:31:25 +02:00
|
|
|
//! to: `rustc_span::create_default_session_globals_then(|| { test_here(); })`.
|
2020-11-12 16:08:42 -08:00
|
|
|
|
|
|
|
use super::counters;
|
2023-09-17 22:22:21 +10:00
|
|
|
use super::graph::{self, BasicCoverageBlock};
|
2020-11-02 21:32:48 -08:00
|
|
|
|
2022-01-22 12:12:12 +01:00
|
|
|
use itertools::Itertools;
|
2020-11-02 21:32:48 -08:00
|
|
|
use rustc_data_structures::graph::WithNumNodes;
|
|
|
|
use rustc_data_structures::graph::WithSuccessors;
|
2023-04-19 10:57:17 +00:00
|
|
|
use rustc_index::{Idx, IndexVec};
|
2020-11-02 21:32:48 -08:00
|
|
|
use rustc_middle::mir::*;
|
2022-12-03 16:03:27 -08:00
|
|
|
use rustc_middle::ty;
|
2023-11-10 10:11:24 +08:00
|
|
|
use rustc_span::{BytePos, Pos, Span, DUMMY_SP};
|
2020-11-02 21:32:48 -08:00
|
|
|
|
2023-12-07 11:12:48 +11:00
|
|
|
fn bcb(index: u32) -> BasicCoverageBlock {
|
|
|
|
BasicCoverageBlock::from_u32(index)
|
|
|
|
}
|
|
|
|
|
2020-11-13 09:02:25 -08:00
|
|
|
// All `TEMP_BLOCK` targets should be replaced before calling `to_body() -> mir::Body`.
|
|
|
|
const TEMP_BLOCK: BasicBlock = BasicBlock::MAX;
|
|
|
|
|
2020-11-02 21:32:48 -08:00
|
|
|
struct MockBlocks<'tcx> {
|
|
|
|
blocks: IndexVec<BasicBlock, BasicBlockData<'tcx>>,
|
|
|
|
dummy_place: Place<'tcx>,
|
|
|
|
next_local: usize,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'tcx> MockBlocks<'tcx> {
|
|
|
|
fn new() -> Self {
|
|
|
|
Self {
|
|
|
|
blocks: IndexVec::new(),
|
|
|
|
dummy_place: Place { local: RETURN_PLACE, projection: ty::List::empty() },
|
|
|
|
next_local: 0,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn new_temp(&mut self) -> Local {
|
|
|
|
let index = self.next_local;
|
|
|
|
self.next_local += 1;
|
|
|
|
Local::new(index)
|
|
|
|
}
|
|
|
|
|
2020-11-12 16:08:42 -08:00
|
|
|
fn push(&mut self, kind: TerminatorKind<'tcx>) -> BasicBlock {
|
2023-03-29 00:04:14 -07:00
|
|
|
let next_lo = if let Some(last) = self.blocks.last_index() {
|
2020-11-12 16:08:42 -08:00
|
|
|
self.blocks[last].terminator().source_info.span.hi()
|
|
|
|
} else {
|
|
|
|
BytePos(1)
|
|
|
|
};
|
|
|
|
let next_hi = next_lo + BytePos(1);
|
2020-11-02 21:32:48 -08:00
|
|
|
self.blocks.push(BasicBlockData {
|
2020-11-12 16:08:42 -08:00
|
|
|
statements: vec![],
|
|
|
|
terminator: Some(Terminator {
|
|
|
|
source_info: SourceInfo::outermost(Span::with_root_ctxt(next_lo, next_hi)),
|
|
|
|
kind,
|
|
|
|
}),
|
2020-11-02 21:32:48 -08:00
|
|
|
is_cleanup: false,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
|
|
|
fn link(&mut self, from_block: BasicBlock, to_block: BasicBlock) {
|
|
|
|
match self.blocks[from_block].terminator_mut().kind {
|
|
|
|
TerminatorKind::Assert { ref mut target, .. }
|
2022-04-16 09:27:54 -04:00
|
|
|
| TerminatorKind::Call { target: Some(ref mut target), .. }
|
2020-11-02 21:32:48 -08:00
|
|
|
| TerminatorKind::Drop { ref mut target, .. }
|
|
|
|
| TerminatorKind::FalseEdge { real_target: ref mut target, .. }
|
|
|
|
| TerminatorKind::FalseUnwind { real_target: ref mut target, .. }
|
|
|
|
| TerminatorKind::Goto { ref mut target }
|
|
|
|
| TerminatorKind::InlineAsm { destination: Some(ref mut target), .. }
|
|
|
|
| TerminatorKind::Yield { resume: ref mut target, .. } => *target = to_block,
|
|
|
|
ref invalid => bug!("Invalid from_block: {:?}", invalid),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn add_block_from(
|
|
|
|
&mut self,
|
|
|
|
some_from_block: Option<BasicBlock>,
|
|
|
|
to_kind: TerminatorKind<'tcx>,
|
|
|
|
) -> BasicBlock {
|
2020-11-12 16:08:42 -08:00
|
|
|
let new_block = self.push(to_kind);
|
2020-11-02 21:32:48 -08:00
|
|
|
if let Some(from_block) = some_from_block {
|
|
|
|
self.link(from_block, new_block);
|
|
|
|
}
|
|
|
|
new_block
|
|
|
|
}
|
|
|
|
|
|
|
|
fn set_branch(&mut self, switchint: BasicBlock, branch_index: usize, to_block: BasicBlock) {
|
|
|
|
match self.blocks[switchint].terminator_mut().kind {
|
|
|
|
TerminatorKind::SwitchInt { ref mut targets, .. } => {
|
|
|
|
let mut branches = targets.iter().collect::<Vec<_>>();
|
|
|
|
let otherwise = if branch_index == branches.len() {
|
|
|
|
to_block
|
|
|
|
} else {
|
|
|
|
let old_otherwise = targets.otherwise();
|
|
|
|
if branch_index > branches.len() {
|
|
|
|
branches.push((branches.len() as u128, old_otherwise));
|
|
|
|
while branches.len() < branch_index {
|
2020-11-13 09:02:25 -08:00
|
|
|
branches.push((branches.len() as u128, TEMP_BLOCK));
|
2020-11-02 21:32:48 -08:00
|
|
|
}
|
|
|
|
to_block
|
|
|
|
} else {
|
|
|
|
branches[branch_index] = (branch_index as u128, to_block);
|
|
|
|
old_otherwise
|
|
|
|
}
|
|
|
|
};
|
|
|
|
*targets = SwitchTargets::new(branches.into_iter(), otherwise);
|
|
|
|
}
|
|
|
|
ref invalid => bug!("Invalid BasicBlock kind or no to_block: {:?}", invalid),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn call(&mut self, some_from_block: Option<BasicBlock>) -> BasicBlock {
|
|
|
|
self.add_block_from(
|
|
|
|
some_from_block,
|
|
|
|
TerminatorKind::Call {
|
|
|
|
func: Operand::Copy(self.dummy_place.clone()),
|
|
|
|
args: vec![],
|
2022-04-16 09:27:54 -04:00
|
|
|
destination: self.dummy_place.clone(),
|
|
|
|
target: Some(TEMP_BLOCK),
|
2022-10-08 23:47:59 +01:00
|
|
|
unwind: UnwindAction::Continue,
|
2023-06-18 05:24:38 +00:00
|
|
|
call_source: CallSource::Misc,
|
2020-11-02 21:32:48 -08:00
|
|
|
fn_span: DUMMY_SP,
|
|
|
|
},
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn goto(&mut self, some_from_block: Option<BasicBlock>) -> BasicBlock {
|
2020-11-13 09:02:25 -08:00
|
|
|
self.add_block_from(some_from_block, TerminatorKind::Goto { target: TEMP_BLOCK })
|
2020-11-02 21:32:48 -08:00
|
|
|
}
|
|
|
|
|
|
|
|
fn switchint(&mut self, some_from_block: Option<BasicBlock>) -> BasicBlock {
|
|
|
|
let switchint_kind = TerminatorKind::SwitchInt {
|
2020-11-13 09:02:25 -08:00
|
|
|
discr: Operand::Move(Place::from(self.new_temp())),
|
|
|
|
targets: SwitchTargets::static_if(0, TEMP_BLOCK, TEMP_BLOCK),
|
2020-11-02 21:32:48 -08:00
|
|
|
};
|
|
|
|
self.add_block_from(some_from_block, switchint_kind)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn return_(&mut self, some_from_block: Option<BasicBlock>) -> BasicBlock {
|
|
|
|
self.add_block_from(some_from_block, TerminatorKind::Return)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn to_body(self) -> Body<'tcx> {
|
|
|
|
Body::new_cfg_only(self.blocks)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-12-20 22:28:22 +01:00
|
|
|
fn debug_basic_blocks(mir_body: &Body<'_>) -> String {
|
2020-11-02 21:32:48 -08:00
|
|
|
format!(
|
|
|
|
"{:?}",
|
|
|
|
mir_body
|
2022-07-05 00:00:00 +00:00
|
|
|
.basic_blocks
|
2020-11-02 21:32:48 -08:00
|
|
|
.iter_enumerated()
|
|
|
|
.map(|(bb, data)| {
|
2020-11-12 16:08:42 -08:00
|
|
|
let term = &data.terminator();
|
|
|
|
let kind = &term.kind;
|
|
|
|
let span = term.source_info.span;
|
|
|
|
let sp = format!("(span:{},{})", span.lo().to_u32(), span.hi().to_u32());
|
2020-11-02 21:32:48 -08:00
|
|
|
match kind {
|
|
|
|
TerminatorKind::Assert { target, .. }
|
2022-04-16 09:27:54 -04:00
|
|
|
| TerminatorKind::Call { target: Some(target), .. }
|
2020-11-02 21:32:48 -08:00
|
|
|
| TerminatorKind::Drop { target, .. }
|
|
|
|
| TerminatorKind::FalseEdge { real_target: target, .. }
|
|
|
|
| TerminatorKind::FalseUnwind { real_target: target, .. }
|
|
|
|
| TerminatorKind::Goto { target }
|
|
|
|
| TerminatorKind::InlineAsm { destination: Some(target), .. }
|
|
|
|
| TerminatorKind::Yield { resume: target, .. } => {
|
2023-05-09 07:46:16 +00:00
|
|
|
format!("{}{:?}:{} -> {:?}", sp, bb, kind.name(), target)
|
2020-11-02 21:32:48 -08:00
|
|
|
}
|
|
|
|
TerminatorKind::SwitchInt { targets, .. } => {
|
2023-05-09 07:46:16 +00:00
|
|
|
format!("{}{:?}:{} -> {:?}", sp, bb, kind.name(), targets)
|
2020-11-02 21:32:48 -08:00
|
|
|
}
|
2023-05-09 07:46:16 +00:00
|
|
|
_ => format!("{}{:?}:{}", sp, bb, kind.name()),
|
2020-11-02 21:32:48 -08:00
|
|
|
}
|
|
|
|
})
|
|
|
|
.collect::<Vec<_>>()
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
|
|
|
static PRINT_GRAPHS: bool = false;
|
|
|
|
|
|
|
|
fn print_mir_graphviz(name: &str, mir_body: &Body<'_>) {
|
|
|
|
if PRINT_GRAPHS {
|
|
|
|
println!(
|
|
|
|
"digraph {} {{\n{}\n}}",
|
|
|
|
name,
|
|
|
|
mir_body
|
2022-07-05 00:00:00 +00:00
|
|
|
.basic_blocks
|
2020-11-02 21:32:48 -08:00
|
|
|
.iter_enumerated()
|
|
|
|
.map(|(bb, data)| {
|
|
|
|
format!(
|
|
|
|
" {:?} [label=\"{:?}: {}\"];\n{}",
|
|
|
|
bb,
|
|
|
|
bb,
|
2023-05-09 07:46:16 +00:00
|
|
|
data.terminator().kind.name(),
|
2020-11-02 21:32:48 -08:00
|
|
|
mir_body
|
2022-07-04 00:00:00 +00:00
|
|
|
.basic_blocks
|
2020-11-02 21:32:48 -08:00
|
|
|
.successors(bb)
|
|
|
|
.map(|successor| { format!(" {:?} -> {:?};", bb, successor) })
|
|
|
|
.join("\n")
|
|
|
|
)
|
|
|
|
})
|
|
|
|
.join("\n")
|
|
|
|
);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn print_coverage_graphviz(
|
|
|
|
name: &str,
|
|
|
|
mir_body: &Body<'_>,
|
|
|
|
basic_coverage_blocks: &graph::CoverageGraph,
|
|
|
|
) {
|
|
|
|
if PRINT_GRAPHS {
|
|
|
|
println!(
|
|
|
|
"digraph {} {{\n{}\n}}",
|
|
|
|
name,
|
|
|
|
basic_coverage_blocks
|
|
|
|
.iter_enumerated()
|
|
|
|
.map(|(bcb, bcb_data)| {
|
|
|
|
format!(
|
|
|
|
" {:?} [label=\"{:?}: {}\"];\n{}",
|
|
|
|
bcb,
|
|
|
|
bcb,
|
2023-10-10 15:09:04 +11:00
|
|
|
mir_body[bcb_data.last_bb()].terminator().kind.name(),
|
2020-11-02 21:32:48 -08:00
|
|
|
basic_coverage_blocks
|
|
|
|
.successors(bcb)
|
|
|
|
.map(|successor| { format!(" {:?} -> {:?};", bcb, successor) })
|
|
|
|
.join("\n")
|
|
|
|
)
|
|
|
|
})
|
|
|
|
.join("\n")
|
|
|
|
);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Create a mock `Body` with a simple flow.
|
2021-12-06 00:48:37 -08:00
|
|
|
fn goto_switchint<'a>() -> Body<'a> {
|
2020-11-02 21:32:48 -08:00
|
|
|
let mut blocks = MockBlocks::new();
|
|
|
|
let start = blocks.call(None);
|
|
|
|
let goto = blocks.goto(Some(start));
|
|
|
|
let switchint = blocks.switchint(Some(goto));
|
|
|
|
let then_call = blocks.call(None);
|
|
|
|
let else_call = blocks.call(None);
|
|
|
|
blocks.set_branch(switchint, 0, then_call);
|
|
|
|
blocks.set_branch(switchint, 1, else_call);
|
|
|
|
blocks.return_(Some(then_call));
|
|
|
|
blocks.return_(Some(else_call));
|
|
|
|
|
|
|
|
let mir_body = blocks.to_body();
|
|
|
|
print_mir_graphviz("mir_goto_switchint", &mir_body);
|
|
|
|
/* Graphviz character plots created using: `graph-easy --as=boxart`:
|
|
|
|
┌────────────────┐
|
|
|
|
│ bb0: Call │
|
|
|
|
└────────────────┘
|
|
|
|
│
|
|
|
|
│
|
|
|
|
▼
|
|
|
|
┌────────────────┐
|
|
|
|
│ bb1: Goto │
|
|
|
|
└────────────────┘
|
|
|
|
│
|
|
|
|
│
|
|
|
|
▼
|
|
|
|
┌─────────────┐ ┌────────────────┐
|
|
|
|
│ bb4: Call │ ◀── │ bb2: SwitchInt │
|
|
|
|
└─────────────┘ └────────────────┘
|
|
|
|
│ │
|
|
|
|
│ │
|
|
|
|
▼ ▼
|
|
|
|
┌─────────────┐ ┌────────────────┐
|
|
|
|
│ bb6: Return │ │ bb3: Call │
|
|
|
|
└─────────────┘ └────────────────┘
|
|
|
|
│
|
|
|
|
│
|
|
|
|
▼
|
|
|
|
┌────────────────┐
|
|
|
|
│ bb5: Return │
|
|
|
|
└────────────────┘
|
|
|
|
*/
|
|
|
|
mir_body
|
|
|
|
}
|
|
|
|
|
2023-12-07 11:12:48 +11:00
|
|
|
#[track_caller]
|
|
|
|
fn assert_successors(
|
|
|
|
basic_coverage_blocks: &graph::CoverageGraph,
|
|
|
|
bcb: BasicCoverageBlock,
|
|
|
|
expected_successors: &[BasicCoverageBlock],
|
|
|
|
) {
|
|
|
|
let mut successors = basic_coverage_blocks.successors[bcb].clone();
|
|
|
|
successors.sort_unstable();
|
|
|
|
assert_eq!(successors, expected_successors);
|
2020-11-12 16:08:42 -08:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_covgraph_goto_switchint() {
|
|
|
|
let mir_body = goto_switchint();
|
2020-11-02 21:32:48 -08:00
|
|
|
if false {
|
2021-02-18 14:13:38 +02:00
|
|
|
eprintln!("basic_blocks = {}", debug_basic_blocks(&mir_body));
|
2020-11-02 21:32:48 -08:00
|
|
|
}
|
2020-11-12 16:08:42 -08:00
|
|
|
let basic_coverage_blocks = graph::CoverageGraph::from_mir(&mir_body);
|
|
|
|
print_coverage_graphviz("covgraph_goto_switchint ", &mir_body, &basic_coverage_blocks);
|
2020-11-02 21:32:48 -08:00
|
|
|
/*
|
|
|
|
┌──────────────┐ ┌─────────────────┐
|
|
|
|
│ bcb2: Return │ ◀── │ bcb0: SwitchInt │
|
|
|
|
└──────────────┘ └─────────────────┘
|
|
|
|
│
|
|
|
|
│
|
|
|
|
▼
|
|
|
|
┌─────────────────┐
|
|
|
|
│ bcb1: Return │
|
|
|
|
└─────────────────┘
|
|
|
|
*/
|
2020-11-12 16:08:42 -08:00
|
|
|
assert_eq!(
|
|
|
|
basic_coverage_blocks.num_nodes(),
|
|
|
|
3,
|
|
|
|
"basic_coverage_blocks: {:?}",
|
|
|
|
basic_coverage_blocks.iter_enumerated().collect::<Vec<_>>()
|
|
|
|
);
|
|
|
|
|
2023-12-07 11:12:48 +11:00
|
|
|
assert_successors(&basic_coverage_blocks, bcb(0), &[bcb(1), bcb(2)]);
|
|
|
|
assert_successors(&basic_coverage_blocks, bcb(1), &[]);
|
|
|
|
assert_successors(&basic_coverage_blocks, bcb(2), &[]);
|
2020-11-02 21:32:48 -08:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Create a mock `Body` with a loop.
|
2021-12-06 00:48:37 -08:00
|
|
|
fn switchint_then_loop_else_return<'a>() -> Body<'a> {
|
2020-11-02 21:32:48 -08:00
|
|
|
let mut blocks = MockBlocks::new();
|
|
|
|
let start = blocks.call(None);
|
|
|
|
let switchint = blocks.switchint(Some(start));
|
|
|
|
let then_call = blocks.call(None);
|
|
|
|
blocks.set_branch(switchint, 0, then_call);
|
|
|
|
let backedge_goto = blocks.goto(Some(then_call));
|
|
|
|
blocks.link(backedge_goto, switchint);
|
|
|
|
let else_return = blocks.return_(None);
|
|
|
|
blocks.set_branch(switchint, 1, else_return);
|
|
|
|
|
|
|
|
let mir_body = blocks.to_body();
|
|
|
|
print_mir_graphviz("mir_switchint_then_loop_else_return", &mir_body);
|
|
|
|
/*
|
|
|
|
┌────────────────┐
|
|
|
|
│ bb0: Call │
|
|
|
|
└────────────────┘
|
|
|
|
│
|
|
|
|
│
|
|
|
|
▼
|
|
|
|
┌─────────────┐ ┌────────────────┐
|
|
|
|
│ bb4: Return │ ◀── │ bb1: SwitchInt │ ◀┐
|
|
|
|
└─────────────┘ └────────────────┘ │
|
|
|
|
│ │
|
|
|
|
│ │
|
|
|
|
▼ │
|
|
|
|
┌────────────────┐ │
|
|
|
|
│ bb2: Call │ │
|
|
|
|
└────────────────┘ │
|
|
|
|
│ │
|
|
|
|
│ │
|
|
|
|
▼ │
|
|
|
|
┌────────────────┐ │
|
|
|
|
│ bb3: Goto │ ─┘
|
|
|
|
└────────────────┘
|
|
|
|
*/
|
|
|
|
mir_body
|
|
|
|
}
|
|
|
|
|
2020-11-12 16:08:42 -08:00
|
|
|
#[test]
|
|
|
|
fn test_covgraph_switchint_then_loop_else_return() {
|
|
|
|
let mir_body = switchint_then_loop_else_return();
|
|
|
|
let basic_coverage_blocks = graph::CoverageGraph::from_mir(&mir_body);
|
|
|
|
print_coverage_graphviz(
|
|
|
|
"covgraph_switchint_then_loop_else_return",
|
|
|
|
&mir_body,
|
|
|
|
&basic_coverage_blocks,
|
|
|
|
);
|
2020-11-02 21:32:48 -08:00
|
|
|
/*
|
|
|
|
┌─────────────────┐
|
|
|
|
│ bcb0: Call │
|
|
|
|
└─────────────────┘
|
|
|
|
│
|
|
|
|
│
|
|
|
|
▼
|
|
|
|
┌────────────┐ ┌─────────────────┐
|
|
|
|
│ bcb3: Goto │ ◀── │ bcb1: SwitchInt │ ◀┐
|
|
|
|
└────────────┘ └─────────────────┘ │
|
|
|
|
│ │ │
|
|
|
|
│ │ │
|
|
|
|
│ ▼ │
|
|
|
|
│ ┌─────────────────┐ │
|
|
|
|
│ │ bcb2: Return │ │
|
|
|
|
│ └─────────────────┘ │
|
|
|
|
│ │
|
|
|
|
└─────────────────────────────────────┘
|
|
|
|
*/
|
2020-11-12 16:08:42 -08:00
|
|
|
assert_eq!(
|
|
|
|
basic_coverage_blocks.num_nodes(),
|
|
|
|
4,
|
|
|
|
"basic_coverage_blocks: {:?}",
|
|
|
|
basic_coverage_blocks.iter_enumerated().collect::<Vec<_>>()
|
|
|
|
);
|
|
|
|
|
2023-12-07 11:12:48 +11:00
|
|
|
assert_successors(&basic_coverage_blocks, bcb(0), &[bcb(1)]);
|
|
|
|
assert_successors(&basic_coverage_blocks, bcb(1), &[bcb(2), bcb(3)]);
|
|
|
|
assert_successors(&basic_coverage_blocks, bcb(2), &[]);
|
|
|
|
assert_successors(&basic_coverage_blocks, bcb(3), &[bcb(1)]);
|
2020-11-02 21:32:48 -08:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Create a mock `Body` with nested loops.
|
2021-12-06 00:48:37 -08:00
|
|
|
fn switchint_loop_then_inner_loop_else_break<'a>() -> Body<'a> {
|
2020-11-02 21:32:48 -08:00
|
|
|
let mut blocks = MockBlocks::new();
|
|
|
|
let start = blocks.call(None);
|
|
|
|
let switchint = blocks.switchint(Some(start));
|
|
|
|
let then_call = blocks.call(None);
|
|
|
|
blocks.set_branch(switchint, 0, then_call);
|
|
|
|
let else_return = blocks.return_(None);
|
|
|
|
blocks.set_branch(switchint, 1, else_return);
|
|
|
|
|
|
|
|
let inner_start = blocks.call(Some(then_call));
|
|
|
|
let inner_switchint = blocks.switchint(Some(inner_start));
|
|
|
|
let inner_then_call = blocks.call(None);
|
|
|
|
blocks.set_branch(inner_switchint, 0, inner_then_call);
|
|
|
|
let inner_backedge_goto = blocks.goto(Some(inner_then_call));
|
|
|
|
blocks.link(inner_backedge_goto, inner_switchint);
|
|
|
|
let inner_else_break_goto = blocks.goto(None);
|
|
|
|
blocks.set_branch(inner_switchint, 1, inner_else_break_goto);
|
|
|
|
|
|
|
|
let backedge_goto = blocks.goto(Some(inner_else_break_goto));
|
|
|
|
blocks.link(backedge_goto, switchint);
|
|
|
|
|
|
|
|
let mir_body = blocks.to_body();
|
|
|
|
print_mir_graphviz("mir_switchint_loop_then_inner_loop_else_break", &mir_body);
|
|
|
|
/*
|
|
|
|
┌────────────────┐
|
|
|
|
│ bb0: Call │
|
|
|
|
└────────────────┘
|
|
|
|
│
|
|
|
|
│
|
|
|
|
▼
|
|
|
|
┌─────────────┐ ┌────────────────┐
|
|
|
|
│ bb3: Return │ ◀── │ bb1: SwitchInt │ ◀─────┐
|
|
|
|
└─────────────┘ └────────────────┘ │
|
|
|
|
│ │
|
|
|
|
│ │
|
|
|
|
▼ │
|
|
|
|
┌────────────────┐ │
|
|
|
|
│ bb2: Call │ │
|
|
|
|
└────────────────┘ │
|
|
|
|
│ │
|
|
|
|
│ │
|
|
|
|
▼ │
|
|
|
|
┌────────────────┐ │
|
|
|
|
│ bb4: Call │ │
|
|
|
|
└────────────────┘ │
|
|
|
|
│ │
|
|
|
|
│ │
|
|
|
|
▼ │
|
|
|
|
┌─────────────┐ ┌────────────────┐ │
|
|
|
|
│ bb8: Goto │ ◀── │ bb5: SwitchInt │ ◀┐ │
|
|
|
|
└─────────────┘ └────────────────┘ │ │
|
|
|
|
│ │ │ │
|
|
|
|
│ │ │ │
|
|
|
|
▼ ▼ │ │
|
|
|
|
┌─────────────┐ ┌────────────────┐ │ │
|
|
|
|
│ bb9: Goto │ ─┐ │ bb6: Call │ │ │
|
|
|
|
└─────────────┘ │ └────────────────┘ │ │
|
|
|
|
│ │ │ │
|
|
|
|
│ │ │ │
|
|
|
|
│ ▼ │ │
|
|
|
|
│ ┌────────────────┐ │ │
|
|
|
|
│ │ bb7: Goto │ ─┘ │
|
|
|
|
│ └────────────────┘ │
|
|
|
|
│ │
|
|
|
|
└───────────────────────────┘
|
|
|
|
*/
|
|
|
|
mir_body
|
|
|
|
}
|
|
|
|
|
2020-11-12 16:08:42 -08:00
|
|
|
#[test]
|
|
|
|
fn test_covgraph_switchint_loop_then_inner_loop_else_break() {
|
|
|
|
let mir_body = switchint_loop_then_inner_loop_else_break();
|
|
|
|
let basic_coverage_blocks = graph::CoverageGraph::from_mir(&mir_body);
|
2020-11-02 21:32:48 -08:00
|
|
|
print_coverage_graphviz(
|
|
|
|
"covgraph_switchint_loop_then_inner_loop_else_break",
|
|
|
|
&mir_body,
|
2020-11-12 16:08:42 -08:00
|
|
|
&basic_coverage_blocks,
|
2020-11-02 21:32:48 -08:00
|
|
|
);
|
|
|
|
/*
|
|
|
|
┌─────────────────┐
|
|
|
|
│ bcb0: Call │
|
|
|
|
└─────────────────┘
|
|
|
|
│
|
|
|
|
│
|
|
|
|
▼
|
|
|
|
┌──────────────┐ ┌─────────────────┐
|
|
|
|
│ bcb2: Return │ ◀── │ bcb1: SwitchInt │ ◀┐
|
|
|
|
└──────────────┘ └─────────────────┘ │
|
|
|
|
│ │
|
|
|
|
│ │
|
|
|
|
▼ │
|
|
|
|
┌─────────────────┐ │
|
|
|
|
│ bcb3: Call │ │
|
|
|
|
└─────────────────┘ │
|
|
|
|
│ │
|
|
|
|
│ │
|
|
|
|
▼ │
|
|
|
|
┌──────────────┐ ┌─────────────────┐ │
|
|
|
|
│ bcb6: Goto │ ◀── │ bcb4: SwitchInt │ ◀┼────┐
|
|
|
|
└──────────────┘ └─────────────────┘ │ │
|
|
|
|
│ │ │ │
|
|
|
|
│ │ │ │
|
|
|
|
│ ▼ │ │
|
|
|
|
│ ┌─────────────────┐ │ │
|
|
|
|
│ │ bcb5: Goto │ ─┘ │
|
|
|
|
│ └─────────────────┘ │
|
|
|
|
│ │
|
|
|
|
└────────────────────────────────────────────┘
|
|
|
|
*/
|
|
|
|
assert_eq!(
|
|
|
|
basic_coverage_blocks.num_nodes(),
|
2020-11-12 16:08:42 -08:00
|
|
|
7,
|
2020-11-02 21:32:48 -08:00
|
|
|
"basic_coverage_blocks: {:?}",
|
|
|
|
basic_coverage_blocks.iter_enumerated().collect::<Vec<_>>()
|
|
|
|
);
|
|
|
|
|
2023-12-07 11:12:48 +11:00
|
|
|
assert_successors(&basic_coverage_blocks, bcb(0), &[bcb(1)]);
|
|
|
|
assert_successors(&basic_coverage_blocks, bcb(1), &[bcb(2), bcb(3)]);
|
|
|
|
assert_successors(&basic_coverage_blocks, bcb(2), &[]);
|
|
|
|
assert_successors(&basic_coverage_blocks, bcb(3), &[bcb(4)]);
|
|
|
|
assert_successors(&basic_coverage_blocks, bcb(4), &[bcb(5), bcb(6)]);
|
|
|
|
assert_successors(&basic_coverage_blocks, bcb(5), &[bcb(1)]);
|
|
|
|
assert_successors(&basic_coverage_blocks, bcb(6), &[bcb(4)]);
|
2020-11-02 21:32:48 -08:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_find_loop_backedges_none() {
|
2020-11-12 16:08:42 -08:00
|
|
|
let mir_body = goto_switchint();
|
|
|
|
let basic_coverage_blocks = graph::CoverageGraph::from_mir(&mir_body);
|
2020-11-02 21:32:48 -08:00
|
|
|
if false {
|
2021-02-18 14:13:38 +02:00
|
|
|
eprintln!(
|
2020-11-02 21:32:48 -08:00
|
|
|
"basic_coverage_blocks = {:?}",
|
|
|
|
basic_coverage_blocks.iter_enumerated().collect::<Vec<_>>()
|
|
|
|
);
|
2021-02-18 14:13:38 +02:00
|
|
|
eprintln!("successors = {:?}", basic_coverage_blocks.successors);
|
2020-11-02 21:32:48 -08:00
|
|
|
}
|
|
|
|
let backedges = graph::find_loop_backedges(&basic_coverage_blocks);
|
|
|
|
assert_eq!(
|
|
|
|
backedges.iter_enumerated().map(|(_bcb, backedges)| backedges.len()).sum::<usize>(),
|
|
|
|
0,
|
|
|
|
"backedges: {:?}",
|
|
|
|
backedges
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_find_loop_backedges_one() {
|
2020-11-12 16:08:42 -08:00
|
|
|
let mir_body = switchint_then_loop_else_return();
|
|
|
|
let basic_coverage_blocks = graph::CoverageGraph::from_mir(&mir_body);
|
2020-11-02 21:32:48 -08:00
|
|
|
let backedges = graph::find_loop_backedges(&basic_coverage_blocks);
|
|
|
|
assert_eq!(
|
|
|
|
backedges.iter_enumerated().map(|(_bcb, backedges)| backedges.len()).sum::<usize>(),
|
|
|
|
1,
|
|
|
|
"backedges: {:?}",
|
|
|
|
backedges
|
|
|
|
);
|
|
|
|
|
2023-12-07 11:12:48 +11:00
|
|
|
assert_eq!(backedges[bcb(1)], &[bcb(3)]);
|
2020-11-02 21:32:48 -08:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_find_loop_backedges_two() {
|
2020-11-12 16:08:42 -08:00
|
|
|
let mir_body = switchint_loop_then_inner_loop_else_break();
|
|
|
|
let basic_coverage_blocks = graph::CoverageGraph::from_mir(&mir_body);
|
2020-11-02 21:32:48 -08:00
|
|
|
let backedges = graph::find_loop_backedges(&basic_coverage_blocks);
|
|
|
|
assert_eq!(
|
|
|
|
backedges.iter_enumerated().map(|(_bcb, backedges)| backedges.len()).sum::<usize>(),
|
|
|
|
2,
|
|
|
|
"backedges: {:?}",
|
|
|
|
backedges
|
|
|
|
);
|
|
|
|
|
2023-12-07 11:12:48 +11:00
|
|
|
assert_eq!(backedges[bcb(1)], &[bcb(5)]);
|
|
|
|
assert_eq!(backedges[bcb(4)], &[bcb(6)]);
|
2020-11-02 21:32:48 -08:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_traverse_coverage_with_loops() {
|
2020-11-12 16:08:42 -08:00
|
|
|
let mir_body = switchint_loop_then_inner_loop_else_break();
|
|
|
|
let basic_coverage_blocks = graph::CoverageGraph::from_mir(&mir_body);
|
2020-11-02 21:32:48 -08:00
|
|
|
let mut traversed_in_order = Vec::new();
|
|
|
|
let mut traversal = graph::TraverseCoverageGraphWithLoops::new(&basic_coverage_blocks);
|
2023-10-11 17:40:37 +11:00
|
|
|
while let Some(bcb) = traversal.next() {
|
2020-11-02 21:32:48 -08:00
|
|
|
traversed_in_order.push(bcb);
|
|
|
|
}
|
|
|
|
|
|
|
|
// bcb0 is visited first. Then bcb1 starts the first loop, and all remaining nodes, *except*
|
|
|
|
// bcb6 are inside the first loop.
|
|
|
|
assert_eq!(
|
|
|
|
*traversed_in_order.last().expect("should have elements"),
|
2023-12-07 11:12:48 +11:00
|
|
|
bcb(6),
|
2020-11-02 21:32:48 -08:00
|
|
|
"bcb6 should not be visited until all nodes inside the first loop have been visited"
|
|
|
|
);
|
|
|
|
}
|
2020-11-12 16:08:42 -08:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_make_bcb_counters() {
|
2021-05-05 21:31:25 +02:00
|
|
|
rustc_span::create_default_session_globals_then(|| {
|
2020-11-12 16:08:42 -08:00
|
|
|
let mir_body = goto_switchint();
|
2023-10-29 22:33:29 +11:00
|
|
|
let basic_coverage_blocks = graph::CoverageGraph::from_mir(&mir_body);
|
2023-09-17 22:22:21 +10:00
|
|
|
// Historically this test would use `spans` internals to set up fake
|
|
|
|
// coverage spans for BCBs 1 and 2. Now we skip that step and just tell
|
|
|
|
// BCB counter construction that those BCBs have spans.
|
|
|
|
let bcb_has_coverage_spans = |bcb: BasicCoverageBlock| (1..=2).contains(&bcb.as_usize());
|
2023-12-30 22:36:11 +11:00
|
|
|
let coverage_counters = counters::CoverageCounters::make_bcb_counters(
|
|
|
|
&basic_coverage_blocks,
|
|
|
|
bcb_has_coverage_spans,
|
|
|
|
);
|
2023-09-13 13:20:13 +10:00
|
|
|
assert_eq!(coverage_counters.num_expressions(), 0);
|
2020-11-12 16:08:42 -08:00
|
|
|
|
|
|
|
assert_eq!(
|
2023-06-29 12:36:19 +10:00
|
|
|
0, // bcb1 has a `Counter` with id = 0
|
2023-12-07 11:12:48 +11:00
|
|
|
match coverage_counters.bcb_counter(bcb(1)).expect("should have a counter") {
|
2023-07-08 13:43:29 +10:00
|
|
|
counters::BcbCounter::Counter { id, .. } => id,
|
2020-11-12 16:08:42 -08:00
|
|
|
_ => panic!("expected a Counter"),
|
|
|
|
}
|
|
|
|
.as_u32()
|
|
|
|
);
|
|
|
|
|
|
|
|
assert_eq!(
|
2023-06-29 12:36:19 +10:00
|
|
|
1, // bcb2 has a `Counter` with id = 1
|
2023-12-07 11:12:48 +11:00
|
|
|
match coverage_counters.bcb_counter(bcb(2)).expect("should have a counter") {
|
2023-07-08 13:43:29 +10:00
|
|
|
counters::BcbCounter::Counter { id, .. } => id,
|
2020-11-12 16:08:42 -08:00
|
|
|
_ => panic!("expected a Counter"),
|
|
|
|
}
|
|
|
|
.as_u32()
|
|
|
|
);
|
|
|
|
});
|
|
|
|
}
|