15 lines
335 B
Rust
15 lines
335 B
Rust
//@ test-mir-pass: GVN
|
|
|
|
// EMIT_MIR mutable_variable.main.GVN.diff
|
|
fn main() {
|
|
// CHECK-LABEL: fn main(
|
|
// CHECK: debug x => [[x:_.*]];
|
|
// CHECK: debug y => [[y:_.*]];
|
|
// CHECK: [[x]] = const 42_i32;
|
|
// CHECK: [[x]] = const 99_i32;
|
|
// CHECK: [[y]] = copy [[x]];
|
|
let mut x = 42;
|
|
x = 99;
|
|
let y = x;
|
|
}
|