18558780296

Committed 16 Oct 2025 10:49AM UTC coverage: 61.233% (-0.3%) from 61.523%

Build # 18558780296

Build Type

push

github

Committed by

web-flow

Commit Message

Merge pull request #279 from daisytuner/ext-prefix

Separate Dominance Analysis and Codegen for Linker with Prefixes

Run Details

62 of 95 new or added lines in 26 files covered. (65.26%)

13 existing lines in 7 files now uncovered.

8981 of 14667 relevant lines covered (61.23%)

98.73 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

0.0

/src/data_flow/library_nodes/stdlib/memmove.cpp

#include "sdfg/data_flow/library_nodes/stdlib/memmove.h"

namespace sdfg {
namespace stdlib {

MemmoveNode::MemmoveNode(
    size_t element_id,
    const DebugInfo& debug_info,
    const graph::Vertex vertex,
    data_flow::DataFlowGraph& parent,
    const symbolic::Expression count
)
    : LibraryNode(
          element_id,
          debug_info,
          vertex,
          parent,
          LibraryNodeType_Memmove,
          {"_dst"},
          {"_src"},
          true,
          data_flow::ImplementationType_NONE
      ),
      count_(count) {}

const symbolic::Expression MemmoveNode::count() const { return count_; }

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

symbolic::SymbolSet MemmoveNode::symbols() const {
    auto count_symbols = symbolic::atoms(this->count_);
    return count_symbols;
}

std::unique_ptr<data_flow::DataFlowNode> MemmoveNode::
    clone(size_t element_id, const graph::Vertex vertex, data_flow::DataFlowGraph& parent) const {
    return std::make_unique<MemmoveNode>(element_id, debug_info_, vertex, parent, count_);
}

void MemmoveNode::replace(const symbolic::Expression old_expression, const symbolic::Expression new_expression) {
    this->count_ = symbolic::subs(this->count_, old_expression, new_expression);
}

nlohmann::json MemmoveNodeSerializer::serialize(const data_flow::LibraryNode& library_node) {
    const MemmoveNode& node = static_cast<const MemmoveNode&>(library_node);

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

    sdfg::serializer::JSONSerializer serializer;
    j["count"] = serializer.expression(node.count());

    return j;
}

data_flow::LibraryNode& MemmoveNodeSerializer::deserialize(
    const nlohmann::json& j, builder::StructuredSDFGBuilder& builder, structured_control_flow::Block& parent
) {
    assert(j.contains("code"));
    assert(j.contains("debug_info"));
    assert(j.contains("count"));

    auto code = j["code"].get<std::string>();
    if (code != LibraryNodeType_Memmove.value()) {
        throw InvalidSDFGException("Invalid library node code");
    }

    // Extract debug info using JSONSerializer
    sdfg::serializer::JSONSerializer serializer;
    DebugInfo debug_info = serializer.json_to_debug_info(j["debug_info"]);

    // Extract properties
    auto count = symbolic::parse(j.at("count"));

    return builder.add_library_node<MemmoveNode>(parent, debug_info, count);
}

MemmoveNodeDispatcher::MemmoveNodeDispatcher(
    codegen::LanguageExtension& language_extension,
    const Function& function,
    const data_flow::DataFlowGraph& data_flow_graph,
    const MemmoveNode& node
)
    : codegen::LibraryNodeDispatcher(language_extension, function, data_flow_graph, node) {}

void MemmoveNodeDispatcher::dispatch_code(
    codegen::PrettyPrinter& stream,
    codegen::PrettyPrinter& globals_stream,
    codegen::CodeSnippetFactory& library_snippet_factory
) {
    auto& node = static_cast<const MemmoveNode&>(node_);

    stream << language_extension_.external_prefix() << "memmove(" << node.outputs().at(0) << ", " << node.inputs().at(0) << ", "
           << language_extension_.expression(node.count()) << ")" << ";";
    stream << std::endl;
}

} // namespace stdlib
} // namespace sdfg

