]>
Commit | Line | Data |
---|---|---|
29967ef6 XL |
1 | - // MIR for `two` before Inline |
2 | + // MIR for `two` after Inline | |
3 | ||
4 | fn two() -> () { | |
5 | let mut _0: (); // return place in scope 0 at $DIR/inline-cycle.rs:48:10: 48:10 | |
6 | let _1: (); // in scope 0 at $DIR/inline-cycle.rs:49:5: 49:12 | |
7 | + let mut _2: fn() {f}; // in scope 0 at $DIR/inline-cycle.rs:49:5: 49:12 | |
8 | + let mut _5: (); // in scope 0 at $DIR/inline-cycle.rs:49:5: 49:12 | |
9 | + scope 1 (inlined call::<fn() {f}>) { // at $DIR/inline-cycle.rs:49:5: 49:12 | |
10 | + debug f => _2; // in scope 1 at $DIR/inline-cycle.rs:49:5: 49:12 | |
11 | + let _3: (); // in scope 1 at $DIR/inline-cycle.rs:49:5: 49:12 | |
12 | + let mut _4: fn() {f}; // in scope 1 at $DIR/inline-cycle.rs:49:5: 49:12 | |
13 | + scope 2 (inlined <fn() {f} as FnOnce<()>>::call_once - shim(fn() {f})) { // at $DIR/inline-cycle.rs:49:5: 49:12 | |
14 | + } | |
15 | + } | |
16 | ||
17 | bb0: { | |
18 | StorageLive(_1); // scope 0 at $DIR/inline-cycle.rs:49:5: 49:12 | |
19 | - _1 = call::<fn() {f}>(f) -> bb1; // scope 0 at $DIR/inline-cycle.rs:49:5: 49:12 | |
20 | + StorageLive(_2); // scope 0 at $DIR/inline-cycle.rs:49:5: 49:12 | |
21 | + _2 = f; // scope 0 at $DIR/inline-cycle.rs:49:5: 49:12 | |
22 | // mir::Constant | |
23 | - // + span: $DIR/inline-cycle.rs:49:5: 49:9 | |
24 | - // + literal: Const { ty: fn(fn() {f}) {call::<fn() {f}>}, val: Value(Scalar(<ZST>)) } | |
25 | - // mir::Constant | |
26 | // + span: $DIR/inline-cycle.rs:49:10: 49:11 | |
27 | // + literal: Const { ty: fn() {f}, val: Value(Scalar(<ZST>)) } | |
28 | + StorageLive(_3); // scope 1 at $DIR/inline-cycle.rs:49:5: 49:12 | |
29 | + StorageLive(_4); // scope 1 at $DIR/inline-cycle.rs:49:5: 49:12 | |
30 | + _4 = move _2; // scope 1 at $DIR/inline-cycle.rs:49:5: 49:12 | |
31 | + StorageLive(_5); // scope 1 at $DIR/inline-cycle.rs:49:5: 49:12 | |
32 | + _5 = const (); // scope 1 at $DIR/inline-cycle.rs:49:5: 49:12 | |
33 | + _3 = move _4() -> bb1; // scope 2 at $DIR/inline-cycle.rs:49:5: 49:12 | |
34 | } | |
35 | ||
36 | bb1: { | |
37 | + StorageDead(_5); // scope 1 at $DIR/inline-cycle.rs:49:5: 49:12 | |
38 | + StorageDead(_4); // scope 1 at $DIR/inline-cycle.rs:49:5: 49:12 | |
39 | + StorageDead(_3); // scope 1 at $DIR/inline-cycle.rs:49:5: 49:12 | |
29967ef6 XL |
40 | + StorageDead(_2); // scope 0 at $DIR/inline-cycle.rs:49:5: 49:12 |
41 | StorageDead(_1); // scope 0 at $DIR/inline-cycle.rs:49:12: 49:13 | |
42 | _0 = const (); // scope 0 at $DIR/inline-cycle.rs:48:10: 50:2 | |
43 | return; // scope 0 at $DIR/inline-cycle.rs:50:2: 50:2 | |
44 | } | |
45 | } | |
46 |