Skip to content

Commit 334d501

Browse files
committed
Add FileCheck to move_projection.rs
Signed-off-by: Shunpoco <[email protected]>
1 parent d0365d3 commit 334d501

File tree

1 file changed

+6
-1
lines changed

1 file changed

+6
-1
lines changed

tests/mir-opt/copy-prop/move_projection.rs

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// skip-filecheck
21
// EMIT_MIR_FOR_EACH_PANIC_STRATEGY
32
//@ test-mir-pass: CopyProp
43

@@ -15,6 +14,12 @@ struct Foo(u8);
1514

1615
#[custom_mir(dialect = "runtime")]
1716
fn f(a: Foo) -> bool {
17+
// CHECK-LABEL: fn f(
18+
// CHECK-SAME: [[a:_.*]]: Foo)
19+
// CHECK: bb0: {
20+
// CHECK-NOT: _2 = copy [[a]];
21+
// CHECK-NOT: _3 = move (_2.0: u8);
22+
// CHECK: _3 = copy ([[a]].0: u8);
1823
mir! {
1924
{
2025
let b = a;

0 commit comments

Comments
 (0)