daisytuner / sdfglib / 19192861975

UnreachableNode::UnreachableNode(

    : LibraryNode(

          element_id,

          debug_info,

          vertex,

          parent,

          {},

          {},

      ) {}

void UnreachableNode::validate(const Function& function) const {}

symbolic::SymbolSet UnreachableNode::symbols() const { return symbolic::SymbolSet(); }

    clone(size_t element_id, const graph::Vertex vertex, data_flow::DataFlowGraph& parent) const {

    return std::make_unique<UnreachableNode>(element_id, debug_info_, vertex, parent);

void UnreachableNode::replace(const symbolic::Expression old_expression, const symbolic::Expression new_expression) {

    this->size_ = symbolic::subs(this->size_, old_expression, new_expression);

}

nlohmann::json UnreachableNodeSerializer::serialize(const data_flow::LibraryNode& library_node) {

    const UnreachableNode& node = static_cast<const UnreachableNode&>(library_node);

    nlohmann::json j;

    j["code"] = node.code().value();

    return j;

}

data_flow::LibraryNode& UnreachableNodeSerializer::deserialize(

    assert(j.contains("code"));

    assert(j.contains("debug_info"));

    auto code = j["code"].get<std::string>();

    if (code != LibraryNodeType_Unreachable.value()) {

        throw InvalidSDFGException("Invalid library node code");

    sdfg::serializer::JSONSerializer serializer;

    DebugInfo debug_info = serializer.json_to_debug_info(j["debug_info"]);

    return builder.add_library_node<UnreachableNode>(parent, debug_info);

}

UnreachableNodeDispatcher::UnreachableNodeDispatcher(

    : codegen::LibraryNodeDispatcher(language_extension, function, data_flow_graph, node) {}

void UnreachableNodeDispatcher::dispatch_code(

    auto& node = static_cast<const UnreachableNode&>(node_);

    stream << "__builtin_unreachable()" << ";";

    stream << std::endl;

}