Use address-taken to disambiguate global variable and indirect memops.
authorShuxin Yang <shuxin.llvm@gmail.com>
Wed, 23 Oct 2013 17:28:19 +0000 (17:28 +0000)
committerShuxin Yang <shuxin.llvm@gmail.com>
Wed, 23 Oct 2013 17:28:19 +0000 (17:28 +0000)
commit8e3851a6eb9fe5fc30094c3a00d2b89c7cd68cbd
treeaa761eb31c1f7c14a3c9e313f4a1d29ea06e066b
parentf39fe46062d2093fc3d7c092bc8c4561b744164c
Use address-taken to disambiguate global variable and indirect memops.

 Major steps include:
 1). introduces a not-addr-taken bit-field in GlobalVariable
 2). GlobalOpt pass sets "not-address-taken" if it proves a global varirable
    dosen't have its address taken.
 3). AA use this info for disambiguation.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193251 91177308-0d34-0410-b5e6-96231b3b80d8
18 files changed:
docs/LangRef.rst
include/llvm/IR/GlobalVariable.h
lib/Analysis/BasicAliasAnalysis.cpp
lib/AsmParser/LLLexer.cpp
lib/AsmParser/LLParser.cpp
lib/AsmParser/LLToken.h
lib/Bitcode/Reader/BitcodeReader.cpp
lib/Bitcode/Writer/BitcodeWriter.cpp
lib/IR/AsmWriter.cpp
lib/IR/Globals.cpp
lib/Transforms/IPO/GlobalOpt.cpp
test/Analysis/BasicAA/noaddrtaken.ll [new file with mode: 0644]
test/Transforms/GlobalOpt/2009-03-07-PromotePtrToBool.ll
test/Transforms/GlobalOpt/2009-11-16-MallocSingleStoreToGlobalVar.ll
test/Transforms/GlobalOpt/atomic.ll
test/Transforms/GlobalOpt/globalsra-unknown-index.ll
test/Transforms/GlobalOpt/integer-bool.ll
test/Transforms/GlobalOpt/unnamed-addr.ll