15612270835

Committed 12 Jun 2025 01:44PM UTC coverage: 60.871% (-0.8%) from 61.71%

Build # 15612270835

Build Type

push

github

Committed by

web-flow

Commit Message

Merge pull request #68 from daisytuner/loop-types

refactors symbolic analysis into polynomials, extreme values and cnf

Run Details

638 of 862 new or added lines in 24 files covered. (74.01%)

334 existing lines in 20 files now uncovered.

6571 of 10795 relevant lines covered (60.87%)

100.35 hits per line

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

75.0

/src/data_flow/access_node.cpp

#include "sdfg/data_flow/access_node.h"

namespace sdfg {
namespace data_flow {

AccessNode::AccessNode(const DebugInfo& debug_info, const graph::Vertex vertex,
                       DataFlowGraph& parent, const std::string& data)
    : DataFlowNode(debug_info, vertex, parent), data_(data) {

      };

const std::string& AccessNode::data() const { return this->data_; };

std::string& AccessNode::data() { return this->data_; };

std::unique_ptr<DataFlowNode> AccessNode::clone(const graph::Vertex vertex,
                                                DataFlowGraph& parent) const {
    return std::unique_ptr<AccessNode>(
        new AccessNode(this->debug_info_, vertex, parent, this->data_));
};

void AccessNode::replace(const symbolic::Expression& old_expression,
                         const symbolic::Expression& new_expression) {
    if (SymEngine::is_a<SymEngine::Symbol>(*old_expression)) {
        auto old_symbol = SymEngine::rcp_static_cast<const SymEngine::Symbol>(old_expression);
        if (this->data_ == old_symbol->get_name()) {
            if (!SymEngine::is_a<SymEngine::Symbol>(*new_expression)) {
                throw InvalidSDFGException("Access Nodes do not support complex expressions");
            }
            auto new_symbol = SymEngine::rcp_static_cast<const SymEngine::Symbol>(new_expression);
            this->data_ = new_symbol->get_name();
        }
    }
};

}  // namespace data_flow
}  // namespace sdfg

1	#include "sdfg/data_flow/access_node.h"
2
3	namespace sdfg {
4	namespace data_flow {
5
6	AccessNode::AccessNode(const DebugInfo& debug_info, const graph::Vertex vertex,	481✔
7	DataFlowGraph& parent, const std::string& data)
8	: DataFlowNode(debug_info, vertex, parent), data_(data) {	481✔
9
10	};	481✔
11
12	const std::string& AccessNode::data() const { return this->data_; };	1,044✔
13
14	std::string& AccessNode::data() { return this->data_; };	1,686✔
15
UNCOV 16	std::unique_ptr<DataFlowNode> AccessNode::clone(const graph::Vertex vertex,	×
17	DataFlowGraph& parent) const {
UNCOV 18	return std::unique_ptr<AccessNode>(	×
UNCOV 19	new AccessNode(this->debug_info_, vertex, parent, this->data_));	×
20	};	×
21
22	void AccessNode::replace(const symbolic::Expression& old_expression,	1✔
23	const symbolic::Expression& new_expression) {
24	if (SymEngine::is_a<SymEngine::Symbol>(*old_expression)) {	1✔
25	auto old_symbol = SymEngine::rcp_static_cast<const SymEngine::Symbol>(old_expression);	1✔
26	if (this->data_ == old_symbol->get_name()) {	1✔
27	if (!SymEngine::is_a<SymEngine::Symbol>(*new_expression)) {	1✔
28	throw InvalidSDFGException("Access Nodes do not support complex expressions");	×
29	}
30	auto new_symbol = SymEngine::rcp_static_cast<const SymEngine::Symbol>(new_expression);	1✔
31	this->data_ = new_symbol->get_name();	1✔
32	}	1✔
33	}	1✔
34	};	1✔
35
36	} // namespace data_flow
37	} // namespace sdfg

daisytuner / sdfglib / 15612270835

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