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

67.86

/src/data_flow/memlet.cpp

#include <sdfg/data_flow/memlet.h>

#include "sdfg/symbolic/symbolic.h"

namespace sdfg {
namespace data_flow {

Memlet::Memlet(const DebugInfo& debug_info, const graph::Edge& edge, const DataFlowGraph& parent,
               DataFlowNode& src, const std::string& src_conn, DataFlowNode& dst,
               const std::string& dst_conn, const Subset& subset)
    : Element(debug_info),
      edge_(edge),
      parent_(&parent),
      src_(src),
      dst_(dst),
      src_conn_(src_conn),
      dst_conn_(dst_conn),
      subset_(subset) {

      };

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

const DataFlowGraph& Memlet::get_parent() const { return *this->parent_; };

const DataFlowNode& Memlet::src() const { return this->src_; };

DataFlowNode& Memlet::src() { return this->src_; };

const DataFlowNode& Memlet::dst() const { return this->dst_; };

DataFlowNode& Memlet::dst() { return this->dst_; };

const std::string& Memlet::src_conn() const { return this->src_conn_; };

const std::string& Memlet::dst_conn() const { return this->dst_conn_; };

const Subset Memlet::subset() const { return this->subset_; };

Subset& Memlet::subset() { return this->subset_; };

std::unique_ptr<Memlet> Memlet::clone(const graph::Edge& edge, const DataFlowGraph& parent,
                                      DataFlowNode& src, DataFlowNode& dst) const {
    return std::unique_ptr<Memlet>(new Memlet(this->debug_info_, edge, parent, src, this->src_conn_,
                                              dst, this->dst_conn_, this->subset_));
};

void Memlet::replace(const symbolic::Expression& old_expression,
                     const symbolic::Expression& new_expression) {
    for (auto& dim : this->subset_) {
        dim = symbolic::subs(dim, old_expression, new_expression);
    }
};

}  // namespace data_flow
}  // namespace sdfg

1	#include <sdfg/data_flow/memlet.h>
2
3	#include "sdfg/symbolic/symbolic.h"
4
5	namespace sdfg {
6	namespace data_flow {
7
8	Memlet::Memlet(const DebugInfo& debug_info, const graph::Edge& edge, const DataFlowGraph& parent,	493✔
9	DataFlowNode& src, const std::string& src_conn, DataFlowNode& dst,
10	const std::string& dst_conn, const Subset& subset)
11	: Element(debug_info),	493✔
12	edge_(edge),	493✔
13	parent_(&parent),	493✔
14	src_(src),	493✔
15	dst_(dst),	493✔
16	src_conn_(src_conn),	493✔
17	dst_conn_(dst_conn),	493✔
18	subset_(subset) {	986✔
19
20	};	493✔
21
22	const graph::Edge Memlet::edge() const { return this->edge_; };	16✔
23
24	const DataFlowGraph& Memlet::get_parent() const { return *this->parent_; };	×
25
26	const DataFlowNode& Memlet::src() const { return this->src_; };	43✔
27
28	DataFlowNode& Memlet::src() { return this->src_; };	32✔
29
30	const DataFlowNode& Memlet::dst() const { return this->dst_; };	29✔
31
32	DataFlowNode& Memlet::dst() { return this->dst_; };	193✔
33
34	const std::string& Memlet::src_conn() const { return this->src_conn_; };	819✔
35
36	const std::string& Memlet::dst_conn() const { return this->dst_conn_; };	848✔
37
38	const Subset Memlet::subset() const { return this->subset_; };	25✔
39
40	Subset& Memlet::subset() { return this->subset_; };	1,000✔
41
UNCOV 42	std::unique_ptr<Memlet> Memlet::clone(const graph::Edge& edge, const DataFlowGraph& parent,	×
43	DataFlowNode& src, DataFlowNode& dst) const {
UNCOV 44	return std::unique_ptr<Memlet>(new Memlet(this->debug_info_, edge, parent, src, this->src_conn_,	×
UNCOV 45	dst, this->dst_conn_, this->subset_));	×
46	};	×
47
UNCOV 48	void Memlet::replace(const symbolic::Expression& old_expression,	×
49	const symbolic::Expression& new_expression) {
UNCOV 50	for (auto& dim : this->subset_) {	×
UNCOV 51	dim = symbolic::subs(dim, old_expression, new_expression);	×
52	}
UNCOV 53	};	×
54
55	} // namespace data_flow
56	} // 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