]> git.proxmox.com Git - rustc.git/blame - src/test/mir-opt/funky_arms.float_to_exponential_common.ConstProp.diff
Update unsuspicious file list
[rustc.git] / src / test / mir-opt / funky_arms.float_to_exponential_common.ConstProp.diff
CommitLineData
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