File tree Expand file tree Collapse file tree 1 file changed +3
-1
lines changed Expand file tree Collapse file tree 1 file changed +3
-1
lines changed Original file line number Diff line number Diff line change @@ -5699,6 +5699,8 @@ mark_dependence
5699
5699
5700
5700
%2 = mark_dependence %value : $*T on %base : $Builtin.NativeObject
5701
5701
5702
+ ``%base `` must not be identical to ``%value ``.
5703
+
5702
5704
Indicates that the validity of ``%value `` depends on the value of
5703
5705
``%base ``. Operations that would destroy ``%base `` must not be moved
5704
5706
before any instructions which depend on the result of this
@@ -5715,7 +5717,7 @@ the dependency is on the current value stored in the address.
5715
5717
The optional ``nonescaping `` attribute indicates that no value derived
5716
5718
from ``%value `` escapes the lifetime of ``%base ``. As with escaping
5717
5719
``mark_dependence ``, all values transitively forwarded from ``%value ``
5718
- must be destroyed within the lifetime of ` `%base``. Unlike escaping
5720
+ must be destroyed within the lifetime of ``%base ``. Unlike escaping
5719
5721
``mark_dependence ``, this must be statically verifiable. Additionally,
5720
5722
unlike escaping ``mark_dependence ``, derived values include copies of
5721
5723
``%value `` and values transitively forwarded from those copies. If
You can’t perform that action at this time.
0 commit comments