15656007340

Committed 14 Jun 2025 08:51PM UTC coverage: 13.234% (-49.9%) from 63.144%

Build # 15656007340

Build Type

Pull #76

github

Committed by

web-flow

Commit Message

Merge 9586c8161 into 413c53212

Pull Request Pull Request #76: New Loop Dependency Analysis

Run Details

361 of 465 new or added lines in 7 files covered. (77.63%)

6215 existing lines in 110 files now uncovered.

1612 of 12181 relevant lines covered (13.23%)

13.64 hits per line

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

53.57

/src/structured_control_flow/for.cpp

#include "sdfg/structured_control_flow/for.h"

#include "sdfg/structured_control_flow/structured_loop.h"
#include "sdfg/symbolic/symbolic.h"

namespace sdfg {
namespace structured_control_flow {

For::For(const DebugInfo& debug_info, symbolic::Symbol indvar, symbolic::Expression init,
         symbolic::Expression update, symbolic::Condition condition)
    : StructuredLoop(debug_info),
      indvar_(indvar),
      init_(init),
      update_(update),
      condition_(condition) {
    this->root_ = std::unique_ptr<Sequence>(new Sequence(debug_info));
};

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

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

const symbolic::Expression& For::init() const { return this->init_; };

symbolic::Expression& For::init() { return this->init_; };

const symbolic::Expression& For::update() const { return this->update_; };

symbolic::Expression& For::update() { return this->update_; };

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

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

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

void For::replace(const symbolic::Expression& old_expression,
                  const symbolic::Expression& new_expression) {
    if (symbolic::eq(this->indvar_, old_expression)) {
        if (!SymEngine::is_a<SymEngine::Symbol>(*new_expression)) {
            throw InvalidSDFGException("For: New Indvar must be a symbol");
        }
        this->indvar_ = SymEngine::rcp_static_cast<const SymEngine::Symbol>(new_expression);
    }
    this->init_ = symbolic::subs(this->init_, old_expression, new_expression);
    this->update_ = symbolic::subs(this->update_, old_expression, new_expression);
    this->condition_ = symbolic::subs(this->condition_, old_expression, new_expression);

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

}  // namespace structured_control_flow
}  // namespace sdfg

1	#include "sdfg/structured_control_flow/for.h"
2
3	#include "sdfg/structured_control_flow/structured_loop.h"
4	#include "sdfg/symbolic/symbolic.h"
5
6	namespace sdfg {
7	namespace structured_control_flow {
8
9	For::For(const DebugInfo& debug_info, symbolic::Symbol indvar, symbolic::Expression init,	44✔
10	symbolic::Expression update, symbolic::Condition condition)
11	: StructuredLoop(debug_info),	22✔
12	indvar_(indvar),	22✔
13	init_(init),	22✔
14	update_(update),	22✔
15	condition_(condition) {	44✔
16	this->root_ = std::unique_ptr<Sequence>(new Sequence(debug_info));	22✔
17	};	22✔
18
19	const symbolic::Symbol& For::indvar() const { return this->indvar_; };	141✔
20
21	symbolic::Symbol& For::indvar() { return this->indvar_; };	98✔
22
UNCOV 23	const symbolic::Expression& For::init() const { return this->init_; };	×
24
25	symbolic::Expression& For::init() { return this->init_; };	76✔
26
27	const symbolic::Expression& For::update() const { return this->update_; };	22✔
28
29	symbolic::Expression& For::update() { return this->update_; };	76✔
30
UNCOV 31	const symbolic::Condition& For::condition() const { return this->condition_; };	×
32
33	symbolic::Condition& For::condition() { return this->condition_; };	76✔
34
35	Sequence& For::root() const { return *this->root_; };	404✔
36
UNCOV 37	void For::replace(const symbolic::Expression& old_expression,	×
38	const symbolic::Expression& new_expression) {
UNCOV 39	if (symbolic::eq(this->indvar_, old_expression)) {	×
40	if (!SymEngine::is_a<SymEngine::Symbol>(*new_expression)) {	×
41	throw InvalidSDFGException("For: New Indvar must be a symbol");	×
42	}
43	this->indvar_ = SymEngine::rcp_static_cast<const SymEngine::Symbol>(new_expression);	×
44	}	×
UNCOV 45	this->init_ = symbolic::subs(this->init_, old_expression, new_expression);	×
UNCOV 46	this->update_ = symbolic::subs(this->update_, old_expression, new_expression);	×
UNCOV 47	this->condition_ = symbolic::subs(this->condition_, old_expression, new_expression);	×
48
UNCOV 49	this->root_->replace(old_expression, new_expression);	×
UNCOV 50	};	×
51
52	} // namespace structured_control_flow
53	} // namespace sdfg

daisytuner / sdfglib / 15656007340

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