2020-08-01 18:47:52 -05:00
|
|
|
- // MIR for `try_sum` before EarlyOtherwiseBranch
|
|
|
|
+ // MIR for `try_sum` after EarlyOtherwiseBranch
|
|
|
|
|
2021-01-28 10:01:36 -06:00
|
|
|
fn try_sum(_1: &ViewportPercentageLength, _2: &ViewportPercentageLength) -> Result<ViewportPercentageLength, ()> {
|
2023-06-06 08:47:00 -05:00
|
|
|
debug x => _1;
|
|
|
|
debug other => _2;
|
|
|
|
let mut _0: std::result::Result<ViewportPercentageLength, ()>;
|
|
|
|
let mut _3: ViewportPercentageLength;
|
|
|
|
let mut _4: (&ViewportPercentageLength, &ViewportPercentageLength);
|
|
|
|
let mut _5: &ViewportPercentageLength;
|
|
|
|
let mut _6: &ViewportPercentageLength;
|
|
|
|
let mut _7: isize;
|
|
|
|
let mut _8: isize;
|
|
|
|
let mut _9: isize;
|
|
|
|
let mut _10: isize;
|
|
|
|
let mut _11: isize;
|
|
|
|
let _12: f32;
|
|
|
|
let _13: f32;
|
|
|
|
let mut _14: f32;
|
|
|
|
let mut _15: f32;
|
|
|
|
let mut _16: f32;
|
|
|
|
let _17: f32;
|
|
|
|
let _18: f32;
|
|
|
|
let mut _19: f32;
|
|
|
|
let mut _20: f32;
|
|
|
|
let mut _21: f32;
|
|
|
|
let _22: f32;
|
|
|
|
let _23: f32;
|
|
|
|
let mut _24: f32;
|
|
|
|
let mut _25: f32;
|
|
|
|
let mut _26: f32;
|
|
|
|
let _27: f32;
|
|
|
|
let _28: f32;
|
|
|
|
let mut _29: f32;
|
|
|
|
let mut _30: f32;
|
|
|
|
let mut _31: f32;
|
|
|
|
let mut _32: !;
|
|
|
|
let mut _33: ();
|
|
|
|
let mut _34: &ViewportPercentageLength;
|
|
|
|
let mut _35: &ViewportPercentageLength;
|
|
|
|
let mut _36: &ViewportPercentageLength;
|
|
|
|
let mut _37: &ViewportPercentageLength;
|
|
|
|
let mut _38: &ViewportPercentageLength;
|
|
|
|
let mut _39: &ViewportPercentageLength;
|
|
|
|
let mut _40: &ViewportPercentageLength;
|
|
|
|
let mut _41: &ViewportPercentageLength;
|
|
|
|
let mut _42: &ViewportPercentageLength;
|
|
|
|
let mut _43: &ViewportPercentageLength;
|
|
|
|
let mut _44: &ViewportPercentageLength;
|
|
|
|
let mut _45: &ViewportPercentageLength;
|
|
|
|
let mut _46: &ViewportPercentageLength;
|
2020-08-01 18:47:52 -05:00
|
|
|
scope 1 {
|
2023-06-06 08:47:00 -05:00
|
|
|
debug one => _12;
|
|
|
|
debug other => _13;
|
2020-08-01 18:47:52 -05:00
|
|
|
}
|
|
|
|
scope 2 {
|
2023-06-06 08:47:00 -05:00
|
|
|
debug one => _17;
|
|
|
|
debug other => _18;
|
2020-08-01 18:47:52 -05:00
|
|
|
}
|
|
|
|
scope 3 {
|
2023-06-06 08:47:00 -05:00
|
|
|
debug one => _22;
|
|
|
|
debug other => _23;
|
2020-08-01 18:47:52 -05:00
|
|
|
}
|
|
|
|
scope 4 {
|
2023-06-06 08:47:00 -05:00
|
|
|
debug one => _27;
|
|
|
|
debug other => _28;
|
2020-08-01 18:47:52 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
bb0: {
|
2023-06-06 08:47:00 -05:00
|
|
|
StorageLive(_3);
|
|
|
|
StorageLive(_4);
|
|
|
|
StorageLive(_5);
|
|
|
|
_5 = _1;
|
|
|
|
StorageLive(_6);
|
|
|
|
_6 = _2;
|
|
|
|
_4 = (move _5, move _6);
|
|
|
|
StorageDead(_6);
|
|
|
|
StorageDead(_5);
|
|
|
|
_34 = deref_copy (_4.0: &ViewportPercentageLength);
|
|
|
|
_11 = discriminant((*_34));
|
2024-02-21 08:44:48 -06:00
|
|
|
switchInt(move _11) -> [0: bb2, 1: bb3, 2: bb4, 3: bb5, otherwise: bb12];
|
2020-08-01 18:47:52 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
bb1: {
|
2023-06-06 08:47:00 -05:00
|
|
|
StorageLive(_33);
|
|
|
|
_33 = ();
|
|
|
|
_0 = Result::<ViewportPercentageLength, ()>::Err(move _33);
|
|
|
|
StorageDead(_33);
|
|
|
|
StorageDead(_3);
|
|
|
|
StorageDead(_4);
|
|
|
|
goto -> bb11;
|
2020-08-01 18:47:52 -05:00
|
|
|
}
|
|
|
|
|
2024-02-11 21:56:03 -06:00
|
|
|
bb2: {
|
|
|
|
_35 = deref_copy (_4.1: &ViewportPercentageLength);
|
|
|
|
_7 = discriminant((*_35));
|
|
|
|
switchInt(move _7) -> [0: bb6, otherwise: bb1];
|
|
|
|
}
|
|
|
|
|
2022-04-16 08:03:14 -05:00
|
|
|
bb3: {
|
2023-06-06 08:47:00 -05:00
|
|
|
_36 = deref_copy (_4.1: &ViewportPercentageLength);
|
|
|
|
_8 = discriminant((*_36));
|
2024-02-11 21:56:03 -06:00
|
|
|
switchInt(move _8) -> [1: bb7, otherwise: bb1];
|
2022-04-16 08:03:14 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
bb4: {
|
2023-06-06 08:47:00 -05:00
|
|
|
_37 = deref_copy (_4.1: &ViewportPercentageLength);
|
|
|
|
_9 = discriminant((*_37));
|
2024-02-11 21:56:03 -06:00
|
|
|
switchInt(move _9) -> [2: bb8, otherwise: bb1];
|
2022-04-16 08:03:14 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
bb5: {
|
2023-06-06 08:47:00 -05:00
|
|
|
_38 = deref_copy (_4.1: &ViewportPercentageLength);
|
|
|
|
_10 = discriminant((*_38));
|
2024-02-11 21:56:03 -06:00
|
|
|
switchInt(move _10) -> [3: bb9, otherwise: bb1];
|
2022-04-16 08:03:14 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
bb6: {
|
2024-01-21 16:36:33 -06:00
|
|
|
StorageLive(_12);
|
2024-02-27 17:34:33 -06:00
|
|
|
_39 = deref_copy (_4.0: &ViewportPercentageLength);
|
|
|
|
_12 = (((*_39) as Vw).0: f32);
|
|
|
|
StorageLive(_13);
|
|
|
|
_40 = deref_copy (_4.1: &ViewportPercentageLength);
|
|
|
|
_13 = (((*_40) as Vw).0: f32);
|
2023-06-06 08:47:00 -05:00
|
|
|
StorageLive(_14);
|
|
|
|
StorageLive(_15);
|
|
|
|
_15 = _12;
|
|
|
|
StorageLive(_16);
|
|
|
|
_16 = _13;
|
|
|
|
_14 = Add(move _15, move _16);
|
|
|
|
StorageDead(_16);
|
|
|
|
StorageDead(_15);
|
|
|
|
_3 = ViewportPercentageLength::Vw(move _14);
|
|
|
|
StorageDead(_14);
|
2024-01-21 16:36:33 -06:00
|
|
|
StorageDead(_13);
|
2024-02-27 17:34:33 -06:00
|
|
|
StorageDead(_12);
|
2023-06-06 08:47:00 -05:00
|
|
|
goto -> bb10;
|
2020-08-01 18:47:52 -05:00
|
|
|
}
|
|
|
|
|
2022-04-16 08:03:14 -05:00
|
|
|
bb7: {
|
2024-01-21 16:36:33 -06:00
|
|
|
StorageLive(_17);
|
2024-02-27 17:34:33 -06:00
|
|
|
_41 = deref_copy (_4.0: &ViewportPercentageLength);
|
|
|
|
_17 = (((*_41) as Vh).0: f32);
|
|
|
|
StorageLive(_18);
|
|
|
|
_42 = deref_copy (_4.1: &ViewportPercentageLength);
|
|
|
|
_18 = (((*_42) as Vh).0: f32);
|
2023-06-06 08:47:00 -05:00
|
|
|
StorageLive(_19);
|
|
|
|
StorageLive(_20);
|
|
|
|
_20 = _17;
|
|
|
|
StorageLive(_21);
|
|
|
|
_21 = _18;
|
|
|
|
_19 = Add(move _20, move _21);
|
|
|
|
StorageDead(_21);
|
|
|
|
StorageDead(_20);
|
|
|
|
_3 = ViewportPercentageLength::Vh(move _19);
|
|
|
|
StorageDead(_19);
|
2024-01-21 16:36:33 -06:00
|
|
|
StorageDead(_18);
|
2024-02-27 17:34:33 -06:00
|
|
|
StorageDead(_17);
|
2023-06-06 08:47:00 -05:00
|
|
|
goto -> bb10;
|
2020-08-01 18:47:52 -05:00
|
|
|
}
|
|
|
|
|
2022-04-16 08:03:14 -05:00
|
|
|
bb8: {
|
2024-01-21 16:36:33 -06:00
|
|
|
StorageLive(_22);
|
2024-02-27 17:34:33 -06:00
|
|
|
_43 = deref_copy (_4.0: &ViewportPercentageLength);
|
|
|
|
_22 = (((*_43) as Vmin).0: f32);
|
|
|
|
StorageLive(_23);
|
|
|
|
_44 = deref_copy (_4.1: &ViewportPercentageLength);
|
|
|
|
_23 = (((*_44) as Vmin).0: f32);
|
2023-06-06 08:47:00 -05:00
|
|
|
StorageLive(_24);
|
|
|
|
StorageLive(_25);
|
|
|
|
_25 = _22;
|
|
|
|
StorageLive(_26);
|
|
|
|
_26 = _23;
|
|
|
|
_24 = Add(move _25, move _26);
|
|
|
|
StorageDead(_26);
|
|
|
|
StorageDead(_25);
|
|
|
|
_3 = ViewportPercentageLength::Vmin(move _24);
|
|
|
|
StorageDead(_24);
|
2024-01-21 16:36:33 -06:00
|
|
|
StorageDead(_23);
|
2024-02-27 17:34:33 -06:00
|
|
|
StorageDead(_22);
|
2023-06-06 08:47:00 -05:00
|
|
|
goto -> bb10;
|
2020-08-01 18:47:52 -05:00
|
|
|
}
|
|
|
|
|
2022-04-16 08:03:14 -05:00
|
|
|
bb9: {
|
2024-01-21 16:36:33 -06:00
|
|
|
StorageLive(_27);
|
2024-02-27 17:34:33 -06:00
|
|
|
_45 = deref_copy (_4.0: &ViewportPercentageLength);
|
|
|
|
_27 = (((*_45) as Vmax).0: f32);
|
|
|
|
StorageLive(_28);
|
|
|
|
_46 = deref_copy (_4.1: &ViewportPercentageLength);
|
|
|
|
_28 = (((*_46) as Vmax).0: f32);
|
2023-06-06 08:47:00 -05:00
|
|
|
StorageLive(_29);
|
|
|
|
StorageLive(_30);
|
|
|
|
_30 = _27;
|
|
|
|
StorageLive(_31);
|
|
|
|
_31 = _28;
|
|
|
|
_29 = Add(move _30, move _31);
|
|
|
|
StorageDead(_31);
|
|
|
|
StorageDead(_30);
|
|
|
|
_3 = ViewportPercentageLength::Vmax(move _29);
|
|
|
|
StorageDead(_29);
|
2024-01-21 16:36:33 -06:00
|
|
|
StorageDead(_28);
|
2024-02-27 17:34:33 -06:00
|
|
|
StorageDead(_27);
|
2023-06-06 08:47:00 -05:00
|
|
|
goto -> bb10;
|
2020-08-01 18:47:52 -05:00
|
|
|
}
|
|
|
|
|
2022-04-16 08:03:14 -05:00
|
|
|
bb10: {
|
2023-06-06 08:47:00 -05:00
|
|
|
_0 = Result::<ViewportPercentageLength, ()>::Ok(move _3);
|
|
|
|
StorageDead(_3);
|
|
|
|
StorageDead(_4);
|
|
|
|
goto -> bb11;
|
2021-12-11 21:02:16 -06:00
|
|
|
}
|
2022-08-22 19:00:00 -05:00
|
|
|
|
|
|
|
bb11: {
|
2023-06-06 08:47:00 -05:00
|
|
|
return;
|
2022-08-22 19:00:00 -05:00
|
|
|
}
|
2024-02-21 08:44:48 -06:00
|
|
|
|
|
|
|
bb12: {
|
|
|
|
unreachable;
|
|
|
|
}
|
2020-08-01 18:47:52 -05:00
|
|
|
}
|
|
|
|
|