Skip to content

Commit a78458c

Browse files
committed
[sil.rst] Use inline links instead of literals to refer to SILInstructions.
1 parent 946c1e7 commit a78458c

File tree

1 file changed

+7
-7
lines changed

1 file changed

+7
-7
lines changed

docs/SIL.rst

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -3492,12 +3492,12 @@ load_borrow
34923492
%1 = load_borrow %0 : $*T
34933493
// $T must be a loadable type
34943494

3495-
Loads the value ``%1`` from the memory location ``%0``. The ``load_borrow``
3495+
Loads the value ``%1`` from the memory location ``%0``. The `load_borrow`_
34963496
instruction creates a borrowed scope in which a read-only borrow value ``%1``
34973497
can be used to read the value stored in ``%0``. The end of scope is delimited
3498-
by an ``end_borrow`` instruction. All ``load_borrow`` instructions must be
3499-
paired with exactly one ``end_borrow`` instruction along any path through the
3500-
program. Until ``end_borrow``, it is illegal to invalidate or store to ``%0``.
3498+
by an `end_borrow`_ instruction. All `load_borrow`_ instructions must be
3499+
paired with exactly one `end_borrow`_ instruction along any path through the
3500+
program. Until `end_borrow`_, it is illegal to invalidate or store to ``%0``.
35013501

35023502
begin_borrow
35033503
````````````
@@ -3558,12 +3558,12 @@ The type of %1 is ``*T`` and the type of ``%0`` is ``T``, which must be a
35583558
loadable type. This will overwrite the memory at ``%1`` and destroy the value
35593559
currently held there.
35603560

3561-
The purpose of the ``assign`` instruction is to simplify the
3561+
The purpose of the `assign`_ instruction is to simplify the
35623562
definitive initialization analysis on loadable variables by removing
35633563
what would otherwise appear to be a load and use of the current value.
35643564
It is produced by SILGen, which cannot know which assignments are
35653565
meant to be initializations. If it is deemed to be an initialization,
3566-
it can be replaced with a ``store``; otherwise, it must be replaced
3566+
it can be replaced with a `store`_; otherwise, it must be replaced
35673567
with a sequence that also correctly destroys the current value.
35683568

35693569
This instruction is only valid in Raw SIL and is rewritten as appropriate
@@ -3581,7 +3581,7 @@ assign_by_wrapper
35813581
// $F must be a function type, taking $S as a single argument (or multiple arguments in case of a tuple) and returning $T
35823582
// $G must be a function type, taking $S as a single argument (or multiple arguments in case of a tuple) and without a return value
35833583

3584-
Similar to the ``assign`` instruction, but the assignment is done via a
3584+
Similar to the `assign`_ instruction, but the assignment is done via a
35853585
delegate.
35863586

35873587
In case of an initialization, the function ``%2`` is called with ``%0`` as

0 commit comments

Comments
 (0)