1 // ignore-tidy-linelength
6 fn empty() -> Option<Empty> {
11 if let Some(_x) = empty() {
15 // asm instruction stops unreachable propagation to block bb3.
16 unsafe { asm!("NOP"); }
19 // asm instruction stops unreachable propagation to block bb3.
20 unsafe { asm!("NOP"); }
29 // START rustc.main.UnreachablePropagation.before.mir
32 // switchInt(_6) -> [false: bb4, otherwise: bb5];
36 // asm!(InlineAsmInner { asm: "NOP", asm_str_style: Cooked, outputs: [], inputs: [], clobbers: [], volatile: true, alignstack: false, dialect: Att } : [] : []);
45 // asm!(InlineAsmInner { asm: "NOP", asm_str_style: Cooked, outputs: [], inputs: [], clobbers: [], volatile: true, alignstack: false, dialect: Att } : [] : []);
59 // END rustc.main.UnreachablePropagation.before.mir
60 // START rustc.main.UnreachablePropagation.after.mir
63 // switchInt(_6) -> [false: bb4, otherwise: bb5];
67 // asm!(InlineAsmInner { asm: "NOP", asm_str_style: Cooked, outputs: [], inputs: [], clobbers: [], volatile: true, alignstack: false, dialect: Att } : [] : []);
76 // asm!(InlineAsmInner { asm: "NOP", asm_str_style: Cooked, outputs: [], inputs: [], clobbers: [], volatile: true, alignstack: false, dialect: Att } : [] : []);
84 // END rustc.main.UnreachablePropagation.after.mir