]>
Commit | Line | Data |
---|---|---|
ba9703b0 XL |
1 | - // MIR for `main` before UnreachablePropagation |
2 | + // MIR for `main` after UnreachablePropagation | |
3 | ||
4 | fn main() -> () { | |
5 | let mut _0: (); // return place in scope 0 at $DIR/unreachable_asm.rs:10:11: 10:11 | |
6 | let mut _1: std::option::Option<Empty>; // in scope 0 at $DIR/unreachable_asm.rs:11:23: 11:30 | |
7 | let mut _2: isize; // in scope 0 at $DIR/unreachable_asm.rs:11:12: 11:20 | |
8 | let _3: Empty; // in scope 0 at $DIR/unreachable_asm.rs:11:17: 11:19 | |
94222f64 | 9 | let mut _4: i32; // in scope 0 at $DIR/unreachable_asm.rs:12:13: 12:19 |
ba9703b0 XL |
10 | let _5: (); // in scope 0 at $DIR/unreachable_asm.rs:14:9: 18:10 |
11 | let mut _6: bool; // in scope 0 at $DIR/unreachable_asm.rs:14:12: 14:16 | |
12 | let _7: (); // in scope 0 at $DIR/unreachable_asm.rs:21:9: 21:37 | |
13 | let mut _8: !; // in scope 0 at $DIR/unreachable_asm.rs:22:9: 22:21 | |
14 | scope 1 { | |
15 | debug _x => _3; // in scope 1 at $DIR/unreachable_asm.rs:11:17: 11:19 | |
94222f64 XL |
16 | } |
17 | scope 2 { | |
18 | debug _y => _4; // in scope 2 at $DIR/unreachable_asm.rs:12:13: 12:19 | |
19 | scope 3 { | |
ba9703b0 XL |
20 | } |
21 | } | |
22 | ||
23 | bb0: { | |
f9f354fc | 24 | StorageLive(_1); // scope 0 at $DIR/unreachable_asm.rs:11:23: 11:30 |
3dfed10e | 25 | _1 = empty() -> bb1; // scope 0 at $DIR/unreachable_asm.rs:11:23: 11:30 |
ba9703b0 XL |
26 | // mir::Constant |
27 | // + span: $DIR/unreachable_asm.rs:11:23: 11:28 | |
28 | // + literal: Const { ty: fn() -> std::option::Option<Empty> {empty}, val: Value(Scalar(<ZST>)) } | |
29 | } | |
30 | ||
31 | bb1: { | |
f9f354fc | 32 | _2 = discriminant(_1); // scope 0 at $DIR/unreachable_asm.rs:11:12: 11:20 |
94222f64 | 33 | switchInt(move _2) -> [1_isize: bb2, otherwise: bb6]; // scope 0 at $DIR/unreachable_asm.rs:11:12: 11:20 |
ba9703b0 XL |
34 | } |
35 | ||
36 | bb2: { | |
f9f354fc XL |
37 | StorageLive(_3); // scope 0 at $DIR/unreachable_asm.rs:11:17: 11:19 |
38 | _3 = move ((_1 as Some).0: Empty); // scope 0 at $DIR/unreachable_asm.rs:11:17: 11:19 | |
94222f64 | 39 | StorageLive(_4); // scope 0 at $DIR/unreachable_asm.rs:12:13: 12:19 |
f9f354fc XL |
40 | StorageLive(_5); // scope 2 at $DIR/unreachable_asm.rs:14:9: 18:10 |
41 | StorageLive(_6); // scope 2 at $DIR/unreachable_asm.rs:14:12: 14:16 | |
42 | _6 = const true; // scope 2 at $DIR/unreachable_asm.rs:14:12: 14:16 | |
94222f64 | 43 | switchInt(move _6) -> [false: bb4, otherwise: bb3]; // scope 2 at $DIR/unreachable_asm.rs:14:12: 14:16 |
ba9703b0 XL |
44 | } |
45 | ||
94222f64 | 46 | bb3: { |
5869c6ff XL |
47 | _4 = const 21_i32; // scope 2 at $DIR/unreachable_asm.rs:15:13: 15:20 |
48 | _5 = const (); // scope 2 at $DIR/unreachable_asm.rs:14:17: 16:10 | |
94222f64 | 49 | goto -> bb5; // scope 2 at $DIR/unreachable_asm.rs:14:9: 18:10 |
ba9703b0 XL |
50 | } |
51 | ||
94222f64 | 52 | bb4: { |
5869c6ff XL |
53 | _4 = const 42_i32; // scope 2 at $DIR/unreachable_asm.rs:17:13: 17:20 |
54 | _5 = const (); // scope 2 at $DIR/unreachable_asm.rs:16:16: 18:10 | |
94222f64 | 55 | goto -> bb5; // scope 2 at $DIR/unreachable_asm.rs:14:9: 18:10 |
ba9703b0 XL |
56 | } |
57 | ||
94222f64 | 58 | bb5: { |
f9f354fc XL |
59 | StorageDead(_6); // scope 2 at $DIR/unreachable_asm.rs:18:9: 18:10 |
60 | StorageDead(_5); // scope 2 at $DIR/unreachable_asm.rs:18:9: 18:10 | |
61 | StorageLive(_7); // scope 2 at $DIR/unreachable_asm.rs:21:9: 21:37 | |
c295e0f8 | 62 | llvm_asm!(LlvmInlineAsmInner { asm: "NOP", asm_str_style: Cooked, outputs: [], inputs: [], clobbers: [], volatile: true, alignstack: false, dialect: Att } : [] : []); // scope 3 at $DIR/unreachable_asm.rs:21:18: 21:34 |
f9f354fc | 63 | _7 = const (); // scope 3 at $DIR/unreachable_asm.rs:21:9: 21:37 |
f9f354fc XL |
64 | StorageDead(_7); // scope 2 at $DIR/unreachable_asm.rs:21:36: 21:37 |
65 | StorageLive(_8); // scope 2 at $DIR/unreachable_asm.rs:22:9: 22:21 | |
66 | unreachable; // scope 2 at $DIR/unreachable_asm.rs:22:15: 22:17 | |
ba9703b0 | 67 | } |
94222f64 XL |
68 | |
69 | bb6: { | |
70 | _0 = const (); // scope 0 at $DIR/unreachable_asm.rs:23:6: 23:6 | |
71 | StorageDead(_1); // scope 0 at $DIR/unreachable_asm.rs:24:1: 24:2 | |
72 | return; // scope 0 at $DIR/unreachable_asm.rs:24:2: 24:2 | |
73 | } | |
ba9703b0 XL |
74 | } |
75 |