user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

trivial test blessings

Browse source
This commit is contained in:
beepster4096 2025-08-13 14:59:08 -07:00
parent a0e9cb7cb4
commit 33cc7787bf
16 changed files with 90 additions and 95 deletions
Download patch file Download diff file Expand all files Collapse all files

16
tests/mir-opt/building/coroutine.main-{closure#0}.StateTransform.after.mir
View file

@ -50,19 +50,19 @@ fn main::{closure#0}(_1: Pin<&mut {coroutine@$DIR/coroutine.rs:18:5: 18:18}>, _2
let mut _25: &mut {coroutine@$DIR/coroutine.rs:18:5: 18:18};
bb0: {
_18 = deref_copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:18:5: 18:18});
_18 = copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:18:5: 18:18});
_17 = discriminant((*_18));
switchInt(move _17) -> [0: bb1, 1: bb19, 3: bb17, 4: bb18, otherwise: bb20];
}
bb1: {
_19 = deref_copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:18:5: 18:18});
_19 = copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:18:5: 18:18});
(((*_19) as variant#4).0: std::string::String) = move _2;
StorageLive(_3);
StorageLive(_4);
StorageLive(_5);
StorageLive(_6);
_20 = deref_copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:18:5: 18:18});
_20 = copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:18:5: 18:18});
_6 = &(((*_20) as variant#4).0: std::string::String);
_5 = <String as Clone>::clone(move _6) -> [return: bb2, unwind unreachable];
}
@ -84,7 +84,7 @@ fn main::{closure#0}(_1: Pin<&mut {coroutine@$DIR/coroutine.rs:18:5: 18:18}>, _2
_0 = CoroutineState::<(&str, String, &Location<'_>), ()>::Yielded(move _4);
StorageDead(_3);
StorageDead(_4);
_21 = deref_copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:18:5: 18:18});
_21 = copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:18:5: 18:18});
discriminant((*_21)) = 3;
return;
}
@ -108,7 +108,7 @@ fn main::{closure#0}(_1: Pin<&mut {coroutine@$DIR/coroutine.rs:18:5: 18:18}>, _2
_10 = &(*_11);
StorageLive(_12);
StorageLive(_13);
_22 = deref_copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:18:5: 18:18});
_22 = copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:18:5: 18:18});
_13 = &(((*_22) as variant#4).0: std::string::String);
_12 = <String as Clone>::clone(move _13) -> [return: bb8, unwind unreachable];
}
@ -135,7 +135,7 @@ fn main::{closure#0}(_1: Pin<&mut {coroutine@$DIR/coroutine.rs:18:5: 18:18}>, _2
StorageDead(_9);
StorageDead(_11);
StorageDead(_15);
_23 = deref_copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:18:5: 18:18});
_23 = copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:18:5: 18:18});
discriminant((*_23)) = 4;
return;
}
@ -154,7 +154,7 @@ fn main::{closure#0}(_1: Pin<&mut {coroutine@$DIR/coroutine.rs:18:5: 18:18}>, _2
StorageDead(_11);
StorageDead(_8);
_16 = const ();
_24 = deref_copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:18:5: 18:18});
_24 = copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:18:5: 18:18});
drop((((*_24) as variant#4).0: std::string::String)) -> [return: bb14, unwind unreachable];
}
@ -164,7 +164,7 @@ fn main::{closure#0}(_1: Pin<&mut {coroutine@$DIR/coroutine.rs:18:5: 18:18}>, _2
bb15: {
_0 = CoroutineState::<(&str, String, &Location<'_>), ()>::Complete(move _16);
_25 = deref_copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:18:5: 18:18});
_25 = copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:18:5: 18:18});
discriminant((*_25)) = 1;
return;
}

