27981272983

Committed 22 Jun 2026 08:18PM UTC coverage: 61.754% (-0.03%) from 61.782%

Build # 27981272983

Build Type

Pull #781

github

Committed by

web-flow

Commit Message

Merge bddaa3724 into fe87d162b

Pull Request Pull Request #781: Extend Segformer benchmarks setup

Coverage Stats

987 of 1432 new or added lines in 62 files covered. (68.92%)

9 existing lines in 7 files now uncovered.

38121 of 61730 relevant lines covered (61.75%)

993.19 hits per line

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

0.0

/sdfg/src/data_flow/library_nodes/stdlib/unreachable.cpp

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

namespace sdfg {
namespace stdlib {

UnreachableNode::UnreachableNode(
    size_t element_id, const DebugInfo& debug_info, const graph::Vertex vertex, data_flow::DataFlowGraph& parent
)
    : StdlibNode(
          element_id,
          debug_info,
          vertex,
          parent,
          LibraryNodeType_Unreachable,
          {},
          {},
          true,
          data_flow::ImplementationType_NONE
      ) {}

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

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

std::unique_ptr<data_flow::DataFlowNode> UnreachableNode::
    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);
}

void UnreachableNode::replace(const symbolic::ExpressionMapping& replacements) {
    this->size_ = symbolic::subs(this->size_, replacements);
}

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(
    const nlohmann::json& j, builder::StructuredSDFGBuilder& builder, structured_control_flow::Block& parent
) {
    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::LanguageExtension& language_extension,
    const Function& function,
    const data_flow::DataFlowGraph& data_flow_graph,
    const UnreachableNode& node
)
    : codegen::LibraryNodeDispatcher(language_extension, function, data_flow_graph, node) {}

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

    stream << "__builtin_unreachable()" << ";";
    stream << std::endl;
}

} // namespace stdlib
} // namespace sdfg

1	#include "sdfg/data_flow/library_nodes/stdlib/unreachable.h"
2
3	namespace sdfg {
4	namespace stdlib {
5
6	UnreachableNode::UnreachableNode(
7	size_t element_id, const DebugInfo& debug_info, const graph::Vertex vertex, data_flow::DataFlowGraph& parent
8	)
9	: StdlibNode(	×
10	element_id,	×
11	debug_info,	×
12	vertex,	×
13	parent,	×
14	LibraryNodeType_Unreachable,	×
15	{},	×
16	{},	×
17	true,	×
18	data_flow::ImplementationType_NONE	×
19	) {}	×
20
21	void UnreachableNode::validate(const Function& function) const { LibraryNode::validate(function); }	×
22
23	symbolic::SymbolSet UnreachableNode::symbols() const { return symbolic::SymbolSet(); }	×
24
25	std::unique_ptr<data_flow::DataFlowNode> UnreachableNode::
26	clone(size_t element_id, const graph::Vertex vertex, data_flow::DataFlowGraph& parent) const {	×
27	return std::make_unique<UnreachableNode>(element_id, debug_info_, vertex, parent);	×
28	}	×
29
30	void UnreachableNode::replace(const symbolic::Expression old_expression, const symbolic::Expression new_expression) {	×
31	this->size_ = symbolic::subs(this->size_, old_expression, new_expression);	×
32	}	×
33
NEW 34	void UnreachableNode::replace(const symbolic::ExpressionMapping& replacements) {	×
NEW 35	this->size_ = symbolic::subs(this->size_, replacements);	×
NEW 36	}	×
37
38	nlohmann::json UnreachableNodeSerializer::serialize(const data_flow::LibraryNode& library_node) {	×
39	const UnreachableNode& node = static_cast<const UnreachableNode&>(library_node);	×
40
41	nlohmann::json j;	×
42	j["code"] = node.code().value();	×
43
44	return j;	×
45	}	×
46
47	data_flow::LibraryNode& UnreachableNodeSerializer::deserialize(
48	const nlohmann::json& j, builder::StructuredSDFGBuilder& builder, structured_control_flow::Block& parent
49	) {	×
50	assert(j.contains("code"));	×
51	assert(j.contains("debug_info"));	×
52
53	auto code = j["code"].get<std::string>();	×
54	if (code != LibraryNodeType_Unreachable.value()) {	×
55	throw InvalidSDFGException("Invalid library node code");	×
56	}	×
57
58	sdfg::serializer::JSONSerializer serializer;	×
59	DebugInfo debug_info = serializer.json_to_debug_info(j["debug_info"]);	×
60
61	return builder.add_library_node<UnreachableNode>(parent, debug_info);	×
62	}	×
63
64	UnreachableNodeDispatcher::UnreachableNodeDispatcher(
65	codegen::LanguageExtension& language_extension,
66	const Function& function,
67	const data_flow::DataFlowGraph& data_flow_graph,
68	const UnreachableNode& node
69	)
70	: codegen::LibraryNodeDispatcher(language_extension, function, data_flow_graph, node) {}	×
71
72	void UnreachableNodeDispatcher::dispatch_code(
73	codegen::PrettyPrinter& stream,
74	codegen::PrettyPrinter& globals_stream,
75	codegen::CodeSnippetFactory& library_snippet_factory
76	) {	×
77	auto& node = static_cast<const UnreachableNode&>(node_);	×
78
79	stream << "__builtin_unreachable()" << ";";	×
80	stream << std::endl;	×
81	}	×
82
83	} // namespace stdlib
84	} // namespace sdfg

daisytuner / docc / 27981272983

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