Skip to content

Add FileCheck annotations to mir-opt/copy-prop #135099

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 20 commits into
base: master
Choose a base branch
from
Open

Add FileCheck annotations to mir-opt/copy-prop #135099

Changes from 1 commit
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
1b5a744
Add FileCheck to branch.rs
Shunpoco Jan 4, 2025
e6dcb25
Add FileCheck to calls.rs
Shunpoco Jan 4, 2025
78a143f
Add FileCheck to copy_propagation_arg.rs
Shunpoco Jan 4, 2025
ab21ba3
Add FileCheck to custom_move_arg.rs
Shunpoco Jan 4, 2025
4057797
Add FileCheck to cycle.rs
Shunpoco Jan 4, 2025
77d5711
Add FileCheck to dead_stores_79191.rs
Shunpoco Jan 4, 2025
f53476b
Add FileCheck to dead_stores_better.rs
Shunpoco Jan 4, 2025
2d04a63
Add FileCheck to issue_107511.rs
Shunpoco Jan 4, 2025
d0365d3
Add FileCheck to move_arg.rs
Shunpoco Jan 4, 2025
334d501
Add FileCheck to move_projection.rs
Shunpoco Jan 4, 2025
d3176d5
Add FileCheck to mutate_through_pointer.rs
Shunpoco Jan 4, 2025
ef42830
Add FileCheck to non_dominate.rs
Shunpoco Jan 4, 2025
4627ea1
Add FileCheck to partial_init.rs
Shunpoco Jan 4, 2025
381466c
Add FileCheck to reborrow.rs
Shunpoco Jan 4, 2025
1aeeebc
address review: add CHECKs in calls.rs
Shunpoco Jan 8, 2025
30a656a
address review: add CHECKs in cycle.rs
Shunpoco Jan 8, 2025
0d6fa54
address review: dead_stores_better.rs should use DeadStoreElimination…
Shunpoco Jan 8, 2025
430d888
address review: add debug info in issue_107511.rs
Shunpoco Jan 8, 2025
6eab7c7
address review: add opaques in move_projection.rs
Shunpoco Jan 8, 2025
7a64137
address review: add CHECKs for baz in copy_propagation_arg.rs
Shunpoco Jan 8, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 9 additions & 1 deletion tests/mir-opt/copy-prop/calls.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
// skip-filecheck
// Check that CopyProp does propagate return values of call terminators.
//@ test-mir-pass: CopyProp
//@ needs-unwind
Expand All @@ -13,13 +12,22 @@ fn dummy(x: u8) -> u8 {

// EMIT_MIR calls.nrvo.CopyProp.diff
fn nrvo() -> u8 {
// CHECK-LABEL: fn nrvo(
// CHECK: debug y => _0;
// CHECK-NOT: StorageLive(_1);
// CHECK-NOT: _1 = dummy(const 5_u8)
// CHECK-NOT: _0 = copy _1;
// CHECK-NOT: StorageDead(_1);
let y = dummy(5); // this should get NRVO
y
}

// EMIT_MIR calls.multiple_edges.CopyProp.diff
#[custom_mir(dialect = "runtime", phase = "initial")]
fn multiple_edges(t: bool) -> u8 {
// CHECK-LABEL: fn multiple_edges(
// CHECK: bb2: {
// CHECK: _0 = copy _2;
mir! {
let x: u8;
{
Expand Down