// 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,
unsigned OptimizationLevel) {
if (OptimizationLevel > 0) {
- PM->add(createBasicAliasAnalysisPass());
+ createStandardAliasAnalysisPasses(PM);
PM->add(createCFGSimplificationPass());
if (OptimizationLevel == 1)
PM->add(createPromoteMemoryToRegisterPass());
bool SimplifyLibCalls,
bool HaveExceptions,
Pass *InliningPass) {
- PM->add(createBasicAliasAnalysisPass());
+ createStandardAliasAnalysisPasses(PM);
if (OptimizationLevel == 0) {
if (InliningPass)
bool RunInliner,
bool VerifyEach) {
// Provide AliasAnalysis services for optimizations.
- PM->add(createBasicAliasAnalysisPass());
+ createStandardAliasAnalysisPasses(PM);
// Now that composite has been compiled, scan through the module, looking
// for a main function. If main is defined, mark all other functions
#include "llvm/Target/TargetMachine.h"
#include "llvm/PassManager.h"
#include "llvm/Analysis/Verifier.h"
-#include "llvm/Analysis/Passes.h"
#include "llvm/Assembly/PrintModulePass.h"
#include "llvm/CodeGen/AsmPrinter.h"
#include "llvm/CodeGen/MachineFunctionAnalysis.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/FormattedStream.h"
+#include "llvm/Support/StandardPasses.h"
using namespace llvm;
namespace llvm {
// Standard LLVM-Level Passes.
// Basic AliasAnalysis support.
- PM.add(createBasicAliasAnalysisPass());
+ createStandardAliasAnalysisPasses(&PM);
// Before running any passes, run the verifier to determine if the input
// coming from the front-end and/or optimizer is valid.