Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit 356f9e9

Browse files
committedJan 24, 2025
coverage: Tweak FileCheck directives in a mir-opt test
1 parent 3b8ef3f commit 356f9e9

3 files changed

+19
-16
lines changed
 

‎tests/mir-opt/coverage/instrument_coverage.bar.InstrumentCoverage.diff

+2-2
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,8 @@
44
fn bar() -> bool {
55
let mut _0: bool;
66

7-
+ coverage body span: $DIR/instrument_coverage.rs:19:18: 21:2 (#0)
8-
+ coverage Code(Counter(0)) => $DIR/instrument_coverage.rs:19:1: 21:2 (#0);
7+
+ coverage body span: $DIR/instrument_coverage.rs:29:18: 31:2 (#0)
8+
+ coverage Code(Counter(0)) => $DIR/instrument_coverage.rs:29:1: 31:2 (#0);
99
+
1010
bb0: {
1111
+ Coverage::CounterIncrement(0);

‎tests/mir-opt/coverage/instrument_coverage.main.InstrumentCoverage.diff

+6-6
Original file line numberDiff line numberDiff line change
@@ -7,13 +7,13 @@
77
let mut _2: bool;
88
let mut _3: !;
99

10-
+ coverage body span: $DIR/instrument_coverage.rs:10:11: 16:2 (#0)
10+
+ coverage body span: $DIR/instrument_coverage.rs:14:11: 20:2 (#0)
1111
+ coverage ExpressionId(0) => Expression { lhs: Counter(1), op: Subtract, rhs: Counter(0) };
12-
+ coverage Code(Counter(0)) => $DIR/instrument_coverage.rs:10:1: 10:11 (#0);
13-
+ coverage Code(Counter(1)) => $DIR/instrument_coverage.rs:12:12: 12:17 (#0);
14-
+ coverage Code(Counter(0)) => $DIR/instrument_coverage.rs:13:13: 13:18 (#0);
15-
+ coverage Code(Expression(0)) => $DIR/instrument_coverage.rs:14:10: 14:10 (#0);
16-
+ coverage Code(Counter(0)) => $DIR/instrument_coverage.rs:16:2: 16:2 (#0);
12+
+ coverage Code(Counter(0)) => $DIR/instrument_coverage.rs:14:1: 14:11 (#0);
13+
+ coverage Code(Counter(1)) => $DIR/instrument_coverage.rs:16:12: 16:17 (#0);
14+
+ coverage Code(Counter(0)) => $DIR/instrument_coverage.rs:17:13: 17:18 (#0);
15+
+ coverage Code(Expression(0)) => $DIR/instrument_coverage.rs:18:10: 18:10 (#0);
16+
+ coverage Code(Counter(0)) => $DIR/instrument_coverage.rs:20:2: 20:2 (#0);
1717
+
1818
bb0: {
1919
+ Coverage::CounterIncrement(0);

‎tests/mir-opt/coverage/instrument_coverage.rs

+11-8
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,11 @@
66
//@ compile-flags: -Cinstrument-coverage -Zno-profiler-runtime
77

88
// EMIT_MIR instrument_coverage.main.InstrumentCoverage.diff
9-
// EMIT_MIR instrument_coverage.bar.InstrumentCoverage.diff
9+
// CHECK-LABEL: fn main()
10+
// CHECK: coverage body span:
11+
// CHECK: coverage Code(Counter({{[0-9]+}})) =>
12+
// CHECK: bb0:
13+
// CHECK: Coverage::CounterIncrement
1014
fn main() {
1115
loop {
1216
if bar() {
@@ -15,14 +19,13 @@ fn main() {
1519
}
1620
}
1721

22+
// EMIT_MIR instrument_coverage.bar.InstrumentCoverage.diff
23+
// CHECK-LABEL: fn bar()
24+
// CHECK: coverage body span:
25+
// CHECK: coverage Code(Counter({{[0-9]+}})) =>
26+
// CHECK: bb0:
27+
// CHECK: Coverage::CounterIncrement
1828
#[inline(never)]
1929
fn bar() -> bool {
2030
true
2131
}
22-
23-
// CHECK: coverage ExpressionId({{[0-9]+}}) =>
24-
// CHECK-DAG: coverage Code(Counter({{[0-9]+}})) =>
25-
// CHECK-DAG: coverage Code(Expression({{[0-9]+}})) =>
26-
// CHECK: bb0:
27-
// CHECK-DAG: Coverage::ExpressionUsed({{[0-9]+}})
28-
// CHECK-DAG: Coverage::CounterIncrement({{[0-9]+}})

0 commit comments

Comments
 (0)
Failed to load comments.