blob: 5e7dbc6614584509c1814836e74142f4898d30e1 [file] [log] [blame]
Misha Brukman03a11342004-02-28 03:33:01 +00001//===- LoopExtractor.cpp - Extract each loop into a new function ----------===//
Chris Lattner692a47a2004-03-14 02:34:07 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
Misha Brukman03a11342004-02-28 03:33:01 +00009//
10// A pass wrapper around the ExtractLoop() scalar transformation to extract each
11// top-level loop into its own new function. If the loop is the ONLY loop in a
Misha Brukmanf272f9b2004-03-02 00:19:09 +000012// given function, it is not touched. This is a pass most useful for debugging
13// via bugpoint.
Misha Brukman03a11342004-02-28 03:33:01 +000014//
15//===----------------------------------------------------------------------===//
16
Chris Lattner78a996a2004-03-14 02:37:16 +000017#include "llvm/Transforms/IPO.h"
Misha Brukman03a11342004-02-28 03:33:01 +000018#include "llvm/Module.h"
19#include "llvm/Pass.h"
20#include "llvm/Analysis/LoopInfo.h"
Chris Lattner6c3e8c72004-03-14 04:01:06 +000021#include "llvm/Transforms/Scalar.h"
Misha Brukman03a11342004-02-28 03:33:01 +000022#include "llvm/Transforms/Utils/FunctionUtils.h"
Misha Brukman03a11342004-02-28 03:33:01 +000023using namespace llvm;
24
25namespace {
Chris Lattner692a47a2004-03-14 02:34:07 +000026 // FIXME: PassManager should allow Module passes to require FunctionPasses
27 struct LoopExtractor : public FunctionPass {
Chris Lattner692a47a2004-03-14 02:34:07 +000028 virtual bool runOnFunction(Function &F);
29
30 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
31 AU.addRequired<LoopInfo>();
Chris Lattner6c3e8c72004-03-14 04:01:06 +000032 AU.addRequiredID(LoopSimplifyID);
Chris Lattner692a47a2004-03-14 02:34:07 +000033 }
34 };
Misha Brukman03a11342004-02-28 03:33:01 +000035
Chris Lattner692a47a2004-03-14 02:34:07 +000036 RegisterOpt<LoopExtractor>
37 X("loop-extract", "Extract loops into new functions");
38} // End anonymous namespace
Misha Brukman03a11342004-02-28 03:33:01 +000039
Misha Brukman03a11342004-02-28 03:33:01 +000040bool LoopExtractor::runOnFunction(Function &F) {
41 std::cerr << F.getName() << "\n";
42
43 LoopInfo &LI = getAnalysis<LoopInfo>();
44
45 // We don't want to keep extracting the only loop of a function into a new one
46 if (LI.begin() == LI.end() || LI.begin() + 1 == LI.end())
47 return false;
48
49 bool Changed = false;
50
51 // Try to move each loop out of the code into separate function
52 for (LoopInfo::iterator i = LI.begin(), e = LI.end(); i != e; ++i)
53 Changed |= (ExtractLoop(*i) != 0);
54
55 return Changed;
56}
57
Misha Brukman03a11342004-02-28 03:33:01 +000058/// createLoopExtractorPass
59///
Chris Lattner78a996a2004-03-14 02:37:16 +000060Pass* llvm::createLoopExtractorPass() {
Misha Brukman8a2c28f2004-02-28 03:37:58 +000061 return new LoopExtractor();
Misha Brukman03a11342004-02-28 03:33:01 +000062}