MRRG_tests.cpp

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/>.
 ******************************************************************************/
 
#include <CGRA/Module.h>
#include <CGRA/MRRG.h>
 
#include <catch2/catch.hpp>
 
SCENARIO ("tagging operands to mrrg nodes") {
    MRRG mrrg(1);
    GIVEN("a 2 input computation") {
        const auto in1 = mrrg.insert( MRRGNode::make_operand_pin(nullptr, 32, 0, "in1", {Operands::BINARY_LHS, Operands::BINARY_ANY})).first;
        const auto in2 = mrrg.insert( MRRGNode::make_operand_pin(nullptr, 32, 0, "in2", {Operands::BINARY_RHS, Operands::BINARY_ANY})).first;
        const auto fu = mrrg.insertMultiFanin({in1, in2}, MRRGNode::make_function(nullptr, 32, 0, "fu", 0, {OpCode::ADD, OpCode::SUB})).first;
 
        CHECK(verifyAndPrintReport(mrrg, std::cout, true, true));
    }
 
    GIVEN("a 3 input computation") {
        const auto in1 = mrrg.insert( MRRGNode::make_operand_pin(nullptr, 32, 0, "in1", {Operands::BINARY_LHS, Operands::TERNARY_ANY})).first;
        const auto in2 = mrrg.insert( MRRGNode::make_operand_pin(nullptr, 32, 0, "in2", {Operands::BINARY_RHS, Operands::TERNARY_ANY})).first;
        const auto in3 = mrrg.insert( MRRGNode::make_operand_pin(nullptr, 32, 0, "in3", {Operands::BINARY_RHS, Operands::TERNARY_ANY})).first;
        
        const auto fu = mrrg.insertMultiFanin({in1, in2, in3}, MRRGNode::make_function(nullptr, 32, 0, "fu", 0, {OpCode::ADD})).first;
 
        CHECK(verifyAndPrintReport(mrrg, std::cout, true, true));
    }
 
    GIVEN("a series of 2 input computations") {
        const auto in1 = mrrg.insert( MRRGNode::make_operand_pin(nullptr, 32, 0, "in1", {Operands::BINARY_LHS, Operands::BINARY_ANY})).first;
        const auto in2 = mrrg.insert( MRRGNode::make_operand_pin(nullptr, 32, 0, "in2", {Operands::BINARY_RHS, Operands::BINARY_ANY})).first;
        const auto fu1 = mrrg.insertMultiFanin({in1, in2}, MRRGNode::make_function(nullptr, 32, 0, "fu1", 0, {OpCode::ADD, OpCode::SUB})).first;
 
        const auto out1 = mrrg.insert(fu1, MRRGNode::make_operand_pin(nullptr, 32, 0, "out1", {Operands::BINARY_LHS, Operands::BINARY_ANY})).first;
        const auto in3 = mrrg.insert( MRRGNode::make_operand_pin(nullptr, 32, 0, "in3", {Operands::BINARY_RHS, Operands::BINARY_ANY})).first;
 
        const auto fu2 = mrrg.insertMultiFanin({out1, in3}, MRRGNode::make_function(nullptr, 32, 0, "fu2", 0, {OpCode::ADD, OpCode::SUB})).first;
 
        CHECK(verifyAndPrintReport(mrrg, std::cout, true, true));
    }
 
    GIVEN("a feedback computation") {
        const auto in1 = mrrg.insert( MRRGNode::make_operand_pin(nullptr, 32, 0, "in1", {Operands::BINARY_LHS, Operands::BINARY_ANY})).first;
        const auto in2 = mrrg.insert( MRRGNode::make_operand_pin(nullptr, 32, 0, "in2", {Operands::BINARY_RHS, Operands::BINARY_ANY})).first;
        const auto fu = mrrg.insertMultiFanin({in1, in2}, MRRGNode::make_function(nullptr, 32, 0, "fu", 0, {OpCode::ADD, OpCode::SUB})).first;
        mrrg.link(fu, in2);
 
        CHECK(verifyAndPrintReport(mrrg, std::cout, true, true));
    }
}