aboutsummaryrefslogtreecommitdiffstats
path: root/include/llvm/Analysis/LoopDependenceAnalysis.h
blob: 42e434efbac18bde3c28bb20be1aa30ba32a4f8e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
//===- llvm/Analysis/LoopDependenceAnalysis.h --------------- -*- C++ -*---===//
//
//                     The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
//
// LoopDependenceAnalysis is an LLVM pass that analyses dependences in memory
// accesses in loops.
//
// Please note that this is work in progress and the interface is subject to
// change.
//
// TODO: adapt as interface progresses
//
//===----------------------------------------------------------------------===//

#ifndef LLVM_ANALYSIS_LOOP_DEPENDENCE_ANALYSIS_H
#define LLVM_ANALYSIS_LOOP_DEPENDENCE_ANALYSIS_H

#include "llvm/Analysis/LoopPass.h"
#include "llvm/Support/raw_ostream.h"
#include <iosfwd>

namespace llvm {

class AliasAnalysis;
class AnalysisUsage;
class ScalarEvolution;
class Value;

class LoopDependenceAnalysis : public LoopPass {
  Loop *L;
  AliasAnalysis *AA;
  ScalarEvolution *SE;

public:
  static char ID; // Class identification, replacement for typeinfo
  LoopDependenceAnalysis() : LoopPass(&ID) {}

  /// TODO: docs
  bool isDependencePair(const Value*, const Value*) const;
  bool depends(Value*, Value*);

  bool runOnLoop(Loop*, LPPassManager&);

  virtual void getAnalysisUsage(AnalysisUsage&) const;

  void print(raw_ostream&, const Module* = 0) const;
  virtual void print(std::ostream&, const Module* = 0) const;
}; // class LoopDependenceAnalysis


// createLoopDependenceAnalysisPass - This creates an instance of the
// LoopDependenceAnalysis pass.
//
LoopPass *createLoopDependenceAnalysisPass();

} // namespace llvm

#endif /* LLVM_ANALYSIS_LOOP_DEPENDENCE_ANALYSIS_H */