LogicalExpressionNode.cpp

#include "LogicalExpressionNode.hpp"
#include "LogicalTac.hpp"

std::string LogicalExpressionNode::checkTypes(SymbolTable &st) const {
    const auto lhsType = left->checkTypes(st);
    const auto rhsType = right->checkTypes(st);

    if (lhsType == "int" && rhsType == "int") {
        return "boolean";
    }

    if (!lhsType.empty() && !rhsType.empty()) {
        std::cerr << "Error: (line " << lineno << ") " << type << " "
                  << "operation does not "
                     "support operands of types '"
                  << lhsType
                  << "' and "
                     "'"
                  << rhsType << "'.\n";
    }
    return "";
}

Operand LessThanNode::generateIR(CFG &graph, SymbolTable &st) {
    auto lhs_name = left->generateIR(graph, st);
    auto rhs_name = right->generateIR(graph, st);
    auto name = graph.getTemporaryName();
    st.addBooleanVariable(name);
    graph.addInstruction(new LessThanTac(name, lhs_name, rhs_name));
    return name;
}
Operand GreaterThanNode::generateIR(CFG &graph, SymbolTable &st) {
    auto lhs_name = left->generateIR(graph, st);
    auto rhs_name = right->generateIR(graph, st);
    auto name = graph.getTemporaryName();
    st.addBooleanVariable(name);
    graph.addInstruction(new GreaterThanTac(name, lhs_name, rhs_name));
    return name;
}
std::string EqualToNode::checkTypes(SymbolTable &st) const {
    const auto lhsType = left->checkTypes(st);
    const auto rhsType = right->checkTypes(st);

    if ((lhsType == "boolean" && rhsType == "boolean") ||
        (lhsType == "int" && rhsType == "int")) {
        return "boolean";
    }
    std::cerr << "Error: ";
    std::cerr << "(line " << lineno << ") ";
    std::cerr << "Operator '==' does not support operands of types ";
    std::cerr << "'" << lhsType << "' and '" << rhsType << "'.\n";
    return "";
}

Operand EqualToNode::generateIR(CFG &graph, SymbolTable &st) {
    auto lhs_name = left->generateIR(graph, st);
    auto rhs_name = right->generateIR(graph, st);
    auto name = graph.getTemporaryName();
    st.addBooleanVariable(name);
    graph.addInstruction(new EqualToTac(name, lhs_name, rhs_name));
    return name;
}