16
tests/mir-opt/building/coroutine.main-{closure#1}.StateTransform.after.mir
View file

@ -50,19 +50,19 @@ fn main::{closure#1}(_1: Pin<&mut {coroutine@$DIR/coroutine.rs:25:5: 25:18}>, _2
let mut _25: &mut {coroutine@$DIR/coroutine.rs:25:5: 25:18};
bb0: {
_18 = deref_copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:25:5: 25:18});
_18 = copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:25:5: 25:18});
_17 = discriminant((*_18));
switchInt(move _17) -> [0: bb1, 1: bb19, 3: bb17, 4: bb18, otherwise: bb20];
}
bb1: {
_19 = deref_copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:25:5: 25:18});
_19 = copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:25:5: 25:18});
(((*_19) as variant#4).0: std::string::String) = move _2;
StorageLive(_3);
StorageLive(_4);
StorageLive(_5);
StorageLive(_6);
_20 = deref_copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:25:5: 25:18});
_20 = copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:25:5: 25:18});
_6 = &(((*_20) as variant#4).0: std::string::String);
_5 = <String as Clone>::clone(move _6) -> [return: bb2, unwind unreachable];
}
@ -84,7 +84,7 @@ fn main::{closure#1}(_1: Pin<&mut {coroutine@$DIR/coroutine.rs:25:5: 25:18}>, _2
_0 = CoroutineState::<(&str, String, &Location<'_>), ()>::Yielded(move _4);
StorageDead(_3);
StorageDead(_4);
_21 = deref_copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:25:5: 25:18});
_21 = copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:25:5: 25:18});
discriminant((*_21)) = 3;
return;
}
@ -108,7 +108,7 @@ fn main::{closure#1}(_1: Pin<&mut {coroutine@$DIR/coroutine.rs:25:5: 25:18}>, _2
_10 = &(*_11);
StorageLive(_12);
StorageLive(_13);
_22 = deref_copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:25:5: 25:18});
_22 = copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:25:5: 25:18});
_13 = &(((*_22) as variant#4).0: std::string::String);
_12 = <String as Clone>::clone(move _13) -> [return: bb8, unwind unreachable];
}
@ -135,7 +135,7 @@ fn main::{closure#1}(_1: Pin<&mut {coroutine@$DIR/coroutine.rs:25:5: 25:18}>, _2
StorageDead(_9);
StorageDead(_11);
StorageDead(_15);
_23 = deref_copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:25:5: 25:18});
_23 = copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:25:5: 25:18});
discriminant((*_23)) = 4;
return;
}
@ -154,7 +154,7 @@ fn main::{closure#1}(_1: Pin<&mut {coroutine@$DIR/coroutine.rs:25:5: 25:18}>, _2
StorageDead(_11);
StorageDead(_8);
_16 = const ();
_24 = deref_copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:25:5: 25:18});
_24 = copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:25:5: 25:18});
drop((((*_24) as variant#4).0: std::string::String)) -> [return: bb14, unwind unreachable];
}
@ -164,7 +164,7 @@ fn main::{closure#1}(_1: Pin<&mut {coroutine@$DIR/coroutine.rs:25:5: 25:18}>, _2
bb15: {
_0 = CoroutineState::<(&str, String, &Location<'_>), ()>::Complete(move _16);
_25 = deref_copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:25:5: 25:18});
_25 = copy (_1.0: &mut {coroutine@$DIR/coroutine.rs:25:5: 25:18});
discriminant((*_25)) = 1;
return;
}

16
tests/mir-opt/dataflow-const-prop/struct.main.DataflowConstProp.32bit.diff
View file

@ -112,16 +112,16 @@
StorageDead(_10);
StorageLive(_14);
_14 = const {ALLOC0: &&SmallStruct};
_31 = deref_copy (*_14);
_31 = copy (*_14);
StorageLive(_11);
_32 = deref_copy (*_14);
_32 = copy (*_14);
- _11 = copy ((*_32).0: f32);
+ _11 = const 9f32;
StorageLive(_12);
_33 = deref_copy (*_14);
_33 = copy (*_14);
_12 = copy ((*_33).1: std::option::Option<S>);
StorageLive(_13);
_34 = deref_copy (*_14);
_34 = copy (*_14);
_13 = copy ((*_34).2: &[f32]);
StorageDead(_14);
StorageLive(_15);
@ -149,16 +149,16 @@
StorageDead(_22);
StorageLive(_26);
_26 = const {ALLOC1: &&BigStruct};
_35 = deref_copy (*_26);
_35 = copy (*_26);
StorageLive(_23);
_36 = deref_copy (*_26);
_36 = copy (*_26);
- _23 = copy ((*_36).0: f32);
+ _23 = const 82f32;
StorageLive(_24);
_37 = deref_copy (*_26);
_37 = copy (*_26);
_24 = copy ((*_37).1: std::option::Option<S>);
StorageLive(_25);
_38 = deref_copy (*_26);
_38 = copy (*_26);
_25 = copy ((*_38).2: &[f32]);
StorageDead(_26);
StorageLive(_27);

16
tests/mir-opt/dataflow-const-prop/struct.main.DataflowConstProp.64bit.diff
View file

@ -112,16 +112,16 @@
StorageDead(_10);
StorageLive(_14);
_14 = const {ALLOC0: &&SmallStruct};
_31 = deref_copy (*_14);
_31 = copy (*_14);
StorageLive(_11);
_32 = deref_copy (*_14);
_32 = copy (*_14);
- _11 = copy ((*_32).0: f32);
+ _11 = const 9f32;
StorageLive(_12);
_33 = deref_copy (*_14);
_33 = copy (*_14);
_12 = copy ((*_33).1: std::option::Option<S>);
StorageLive(_13);
_34 = deref_copy (*_14);
_34 = copy (*_14);
_13 = copy ((*_34).2: &[f32]);
StorageDead(_14);
StorageLive(_15);
@ -149,16 +149,16 @@
StorageDead(_22);
StorageLive(_26);
_26 = const {ALLOC1: &&BigStruct};
_35 = deref_copy (*_26);
_35 = copy (*_26);
StorageLive(_23);
_36 = deref_copy (*_26);
_36 = copy (*_26);
- _23 = copy ((*_36).0: f32);
+ _23 = const 82f32;
StorageLive(_24);
_37 = deref_copy (*_26);
_37 = copy (*_26);
_24 = copy ((*_37).1: std::option::Option<S>);
StorageLive(_25);
_38 = deref_copy (*_26);
_38 = copy (*_26);
_25 = copy ((*_38).2: &[f32]);
StorageDead(_26);
StorageLive(_27);

4
tests/mir-opt/dead-store-elimination/ref.tuple.DeadStoreElimination-initial.diff
View file

@ -13,10 +13,10 @@
bb0: {
- StorageLive(_2);
- _3 = deref_copy (_1.1: &Foo);
- _3 = copy (_1.1: &Foo);
- _2 = &((*_3).2: i32);
+ // DBG: _2 = &((*_3).2: i32);
_4 = deref_copy (_1.1: &Foo);
_4 = copy (_1.1: &Foo);
_0 = copy ((*_4).0: i32);
- StorageDead(_2);
return;

26
tests/mir-opt/early_otherwise_branch_68867.try_sum.EarlyOtherwiseBranch.diff
View file

@ -76,7 +76,7 @@
_4 = (move _5, move _6);
StorageDead(_6);
StorageDead(_5);
_34 = deref_copy (_4.0: &ViewportPercentageLength);
_34 = copy (_4.0: &ViewportPercentageLength);
_11 = discriminant((*_34));
switchInt(move _11) -> [0: bb2, 1: bb3, 2: bb4, 3: bb5, otherwise: bb12];
}
@ -92,35 +92,35 @@
}
bb2: {
_35 = deref_copy (_4.1: &ViewportPercentageLength);
_35 = copy (_4.1: &ViewportPercentageLength);
_7 = discriminant((*_35));
switchInt(move _7) -> [0: bb9, otherwise: bb1];
}
bb3: {
_36 = deref_copy (_4.1: &ViewportPercentageLength);
_36 = copy (_4.1: &ViewportPercentageLength);
_8 = discriminant((*_36));
switchInt(move _8) -> [1: bb8, otherwise: bb1];
}
bb4: {
_37 = deref_copy (_4.1: &ViewportPercentageLength);
_37 = copy (_4.1: &ViewportPercentageLength);
_9 = discriminant((*_37));
switchInt(move _9) -> [2: bb7, otherwise: bb1];
}
bb5: {
_38 = deref_copy (_4.1: &ViewportPercentageLength);
_38 = copy (_4.1: &ViewportPercentageLength);
_10 = discriminant((*_38));
switchInt(move _10) -> [3: bb6, otherwise: bb1];
}
bb6: {
StorageLive(_27);
_39 = deref_copy (_4.0: &ViewportPercentageLength);
_39 = copy (_4.0: &ViewportPercentageLength);
_27 = copy (((*_39) as Vmax).0: f32);
StorageLive(_28);
_40 = deref_copy (_4.1: &ViewportPercentageLength);
_40 = copy (_4.1: &ViewportPercentageLength);
_28 = copy (((*_40) as Vmax).0: f32);
StorageLive(_29);
StorageLive(_30);
@ -139,10 +139,10 @@
bb7: {
StorageLive(_22);
_41 = deref_copy (_4.0: &ViewportPercentageLength);
_41 = copy (_4.0: &ViewportPercentageLength);
_22 = copy (((*_41) as Vmin).0: f32);
StorageLive(_23);
_42 = deref_copy (_4.1: &ViewportPercentageLength);
_42 = copy (_4.1: &ViewportPercentageLength);
_23 = copy (((*_42) as Vmin).0: f32);
StorageLive(_24);
StorageLive(_25);
@ -161,10 +161,10 @@
bb8: {
StorageLive(_17);
_43 = deref_copy (_4.0: &ViewportPercentageLength);
_43 = copy (_4.0: &ViewportPercentageLength);
_17 = copy (((*_43) as Vh).0: f32);
StorageLive(_18);
_44 = deref_copy (_4.1: &ViewportPercentageLength);
_44 = copy (_4.1: &ViewportPercentageLength);
_18 = copy (((*_44) as Vh).0: f32);
StorageLive(_19);
StorageLive(_20);
@ -183,10 +183,10 @@
bb9: {
StorageLive(_12);
_45 = deref_copy (_4.0: &ViewportPercentageLength);
_45 = copy (_4.0: &ViewportPercentageLength);
_12 = copy (((*_45) as Vw).0: f32);
StorageLive(_13);
_46 = deref_copy (_4.1: &ViewportPercentageLength);
_46 = copy (_4.1: &ViewportPercentageLength);
_13 = copy (((*_46) as Vw).0: f32);
StorageLive(_14);
StorageLive(_15);

2
tests/mir-opt/early_otherwise_branch_soundness.no_downcast.EarlyOtherwiseBranch.diff
View file

@ -16,7 +16,7 @@
}
bb1: {
_4 = deref_copy (((*_1) as Some).0: &E<'_>);
_4 = copy (((*_1) as Some).0: &E<'_>);
_2 = discriminant((*_4));
switchInt(move _2) -> [1: bb2, 0: bb3, otherwise: bb5];
}

7
tests/mir-opt/gvn_copy_aggregate.all_copy_2.GVN.diff
View file

@ -25,15 +25,14 @@
bb0: {
- StorageLive(_2);
- _8 = deref_copy (*_1);
+ nop;
+ _8 = copy (*_1);
_8 = copy (*_1);
_2 = copy ((*_8).0: i32);
- StorageLive(_3);
- _9 = deref_copy (*_1);
- _9 = copy (*_1);
- _3 = copy ((*_9).1: u64);
- StorageLive(_4);
- _10 = deref_copy (*_1);
- _10 = copy (*_1);
- _4 = copy ((*_10).2: [i8; 3]);
+ nop;
+ _9 = copy _8;

18
tests/mir-opt/inline_coroutine_body.run2-{closure#0}.Inline.panic-abort.diff
View file

@ -126,7 +126,7 @@
StorageLive(_8);
_8 = move _4;
StorageLive(_9);
_10 = deref_copy (_1.1: &mut std::task::Context<'_>);
_10 = copy (_1.1: &mut std::task::Context<'_>);
_9 = &mut (*_10);
- _7 = <{async fn body of ActionPermit<'_, T>::perform()} as Future>::poll(move _8, move _9) -> [return: bb3, unwind unreachable];
+ StorageLive(_16);
@ -141,7 +141,7 @@
+ StorageLive(_37);
+ StorageLive(_38);
+ StorageLive(_39);
+ _32 = deref_copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _32 = copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _31 = discriminant((*_32));
+ switchInt(move _31) -> [0: bb3, 1: bb10, 3: bb9, otherwise: bb5];
}
@ -177,8 +177,8 @@
}
+ bb3: {
+ _33 = deref_copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _34 = deref_copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _33 = copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _34 = copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ (((*_33) as variant#3).0: ActionPermit<'_, T>) = move ((*_34).0: ActionPermit<'_, T>);
+ StorageLive(_12);
+ StorageLive(_13);
@ -191,7 +191,7 @@
+ StorageDead(_14);
+ _12 = move _13;
+ StorageDead(_13);
+ _35 = deref_copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _35 = copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ (((*_35) as variant#3).1: std::future::Ready<()>) = move _12;
+ goto -> bb4;
+ }
@ -204,7 +204,7 @@
+ StorageLive(_19);
+ StorageLive(_20);
+ StorageLive(_21);
+ _36 = deref_copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _36 = copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _21 = &mut (((*_36) as variant#3).1: std::future::Ready<()>);
+ _20 = &mut (*_21);
+ _19 = Pin::<&mut std::future::Ready<()>> { pointer: copy _20 };
@ -248,7 +248,7 @@
+ StorageDead(_12);
+ StorageDead(_28);
+ StorageDead(_29);
+ _37 = deref_copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _37 = copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ discriminant((*_37)) = 3;
+ goto -> bb2;
+ }
@ -263,13 +263,13 @@
+ StorageDead(_18);
+ StorageDead(_17);
+ StorageDead(_12);
+ _38 = deref_copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _38 = copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ drop((((*_38) as variant#3).0: ActionPermit<'_, T>)) -> [return: bb8, unwind unreachable];
+ }
+
+ bb8: {
+ _7 = Poll::<()>::Ready(move _30);
+ _39 = deref_copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _39 = copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ discriminant((*_39)) = 1;
+ goto -> bb2;
+ }

22
tests/mir-opt/inline_coroutine_body.run2-{closure#0}.Inline.panic-unwind.diff
View file

@ -128,7 +128,7 @@
StorageLive(_8);
_8 = move _4;
StorageLive(_9);
_10 = deref_copy (_1.1: &mut std::task::Context<'_>);
_10 = copy (_1.1: &mut std::task::Context<'_>);
_9 = &mut (*_10);
- _7 = <{async fn body of ActionPermit<'_, T>::perform()} as Future>::poll(move _8, move _9) -> [return: bb3, unwind: bb5];
+ StorageLive(_16);
@ -145,7 +145,7 @@
+ StorageLive(_39);
+ StorageLive(_40);
+ StorageLive(_41);
+ _32 = deref_copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _32 = copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _31 = discriminant((*_32));
+ switchInt(move _31) -> [0: bb5, 1: bb15, 2: bb14, 3: bb13, otherwise: bb7];
}
@ -194,8 +194,8 @@
- StorageDead(_2);
- return;
+ bb5: {
+ _33 = deref_copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _34 = deref_copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _33 = copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _34 = copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ (((*_33) as variant#3).0: ActionPermit<'_, T>) = move ((*_34).0: ActionPermit<'_, T>);
+ StorageLive(_12);
+ StorageLive(_13);
@ -208,7 +208,7 @@
+ StorageDead(_14);
+ _12 = move _13;
+ StorageDead(_13);
+ _35 = deref_copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _35 = copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ (((*_35) as variant#3).1: std::future::Ready<()>) = move _12;
+ goto -> bb6;
}
@ -221,7 +221,7 @@
+ StorageLive(_19);
+ StorageLive(_20);
+ StorageLive(_21);
+ _36 = deref_copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _36 = copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _21 = &mut (((*_36) as variant#3).1: std::future::Ready<()>);
+ _20 = &mut (*_21);
+ _19 = Pin::<&mut std::future::Ready<()>> { pointer: copy _20 };
@ -267,7 +267,7 @@
+ StorageDead(_12);
+ StorageDead(_28);
+ StorageDead(_29);
+ _37 = deref_copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _37 = copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ discriminant((*_37)) = 3;
+ goto -> bb4;
+ }
@ -282,13 +282,13 @@
+ StorageDead(_18);
+ StorageDead(_17);
+ StorageDead(_12);
+ _38 = deref_copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _38 = copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ drop((((*_38) as variant#3).0: ActionPermit<'_, T>)) -> [return: bb10, unwind: bb12];
+ }
+
+ bb10: {
+ _7 = Poll::<()>::Ready(move _30);
+ _39 = deref_copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _39 = copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ discriminant((*_39)) = 1;
+ goto -> bb4;
+ }
@ -301,12 +301,12 @@
+ StorageDead(_18);
+ StorageDead(_17);
+ StorageDead(_12);
+ _40 = deref_copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _40 = copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ drop((((*_40) as variant#3).0: ActionPermit<'_, T>)) -> [return: bb12, unwind terminate(cleanup)];
+ }
+
+ bb12 (cleanup): {
+ _41 = deref_copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ _41 = copy (_8.0: &mut {async fn body of ActionPermit<'_, T>::perform()});
+ discriminant((*_41)) = 2;
+ goto -> bb2;
+ }

6
tests/mir-opt/pre-codegen/deref_nested_borrows.src.GVN.panic-abort.diff
View file

@ -16,17 +16,15 @@
bb0: {
- StorageLive(_2);
- _6 = deref_copy (*_1);
+ nop;
+ _6 = copy (*_1);
_6 = copy (*_1);
_2 = copy (*_6);
_3 = unknown() -> [return: bb1, unwind unreachable];
}
bb1: {
StorageLive(_4);
- _7 = deref_copy (*_1);
+ _7 = copy (*_1);
_7 = copy (*_1);
_4 = copy (*_7);
StorageLive(_5);
_5 = copy _2;

6
tests/mir-opt/pre-codegen/deref_nested_borrows.src.GVN.panic-unwind.diff
View file

@ -16,17 +16,15 @@
bb0: {
- StorageLive(_2);
- _6 = deref_copy (*_1);
+ nop;
+ _6 = copy (*_1);
_6 = copy (*_1);
_2 = copy (*_6);
_3 = unknown() -> [return: bb1, unwind continue];
}
bb1: {
StorageLive(_4);
- _7 = deref_copy (*_1);
+ _7 = copy (*_1);
_7 = copy (*_1);
_4 = copy (*_7);
StorageLive(_5);
_5 = copy _2;

2
tests/mir-opt/retag.box_to_raw_mut.SimplifyCfg-pre-optimizations.after.panic-abort.mir
View file

@ -8,7 +8,7 @@ fn box_to_raw_mut(_1: &mut Box<i32>) -> *mut i32 {
bb0: {
Retag([fn entry] _1);
_2 = deref_copy (*_1);
_2 = copy (*_1);
_3 = copy ((_2.0: std::ptr::Unique<i32>).0: std::ptr::NonNull<i32>) as *const i32 (Transmute);
_0 = &raw mut (*_3);
Retag([raw] _0);

2
tests/mir-opt/retag.box_to_raw_mut.SimplifyCfg-pre-optimizations.after.panic-unwind.mir
View file

@ -8,7 +8,7 @@ fn box_to_raw_mut(_1: &mut Box<i32>) -> *mut i32 {
bb0: {
Retag([fn entry] _1);
_2 = deref_copy (*_1);
_2 = copy (*_1);
_3 = copy ((_2.0: std::ptr::Unique<i32>).0: std::ptr::NonNull<i32>) as *const i32 (Transmute);
_0 = &raw mut (*_3);
Retag([raw] _0);

8
tests/mir-opt/sroa/lifetimes.foo.ScalarReplacementOfAggregates.diff
View file

@ -117,8 +117,8 @@
StorageLive(_15);
StorageLive(_16);
StorageLive(_17);
- _26 = deref_copy (_12.0: &std::boxed::Box<dyn std::fmt::Display>);
+ _26 = deref_copy _34;
- _26 = copy (_12.0: &std::boxed::Box<dyn std::fmt::Display>);
+ _26 = copy _34;
_17 = &(*_26);
_16 = core::fmt::rt::Argument::<'_>::new_display::<Box<dyn std::fmt::Display>>(move _17) -> [return: bb3, unwind unreachable];
}
@ -127,8 +127,8 @@
StorageDead(_17);
StorageLive(_18);
StorageLive(_19);
- _27 = deref_copy (_12.1: &u32);
+ _27 = deref_copy _35;
- _27 = copy (_12.1: &u32);
+ _27 = copy _35;
_19 = &(*_27);
_18 = core::fmt::rt::Argument::<'_>::new_display::<u32>(move _19) -> [return: bb4, unwind unreachable];
}

18
tests/ui/rustc_public-ir-print/async-closure.stdout
View file

@ -28,7 +28,7 @@ fn foo::{closure#0}(_1: &{async closure@$DIR/async-closure.rs:9:13: 9:21}) -> {a
debug y => (*((*_1).0: &i32));
bb0: {
StorageLive(_2);
_3 = CopyForDeref(((*_1).0: &i32));
_3 = ((*_1).0: &i32);
_2 = &(*_3);
_0 = {coroutine@$DIR/async-closure.rs:9:22: 11:6}(move _2);
StorageDead(_2);
@ -48,19 +48,19 @@ fn foo::{closure#0}::{closure#0}(_1: Pin<&mut {async closure body@$DIR/async-clo
debug y => (*((*(_1.0: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6})).0: &i32));
debug y => _3;
bb0: {
_7 = CopyForDeref((_1.0: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6}));
_7 = (_1.0: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6});
_6 = discriminant((*_7));
switchInt(move _6) -> [0: bb1, 1: bb2, otherwise: bb3];
}
bb1: {
StorageLive(_3);
_8 = CopyForDeref((_1.0: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6}));
_4 = CopyForDeref(((*_8).0: &i32));
_8 = (_1.0: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6});
_4 = ((*_8).0: &i32);
_3 = (*_4);
_5 = ();
StorageDead(_3);
_0 = std::task::Poll::Ready(move _5);
_9 = CopyForDeref((_1.0: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6}));
_9 = (_1.0: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6});
discriminant((*_9)) = 1;
return;
}
@ -84,19 +84,19 @@ fn foo::{closure#0}::{synthetic#0}(_1: Pin<&mut {async closure body@$DIR/async-c
debug y => (*((*(_1.0: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6})).0: &i32));
debug y => _3;
bb0: {
_7 = CopyForDeref((_1.0: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6}));
_7 = (_1.0: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6});
_6 = discriminant((*_7));
switchInt(move _6) -> [0: bb1, 1: bb2, otherwise: bb3];
}
bb1: {
StorageLive(_3);
_8 = CopyForDeref((_1.0: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6}));
_4 = CopyForDeref(((*_8).0: &i32));
_8 = (_1.0: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6});
_4 = ((*_8).0: &i32);
_3 = (*_4);
_5 = ();
StorageDead(_3);
_0 = std::task::Poll::Ready(move _5);
_9 = CopyForDeref((_1.0: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6}));
_9 = (_1.0: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6});
discriminant((*_9)) = 1;
return;
}