]>
Commit | Line | Data |
---|---|---|
3dfed10e XL |
1 | - // MIR for `float_to_exponential_common` before ConstProp |
2 | + // MIR for `float_to_exponential_common` after ConstProp | |
3 | ||
2b03887a | 4 | fn float_to_exponential_common(_1: &mut Formatter<'_>, _2: &T, _3: bool) -> Result<(), std::fmt::Error> { |
064997fb FG |
5 | debug fmt => _1; // in scope 0 at $DIR/funky_arms.rs:+0:35: +0:38 |
6 | debug num => _2; // in scope 0 at $DIR/funky_arms.rs:+0:60: +0:63 | |
7 | debug upper => _3; // in scope 0 at $DIR/funky_arms.rs:+0:69: +0:74 | |
8 | let mut _0: std::result::Result<(), std::fmt::Error>; // return place in scope 0 at $DIR/funky_arms.rs:+0:85: +0:91 | |
9 | let _4: bool; // in scope 0 at $DIR/funky_arms.rs:+4:9: +4:19 | |
2b03887a | 10 | let mut _5: &std::fmt::Formatter<'_>; // in scope 0 at $DIR/funky_arms.rs:+4:22: +4:37 |
064997fb | 11 | let mut _7: std::option::Option<usize>; // in scope 0 at $DIR/funky_arms.rs:+13:30: +13:45 |
2b03887a | 12 | let mut _8: &std::fmt::Formatter<'_>; // in scope 0 at $DIR/funky_arms.rs:+13:30: +13:45 |
064997fb | 13 | let mut _9: isize; // in scope 0 at $DIR/funky_arms.rs:+13:12: +13:27 |
2b03887a | 14 | let mut _11: &mut std::fmt::Formatter<'_>; // in scope 0 at $DIR/funky_arms.rs:+15:43: +15:46 |
064997fb FG |
15 | let mut _12: &T; // in scope 0 at $DIR/funky_arms.rs:+15:48: +15:51 |
16 | let mut _13: core::num::flt2dec::Sign; // in scope 0 at $DIR/funky_arms.rs:+15:53: +15:57 | |
17 | let mut _14: u32; // in scope 0 at $DIR/funky_arms.rs:+15:59: +15:79 | |
18 | let mut _15: u32; // in scope 0 at $DIR/funky_arms.rs:+15:59: +15:75 | |
19 | let mut _16: usize; // in scope 0 at $DIR/funky_arms.rs:+15:59: +15:68 | |
20 | let mut _17: bool; // in scope 0 at $DIR/funky_arms.rs:+15:81: +15:86 | |
2b03887a | 21 | let mut _18: &mut std::fmt::Formatter<'_>; // in scope 0 at $DIR/funky_arms.rs:+17:46: +17:49 |
064997fb FG |
22 | let mut _19: &T; // in scope 0 at $DIR/funky_arms.rs:+17:51: +17:54 |
23 | let mut _20: core::num::flt2dec::Sign; // in scope 0 at $DIR/funky_arms.rs:+17:56: +17:60 | |
24 | let mut _21: bool; // in scope 0 at $DIR/funky_arms.rs:+17:62: +17:67 | |
3dfed10e | 25 | scope 1 { |
064997fb FG |
26 | debug force_sign => _4; // in scope 1 at $DIR/funky_arms.rs:+4:9: +4:19 |
27 | let _6: core::num::flt2dec::Sign; // in scope 1 at $DIR/funky_arms.rs:+8:9: +8:13 | |
3dfed10e | 28 | scope 2 { |
064997fb | 29 | debug sign => _6; // in scope 2 at $DIR/funky_arms.rs:+8:9: +8:13 |
3dfed10e | 30 | scope 3 { |
064997fb FG |
31 | debug precision => _10; // in scope 3 at $DIR/funky_arms.rs:+13:17: +13:26 |
32 | let _10: usize; // in scope 3 at $DIR/funky_arms.rs:+13:17: +13:26 | |
3dfed10e XL |
33 | } |
34 | } | |
35 | } | |
36 | ||
37 | bb0: { | |
064997fb FG |
38 | StorageLive(_4); // scope 0 at $DIR/funky_arms.rs:+4:9: +4:19 |
39 | StorageLive(_5); // scope 0 at $DIR/funky_arms.rs:+4:22: +4:37 | |
40 | _5 = &(*_1); // scope 0 at $DIR/funky_arms.rs:+4:22: +4:37 | |
2b03887a | 41 | _4 = Formatter::<'_>::sign_plus(move _5) -> bb1; // scope 0 at $DIR/funky_arms.rs:+4:22: +4:37 |
3dfed10e XL |
42 | // mir::Constant |
43 | // + span: $DIR/funky_arms.rs:15:26: 15:35 | |
2b03887a | 44 | // + literal: Const { ty: for<'a> fn(&'a Formatter<'_>) -> bool {Formatter::<'_>::sign_plus}, val: Value(<ZST>) } |
3dfed10e XL |
45 | } |
46 | ||
47 | bb1: { | |
064997fb FG |
48 | StorageDead(_5); // scope 0 at $DIR/funky_arms.rs:+4:36: +4:37 |
49 | StorageLive(_6); // scope 1 at $DIR/funky_arms.rs:+8:9: +8:13 | |
50 | switchInt(_4) -> [false: bb3, otherwise: bb2]; // scope 1 at $DIR/funky_arms.rs:+8:16: +8:32 | |
3dfed10e XL |
51 | } |
52 | ||
53 | bb2: { | |
064997fb FG |
54 | Deinit(_6); // scope 1 at $DIR/funky_arms.rs:+10:17: +10:41 |
55 | discriminant(_6) = 1; // scope 1 at $DIR/funky_arms.rs:+10:17: +10:41 | |
56 | goto -> bb4; // scope 1 at $DIR/funky_arms.rs:+10:17: +10:41 | |
3dfed10e XL |
57 | } |
58 | ||
59 | bb3: { | |
064997fb FG |
60 | Deinit(_6); // scope 1 at $DIR/funky_arms.rs:+9:18: +9:38 |
61 | discriminant(_6) = 0; // scope 1 at $DIR/funky_arms.rs:+9:18: +9:38 | |
62 | goto -> bb4; // scope 1 at $DIR/funky_arms.rs:+9:18: +9:38 | |
3dfed10e XL |
63 | } |
64 | ||
65 | bb4: { | |
064997fb FG |
66 | StorageLive(_7); // scope 3 at $DIR/funky_arms.rs:+13:30: +13:45 |
67 | StorageLive(_8); // scope 3 at $DIR/funky_arms.rs:+13:30: +13:45 | |
68 | _8 = &(*_1); // scope 3 at $DIR/funky_arms.rs:+13:30: +13:45 | |
2b03887a | 69 | _7 = Formatter::<'_>::precision(move _8) -> bb5; // scope 3 at $DIR/funky_arms.rs:+13:30: +13:45 |
3dfed10e XL |
70 | // mir::Constant |
71 | // + span: $DIR/funky_arms.rs:24:34: 24:43 | |
2b03887a | 72 | // + literal: Const { ty: for<'a> fn(&'a Formatter<'_>) -> Option<usize> {Formatter::<'_>::precision}, val: Value(<ZST>) } |
3dfed10e XL |
73 | } |
74 | ||
75 | bb5: { | |
064997fb FG |
76 | StorageDead(_8); // scope 3 at $DIR/funky_arms.rs:+13:44: +13:45 |
77 | _9 = discriminant(_7); // scope 3 at $DIR/funky_arms.rs:+13:12: +13:27 | |
78 | switchInt(move _9) -> [1_isize: bb6, otherwise: bb8]; // scope 3 at $DIR/funky_arms.rs:+13:12: +13:27 | |
3dfed10e XL |
79 | } |
80 | ||
81 | bb6: { | |
064997fb FG |
82 | StorageLive(_10); // scope 3 at $DIR/funky_arms.rs:+13:17: +13:26 |
83 | _10 = ((_7 as Some).0: usize); // scope 3 at $DIR/funky_arms.rs:+13:17: +13:26 | |
84 | StorageLive(_11); // scope 3 at $DIR/funky_arms.rs:+15:43: +15:46 | |
85 | _11 = &mut (*_1); // scope 3 at $DIR/funky_arms.rs:+15:43: +15:46 | |
86 | StorageLive(_12); // scope 3 at $DIR/funky_arms.rs:+15:48: +15:51 | |
87 | _12 = _2; // scope 3 at $DIR/funky_arms.rs:+15:48: +15:51 | |
88 | StorageLive(_13); // scope 3 at $DIR/funky_arms.rs:+15:53: +15:57 | |
89 | _13 = _6; // scope 3 at $DIR/funky_arms.rs:+15:53: +15:57 | |
90 | StorageLive(_14); // scope 3 at $DIR/funky_arms.rs:+15:59: +15:79 | |
91 | StorageLive(_15); // scope 3 at $DIR/funky_arms.rs:+15:59: +15:75 | |
92 | StorageLive(_16); // scope 3 at $DIR/funky_arms.rs:+15:59: +15:68 | |
93 | _16 = _10; // scope 3 at $DIR/funky_arms.rs:+15:59: +15:68 | |
2b03887a | 94 | _15 = move _16 as u32 (IntToInt); // scope 3 at $DIR/funky_arms.rs:+15:59: +15:75 |
064997fb FG |
95 | StorageDead(_16); // scope 3 at $DIR/funky_arms.rs:+15:74: +15:75 |
96 | _14 = Add(move _15, const 1_u32); // scope 3 at $DIR/funky_arms.rs:+15:59: +15:79 | |
97 | StorageDead(_15); // scope 3 at $DIR/funky_arms.rs:+15:78: +15:79 | |
98 | StorageLive(_17); // scope 3 at $DIR/funky_arms.rs:+15:81: +15:86 | |
99 | _17 = _3; // scope 3 at $DIR/funky_arms.rs:+15:81: +15:86 | |
100 | _0 = float_to_exponential_common_exact::<T>(move _11, move _12, move _13, move _14, move _17) -> bb7; // scope 3 at $DIR/funky_arms.rs:+15:9: +15:87 | |
94222f64 XL |
101 | // mir::Constant |
102 | // + span: $DIR/funky_arms.rs:26:9: 26:42 | |
2b03887a | 103 | // + literal: Const { ty: for<'a, 'b, 'c> fn(&'a mut Formatter<'b>, &'c T, Sign, u32, bool) -> Result<(), std::fmt::Error> {float_to_exponential_common_exact::<T>}, val: Value(<ZST>) } |
94222f64 XL |
104 | } |
105 | ||
106 | bb7: { | |
064997fb FG |
107 | StorageDead(_17); // scope 3 at $DIR/funky_arms.rs:+15:86: +15:87 |
108 | StorageDead(_14); // scope 3 at $DIR/funky_arms.rs:+15:86: +15:87 | |
109 | StorageDead(_13); // scope 3 at $DIR/funky_arms.rs:+15:86: +15:87 | |
110 | StorageDead(_12); // scope 3 at $DIR/funky_arms.rs:+15:86: +15:87 | |
111 | StorageDead(_11); // scope 3 at $DIR/funky_arms.rs:+15:86: +15:87 | |
112 | StorageDead(_10); // scope 2 at $DIR/funky_arms.rs:+16:5: +16:6 | |
113 | goto -> bb10; // scope 2 at $DIR/funky_arms.rs:+13:5: +18:6 | |
94222f64 XL |
114 | } |
115 | ||
116 | bb8: { | |
064997fb FG |
117 | StorageLive(_18); // scope 2 at $DIR/funky_arms.rs:+17:46: +17:49 |
118 | _18 = &mut (*_1); // scope 2 at $DIR/funky_arms.rs:+17:46: +17:49 | |
119 | StorageLive(_19); // scope 2 at $DIR/funky_arms.rs:+17:51: +17:54 | |
120 | _19 = _2; // scope 2 at $DIR/funky_arms.rs:+17:51: +17:54 | |
121 | StorageLive(_20); // scope 2 at $DIR/funky_arms.rs:+17:56: +17:60 | |
122 | _20 = _6; // scope 2 at $DIR/funky_arms.rs:+17:56: +17:60 | |
123 | StorageLive(_21); // scope 2 at $DIR/funky_arms.rs:+17:62: +17:67 | |
124 | _21 = _3; // scope 2 at $DIR/funky_arms.rs:+17:62: +17:67 | |
125 | _0 = float_to_exponential_common_shortest::<T>(move _18, move _19, move _20, move _21) -> bb9; // scope 2 at $DIR/funky_arms.rs:+17:9: +17:68 | |
3dfed10e XL |
126 | // mir::Constant |
127 | // + span: $DIR/funky_arms.rs:28:9: 28:45 | |
2b03887a | 128 | // + literal: Const { ty: for<'a, 'b, 'c> fn(&'a mut Formatter<'b>, &'c T, Sign, bool) -> Result<(), std::fmt::Error> {float_to_exponential_common_shortest::<T>}, val: Value(<ZST>) } |
3dfed10e XL |
129 | } |
130 | ||
3dfed10e | 131 | bb9: { |
064997fb FG |
132 | StorageDead(_21); // scope 2 at $DIR/funky_arms.rs:+17:67: +17:68 |
133 | StorageDead(_20); // scope 2 at $DIR/funky_arms.rs:+17:67: +17:68 | |
134 | StorageDead(_19); // scope 2 at $DIR/funky_arms.rs:+17:67: +17:68 | |
135 | StorageDead(_18); // scope 2 at $DIR/funky_arms.rs:+17:67: +17:68 | |
136 | goto -> bb10; // scope 2 at $DIR/funky_arms.rs:+13:5: +18:6 | |
3dfed10e XL |
137 | } |
138 | ||
139 | bb10: { | |
064997fb FG |
140 | StorageDead(_6); // scope 1 at $DIR/funky_arms.rs:+19:1: +19:2 |
141 | StorageDead(_4); // scope 0 at $DIR/funky_arms.rs:+19:1: +19:2 | |
142 | StorageDead(_7); // scope 0 at $DIR/funky_arms.rs:+19:1: +19:2 | |
143 | return; // scope 0 at $DIR/funky_arms.rs:+19:2: +19:2 | |
3dfed10e XL |
144 | } |
145 | } | |
146 |