Skip to content

Commit b57fa0d

Browse files
committed
add rule on black box/code patching
1 parent c554614 commit b57fa0d

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

src/inline-assembly.md

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -726,11 +726,10 @@ r[asm.naked-rules.mem-same-as-ffi]
726726
- Refer to the unsafe code guidelines for the exact rules.
727727
- These rules do not apply to memory which is private to the asm code, such as stack space allocated within the asm block.
728728

729-
r[asm.naked-rules.black-box]
729+
r[asm.rules.black-box]
730730
- The compiler cannot assume that the instructions in the asm are the ones that will actually end up executed.
731731
- This effectively means that the compiler must treat the `naked_asm!` as a black box and only take the interface specification into account, not the instructions themselves.
732732
- Runtime code patching is allowed, via target-specific mechanisms.
733-
- However there is no guarantee that each `naked_asm!` directly corresponds to a single instance of instructions in the object file: the compiler is free to duplicate or deduplicate `naked_asm!` blocks.
734733

735734
r[asm.validity]
736735
### Correctness and Validity

0 commit comments

Comments
 (0)