]> granicus.if.org Git - llvm/commit
projects / llvm / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1ae8ecc) | patch
[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)
commitc7a747a395d72516e0342a13b5abbf4631fdf6d6
tree1eac5b5f4f2928d4bf7c42c68b4436bb983843a1tree | snapshot
parent1ae8ecc157b96ebb8d65d7f40bb855151fdd6bffcommit | diff
[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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@366826 91177308-0d34-0410-b5e6-96231b3b80d8
docs/LangRef.rst diff | blob | history
lib/IR/Value.cpp diff | blob | history
lib/IR/Verifier.cpp diff | blob | history
test/Analysis/ValueTracking/memory-dereferenceable.ll diff | blob | history
test/Verifier/dereferenceable-md-inttoptr.ll [new file with mode: 0644] blob
test/Verifier/dereferenceable-md.ll diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.