[BasicAA] Remove special casing of memset_pattern16 in favor of generic attribute...
authorPhilip Reames <listmail@philipreames.com>
Wed, 6 Jan 2016 04:53:16 +0000 (04:53 +0000)
committerPhilip Reames <listmail@philipreames.com>
Wed, 6 Jan 2016 04:53:16 +0000 (04:53 +0000)
commitef80e8aad9371185a46120fdfa848526e9d103a0
treec388adc958a029e7648187a7c385b1cd5eba5c59
parent719759b2faa42655f5dc28091ca6faf90b262561
[BasicAA] Remove special casing of memset_pattern16 in favor of generic attribute inference

Most of the properties of memset_pattern16 can be now covered by the generic attributes and inferred by InferFunctionAttrs.  The only exceptions are:
- We don't yet have a writeonly attribute for the first argument.
- We don't have an attribute for modeling the access size facts encoded in MemoryLocation.cpp.

Differential Revision: http://reviews.llvm.org/D15879

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@256911 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/BasicAliasAnalysis.cpp
lib/Transforms/IPO/InferFunctionAttrs.cpp
test/Analysis/BasicAA/memset_pattern.ll
test/Transforms/InferFunctionAttrs/annotate.ll