review.tizen.org Git - platform/upstream/llvm.git/commit

projects / platform / upstream / llvm.git / commit

author	Shuxin Yang <shuxin.llvm@gmail.com>
	Wed, 23 Oct 2013 17:28:19 +0000 (17:28 +0000)
committer	Shuxin Yang <shuxin.llvm@gmail.com>
	Wed, 23 Oct 2013 17:28:19 +0000 (17:28 +0000)
commit	e4fb375995def5029b94b5af708dd181be36ca01
tree	0aeb1e181522138b9b4899031276aa82e4648e7e	tree \| snapshot
parent	2ea0f2cdaef1d5c8a01acb2a9d9437215a0e0e00	commit \| diff

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.

llvm-svn: 193251

18 files changed:

llvm/docs/LangRef.rst		diff \| blob \| history
llvm/include/llvm/IR/GlobalVariable.h		diff \| blob \| history
llvm/lib/Analysis/BasicAliasAnalysis.cpp		diff \| blob \| history
llvm/lib/AsmParser/LLLexer.cpp		diff \| blob \| history
llvm/lib/AsmParser/LLParser.cpp		diff \| blob \| history
llvm/lib/AsmParser/LLToken.h		diff \| blob \| history
llvm/lib/Bitcode/Reader/BitcodeReader.cpp		diff \| blob \| history
llvm/lib/Bitcode/Writer/BitcodeWriter.cpp		diff \| blob \| history
llvm/lib/IR/AsmWriter.cpp		diff \| blob \| history
llvm/lib/IR/Globals.cpp		diff \| blob \| history
llvm/lib/Transforms/IPO/GlobalOpt.cpp		diff \| blob \| history
llvm/test/Analysis/BasicAA/noaddrtaken.ll	[new file with mode: 0644]	blob
llvm/test/Transforms/GlobalOpt/2009-03-07-PromotePtrToBool.ll		diff \| blob \| history
llvm/test/Transforms/GlobalOpt/2009-11-16-MallocSingleStoreToGlobalVar.ll		diff \| blob \| history
llvm/test/Transforms/GlobalOpt/atomic.ll		diff \| blob \| history
llvm/test/Transforms/GlobalOpt/globalsra-unknown-index.ll		diff \| blob \| history
llvm/test/Transforms/GlobalOpt/integer-bool.ll		diff \| blob \| history
llvm/test/Transforms/GlobalOpt/unnamed-addr.ll		diff \| blob \| history

Domain: System / Toolchain;

RSS Atom