bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

update enum.rs for code review

Browse source
This commit is contained in:
sfzhu93 2024-01-12 20:50:28 -08:00
parent 1c886d794c
commit cd77d59f97
1 changed files with 10 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

11
tests/mir-opt/dataflow-const-prop/enum.rs
View file

@ -118,6 +118,7 @@ fn multiple(x: bool, i: u8) {
// CHECK: debug x => [[x:_.*]]; // CHECK: debug x => [[x:_.*]];
// CHECK: debug e => [[e:_.*]]; // CHECK: debug e => [[e:_.*]];
// CHECK: debug x2 => [[x2:_.*]]; // CHECK: debug x2 => [[x2:_.*]];
// CHECK: debug y => [[y:_.*]];
let e = if x { let e = if x {
// CHECK: [[e]] = Option::<u8>::Some(move {{_.*}}); // CHECK: [[e]] = Option::<u8>::Some(move {{_.*}});
Some(i) Some(i)
@ -128,10 +129,18 @@ fn multiple(x: bool, i: u8) {
// The dataflow state must have: // The dataflow state must have:
// discriminant(e) => Top // discriminant(e) => Top
// (e as Some).0 => Top // (e as Some).0 => Top
// CHECK-NOT: [[x2]] = const 5
// CHECK: [[x2]] = const 0_u8; // CHECK: [[x2]] = const 0_u8;
// CHECK: [[x2]] = {{_.*}}; // CHECK-NOT: [[x2]] = const 5
// CHECK: [[some:_.*]] = (({{_.*}} as Some
// CHECK: [[x2]] = [[some]];
let x2 = match e { Some(i) => i, None => 0 }; let x2 = match e { Some(i) => i, None => 0 };
// Therefore, `x2` should be `Top` here, and no replacement shall happen. // Therefore, `x2` should be `Top` here, and no replacement shall happen.
// CHECK-NOT: [[y]] = const
// CHECK: [[y]] = [[x2]];
// CHECK-NOT: [[y]] = const
let y = x2; let y = x2;
} }