| Tanya Lattner | 6e19b21 | 2005-03-29 20:33:42 +0000 | [diff] [blame] | 1 | //===-- 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 Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 9 | // |
| 10 | // |
| Tanya Lattner | 6e19b21 | 2005-03-29 20:33:42 +0000 | [diff] [blame] | 11 | //===----------------------------------------------------------------------===// |
| 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 Lattner | 42ed148 | 2005-04-22 06:32:48 +0000 | [diff] [blame] | 20 | #include "llvm/Analysis/ScalarEvolutionExpressions.h" |
| Tanya Lattner | 6e19b21 | 2005-03-29 20:33:42 +0000 | [diff] [blame] | 21 | #include "llvm/Target/TargetData.h" |
| 22 | #include <vector> |
| 23 | |
| 24 | namespace llvm { |
| Tanya Lattner | 42ed148 | 2005-04-22 06:32:48 +0000 | [diff] [blame] | 25 | |
| Tanya Lattner | 6e19b21 | 2005-03-29 20:33:42 +0000 | [diff] [blame] | 26 | |
| 27 | //class to represent a dependence |
| 28 | struct Dependence { |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 29 | |
| Tanya Lattner | 6e19b21 | 2005-03-29 20:33:42 +0000 | [diff] [blame] | 30 | enum DataDepType { |
| 31 | TrueDep, AntiDep, OutputDep, NonDateDep, |
| 32 | }; |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 33 | |
| Tanya Lattner | 6e19b21 | 2005-03-29 20:33:42 +0000 | [diff] [blame] | 34 | Dependence(int diff, DataDepType dep) : iteDiff(diff), depType(dep) {} |
| 35 | unsigned getIteDiff() { return iteDiff; } |
| 36 | unsigned getDepType() { return depType; } |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 37 | |
| Tanya Lattner | 6e19b21 | 2005-03-29 20:33:42 +0000 | [diff] [blame] | 38 | private: |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 39 | |
| Tanya Lattner | 6e19b21 | 2005-03-29 20:33:42 +0000 | [diff] [blame] | 40 | unsigned iteDiff; |
| 41 | unsigned depType; |
| 42 | }; |
| 43 | |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 44 | |
| Tanya Lattner | 6e19b21 | 2005-03-29 20:33:42 +0000 | [diff] [blame] | 45 | 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 Lattner | 42ed148 | 2005-04-22 06:32:48 +0000 | [diff] [blame] | 52 | |
| 53 | |
| Tanya Lattner | 6e19b21 | 2005-03-29 20:33:42 +0000 | [diff] [blame] | 54 | AliasAnalysis *AA; |
| 55 | TargetData *TD; |
| Tanya Lattner | 42ed148 | 2005-04-22 06:32:48 +0000 | [diff] [blame] | 56 | 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 Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 68 | |
| Tanya Lattner | 6e19b21 | 2005-03-29 20:33:42 +0000 | [diff] [blame] | 69 | public: |
| Tanya Lattner | 42ed148 | 2005-04-22 06:32:48 +0000 | [diff] [blame] | 70 | DependenceAnalyzer() { AA = 0; TD = 0; SE = 0; } |
| Tanya Lattner | 6e19b21 | 2005-03-29 20:33:42 +0000 | [diff] [blame] | 71 | virtual bool runOnFunction(Function &F); |
| 72 | virtual const char* getPassName() const { return "DependenceAnalyzer"; } |
| Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 73 | |
| Tanya Lattner | 6e19b21 | 2005-03-29 20:33:42 +0000 | [diff] [blame] | 74 | // getAnalysisUsage |
| 75 | virtual void getAnalysisUsage(AnalysisUsage &AU) const { |
| 76 | AU.addRequired<AliasAnalysis>(); |
| 77 | AU.addRequired<TargetData>(); |
| Tanya Lattner | 42ed148 | 2005-04-22 06:32:48 +0000 | [diff] [blame] | 78 | AU.addRequired<ScalarEvolution>(); |
| 79 | AU.setPreservesAll(); |
| Tanya Lattner | 6e19b21 | 2005-03-29 20:33:42 +0000 | [diff] [blame] | 80 | } |
| 81 | |
| 82 | //get dependence info |
| Tanya Lattner | 42ed148 | 2005-04-22 06:32:48 +0000 | [diff] [blame] | 83 | DependenceResult getDependenceInfo(Instruction *inst1, Instruction *inst2, |
| 84 | bool srcBeforeDest); |
| Tanya Lattner | 6e19b21 | 2005-03-29 20:33:42 +0000 | [diff] [blame] | 85 | |
| 86 | }; |
| 87 | |
| 88 | } |
| 89 | |
| 90 | |
| 91 | |
| 92 | #endif |