16069945621

Committed 04 Jul 2025 08:56AM UTC coverage: 64.375% (-0.2%) from 64.606%

Build # 16069945621

Build Type

push

github

Committed by

web-flow

Commit Message

Merge pull request #137 from daisytuner/clang-format

runs clang-format on codebase

Run Details

609 of 827 new or added lines in 63 files covered. (73.64%)

46 existing lines in 30 files now uncovered.

8578 of 13325 relevant lines covered (64.38%)

177.24 hits per line

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

43.48

/src/control_flow/interstate_edge.cpp

#include "sdfg/control_flow/interstate_edge.h"

namespace sdfg {
namespace control_flow {

InterstateEdge::InterstateEdge(
    size_t element_id,
    const DebugInfo& debug_info,
    const graph::Edge& edge,
    const control_flow::State& src,
    const control_flow::State& dst,
    const symbolic::Condition& condition,
    const sdfg::control_flow::Assignments& assignments
)
    : Element(element_id, debug_info), edge_(edge), src_(src), dst_(dst), condition_(condition),
      assignments_(assignments) {

      };

const graph::Edge InterstateEdge::edge() const { return this->edge_; };

const control_flow::State& InterstateEdge::src() const { return this->src_; };

const control_flow::State& InterstateEdge::dst() const { return this->dst_; };

const symbolic::Condition& InterstateEdge::condition() const { return this->condition_; };

bool InterstateEdge::is_unconditional() const { return symbolic::is_true(this->condition_); };

const sdfg::control_flow::Assignments& InterstateEdge::assignments() const { return this->assignments_; };

void InterstateEdge::replace(const symbolic::Expression& old_expression, const symbolic::Expression& new_expression) {
    symbolic::subs(this->condition_, old_expression, new_expression);

    if (SymEngine::is_a<SymEngine::Symbol>(*old_expression) && SymEngine::is_a<SymEngine::Symbol>(*new_expression)) {
        auto old_symbol = SymEngine::rcp_static_cast<const SymEngine::Symbol>(old_expression);
        if (this->assignments_.find(old_symbol) != this->assignments_.end()) {
            auto new_symbol = SymEngine::rcp_static_cast<const SymEngine::Symbol>(new_expression);
            this->assignments_[new_symbol] = this->assignments_[old_symbol];
            this->assignments_.erase(old_symbol);
        }
    }

    for (auto& entry : this->assignments_) {
        entry.second = symbolic::subs(entry.second, old_expression, new_expression);
    }
};

} // namespace control_flow
} // namespace sdfg

1	#include "sdfg/control_flow/interstate_edge.h"
2
3	namespace sdfg {
4	namespace control_flow {
5
6	InterstateEdge::InterstateEdge(	51✔
7	size_t element_id,
8	const DebugInfo& debug_info,
9	const graph::Edge& edge,
10	const control_flow::State& src,
11	const control_flow::State& dst,
12	const symbolic::Condition& condition,
13	const sdfg::control_flow::Assignments& assignments
14	)
15	: Element(element_id, debug_info), edge_(edge), src_(src), dst_(dst), condition_(condition),	102✔
16	assignments_(assignments) {	51✔
17
18	};	51✔
19
20	const graph::Edge InterstateEdge::edge() const { return this->edge_; };	2✔
21
22	const control_flow::State& InterstateEdge::src() const { return this->src_; };	8✔
23
24	const control_flow::State& InterstateEdge::dst() const { return this->dst_; };	37✔
25
26	const symbolic::Condition& InterstateEdge::condition() const { return this->condition_; };	11✔
27
28	bool InterstateEdge::is_unconditional() const { return symbolic::is_true(this->condition_); };	9✔
29
30	const sdfg::control_flow::Assignments& InterstateEdge::assignments() const { return this->assignments_; };	18✔
31
NEW 32	void InterstateEdge::replace(const symbolic::Expression& old_expression, const symbolic::Expression& new_expression) {	×
UNCOV 33	symbolic::subs(this->condition_, old_expression, new_expression);	×
34
NEW 35	if (SymEngine::is_a<SymEngine::Symbol>(old_expression) && SymEngine::is_a<SymEngine::Symbol>(new_expression)) {	×
36	auto old_symbol = SymEngine::rcp_static_cast<const SymEngine::Symbol>(old_expression);	×
37	if (this->assignments_.find(old_symbol) != this->assignments_.end()) {	×
38	auto new_symbol = SymEngine::rcp_static_cast<const SymEngine::Symbol>(new_expression);	×
39	this->assignments_[new_symbol] = this->assignments_[old_symbol];	×
40	this->assignments_.erase(old_symbol);	×
41	}	×
42	}	×
43
44	for (auto& entry : this->assignments_) {	×
45	entry.second = symbolic::subs(entry.second, old_expression, new_expression);	×
46	}
47	};	×
48
49	} // namespace control_flow
50	} // namespace sdfg

daisytuner / sdfglib / 16069945621

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