BitCodeFormat: update doc on new byref and mustprogress attrs; NFC

Forked from review of:
https://reviews.llvm.org/D87956
This commit is contained in:
Nick Desaulniers 2020-10-22 16:29:17 -07:00
parent 529ac33197
commit 4abaf0ec0a
1 changed files with 2 additions and 0 deletions

View File

@ -1068,6 +1068,8 @@ The integer codes are mapped to well-known attributes as follows.
* code 66: ``no_merge``
* code 67: ``null_pointer_is_valid``
* code 68: ``noundef``
* code 69: ``byref``
* code 70: ``mustprogress``
.. note::
The ``allocsize`` attribute has a special encoding for its arguments. Its two