Skip to content

Commit 4627ea1

Browse files
committed
Add FileCheck to partial_init.rs
Signed-off-by: Shunpoco <[email protected]>
1 parent ef42830 commit 4627ea1

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

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

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// skip-filecheck
21
//@ test-mir-pass: CopyProp
32
// Verify that we do not ICE on partial initializations.
43

@@ -9,6 +8,9 @@ use core::intrinsics::mir::*;
98
// EMIT_MIR partial_init.main.CopyProp.diff
109
#[custom_mir(dialect = "runtime", phase = "post-cleanup")]
1110
pub fn main() {
11+
// CHECK-LABEL: fn main(
12+
// CHECK: let mut [[x:_.*]]: (isize,);
13+
// CHECK: ([[x]].0: isize) = const 1_isize;
1214
mir! (
1315
let x: (isize, );
1416
{

0 commit comments

Comments
 (0)