15340968114

Committed 30 May 2025 06:47AM UTC coverage: 58.553% (+0.2%) from 58.324%

Build # 15340968114

Build Type

push

github

Committed by

web-flow

Commit Message

Add parallel Map node

* Introduce Map data structure

* Prepare infrastructure

* implement analysis support

* Add basic infrastructure

* visualizer/serializer

* include fix

* update from main

* remove default

* happens before test + fixes

* builder test

* dispatcher test

* visitor, copy and serializer tests

* for2map structures

* for2map conversion draft

* add tests

* Bug fixes

* small updates from feedback

* Visitor style pass implementation

* cleanup

* fixes linting errors

---------

Co-authored-by: Lukas Truemper <lukas.truemper@outlook.de>

Run Details

258 of 381 new or added lines in 26 files covered. (67.72%)

17 existing lines in 14 files now uncovered.

8184 of 13977 relevant lines covered (58.55%)

109.83 hits per line

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

52.94

/src/structured_control_flow/map.cpp

#include "sdfg/structured_control_flow/map.h"

#include "sdfg/symbolic/symbolic.h"

namespace sdfg {
namespace structured_control_flow {

Map::Map(size_t element_id, const DebugInfo& debug_info, symbolic::Symbol indvar,
         symbolic::Expression num_iterations)
    : ControlFlowNode(element_id, debug_info), indvar_(indvar), num_iterations_(num_iterations) {
    this->root_ = std::unique_ptr<Sequence>(new Sequence(++element_id, debug_info));
};

const symbolic::Symbol& Map::indvar() const { return this->indvar_; };

symbolic::Symbol& Map::indvar() { return this->indvar_; };

const symbolic::Expression& Map::num_iterations() const { return this->num_iterations_; };

symbolic::Expression& Map::num_iterations() { return this->num_iterations_; };

Sequence& Map::root() const { return *this->root_; };

void Map::replace(const symbolic::Expression& old_expression,
                  const symbolic::Expression& new_expression) {
    if (symbolic::eq(this->indvar_, old_expression)) {
        assert(SymEngine::is_a<SymEngine::Symbol>(*new_expression) &&
               "New Indvar must be a symbol");
        this->indvar_ = SymEngine::rcp_static_cast<const SymEngine::Symbol>(new_expression);
    }
    this->num_iterations_ = symbolic::subs(this->num_iterations_, old_expression, new_expression);

    this->root_->replace(old_expression, new_expression);
};

}  // namespace structured_control_flow
}  // namespace sdfg

1	#include "sdfg/structured_control_flow/map.h"
2
3	#include "sdfg/symbolic/symbolic.h"
4
5	namespace sdfg {
6	namespace structured_control_flow {
7
8	Map::Map(size_t element_id, const DebugInfo& debug_info, symbolic::Symbol indvar,	26✔
9	symbolic::Expression num_iterations)
10	: ControlFlowNode(element_id, debug_info), indvar_(indvar), num_iterations_(num_iterations) {	13✔
11	this->root_ = std::unique_ptr<Sequence>(new Sequence(++element_id, debug_info));	13✔
12	};	13✔
13
14	const symbolic::Symbol& Map::indvar() const { return this->indvar_; };	6✔
15
16	symbolic::Symbol& Map::indvar() { return this->indvar_; };	17✔
17
18	const symbolic::Expression& Map::num_iterations() const { return this->num_iterations_; };	6✔
19
20	symbolic::Expression& Map::num_iterations() { return this->num_iterations_; };	4✔
21
22	Sequence& Map::root() const { return *this->root_; };	35✔
23
NEW 24	void Map::replace(const symbolic::Expression& old_expression,	×
25	const symbolic::Expression& new_expression) {
NEW 26	if (symbolic::eq(this->indvar_, old_expression)) {	×
NEW 27	assert(SymEngine::is_a<SymEngine::Symbol>(*new_expression) &&	×
28	"New Indvar must be a symbol");
NEW 29	this->indvar_ = SymEngine::rcp_static_cast<const SymEngine::Symbol>(new_expression);	×
NEW 30	}	×
NEW 31	this->num_iterations_ = symbolic::subs(this->num_iterations_, old_expression, new_expression);	×
32
NEW 33	this->root_->replace(old_expression, new_expression);	×
NEW 34	};	×
35
36	} // namespace structured_control_flow
37	} // namespace sdfg

daisytuner / sdfglib / 15340968114

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