summaryrefslogtreecommitdiff
path: root/include/dep.hh
diff options
context:
space:
mode:
Diffstat (limited to 'include/dep.hh')
-rw-r--r--include/dep.hh52
1 files changed, 41 insertions, 11 deletions
diff --git a/include/dep.hh b/include/dep.hh
index 73c662c..ffd2db5 100644
--- a/include/dep.hh
+++ b/include/dep.hh
@@ -6,25 +6,29 @@
#include "ir_code.hh"
#include "chill_error.hh"
-enum DependenceType { DEP_W2R, DEP_R2W, DEP_W2W, DEP_R2R, DEP_CONTROL, DEP_UNKNOWN };
+enum DependenceType {
+ DEP_W2R, DEP_R2W, DEP_W2W, DEP_R2R, DEP_CONTROL, DEP_UNKNOWN
+};
class DependenceVector;
+
typedef std::vector<DependenceVector> DependenceList;
struct DependenceVector {
DependenceType type;
IR_Symbol *sym;
-
+
bool from_same_stmt; // Manu
bool is_reduction_cand; // Manu
bool is_reduction; // used to identify a class of flow dependence
- // that can be broken
+ // that can be broken
std::vector<omega::coef_t> lbounds;
std::vector<omega::coef_t> ubounds;
-
+
bool quasi;
bool is_scalar_dependence;
+
DependenceVector() {
type = DEP_UNKNOWN;
sym = NULL;
@@ -34,52 +38,78 @@ struct DependenceVector {
quasi = false;
is_scalar_dependence = false;
}
+
DependenceVector(const DependenceVector &that);
+
~DependenceVector() { delete sym; } // is this legal? TODO
DependenceVector &operator=(const DependenceVector &that);
-
+
bool is_data_dependence() const;
+
bool is_control_dependence() const;
+
bool has_negative_been_carried_at(int dim) const;
+
bool has_been_carried_at(int dim) const;
+
bool has_been_carried_before(int dim) const;
-
+
// the following functions will be cleaned up or removed later
bool isZero() const;
+
bool isPositive() const;
+
bool isNegative() const;
+
bool isAllPositive() const;
+
bool isAllNegative() const;
+
bool isZero(int dim) const;
+
bool hasPositive(int dim) const;
+
bool hasNegative(int dim) const;
+
bool isCarried(int dim, omega::coef_t distance = posInfinity) const;
+
bool canPermute(const std::vector<int> &pi) const;
-
+
std::vector<DependenceVector> normalize() const;
+
std::vector<DependenceVector> permute(const std::vector<int> &pi) const;
+
DependenceVector reverse() const;
+
DependenceType getType() const;
- friend std::ostream& operator<<(std::ostream &os, const DependenceVector &d);
+
+ friend std::ostream &operator<<(std::ostream &os, const DependenceVector &d);
};
+class DependenceGraph : public Graph<Empty, DependenceVector> {
-class DependenceGraph: public Graph<Empty, DependenceVector> {
-
protected:
int num_dim_;
-
+
public:
DependenceGraph(int n) { num_dim_ = n; }
+
DependenceGraph() { num_dim_ = 0; }
+
~DependenceGraph() {}
+
int num_dim() const { return num_dim_; }
+
DependenceGraph permute(const std::vector<int> &pi,
const std::set<int> &active = std::set<int>()) const;
+
DependenceGraph subspace(int dim) const;
+
bool isPositive() const;
+
bool hasPositive(int dim) const;
+
bool hasNegative(int dim) const;
};