[BasicAA/MDA] Sink aliasing rules for malloc and calloc into BasicAA
authorPhilip Reames <listmail@philipreames.com>
Wed, 9 Mar 2016 23:19:56 +0000 (23:19 +0000)
committerPhilip Reames <listmail@philipreames.com>
Wed, 9 Mar 2016 23:19:56 +0000 (23:19 +0000)
commitd9f4a3d18cb6d2fc6a32fdb05089a7b736f83fc5
tree9147b748a35a92673a1dfb06f1139df91ec2f8b8
parentac115ed72fff08426afcaf7031560bb1c6f0282f
[BasicAA/MDA] Sink aliasing rules for malloc and calloc into BasicAA

MemoryDependenceAnalysis had a hard-coded exception to the general aliasing rules for malloc and calloc. The reasoning that applied there is equally valid in BasicAA and clarifies the remaining logic in MDA.

In principal, this can expose slightly more optimization opportunities, but since essentially all of our aliasing aware memory optimization passes go through MDA, this will likely be NFC in practice.

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

llvm-svn: 263075
llvm/lib/Analysis/BasicAliasAnalysis.cpp
llvm/lib/Analysis/MemoryDependenceAnalysis.cpp