[llvm-commits] [polly] r138402 - in /polly/trunk/lib: CMakeLists.txt RegisterPasses.cpp

[Tobias Grosser]

Author: grosser
Date: Tue Aug 23 17:35:38 2011
New Revision: 138402

URL: http://llvm.org/viewvc/llvm-project?rev=138402&view=rev
Log:
Register Polly passes automatically

Polly adds, after it is loaded into opt or clang, its passes to the default set
of -O3 passes. This means optimizing a program with clang and Polly becomes as
simple as executing.

clang -Xclang -load -Xclang lib/LLVMPolly.so -O3 program.c

The same should work for dragonegg powered gfortran, g++, ... or any other tool
that uses the PassManagerBuilder.

Warning: Even though using Polly became with this commit extremly easy, Polly
         is still Pre-Alpha Quality. This means in most cases it will rather
         destroy the world than doing anything positive. ;-)

Added:
    polly/trunk/lib/RegisterPasses.cpp
Modified:
    polly/trunk/lib/CMakeLists.txt

Modified: polly/trunk/lib/CMakeLists.txt
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/CMakeLists.txt?rev=138402&r1=138401&r2=138402&view=diff
==============================================================================
--- polly/trunk/lib/CMakeLists.txt (original)
+++ polly/trunk/lib/CMakeLists.txt Tue Aug 23 17:35:38 2011
@@ -31,6 +31,7 @@
   MayAliasSet.cpp
   Pocc.cpp
   RegionSimplify.cpp
+  RegisterPasses.cpp
   ScheduleOptimizer.cpp
   Exchange/JSONExporter.cpp
   ${POLLY_EXCHANGE_FILES}

Added: polly/trunk/lib/RegisterPasses.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/RegisterPasses.cpp?rev=138402&view=auto
==============================================================================
--- polly/trunk/lib/RegisterPasses.cpp (added)
+++ polly/trunk/lib/RegisterPasses.cpp Tue Aug 23 17:35:38 2011
@@ -0,0 +1,81 @@
+//===------ RegisterPasses.cpp - Add the Polly Passes to default passes  --===//
+//
+//                     The LLVM Compiler Infrastructure
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+//
+// Add the Polly passes to the optimization passes executed at -O3.
+//
+//===----------------------------------------------------------------------===//
+#include "llvm/Analysis/Passes.h"
+#include "llvm/InitializePasses.h"
+#include "llvm/PassManager.h"
+#include "llvm/PassRegistry.h"
+#include "llvm/Transforms/Scalar.h"
+#include "llvm/Transforms/IPO/PassManagerBuilder.h"
+
+#include "polly/LinkAllPasses.h"
+
+static void registerPollyPasses(const llvm::PassManagerBuilder &Builder,
+                                llvm::PassManagerBase &PM) {
+  // Polly is only enabled at -O3
+  if (Builder.OptLevel != 3)
+    return;
+
+  // We need to initialize the passes before we use them.
+  //
+  // This is not necessary for the opt tool, however clang crashes if passes
+  // are not initialized. (FIXME?)
+  PassRegistry &Registry = *PassRegistry::getPassRegistry();
+  initializeDominatorTreePass(Registry);
+  initializePostDominatorTreePass(Registry);
+  initializeLoopInfoPass(Registry);
+  initializeScalarEvolutionPass(Registry);
+  initializeRegionInfoPass(Registry);
+  initializeDominanceFrontierPass(Registry);
+  initializeAliasAnalysisAnalysisGroup(Registry);
+
+  // A standard set of optimization passes partially taken/copied from the
+  // set of default optimization passes. This set of passes is most probably
+  // not yet optimal. TODO: Investigate optimal set of passes.
+  PM.add(llvm::createPromoteMemoryToRegisterPass());
+  PM.add(llvm::createInstructionCombiningPass());  // Clean up after IPCP & DAE
+  PM.add(llvm::createCFGSimplificationPass());     // Clean up after IPCP & DAE
+  PM.add(llvm::createTailCallEliminationPass());   // Eliminate tail calls
+  PM.add(llvm::createCFGSimplificationPass());     // Merge & remove BBs
+  PM.add(llvm::createReassociatePass());           // Reassociate expressions
+  PM.add(llvm::createLoopRotatePass());            // Rotate Loop
+  PM.add(llvm::createInstructionCombiningPass());
+  PM.add(llvm::createIndVarSimplifyPass());        // Canonicalize indvars
+  PM.add(llvm::createRegionInfoPass());
+
+  PM.add(polly::createCodePreperationPass());
+  PM.add(polly::createRegionSimplifyPass());
+
+  // FIXME: Needed as RegionSimplifyPass does destroy canonical induction
+  //        variables. (It changes the order of the operands in the PHI nodes)
+  PM.add(llvm::createIndVarSimplifyPass());
+  PM.add(polly::createScopDetectionPass());
+  PM.add(polly::createIndependentBlocksPass());
+
+  // FIXME: We should not need to schedule this passes (and some more)
+  //        explicitally, as it is alread required by the ScopInfo pass.
+  //        However, without this clang crashes because of unitialized passes.
+  PM.add(polly::createTempScopInfoPass());
+  PM.add(polly::createScopInfoPass());
+  PM.add(polly::createDependencesPass());
+  PM.add(polly::createScheduleOptimizerPass());
+  PM.add(polly::createCloogInfoPass());
+  PM.add(polly::createCodeGenerationPass());
+}
+
+// Execute Polly together with a set of preparing passes before all other
+// optimizations. This is basically to be executed before any loop optimizer
+// passes like LICM or LoopIdomPass. Those would complicate the code such that
+// Polly would recognize less scops.
+static llvm::RegisterStandardPasses
+PassRegister(llvm::PassManagerBuilder::EP_EarlyAsPossible,
+             registerPollyPasses);