AlignmentFromAssumptions and SLPVectorizer preserves AA and GlobalsAA
authorHal Finkel <hfinkel@anl.gov>
Fri, 11 Dec 2015 17:46:01 +0000 (17:46 +0000)
committerHal Finkel <hfinkel@anl.gov>
Fri, 11 Dec 2015 17:46:01 +0000 (17:46 +0000)
commit47be3618f189879a22ceb060548a6a47d124f3f7
treec1f1398f9228abc413e3cb14bd132b10b20669f6
parentf7649afaba06bfd08fdd087067fc7aae43aadb9a
AlignmentFromAssumptions and SLPVectorizer preserves AA and GlobalsAA

GlobalsAA's assumptions that passes do not escape globals not previously
escaped is not violated by AlignmentFromAssumptions and SLPVectorizer. Marking
them as such allows GlobalsAA to be preserved until GVN in the LTO pipeline.

http://lists.llvm.org/pipermail/llvm-dev/2015-December/092972.html

Patch by Vaivaswatha Nagaraj!

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@255348 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Scalar/AlignmentFromAssumptions.cpp
lib/Transforms/Vectorize/SLPVectorizer.cpp