OpGraphProcedures.h

Go to the documentation of this file.

/*******************************************************************************
 * The software programs comprising "CGRA-ME" and the documentation provided
 * with them are copyright by its authors and the University of Toronto. Only
 * non-commercial, not-for-profit use of this software is permitted without ex-
 * plicit permission. This software is provided "as is" with no warranties or
 * guarantees of support. See the LICENCE for more details. You should have re-
 * ceived a copy of the full licence along with this software. If not, see
 * <http://cgra-me.ece.utoronto.ca/license/>.
 ******************************************************************************/
 
#ifndef OPGRAPH_PROCEDURES_H___
#define OPGRAPH_PROCEDURES_H___
 
#include <CGRA/OpGraph.h>
 
// forward declarations
class ConfigGraph; // in <CGRA/utility/ConfigGraph.h>
struct TrailsToBalance;
 
TrailsToBalance computeTrailsToBalance(const OpGraph& op_graph);
 
struct TrailsToBalance {
    // a sequence of *unique* (hyper) edges.
    using Trail = OpGraph::Walk;
    using TrailPair = std::pair<Trail,Trail>;
 
    // A set of pairs of trails that should have the same latency -- re-convergence
    std::set<TrailPair> noncyclic_trail_pairs = {};
 
    // A set of trails that must have latency of II -- cycles
    std::set<Trail> cyclic_trails = {};
 
    // Dump this to `os` in a human-readable format.
    void print_to(std::ostream& os) const; // (operator<< is defined later)
    bool operator==(const TrailsToBalance& rhs) const {
        return std::tie(noncyclic_trail_pairs, cyclic_trails)
            == std::tie(rhs.noncyclic_trail_pairs, rhs.cyclic_trails);
    }
};
 
OpGraph createOpGraphFromConfig(const ConfigGraph& config);
 
OpGraph removeBranchComputation(OpGraph opgraph);
 
OpGraph removeCastNodes(OpGraph og);
 
OpGraph removePhiNodes(OpGraph opgraph);
 
OpGraph propagateConstants(OpGraph og);
 
OpGraph distributeConstants(OpGraph og);
 
inline std::ostream& operator<<(std::ostream& os, const TrailsToBalance& ptb) { ptb.print_to(os); return os; }
 
#endif /* OPGRAPH_PROCEDURES_H___ */