mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

FileCheck mutable_variable_aggregate_partial_read.

Browse Source
This commit is contained in:
Camille GILLOT 2023-12-02 20:51:23 +00:00
parent d91bb5074e
commit 6a8eea8f5b
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
tests/mir-opt/const_prop/mutable_variable_aggregate_partial_read.rs
View File

@ -1,9 +1,15 @@
// skip-filecheck
// EMIT_MIR_FOR_EACH_PANIC_STRATEGY // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
// unit-test: ConstProp // unit-test: ConstProp
// EMIT_MIR mutable_variable_aggregate_partial_read.main.ConstProp.diff // EMIT_MIR mutable_variable_aggregate_partial_read.main.ConstProp.diff
fn main() { fn main() {
// CHECK-LABEL: fn main(
// CHECK: debug x => [[x:_.*]];
// CHECK: debug y => [[y:_.*]];
// CHECK: [[x]] = foo()
// CHECK: ([[x]].1: i32) = const 99_i32;
// CHECK: ([[x]].0: i32) = const 42_i32;
// CHECK: [[y]] = const 99_i32;
let mut x: (i32, i32) = foo(); let mut x: (i32, i32) = foo();
x.1 = 99; x.1 = 99;
x.0 = 42; x.0 = 42;