[sil.rst] Just added some docs for begin_borrow, updated end_borrow syntax, adding more inline links. #36078
Conversation
|
@swift-ci smoke test |
|
@swift-ci smoke test linux platform |
| modified. This means that: | ||
| Ends the scope for which the `Guaranteed`_ ownership possessing SILValue ``%1`` | ||
| is borrowed from the SILValue ``%0``. Must be paired with at most 1 borrowing | ||
| instruction (like `load_borrow`_, `begin_borrow`_) along any path through the |
There was a problem hiding this comment.
The "pairing" terminology is mysterious. I only know what it means because I already know how it works.
Seems more straightforward to simply specify that the operand value always begins the borrow scope, then list those, including guaranteed phis (block arguments provided by branch instructions--when specifying OSSA it's much better to talk about phis since they have nothing interesting in common with other block arguments).
After that, you can say that guaranteed phi operands have the same property. So, as a consequence, all acyclic paths through the program that reach this end_borrow first reach exactly one load_borrow or begin_borrow associated with this end_borrow.
There was a problem hiding this comment.
Ok. I will add more text in a follow on commit.
Just some little fixes while waiting for a build to finish.