diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2023-07-20 17:03:44 +0000 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2023-10-08 16:05:26 +0000 |
| commit | 37f080edbc763f0add0552427d303b247055fc15 (patch) | |
| tree | c73805cc762310e04c31b492d223fe1bd90217d4 /tests/mir-opt/reference_prop.debuginfo.ReferencePropagation.diff | |
| parent | 4f4a413fe6931d0ad9d3ac6bd20ff36398961e64 (diff) | |
| download | rust-37f080edbc763f0add0552427d303b247055fc15.tar.gz rust-37f080edbc763f0add0552427d303b247055fc15.zip | |
Also consider call and yield as MIR SSA.
Diffstat (limited to 'tests/mir-opt/reference_prop.debuginfo.ReferencePropagation.diff')
| -rw-r--r-- | tests/mir-opt/reference_prop.debuginfo.ReferencePropagation.diff | 22 |
1 files changed, 13 insertions, 9 deletions
diff --git a/tests/mir-opt/reference_prop.debuginfo.ReferencePropagation.diff b/tests/mir-opt/reference_prop.debuginfo.ReferencePropagation.diff index 8fe361f2be4..1648f5dd8ca 100644 --- a/tests/mir-opt/reference_prop.debuginfo.ReferencePropagation.diff +++ b/tests/mir-opt/reference_prop.debuginfo.ReferencePropagation.diff @@ -92,8 +92,8 @@ StorageDead(_7); - StorageDead(_6); - StorageLive(_10); - StorageLive(_11); - StorageLive(_12); +- StorageLive(_11); +- StorageLive(_12); StorageLive(_13); _26 = const _; _13 = &(*_26); @@ -105,8 +105,9 @@ bb5: { StorageDead(_15); StorageDead(_13); - _11 = &(*_12); - _16 = Len((*_11)); +- _11 = &(*_12); +- _16 = Len((*_11)); ++ _16 = Len((*_12)); _17 = const 3_usize; _18 = Ge(move _16, move _17); switchInt(move _18) -> [0: bb7, otherwise: bb6]; @@ -114,12 +115,15 @@ bb6: { StorageLive(_19); - _19 = &(*_11)[1 of 3]; +- _19 = &(*_11)[1 of 3]; ++ _19 = &(*_12)[1 of 3]; StorageLive(_20); - _20 = &(*_11)[2:-1]; +- _20 = &(*_11)[2:-1]; ++ _20 = &(*_12)[2:-1]; StorageLive(_21); - _21 = &(*_11)[-1 of 3]; +- _21 = &(*_11)[-1 of 3]; - _10 = const (); ++ _21 = &(*_12)[-1 of 3]; StorageDead(_21); StorageDead(_20); StorageDead(_19); @@ -132,8 +136,8 @@ } bb8: { - StorageDead(_12); - StorageDead(_11); +- StorageDead(_12); +- StorageDead(_11); - StorageDead(_10); StorageLive(_22); StorageLive(_23); |