averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

update the SIL dox to reflect that load_weak and store_weak now traffic in optionals

Browse Source 
directly instead of them taking non-nullable types that sometimes had a nil bit pattern.


Swift SVN r18314
This commit is contained in:
Chris Lattner
2014-05-18 04:56:42 +00:00
parent 052a564351
commit 2fb6a4494e
1 changed files with 7 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
docs/SIL.rst
View File

@@ -2009,12 +2009,13 @@ load_weak
sil-instruction ::= 'load_weak' '[take]'? sil-operand
load_weak [take] %0 : $*@weak T
// $T must be a reference type
load_weak [take] %0 : $*@sil_weak Optional<T>
// $T must be an optional wrapping a reference type
Increments the strong reference count of the heap object held in the operand,
which must be an initialized weak reference. The result is value of type
``$T``, except that it is ``null`` if the heap object has begun deallocation.
``$Optional<T>``, except that it is ``null`` if the heap object has begun
deallocation.
This operation must be atomic with respect to the final ``strong_release`` on
the operand heap object. It need not be atomic with respect to ``store_weak``
@@ -2027,10 +2028,10 @@ store_weak
sil-instruction ::= 'store_weak' sil-value 'to' '[initialization]'? sil-operand
store_weak %0 to [initialization] %1 : $*@weak T
// $T must be a reference type
store_weak %0 to [initialization] %1 : $*@sil_weak Optional<T>
// $T must be an optional wrapping a reference type
Initializes or reassigns a weak reference. The operand may be ``null``.
Initializes or reassigns a weak reference. The operand may be ``nil``.
If ``[initialization]`` is given, the weak reference must currently either be
uninitialized or destroyed. If it is not given, the weak reference must