replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Add TypeBasedAliasAnalysis to the standard pass lists. Note that it 

is currently inert by default.

llvm-svn: 116732
This commit is contained in:
Dan Gohman 2010-10-18 18:50:27 +00:00
parent f7a5e20372
commit 52dacc0d7f
2 changed files with 13 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
llvm/include/llvm/Support/StandardPasses.h
View File

@ -69,10 +69,18 @@ namespace llvm {
// Implementations // Implementations
static inline void createStandardAliasAnalysisPasses(PassManagerBase *PM) {
// Add TypeBasedAliasAnalysis before BasicAliasAnalysis so that
// BasicAliasAnalysis wins if they disagree. This is intended to help
// support "obvious" type-punning idioms.
PM->add(createTypeBasedAliasAnalysisPass());
PM->add(createBasicAliasAnalysisPass());
}
static inline void createStandardFunctionPasses(PassManagerBase *PM, static inline void createStandardFunctionPasses(PassManagerBase *PM,
unsigned OptimizationLevel) { unsigned OptimizationLevel) {
if (OptimizationLevel > 0) { if (OptimizationLevel > 0) {
PM->add(createBasicAliasAnalysisPass()); createStandardAliasAnalysisPasses(PM);
PM->add(createCFGSimplificationPass()); PM->add(createCFGSimplificationPass());
if (OptimizationLevel == 1) if (OptimizationLevel == 1)
PM->add(createPromoteMemoryToRegisterPass()); PM->add(createPromoteMemoryToRegisterPass());
@ -92,7 +100,7 @@ namespace llvm {
bool SimplifyLibCalls, bool SimplifyLibCalls,
bool HaveExceptions, bool HaveExceptions,
Pass *InliningPass) { Pass *InliningPass) {
PM->add(createBasicAliasAnalysisPass()); createStandardAliasAnalysisPasses(PM);
if (OptimizationLevel == 0) { if (OptimizationLevel == 0) {
if (InliningPass) if (InliningPass)
@ -181,7 +189,7 @@ namespace llvm {
bool RunInliner, bool RunInliner,
bool VerifyEach) { bool VerifyEach) {
// Provide AliasAnalysis services for optimizations. // Provide AliasAnalysis services for optimizations.
PM->add(createBasicAliasAnalysisPass()); createStandardAliasAnalysisPasses(PM);
// Now that composite has been compiled, scan through the module, looking // Now that composite has been compiled, scan through the module, looking
// for a main function. If main is defined, mark all other functions // for a main function. If main is defined, mark all other functions

4
llvm/lib/CodeGen/LLVMTargetMachine.cpp
View File

@ -14,7 +14,6 @@
#include "llvm/Target/TargetMachine.h" #include "llvm/Target/TargetMachine.h"
#include "llvm/PassManager.h" #include "llvm/PassManager.h"
#include "llvm/Analysis/Verifier.h" #include "llvm/Analysis/Verifier.h"
#include "llvm/Analysis/Passes.h"
#include "llvm/Assembly/PrintModulePass.h" #include "llvm/Assembly/PrintModulePass.h"
#include "llvm/CodeGen/AsmPrinter.h" #include "llvm/CodeGen/AsmPrinter.h"
#include "llvm/CodeGen/MachineFunctionAnalysis.h" #include "llvm/CodeGen/MachineFunctionAnalysis.h"
@ -31,6 +30,7 @@
#include "llvm/Support/CommandLine.h" #include "llvm/Support/CommandLine.h"
#include "llvm/Support/Debug.h" #include "llvm/Support/Debug.h"
#include "llvm/Support/FormattedStream.h" #include "llvm/Support/FormattedStream.h"
#include "llvm/Support/StandardPasses.h"
using namespace llvm; using namespace llvm;
namespace llvm { namespace llvm {
@ -256,7 +256,7 @@ bool LLVMTargetMachine::addCommonCodeGenPasses(PassManagerBase &PM,
// Standard LLVM-Level Passes. // Standard LLVM-Level Passes.
// Basic AliasAnalysis support. // Basic AliasAnalysis support.
PM.add(createBasicAliasAnalysisPass()); createStandardAliasAnalysisPasses(&PM);
// Before running any passes, run the verifier to determine if the input // Before running any passes, run the verifier to determine if the input
// coming from the front-end and/or optimizer is valid. // coming from the front-end and/or optimizer is valid.