1	#include "sdfg/data_flow/library_nodes/stdlib/memmove.h"
2
3	namespace sdfg {
4	namespace stdlib {
5
6	MemmoveNode::MemmoveNode(	×
7	size_t element_id,
8	const DebugInfo& debug_info,
9	const graph::Vertex vertex,
10	data_flow::DataFlowGraph& parent,
11	const symbolic::Expression count
12	)
13	: LibraryNode(	×
14	element_id,	×
15	debug_info,	×
16	vertex,	×
17	parent,	×
18	LibraryNodeType_Memmove,
19	{"_dst"},	×
20	{"_src"},	×
21	true,
22	data_flow::ImplementationType_NONE
23	),
24	count_(count) {}	×
25
26	const symbolic::Expression MemmoveNode::count() const { return count_; }	×
27
28	void MemmoveNode::validate(const Function& function) const {}	×
29
30	symbolic::SymbolSet MemmoveNode::symbols() const {	×
31	auto count_symbols = symbolic::atoms(this->count_);	×
32	return count_symbols;	×
33	}	×
34
35	std::unique_ptr<data_flow::DataFlowNode> MemmoveNode::
36	clone(size_t element_id, const graph::Vertex vertex, data_flow::DataFlowGraph& parent) const {	×
37	return std::make_unique<MemmoveNode>(element_id, debug_info_, vertex, parent, count_);	×
38	}
39
40	void MemmoveNode::replace(const symbolic::Expression old_expression, const symbolic::Expression new_expression) {	×
41	this->count_ = symbolic::subs(this->count_, old_expression, new_expression);	×
42	}	×
43
44	nlohmann::json MemmoveNodeSerializer::serialize(const data_flow::LibraryNode& library_node) {	×
45	const MemmoveNode& node = static_cast<const MemmoveNode&>(library_node);	×
46
47	nlohmann::json j;	×
48	j["code"] = node.code().value();	×
49
50	sdfg::serializer::JSONSerializer serializer;	×
51	j["count"] = serializer.expression(node.count());	×
52
53	return j;	×
54	}	×
55
56	data_flow::LibraryNode& MemmoveNodeSerializer::deserialize(	×
57	const nlohmann::json& j, builder::StructuredSDFGBuilder& builder, structured_control_flow::Block& parent
58	) {
59	assert(j.contains("code"));	×
60	assert(j.contains("debug_info"));	×
61	assert(j.contains("count"));	×
62
63	auto code = j["code"].get<std::string>();	×
64	if (code != LibraryNodeType_Memmove.value()) {	×
65	throw InvalidSDFGException("Invalid library node code");	×
66	}
67
68	// Extract debug info using JSONSerializer
69	sdfg::serializer::JSONSerializer serializer;	×
70	DebugInfo debug_info = serializer.json_to_debug_info(j["debug_info"]);	×
71
72	// Extract properties
73	auto count = symbolic::parse(j.at("count"));	×
74
75	return builder.add_library_node<MemmoveNode>(parent, debug_info, count);	×
76	}	×
77
78	MemmoveNodeDispatcher::MemmoveNodeDispatcher(	×
79	codegen::LanguageExtension& language_extension,
80	const Function& function,
81	const data_flow::DataFlowGraph& data_flow_graph,
82	const MemmoveNode& node
83	)
84	: codegen::LibraryNodeDispatcher(language_extension, function, data_flow_graph, node) {}	×
85
86	void MemmoveNodeDispatcher::dispatch_code(	×
87	codegen::PrettyPrinter& stream,
88	codegen::PrettyPrinter& globals_stream,
89	codegen::CodeSnippetFactory& library_snippet_factory
90	) {
91	auto& node = static_cast<const MemmoveNode&>(node_);	×
92
NEW 93	stream << language_extension_.external_prefix() << "memmove(" << node.outputs().at(0) << ", " << node.inputs().at(0) << ", "	×
94	<< language_extension_.expression(node.count()) << ")" << ";";	×
95	stream << std::endl;	×
96	}	×
97
98	} // namespace stdlib
99	} // namespace sdfg

daisytuner / sdfglib / 18558780296

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous