|
109 | 109 |
|
110 | 110 | bb2: { |
111 | 111 | StorageLive(_33); // scope 0 at $DIR/early_otherwise_branch_68867.rs:26:25: 26:27 |
| 112 | + nop; // scope 0 at $DIR/early_otherwise_branch_68867.rs:26:25: 26:27 |
| 113 | + Deinit(_0); // scope 0 at $DIR/early_otherwise_branch_68867.rs:26:21: 26:28 |
112 | 114 | nop; // scope 0 at $DIR/early_otherwise_branch_68867.rs:26:21: 26:28 |
113 | 115 | discriminant(_0) = 1; // scope 0 at $DIR/early_otherwise_branch_68867.rs:26:21: 26:28 |
114 | 116 | StorageDead(_33); // scope 0 at $DIR/early_otherwise_branch_68867.rs:26:27: 26:28 |
|
118 | 120 | + nop; // scope 0 at $DIR/early_otherwise_branch_68867.rs:28:1: 28:2 |
119 | 121 | return; // scope 0 at $DIR/early_otherwise_branch_68867.rs:28:2: 28:2 |
120 | 122 | } |
121 | | - |
| 123 | + |
122 | 124 | bb3: { |
123 | 125 | StorageLive(_36); // scope 0 at $DIR/early_otherwise_branch_68867.rs:21:14: 21:24 |
124 | 126 | _36 = move (_4.1: &ViewportPercentageLength); // scope 0 at $DIR/early_otherwise_branch_68867.rs:21:14: 21:24 |
|
180 | 182 | + ((((_0 as Ok).0: ViewportPercentageLength) as Vw).0: f32) = Add(move _15, move _16); // scope 1 at $DIR/early_otherwise_branch_68867.rs:22:38: 22:49 |
181 | 183 | + nop; // scope 1 at $DIR/early_otherwise_branch_68867.rs:22:48: 22:49 |
182 | 184 | + nop; // scope 1 at $DIR/early_otherwise_branch_68867.rs:22:48: 22:49 |
| 185 | ++ Deinit(((_0 as Ok).0: ViewportPercentageLength)); // scope 1 at $DIR/early_otherwise_branch_68867.rs:22:35: 22:50 |
183 | 186 | + nop; // scope 1 at $DIR/early_otherwise_branch_68867.rs:22:35: 22:50 |
184 | 187 | + discriminant(((_0 as Ok).0: ViewportPercentageLength)) = 0; // scope 1 at $DIR/early_otherwise_branch_68867.rs:22:35: 22:50 |
185 | 188 | + nop; // scope 1 at $DIR/early_otherwise_branch_68867.rs:22:49: 22:50 |
|
225 | 228 | + ((((_0 as Ok).0: ViewportPercentageLength) as Vh).0: f32) = Add(move _20, move _21); // scope 2 at $DIR/early_otherwise_branch_68867.rs:23:38: 23:49 |
226 | 229 | + nop; // scope 2 at $DIR/early_otherwise_branch_68867.rs:23:48: 23:49 |
227 | 230 | + nop; // scope 2 at $DIR/early_otherwise_branch_68867.rs:23:48: 23:49 |
| 231 | ++ Deinit(((_0 as Ok).0: ViewportPercentageLength)); // scope 2 at $DIR/early_otherwise_branch_68867.rs:23:35: 23:50 |
228 | 232 | + nop; // scope 2 at $DIR/early_otherwise_branch_68867.rs:23:35: 23:50 |
229 | 233 | + discriminant(((_0 as Ok).0: ViewportPercentageLength)) = 1; // scope 2 at $DIR/early_otherwise_branch_68867.rs:23:35: 23:50 |
230 | 234 | + nop; // scope 2 at $DIR/early_otherwise_branch_68867.rs:23:49: 23:50 |
|
270 | 274 | + ((((_0 as Ok).0: ViewportPercentageLength) as Vmin).0: f32) = Add(move _25, move _26); // scope 3 at $DIR/early_otherwise_branch_68867.rs:24:44: 24:55 |
271 | 275 | + nop; // scope 3 at $DIR/early_otherwise_branch_68867.rs:24:54: 24:55 |
272 | 276 | + nop; // scope 3 at $DIR/early_otherwise_branch_68867.rs:24:54: 24:55 |
| 277 | ++ Deinit(((_0 as Ok).0: ViewportPercentageLength)); // scope 3 at $DIR/early_otherwise_branch_68867.rs:24:39: 24:56 |
273 | 278 | + nop; // scope 3 at $DIR/early_otherwise_branch_68867.rs:24:39: 24:56 |
274 | 279 | + discriminant(((_0 as Ok).0: ViewportPercentageLength)) = 2; // scope 3 at $DIR/early_otherwise_branch_68867.rs:24:39: 24:56 |
275 | 280 | + nop; // scope 3 at $DIR/early_otherwise_branch_68867.rs:24:55: 24:56 |
|
315 | 320 | + ((((_0 as Ok).0: ViewportPercentageLength) as Vmax).0: f32) = Add(move _30, move _31); // scope 4 at $DIR/early_otherwise_branch_68867.rs:25:44: 25:55 |
316 | 321 | + nop; // scope 4 at $DIR/early_otherwise_branch_68867.rs:25:54: 25:55 |
317 | 322 | + nop; // scope 4 at $DIR/early_otherwise_branch_68867.rs:25:54: 25:55 |
| 323 | ++ Deinit(((_0 as Ok).0: ViewportPercentageLength)); // scope 4 at $DIR/early_otherwise_branch_68867.rs:25:39: 25:56 |
318 | 324 | + nop; // scope 4 at $DIR/early_otherwise_branch_68867.rs:25:39: 25:56 |
319 | 325 | + discriminant(((_0 as Ok).0: ViewportPercentageLength)) = 3; // scope 4 at $DIR/early_otherwise_branch_68867.rs:25:39: 25:56 |
320 | 326 | + nop; // scope 4 at $DIR/early_otherwise_branch_68867.rs:25:55: 25:56 |
|
324 | 330 | } |
325 | 331 |
|
326 | 332 | bb10: { |
| 333 | + Deinit(_0); // scope 0 at $DIR/early_otherwise_branch_68867.rs:21:5: 27:7 |
327 | 334 | - ((_0 as Ok).0: ViewportPercentageLength) = move _3; // scope 0 at $DIR/early_otherwise_branch_68867.rs:21:5: 27:7 |
328 | 335 | + nop; // scope 0 at $DIR/early_otherwise_branch_68867.rs:21:5: 27:7 |
329 | 336 | discriminant(_0) = 0; // scope 0 at $DIR/early_otherwise_branch_68867.rs:21:5: 27:7 |
|
0 commit comments