LLVM  4.0.0
LoopDeletion.h
Go to the documentation of this file.
1 //===- LoopDeletion.h - Loop Deletion -------------------------------------===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This file provides the interface for the Loop Deletion Pass.
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #ifndef LLVM_TRANSFORMS_SCALAR_LOOPDELETION_H
15 #define LLVM_TRANSFORMS_SCALAR_LOOPDELETION_H
16 
17 #include "llvm/Analysis/LoopInfo.h"
19 #include "llvm/IR/PassManager.h"
21 
22 namespace llvm {
23 
24 class LoopDeletionPass : public PassInfoMixin<LoopDeletionPass> {
25 public:
29  bool runImpl(Loop *L, DominatorTree &DT, ScalarEvolution &SE,
30  LoopInfo &loopInfo);
31 
32 private:
33  bool isLoopDead(Loop *L, ScalarEvolution &SE,
34  SmallVectorImpl<BasicBlock *> &exitingBlocks,
35  SmallVectorImpl<BasicBlock *> &exitBlocks, bool &Changed,
36  BasicBlock *Preheader);
37 };
38 }
39 
40 #endif // LLVM_TRANSFORMS_SCALAR_LOOPDELETION_H
MachineLoop * L
bool runImpl(Loop *L, DominatorTree &DT, ScalarEvolution &SE, LoopInfo &loopInfo)
Remove dead loops, by which we mean loops that do not impact the observable behavior of the program o...
This header provides classes for managing a pipeline of passes over loops in LLVM IR...
The main scalar evolution driver.
The adaptor from a function pass to a loop pass computes these analyses and makes them available to t...
PreservedAnalyses run(Loop &L, LoopAnalysisManager &AM, LoopStandardAnalysisResults &AR, LPMUpdater &U)
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
Definition: APFloat.h:32
A CRTP mix-in to automatically provide informational APIs needed for passes.
Definition: PassManager.h:311
Concrete subclass of DominatorTreeBase that is used to compute a normal dominator tree...
Definition: Dominators.h:96
A set of analyses that are preserved following a run of a transformation pass.
Definition: PassManager.h:107
LLVM Basic Block Representation.
Definition: BasicBlock.h:51
This class provides an interface for updating the loop pass manager based on mutations to the loop ne...
Represents a single loop in the control flow graph.
Definition: LoopInfo.h:368
A container for analyses that lazily runs them and caches their results.
This header defines various interfaces for pass management in LLVM.