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