[IR][Verifier] Allow IntToPtrInst to be !dereferenceable
authorRyan Taylor <rtayl@amd.com>
Tue, 23 Jul 2019 17:19:56 +0000 (17:19 +0000)
committerRyan Taylor <rtayl@amd.com>
Tue, 23 Jul 2019 17:19:56 +0000 (17:19 +0000)
commit6f13637a3e130980456f37647f7628aa7fa7a2b6
treecb880b1c37739767967d7ba5dfd1c46275066dc2
parent404551ac64efca14d865e40e62ee9ba871d864af
[IR][Verifier] Allow IntToPtrInst to be !dereferenceable

Summary:
Allow IntToPtrInst to carry !dereferenceable metadata tag.
This is valid since !dereferenceable can be only be applied to
pointer type values.

Change-Id: If8a6e3c616f073d51eaff52ab74535c29ed497b4

Subscribers: llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D64954

llvm-svn: 366826
llvm/docs/LangRef.rst
llvm/lib/IR/Value.cpp
llvm/lib/IR/Verifier.cpp
llvm/test/Analysis/ValueTracking/memory-dereferenceable.ll
llvm/test/Verifier/dereferenceable-md-inttoptr.ll [new file with mode: 0644]
llvm/test/Verifier/dereferenceable-md.ll