[PATCH] D64954: [IR][Verifier] Allow IntToPtrInst to be !dereferenceable
Nicolai Hähnle via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Mon Jul 22 08:57:28 PDT 2019
nhaehnle added inline comments.
================
Comment at: docs/LangRef.rst:5306-5324
+'``dereferenceable``' Metadata
+^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+
+The existence of the ``!dereferenceable`` metadata on the instruction
+tells the optimizer that the value loaded is known to be dereferenceable.
+The number of bytes known to be dereferenceable is specified by the integer
+value in the metadata node. This is analogous to the ''dereferenceable''
----------------
Could you add the incantations for hyperlinks? ".. _blahblah" for the anchor and :ref:`.... <blahblah>` for the link.
Repository:
rL LLVM
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D64954/new/
https://reviews.llvm.org/D64954
More information about the llvm-commits
mailing list