blob: 2440ea9d3904298a056103b6fda9fd3822474bbf [file] [log] [blame]
Tanya Lattner6e19b212005-03-29 20:33:42 +00001//===-- DependenceAnalyzer.h - Dependence Analyzer--------------*- C++ -*-===//
2//
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 Brukmanb4402432005-04-21 23:30:14 +00009//
10//
Tanya Lattner6e19b212005-03-29 20:33:42 +000011//===----------------------------------------------------------------------===//
12
13#ifndef LLVM_DEPENDENCEANALYZER_H
14#define LLVM_DEPENDENCEANALYZER_H
15
16#include "llvm/Instructions.h"
17#include "llvm/Function.h"
18#include "llvm/Pass.h"
19#include "llvm/Analysis/AliasAnalysis.h"
Tanya Lattner42ed1482005-04-22 06:32:48 +000020#include "llvm/Analysis/ScalarEvolutionExpressions.h"
Tanya Lattner6e19b212005-03-29 20:33:42 +000021#include "llvm/Target/TargetData.h"
22#include <vector>
23
24namespace llvm {
Tanya Lattner42ed1482005-04-22 06:32:48 +000025
Tanya Lattner6e19b212005-03-29 20:33:42 +000026
27 //class to represent a dependence
28 struct Dependence {
Misha Brukmanb4402432005-04-21 23:30:14 +000029
Tanya Lattner6e19b212005-03-29 20:33:42 +000030 enum DataDepType {
31 TrueDep, AntiDep, OutputDep, NonDateDep,
32 };
Misha Brukmanb4402432005-04-21 23:30:14 +000033
Tanya Lattner6e19b212005-03-29 20:33:42 +000034 Dependence(int diff, DataDepType dep) : iteDiff(diff), depType(dep) {}
35 unsigned getIteDiff() { return iteDiff; }
36 unsigned getDepType() { return depType; }
Misha Brukmanb4402432005-04-21 23:30:14 +000037
Tanya Lattner6e19b212005-03-29 20:33:42 +000038 private:
Misha Brukmanb4402432005-04-21 23:30:14 +000039
Tanya Lattner6e19b212005-03-29 20:33:42 +000040 unsigned iteDiff;
41 unsigned depType;
42 };
43
Misha Brukmanb4402432005-04-21 23:30:14 +000044
Tanya Lattner6e19b212005-03-29 20:33:42 +000045 struct DependenceResult {
46 std::vector<Dependence> dependences;
47 DependenceResult(const std::vector<Dependence> &d) : dependences(d) {}
48 };
49
50
51 class DependenceAnalyzer : public FunctionPass {
Tanya Lattner42ed1482005-04-22 06:32:48 +000052
53
Tanya Lattner6e19b212005-03-29 20:33:42 +000054 AliasAnalysis *AA;
55 TargetData *TD;
Tanya Lattner42ed1482005-04-22 06:32:48 +000056 ScalarEvolution *SE;
57
58 void advancedDepAnalysis(GetElementPtrInst *gp1, GetElementPtrInst *gp2,
59 bool valLoad, bool val2Load,
60 std::vector<Dependence> &deps, bool srcBeforeDest);
61
62 void AnalyzeDeps(Value *val, Value *val2, bool val1Load, bool val2Load,
63 std::vector<Dependence> &deps, BasicBlock *BB,
64 bool srcBeforeDest);
65
66 void createDep(std::vector<Dependence> &deps, bool valLoad, bool val2Load,
67 bool srcBeforeDest, int diff = 0);
Misha Brukmanb4402432005-04-21 23:30:14 +000068
Tanya Lattner6e19b212005-03-29 20:33:42 +000069 public:
Tanya Lattner42ed1482005-04-22 06:32:48 +000070 DependenceAnalyzer() { AA = 0; TD = 0; SE = 0; }
Tanya Lattner6e19b212005-03-29 20:33:42 +000071 virtual bool runOnFunction(Function &F);
72 virtual const char* getPassName() const { return "DependenceAnalyzer"; }
Misha Brukmanb4402432005-04-21 23:30:14 +000073
Tanya Lattner6e19b212005-03-29 20:33:42 +000074 // getAnalysisUsage
75 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
76 AU.addRequired<AliasAnalysis>();
77 AU.addRequired<TargetData>();
Tanya Lattner42ed1482005-04-22 06:32:48 +000078 AU.addRequired<ScalarEvolution>();
79 AU.setPreservesAll();
Tanya Lattner6e19b212005-03-29 20:33:42 +000080 }
81
82 //get dependence info
Tanya Lattner42ed1482005-04-22 06:32:48 +000083 DependenceResult getDependenceInfo(Instruction *inst1, Instruction *inst2,
84 bool srcBeforeDest);
Tanya Lattner6e19b212005-03-29 20:33:42 +000085
86 };
87
88}
89
90
91
92#endif