Tracking Issue for asm_goto_with_outputs (original) (raw)

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

Summary

This now tracks the with_outputs variant since #131523. asm_goto was stabilized in 1.87.

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)
  • Stabilize asm_goto feature gate #133870

Unresolved Questions

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

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