]>
Commit | Line | Data |
---|---|---|
ba9703b0 XL |
1 | // MIR for `bar` after Inline |
2 | ||
3 | fn bar() -> bool { | |
064997fb FG |
4 | let mut _0: bool; // return place in scope 0 at $DIR/inline-any-operand.rs:+0:13: +0:17 |
5 | let _1: fn(i32, i32) -> bool {foo}; // in scope 0 at $DIR/inline-any-operand.rs:+1:9: +1:10 | |
6 | let mut _2: fn(i32, i32) -> bool {foo}; // in scope 0 at $DIR/inline-any-operand.rs:+2:5: +2:6 | |
7 | let mut _3: i32; // in scope 0 at $DIR/inline-any-operand.rs:+2:5: +2:13 | |
8 | let mut _4: i32; // in scope 0 at $DIR/inline-any-operand.rs:+2:5: +2:13 | |
ba9703b0 | 9 | scope 1 { |
064997fb | 10 | debug f => _1; // in scope 1 at $DIR/inline-any-operand.rs:+1:9: +1:10 |
29967ef6 | 11 | scope 2 (inlined foo) { // at $DIR/inline-any-operand.rs:12:5: 12:13 |
f2b60f7d FG |
12 | debug x => _3; // in scope 2 at $DIR/inline-any-operand.rs:16:8: 16:9 |
13 | debug y => _4; // in scope 2 at $DIR/inline-any-operand.rs:16:16: 16:17 | |
14 | let mut _5: i32; // in scope 2 at $DIR/inline-any-operand.rs:17:5: 17:6 | |
15 | let mut _6: i32; // in scope 2 at $DIR/inline-any-operand.rs:17:10: 17:11 | |
ba9703b0 XL |
16 | } |
17 | } | |
18 | ||
19 | bb0: { | |
064997fb FG |
20 | StorageLive(_1); // scope 0 at $DIR/inline-any-operand.rs:+1:9: +1:10 |
21 | _1 = foo; // scope 0 at $DIR/inline-any-operand.rs:+1:13: +1:16 | |
ba9703b0 XL |
22 | // mir::Constant |
23 | // + span: $DIR/inline-any-operand.rs:11:13: 11:16 | |
064997fb FG |
24 | // + literal: Const { ty: fn(i32, i32) -> bool {foo}, val: Value(<ZST>) } |
25 | StorageLive(_2); // scope 1 at $DIR/inline-any-operand.rs:+2:5: +2:6 | |
26 | _2 = _1; // scope 1 at $DIR/inline-any-operand.rs:+2:5: +2:6 | |
27 | StorageLive(_3); // scope 1 at $DIR/inline-any-operand.rs:+2:5: +2:13 | |
28 | _3 = const 1_i32; // scope 1 at $DIR/inline-any-operand.rs:+2:5: +2:13 | |
29 | StorageLive(_4); // scope 1 at $DIR/inline-any-operand.rs:+2:5: +2:13 | |
30 | _4 = const -1_i32; // scope 1 at $DIR/inline-any-operand.rs:+2:5: +2:13 | |
f2b60f7d FG |
31 | StorageLive(_5); // scope 2 at $DIR/inline-any-operand.rs:17:5: 17:6 |
32 | _5 = _3; // scope 2 at $DIR/inline-any-operand.rs:17:5: 17:6 | |
33 | StorageLive(_6); // scope 2 at $DIR/inline-any-operand.rs:17:10: 17:11 | |
34 | _6 = _4; // scope 2 at $DIR/inline-any-operand.rs:17:10: 17:11 | |
35 | _0 = Eq(move _5, move _6); // scope 2 at $DIR/inline-any-operand.rs:17:5: 17:11 | |
36 | StorageDead(_6); // scope 2 at $DIR/inline-any-operand.rs:17:10: 17:11 | |
37 | StorageDead(_5); // scope 2 at $DIR/inline-any-operand.rs:17:10: 17:11 | |
064997fb FG |
38 | StorageDead(_4); // scope 1 at $DIR/inline-any-operand.rs:+2:5: +2:13 |
39 | StorageDead(_3); // scope 1 at $DIR/inline-any-operand.rs:+2:5: +2:13 | |
40 | StorageDead(_2); // scope 1 at $DIR/inline-any-operand.rs:+2:12: +2:13 | |
41 | StorageDead(_1); // scope 0 at $DIR/inline-any-operand.rs:+3:1: +3:2 | |
42 | return; // scope 0 at $DIR/inline-any-operand.rs:+3:2: +3:2 | |
923072b8 | 43 | } |
ba9703b0 | 44 | } |