summaryrefslogtreecommitdiffstats
path: root/tests/mir-opt/gvn.cast.GVN.panic-unwind.diff
diff options
context:
space:
mode:
Diffstat (limited to 'tests/mir-opt/gvn.cast.GVN.panic-unwind.diff')
-rw-r--r--tests/mir-opt/gvn.cast.GVN.panic-unwind.diff291
1 files changed, 177 insertions, 114 deletions
diff --git a/tests/mir-opt/gvn.cast.GVN.panic-unwind.diff b/tests/mir-opt/gvn.cast.GVN.panic-unwind.diff
index 33192ed8d..08b97e13a 100644
--- a/tests/mir-opt/gvn.cast.GVN.panic-unwind.diff
+++ b/tests/mir-opt/gvn.cast.GVN.panic-unwind.diff
@@ -105,19 +105,24 @@
bb0: {
- StorageLive(_1);
++ nop;
_1 = const 1_i64;
- StorageLive(_2);
++ nop;
_2 = const 1_u64;
- StorageLive(_3);
++ nop;
_3 = const 1f64;
StorageLive(_4);
StorageLive(_5);
-- StorageLive(_6);
+ StorageLive(_6);
- _6 = _1;
- _5 = move _6 as u8 (IntToInt);
-- StorageDead(_6);
-+ _5 = const 1_i64 as u8 (IntToInt);
- _4 = opaque::<u8>(move _5) -> [return: bb1, unwind continue];
++ _6 = const 1_i64;
++ _5 = const 1_u8;
+ StorageDead(_6);
+- _4 = opaque::<u8>(move _5) -> [return: bb1, unwind continue];
++ _4 = opaque::<u8>(const 1_u8) -> [return: bb1, unwind continue];
}
bb1: {
@@ -125,12 +130,14 @@
StorageDead(_4);
StorageLive(_7);
StorageLive(_8);
-- StorageLive(_9);
+ StorageLive(_9);
- _9 = _1;
- _8 = move _9 as u16 (IntToInt);
-- StorageDead(_9);
-+ _8 = const 1_i64 as u16 (IntToInt);
- _7 = opaque::<u16>(move _8) -> [return: bb2, unwind continue];
++ _9 = const 1_i64;
++ _8 = const 1_u16;
+ StorageDead(_9);
+- _7 = opaque::<u16>(move _8) -> [return: bb2, unwind continue];
++ _7 = opaque::<u16>(const 1_u16) -> [return: bb2, unwind continue];
}
bb2: {
@@ -138,12 +145,14 @@
StorageDead(_7);
StorageLive(_10);
StorageLive(_11);
-- StorageLive(_12);
+ StorageLive(_12);
- _12 = _1;
- _11 = move _12 as u32 (IntToInt);
-- StorageDead(_12);
-+ _11 = const 1_i64 as u32 (IntToInt);
- _10 = opaque::<u32>(move _11) -> [return: bb3, unwind continue];
++ _12 = const 1_i64;
++ _11 = const 1_u32;
+ StorageDead(_12);
+- _10 = opaque::<u32>(move _11) -> [return: bb3, unwind continue];
++ _10 = opaque::<u32>(const 1_u32) -> [return: bb3, unwind continue];
}
bb3: {
@@ -151,12 +160,14 @@
StorageDead(_10);
StorageLive(_13);
StorageLive(_14);
-- StorageLive(_15);
+ StorageLive(_15);
- _15 = _1;
- _14 = move _15 as u64 (IntToInt);
-- StorageDead(_15);
-+ _14 = const 1_i64 as u64 (IntToInt);
- _13 = opaque::<u64>(move _14) -> [return: bb4, unwind continue];
++ _15 = const 1_i64;
++ _14 = const 1_u64;
+ StorageDead(_15);
+- _13 = opaque::<u64>(move _14) -> [return: bb4, unwind continue];
++ _13 = opaque::<u64>(const 1_u64) -> [return: bb4, unwind continue];
}
bb4: {
@@ -164,12 +175,14 @@
StorageDead(_13);
StorageLive(_16);
StorageLive(_17);
-- StorageLive(_18);
+ StorageLive(_18);
- _18 = _1;
- _17 = move _18 as i8 (IntToInt);
-- StorageDead(_18);
-+ _17 = const 1_i64 as i8 (IntToInt);
- _16 = opaque::<i8>(move _17) -> [return: bb5, unwind continue];
++ _18 = const 1_i64;
++ _17 = const 1_i8;
+ StorageDead(_18);
+- _16 = opaque::<i8>(move _17) -> [return: bb5, unwind continue];
++ _16 = opaque::<i8>(const 1_i8) -> [return: bb5, unwind continue];
}
bb5: {
@@ -177,12 +190,14 @@
StorageDead(_16);
StorageLive(_19);
StorageLive(_20);
-- StorageLive(_21);
+ StorageLive(_21);
- _21 = _1;
- _20 = move _21 as i16 (IntToInt);
-- StorageDead(_21);
-+ _20 = const 1_i64 as i16 (IntToInt);
- _19 = opaque::<i16>(move _20) -> [return: bb6, unwind continue];
++ _21 = const 1_i64;
++ _20 = const 1_i16;
+ StorageDead(_21);
+- _19 = opaque::<i16>(move _20) -> [return: bb6, unwind continue];
++ _19 = opaque::<i16>(const 1_i16) -> [return: bb6, unwind continue];
}
bb6: {
@@ -190,35 +205,40 @@
StorageDead(_19);
StorageLive(_22);
StorageLive(_23);
-- StorageLive(_24);
+ StorageLive(_24);
- _24 = _1;
- _23 = move _24 as i32 (IntToInt);
-- StorageDead(_24);
-+ _23 = const 1_i64 as i32 (IntToInt);
- _22 = opaque::<i32>(move _23) -> [return: bb7, unwind continue];
++ _24 = const 1_i64;
++ _23 = const 1_i32;
+ StorageDead(_24);
+- _22 = opaque::<i32>(move _23) -> [return: bb7, unwind continue];
++ _22 = opaque::<i32>(const 1_i32) -> [return: bb7, unwind continue];
}
bb7: {
StorageDead(_23);
StorageDead(_22);
StorageLive(_25);
-- StorageLive(_26);
+ StorageLive(_26);
- _26 = _1;
- _25 = opaque::<i64>(move _26) -> [return: bb8, unwind continue];
++ _26 = const 1_i64;
+ _25 = opaque::<i64>(const 1_i64) -> [return: bb8, unwind continue];
}
bb8: {
-- StorageDead(_26);
+ StorageDead(_26);
StorageDead(_25);
StorageLive(_27);
StorageLive(_28);
-- StorageLive(_29);
+ StorageLive(_29);
- _29 = _1;
- _28 = move _29 as f32 (IntToFloat);
-- StorageDead(_29);
-+ _28 = const 1_i64 as f32 (IntToFloat);
- _27 = opaque::<f32>(move _28) -> [return: bb9, unwind continue];
++ _29 = const 1_i64;
++ _28 = const 1f32;
+ StorageDead(_29);
+- _27 = opaque::<f32>(move _28) -> [return: bb9, unwind continue];
++ _27 = opaque::<f32>(const 1f32) -> [return: bb9, unwind continue];
}
bb9: {
@@ -226,12 +246,14 @@
StorageDead(_27);
StorageLive(_30);
StorageLive(_31);
-- StorageLive(_32);
+ StorageLive(_32);
- _32 = _1;
- _31 = move _32 as f64 (IntToFloat);
-- StorageDead(_32);
-+ _31 = const 1_i64 as f64 (IntToFloat);
- _30 = opaque::<f64>(move _31) -> [return: bb10, unwind continue];
++ _32 = const 1_i64;
++ _31 = const 1f64;
+ StorageDead(_32);
+- _30 = opaque::<f64>(move _31) -> [return: bb10, unwind continue];
++ _30 = opaque::<f64>(const 1f64) -> [return: bb10, unwind continue];
}
bb10: {
@@ -239,12 +261,14 @@
StorageDead(_30);
StorageLive(_33);
StorageLive(_34);
-- StorageLive(_35);
+ StorageLive(_35);
- _35 = _2;
- _34 = move _35 as u8 (IntToInt);
-- StorageDead(_35);
-+ _34 = const 1_u64 as u8 (IntToInt);
- _33 = opaque::<u8>(move _34) -> [return: bb11, unwind continue];
++ _35 = const 1_u64;
++ _34 = const 1_u8;
+ StorageDead(_35);
+- _33 = opaque::<u8>(move _34) -> [return: bb11, unwind continue];
++ _33 = opaque::<u8>(const 1_u8) -> [return: bb11, unwind continue];
}
bb11: {
@@ -252,12 +276,14 @@
StorageDead(_33);
StorageLive(_36);
StorageLive(_37);
-- StorageLive(_38);
+ StorageLive(_38);
- _38 = _2;
- _37 = move _38 as u16 (IntToInt);
-- StorageDead(_38);
-+ _37 = const 1_u64 as u16 (IntToInt);
- _36 = opaque::<u16>(move _37) -> [return: bb12, unwind continue];
++ _38 = const 1_u64;
++ _37 = const 1_u16;
+ StorageDead(_38);
+- _36 = opaque::<u16>(move _37) -> [return: bb12, unwind continue];
++ _36 = opaque::<u16>(const 1_u16) -> [return: bb12, unwind continue];
}
bb12: {
@@ -265,35 +291,40 @@
StorageDead(_36);
StorageLive(_39);
StorageLive(_40);
-- StorageLive(_41);
+ StorageLive(_41);
- _41 = _2;
- _40 = move _41 as u32 (IntToInt);
-- StorageDead(_41);
-+ _40 = const 1_u64 as u32 (IntToInt);
- _39 = opaque::<u32>(move _40) -> [return: bb13, unwind continue];
++ _41 = const 1_u64;
++ _40 = const 1_u32;
+ StorageDead(_41);
+- _39 = opaque::<u32>(move _40) -> [return: bb13, unwind continue];
++ _39 = opaque::<u32>(const 1_u32) -> [return: bb13, unwind continue];
}
bb13: {
StorageDead(_40);
StorageDead(_39);
StorageLive(_42);
-- StorageLive(_43);
+ StorageLive(_43);
- _43 = _2;
- _42 = opaque::<u64>(move _43) -> [return: bb14, unwind continue];
++ _43 = const 1_u64;
+ _42 = opaque::<u64>(const 1_u64) -> [return: bb14, unwind continue];
}
bb14: {
-- StorageDead(_43);
+ StorageDead(_43);
StorageDead(_42);
StorageLive(_44);
StorageLive(_45);
-- StorageLive(_46);
+ StorageLive(_46);
- _46 = _2;
- _45 = move _46 as i8 (IntToInt);
-- StorageDead(_46);
-+ _45 = const 1_u64 as i8 (IntToInt);
- _44 = opaque::<i8>(move _45) -> [return: bb15, unwind continue];
++ _46 = const 1_u64;
++ _45 = const 1_i8;
+ StorageDead(_46);
+- _44 = opaque::<i8>(move _45) -> [return: bb15, unwind continue];
++ _44 = opaque::<i8>(const 1_i8) -> [return: bb15, unwind continue];
}
bb15: {
@@ -301,12 +332,14 @@
StorageDead(_44);
StorageLive(_47);
StorageLive(_48);
-- StorageLive(_49);
+ StorageLive(_49);
- _49 = _2;
- _48 = move _49 as i16 (IntToInt);
-- StorageDead(_49);
-+ _48 = const 1_u64 as i16 (IntToInt);
- _47 = opaque::<i16>(move _48) -> [return: bb16, unwind continue];
++ _49 = const 1_u64;
++ _48 = const 1_i16;
+ StorageDead(_49);
+- _47 = opaque::<i16>(move _48) -> [return: bb16, unwind continue];
++ _47 = opaque::<i16>(const 1_i16) -> [return: bb16, unwind continue];
}
bb16: {
@@ -314,12 +347,14 @@
StorageDead(_47);
StorageLive(_50);
StorageLive(_51);
-- StorageLive(_52);
+ StorageLive(_52);
- _52 = _2;
- _51 = move _52 as i32 (IntToInt);
-- StorageDead(_52);
-+ _51 = const 1_u64 as i32 (IntToInt);
- _50 = opaque::<i32>(move _51) -> [return: bb17, unwind continue];
++ _52 = const 1_u64;
++ _51 = const 1_i32;
+ StorageDead(_52);
+- _50 = opaque::<i32>(move _51) -> [return: bb17, unwind continue];
++ _50 = opaque::<i32>(const 1_i32) -> [return: bb17, unwind continue];
}
bb17: {
@@ -327,12 +362,14 @@
StorageDead(_50);
StorageLive(_53);
StorageLive(_54);
-- StorageLive(_55);
+ StorageLive(_55);
- _55 = _2;
- _54 = move _55 as i64 (IntToInt);
-- StorageDead(_55);
-+ _54 = const 1_u64 as i64 (IntToInt);
- _53 = opaque::<i64>(move _54) -> [return: bb18, unwind continue];
++ _55 = const 1_u64;
++ _54 = const 1_i64;
+ StorageDead(_55);
+- _53 = opaque::<i64>(move _54) -> [return: bb18, unwind continue];
++ _53 = opaque::<i64>(const 1_i64) -> [return: bb18, unwind continue];
}
bb18: {
@@ -340,12 +377,14 @@
StorageDead(_53);
StorageLive(_56);
StorageLive(_57);
-- StorageLive(_58);
+ StorageLive(_58);
- _58 = _2;
- _57 = move _58 as f32 (IntToFloat);
-- StorageDead(_58);
-+ _57 = const 1_u64 as f32 (IntToFloat);
- _56 = opaque::<f32>(move _57) -> [return: bb19, unwind continue];
++ _58 = const 1_u64;
++ _57 = const 1f32;
+ StorageDead(_58);
+- _56 = opaque::<f32>(move _57) -> [return: bb19, unwind continue];
++ _56 = opaque::<f32>(const 1f32) -> [return: bb19, unwind continue];
}
bb19: {
@@ -353,12 +392,14 @@
StorageDead(_56);
StorageLive(_59);
StorageLive(_60);
-- StorageLive(_61);
+ StorageLive(_61);
- _61 = _2;
- _60 = move _61 as f64 (IntToFloat);
-- StorageDead(_61);
-+ _60 = const 1_u64 as f64 (IntToFloat);
- _59 = opaque::<f64>(move _60) -> [return: bb20, unwind continue];
++ _61 = const 1_u64;
++ _60 = const 1f64;
+ StorageDead(_61);
+- _59 = opaque::<f64>(move _60) -> [return: bb20, unwind continue];
++ _59 = opaque::<f64>(const 1f64) -> [return: bb20, unwind continue];
}
bb20: {
@@ -366,12 +407,14 @@
StorageDead(_59);
StorageLive(_62);
StorageLive(_63);
-- StorageLive(_64);
+ StorageLive(_64);
- _64 = _3;
- _63 = move _64 as u8 (FloatToInt);
-- StorageDead(_64);
-+ _63 = const 1f64 as u8 (FloatToInt);
- _62 = opaque::<u8>(move _63) -> [return: bb21, unwind continue];
++ _64 = const 1f64;
++ _63 = const 1_u8;
+ StorageDead(_64);
+- _62 = opaque::<u8>(move _63) -> [return: bb21, unwind continue];
++ _62 = opaque::<u8>(const 1_u8) -> [return: bb21, unwind continue];
}
bb21: {
@@ -379,12 +422,14 @@
StorageDead(_62);
StorageLive(_65);
StorageLive(_66);
-- StorageLive(_67);
+ StorageLive(_67);
- _67 = _3;
- _66 = move _67 as u16 (FloatToInt);
-- StorageDead(_67);
-+ _66 = const 1f64 as u16 (FloatToInt);
- _65 = opaque::<u16>(move _66) -> [return: bb22, unwind continue];
++ _67 = const 1f64;
++ _66 = const 1_u16;
+ StorageDead(_67);
+- _65 = opaque::<u16>(move _66) -> [return: bb22, unwind continue];
++ _65 = opaque::<u16>(const 1_u16) -> [return: bb22, unwind continue];
}
bb22: {
@@ -392,12 +437,14 @@
StorageDead(_65);
StorageLive(_68);
StorageLive(_69);
-- StorageLive(_70);
+ StorageLive(_70);
- _70 = _3;
- _69 = move _70 as u32 (FloatToInt);
-- StorageDead(_70);
-+ _69 = const 1f64 as u32 (FloatToInt);
- _68 = opaque::<u32>(move _69) -> [return: bb23, unwind continue];
++ _70 = const 1f64;
++ _69 = const 1_u32;
+ StorageDead(_70);
+- _68 = opaque::<u32>(move _69) -> [return: bb23, unwind continue];
++ _68 = opaque::<u32>(const 1_u32) -> [return: bb23, unwind continue];
}
bb23: {
@@ -405,12 +452,14 @@
StorageDead(_68);
StorageLive(_71);
StorageLive(_72);
-- StorageLive(_73);
+ StorageLive(_73);
- _73 = _3;
- _72 = move _73 as u64 (FloatToInt);
-- StorageDead(_73);
-+ _72 = const 1f64 as u64 (FloatToInt);
- _71 = opaque::<u64>(move _72) -> [return: bb24, unwind continue];
++ _73 = const 1f64;
++ _72 = const 1_u64;
+ StorageDead(_73);
+- _71 = opaque::<u64>(move _72) -> [return: bb24, unwind continue];
++ _71 = opaque::<u64>(const 1_u64) -> [return: bb24, unwind continue];
}
bb24: {
@@ -418,12 +467,14 @@
StorageDead(_71);
StorageLive(_74);
StorageLive(_75);
-- StorageLive(_76);
+ StorageLive(_76);
- _76 = _3;
- _75 = move _76 as i8 (FloatToInt);
-- StorageDead(_76);
-+ _75 = const 1f64 as i8 (FloatToInt);
- _74 = opaque::<i8>(move _75) -> [return: bb25, unwind continue];
++ _76 = const 1f64;
++ _75 = const 1_i8;
+ StorageDead(_76);
+- _74 = opaque::<i8>(move _75) -> [return: bb25, unwind continue];
++ _74 = opaque::<i8>(const 1_i8) -> [return: bb25, unwind continue];
}
bb25: {
@@ -431,12 +482,14 @@
StorageDead(_74);
StorageLive(_77);
StorageLive(_78);
-- StorageLive(_79);
+ StorageLive(_79);
- _79 = _3;
- _78 = move _79 as i16 (FloatToInt);
-- StorageDead(_79);
-+ _78 = const 1f64 as i16 (FloatToInt);
- _77 = opaque::<i16>(move _78) -> [return: bb26, unwind continue];
++ _79 = const 1f64;
++ _78 = const 1_i16;
+ StorageDead(_79);
+- _77 = opaque::<i16>(move _78) -> [return: bb26, unwind continue];
++ _77 = opaque::<i16>(const 1_i16) -> [return: bb26, unwind continue];
}
bb26: {
@@ -444,12 +497,14 @@
StorageDead(_77);
StorageLive(_80);
StorageLive(_81);
-- StorageLive(_82);
+ StorageLive(_82);
- _82 = _3;
- _81 = move _82 as i32 (FloatToInt);
-- StorageDead(_82);
-+ _81 = const 1f64 as i32 (FloatToInt);
- _80 = opaque::<i32>(move _81) -> [return: bb27, unwind continue];
++ _82 = const 1f64;
++ _81 = const 1_i32;
+ StorageDead(_82);
+- _80 = opaque::<i32>(move _81) -> [return: bb27, unwind continue];
++ _80 = opaque::<i32>(const 1_i32) -> [return: bb27, unwind continue];
}
bb27: {
@@ -457,12 +512,14 @@
StorageDead(_80);
StorageLive(_83);
StorageLive(_84);
-- StorageLive(_85);
+ StorageLive(_85);
- _85 = _3;
- _84 = move _85 as i64 (FloatToInt);
-- StorageDead(_85);
-+ _84 = const 1f64 as i64 (FloatToInt);
- _83 = opaque::<i64>(move _84) -> [return: bb28, unwind continue];
++ _85 = const 1f64;
++ _84 = const 1_i64;
+ StorageDead(_85);
+- _83 = opaque::<i64>(move _84) -> [return: bb28, unwind continue];
++ _83 = opaque::<i64>(const 1_i64) -> [return: bb28, unwind continue];
}
bb28: {
@@ -470,31 +527,37 @@
StorageDead(_83);
StorageLive(_86);
StorageLive(_87);
-- StorageLive(_88);
+ StorageLive(_88);
- _88 = _3;
- _87 = move _88 as f32 (FloatToFloat);
-- StorageDead(_88);
-+ _87 = const 1f64 as f32 (FloatToFloat);
- _86 = opaque::<f32>(move _87) -> [return: bb29, unwind continue];
++ _88 = const 1f64;
++ _87 = const 1f32;
+ StorageDead(_88);
+- _86 = opaque::<f32>(move _87) -> [return: bb29, unwind continue];
++ _86 = opaque::<f32>(const 1f32) -> [return: bb29, unwind continue];
}
bb29: {
StorageDead(_87);
StorageDead(_86);
StorageLive(_89);
-- StorageLive(_90);
+ StorageLive(_90);
- _90 = _3;
- _89 = opaque::<f64>(move _90) -> [return: bb30, unwind continue];
++ _90 = const 1f64;
+ _89 = opaque::<f64>(const 1f64) -> [return: bb30, unwind continue];
}
bb30: {
-- StorageDead(_90);
+ StorageDead(_90);
StorageDead(_89);
_0 = const ();
- StorageDead(_3);
- StorageDead(_2);
- StorageDead(_1);
++ nop;
++ nop;
++ nop;
return;
}
}
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-10 04:55:27 +0000