The feature gate for the issue is #![feature(asm_goto)].

Summary

This feature adds a label<block> operand type to asm!.

Example:

unsafe {
    asm!(
        "jmp {}",
        label {
            println!("Jumped from asm!");
        }
    );
}

The block must have unit type.

Steps

• Implementation
• Adjust documentation (see instructions on rustc-dev-guide)
• Formatting for new syntax has been added to the Style Guide (nightly-style-procedure)
• Stabilization PR (see instructions on rustc-dev-guide)

Unresolved Questions

• LLVM miscompilation for asm goto with outputs asm goto miscompilation llvm/llvm-project#74483

@rustbot labels: +A-inline-assembly +F-asm