]>
Commit | Line | Data |
---|---|---|
ba9703b0 XL |
1 | // MIR for `full_tested_match2` before PromoteTemps |
2 | ||
3 | fn full_tested_match2() -> () { | |
923072b8 FG |
4 | let mut _0: (); // return place in scope 0 at $DIR/match_false_edges.rs:23:29: 23:29 |
5 | let mut _1: (i32, i32); // in scope 0 at $DIR/match_false_edges.rs:24:13: 28:6 | |
6 | let mut _2: std::option::Option<i32>; // in scope 0 at $DIR/match_false_edges.rs:24:19: 24:27 | |
7 | let mut _3: isize; // in scope 0 at $DIR/match_false_edges.rs:25:9: 25:16 | |
8 | let mut _4: &std::option::Option<i32>; // in scope 0 at $DIR/match_false_edges.rs:24:19: 24:27 | |
9 | let _5: i32; // in scope 0 at $DIR/match_false_edges.rs:25:14: 25:15 | |
10 | let _6: &i32; // in scope 0 at $DIR/match_false_edges.rs:25:14: 25:15 | |
11 | let mut _7: bool; // in scope 0 at $DIR/match_false_edges.rs:25:20: 25:27 | |
12 | let mut _8: i32; // in scope 0 at $DIR/match_false_edges.rs:25:35: 25:36 | |
13 | let _9: i32; // in scope 0 at $DIR/match_false_edges.rs:27:14: 27:15 | |
14 | let mut _10: i32; // in scope 0 at $DIR/match_false_edges.rs:27:24: 27:25 | |
ba9703b0 XL |
15 | scope 1 { |
16 | } | |
17 | scope 2 { | |
923072b8 FG |
18 | debug x => _5; // in scope 2 at $DIR/match_false_edges.rs:25:14: 25:15 |
19 | debug x => _6; // in scope 2 at $DIR/match_false_edges.rs:25:14: 25:15 | |
ba9703b0 XL |
20 | } |
21 | scope 3 { | |
923072b8 | 22 | debug y => _9; // in scope 3 at $DIR/match_false_edges.rs:27:14: 27:15 |
ba9703b0 XL |
23 | } |
24 | ||
25 | bb0: { | |
923072b8 FG |
26 | StorageLive(_1); // scope 0 at $DIR/match_false_edges.rs:24:13: 28:6 |
27 | StorageLive(_2); // scope 0 at $DIR/match_false_edges.rs:24:19: 24:27 | |
28 | _2 = Option::<i32>::Some(const 42_i32); // scope 0 at $DIR/match_false_edges.rs:24:19: 24:27 | |
29 | FakeRead(ForMatchedPlace(None), _2); // scope 0 at $DIR/match_false_edges.rs:24:19: 24:27 | |
30 | _3 = discriminant(_2); // scope 0 at $DIR/match_false_edges.rs:24:19: 24:27 | |
31 | switchInt(move _3) -> [0_isize: bb1, 1_isize: bb2, otherwise: bb4]; // scope 0 at $DIR/match_false_edges.rs:24:13: 24:27 | |
ba9703b0 XL |
32 | } |
33 | ||
29967ef6 | 34 | bb1: { |
923072b8 | 35 | falseEdge -> [real: bb9, imaginary: bb3]; // scope 0 at $DIR/match_false_edges.rs:26:9: 26:13 |
ba9703b0 XL |
36 | } |
37 | ||
38 | bb2: { | |
923072b8 | 39 | falseEdge -> [real: bb5, imaginary: bb1]; // scope 0 at $DIR/match_false_edges.rs:25:9: 25:16 |
ba9703b0 XL |
40 | } |
41 | ||
42 | bb3: { | |
923072b8 FG |
43 | StorageLive(_9); // scope 0 at $DIR/match_false_edges.rs:27:14: 27:15 |
44 | _9 = ((_2 as Some).0: i32); // scope 0 at $DIR/match_false_edges.rs:27:14: 27:15 | |
45 | StorageLive(_10); // scope 3 at $DIR/match_false_edges.rs:27:24: 27:25 | |
46 | _10 = _9; // scope 3 at $DIR/match_false_edges.rs:27:24: 27:25 | |
47 | _1 = (const 2_i32, move _10); // scope 3 at $DIR/match_false_edges.rs:27:20: 27:26 | |
48 | StorageDead(_10); // scope 3 at $DIR/match_false_edges.rs:27:25: 27:26 | |
49 | StorageDead(_9); // scope 0 at $DIR/match_false_edges.rs:27:25: 27:26 | |
50 | goto -> bb10; // scope 0 at $DIR/match_false_edges.rs:27:25: 27:26 | |
ba9703b0 XL |
51 | } |
52 | ||
29967ef6 | 53 | bb4: { |
923072b8 | 54 | unreachable; // scope 0 at $DIR/match_false_edges.rs:24:19: 24:27 |
ba9703b0 XL |
55 | } |
56 | ||
29967ef6 | 57 | bb5: { |
923072b8 FG |
58 | StorageLive(_6); // scope 0 at $DIR/match_false_edges.rs:25:14: 25:15 |
59 | _6 = &((_2 as Some).0: i32); // scope 0 at $DIR/match_false_edges.rs:25:14: 25:15 | |
60 | _4 = &shallow _2; // scope 0 at $DIR/match_false_edges.rs:24:19: 24:27 | |
61 | StorageLive(_7); // scope 0 at $DIR/match_false_edges.rs:25:20: 25:27 | |
62 | _7 = guard() -> [return: bb6, unwind: bb11]; // scope 0 at $DIR/match_false_edges.rs:25:20: 25:27 | |
ba9703b0 | 63 | // mir::Constant |
923072b8 | 64 | // + span: $DIR/match_false_edges.rs:25:20: 25:25 |
ba9703b0 XL |
65 | // + literal: Const { ty: fn() -> bool {guard}, val: Value(Scalar(<ZST>)) } |
66 | } | |
67 | ||
29967ef6 | 68 | bb6: { |
923072b8 | 69 | switchInt(move _7) -> [false: bb8, otherwise: bb7]; // scope 0 at $DIR/match_false_edges.rs:25:20: 25:27 |
ba9703b0 XL |
70 | } |
71 | ||
29967ef6 | 72 | bb7: { |
923072b8 FG |
73 | StorageDead(_7); // scope 0 at $DIR/match_false_edges.rs:25:26: 25:27 |
74 | FakeRead(ForMatchGuard, _4); // scope 0 at $DIR/match_false_edges.rs:25:26: 25:27 | |
75 | FakeRead(ForGuardBinding, _6); // scope 0 at $DIR/match_false_edges.rs:25:26: 25:27 | |
76 | StorageLive(_5); // scope 0 at $DIR/match_false_edges.rs:25:14: 25:15 | |
77 | _5 = ((_2 as Some).0: i32); // scope 0 at $DIR/match_false_edges.rs:25:14: 25:15 | |
78 | StorageLive(_8); // scope 2 at $DIR/match_false_edges.rs:25:35: 25:36 | |
79 | _8 = _5; // scope 2 at $DIR/match_false_edges.rs:25:35: 25:36 | |
80 | _1 = (const 1_i32, move _8); // scope 2 at $DIR/match_false_edges.rs:25:31: 25:37 | |
81 | StorageDead(_8); // scope 2 at $DIR/match_false_edges.rs:25:36: 25:37 | |
82 | StorageDead(_5); // scope 0 at $DIR/match_false_edges.rs:25:36: 25:37 | |
83 | StorageDead(_6); // scope 0 at $DIR/match_false_edges.rs:25:36: 25:37 | |
84 | goto -> bb10; // scope 0 at $DIR/match_false_edges.rs:25:36: 25:37 | |
ba9703b0 XL |
85 | } |
86 | ||
29967ef6 | 87 | bb8: { |
923072b8 FG |
88 | StorageDead(_7); // scope 0 at $DIR/match_false_edges.rs:25:26: 25:27 |
89 | StorageDead(_6); // scope 0 at $DIR/match_false_edges.rs:25:36: 25:37 | |
90 | falseEdge -> [real: bb3, imaginary: bb1]; // scope 0 at $DIR/match_false_edges.rs:25:20: 25:27 | |
ba9703b0 XL |
91 | } |
92 | ||
29967ef6 | 93 | bb9: { |
923072b8 FG |
94 | _1 = (const 3_i32, const 3_i32); // scope 0 at $DIR/match_false_edges.rs:26:17: 26:23 |
95 | goto -> bb10; // scope 0 at $DIR/match_false_edges.rs:26:17: 26:23 | |
ba9703b0 XL |
96 | } |
97 | ||
29967ef6 | 98 | bb10: { |
923072b8 FG |
99 | StorageDead(_2); // scope 0 at $DIR/match_false_edges.rs:28:6: 28:7 |
100 | StorageDead(_1); // scope 0 at $DIR/match_false_edges.rs:28:6: 28:7 | |
101 | _0 = const (); // scope 0 at $DIR/match_false_edges.rs:23:29: 29:2 | |
102 | return; // scope 0 at $DIR/match_false_edges.rs:29:2: 29:2 | |
ba9703b0 | 103 | } |
29967ef6 XL |
104 | |
105 | bb11 (cleanup): { | |
923072b8 | 106 | resume; // scope 0 at $DIR/match_false_edges.rs:23:1: 29:2 |
29967ef6 | 107 | } |
ba9703b0 | 108 | } |