20306853140

Committed 17 Dec 2025 02:49PM UTC coverage: 40.001% (-0.09%) from 40.09%

Build # 20306853140

Build Type

push

github

Committed by

web-flow

Commit Message

Merge pull request #393 from daisytuner/assumptions-analysis-refactor

refactors assumptions analysis for better performance

Run Details

13423 of 43549 branches covered (30.82%)

Branch coverage included in aggregate %.

181 of 193 new or added lines in 2 files covered. (93.78%)

21 existing lines in 7 files now uncovered.

11582 of 18962 relevant lines covered (61.08%)

86.87 hits per line

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

57.32

/src/analysis/scope_analysis.cpp

#include "sdfg/analysis/scope_analysis.h"

namespace sdfg {
namespace analysis {

ScopeAnalysis::ScopeAnalysis(StructuredSDFG& sdfg) : Analysis(sdfg) {}

void ScopeAnalysis::
    run(structured_control_flow::ControlFlowNode* current, structured_control_flow::ControlFlowNode* parent_scope) {
    if (dynamic_cast<structured_control_flow::Block*>(current)) {
        this->scope_tree_[current] = parent_scope;
    } else if (auto sequence_stmt = dynamic_cast<structured_control_flow::Sequence*>(current)) {
        this->scope_tree_[current] = parent_scope;
        for (size_t i = 0; i < sequence_stmt->size(); i++) {
            this->run(&sequence_stmt->at(i).first, current);
        }
    } else if (auto if_else_stmt = dynamic_cast<structured_control_flow::IfElse*>(current)) {
        this->scope_tree_[current] = parent_scope;
        for (size_t i = 0; i < if_else_stmt->size(); i++) {
            this->run(&if_else_stmt->at(i).first, current);
        }
    } else if (auto while_stmt = dynamic_cast<structured_control_flow::While*>(current)) {
        this->scope_tree_[current] = parent_scope;
        this->run(&while_stmt->root(), current);
    } else if (auto for_stmt = dynamic_cast<structured_control_flow::StructuredLoop*>(current)) {
        this->scope_tree_[current] = parent_scope;
        this->run(&for_stmt->root(), current);
    } else if (dynamic_cast<structured_control_flow::Break*>(current)) {
        this->scope_tree_[current] = parent_scope;
    } else if (dynamic_cast<structured_control_flow::Continue*>(current)) {
        this->scope_tree_[current] = parent_scope;
    } else if (dynamic_cast<structured_control_flow::Return*>(current)) {
        this->scope_tree_[current] = parent_scope;
    } else {
        throw std::runtime_error("Unsupported control flow node type");
    }
}

void ScopeAnalysis::run(AnalysisManager& analysis_manager) {
    this->scope_tree_.clear();
    this->run(&this->sdfg_.root(), nullptr);
}

const std::unordered_map<const structured_control_flow::ControlFlowNode*, structured_control_flow::ControlFlowNode*>&
ScopeAnalysis::scope_tree() const {
    return this->scope_tree_;
}

structured_control_flow::ControlFlowNode* ScopeAnalysis::parent_scope(const structured_control_flow::ControlFlowNode*
                                                                          scope) const {
    if (this->scope_tree_.find(scope) == this->scope_tree_.end()) {
        return nullptr;
    }
    return this->scope_tree_.at(scope);
}

} // namespace analysis
} // namespace sdfg

1	#include "sdfg/analysis/scope_analysis.h"
2
3	namespace sdfg {
4	namespace analysis {
5
6	ScopeAnalysis::ScopeAnalysis(StructuredSDFG& sdfg) : Analysis(sdfg) {}	49✔
7
8	void ScopeAnalysis::
9	run(structured_control_flow::ControlFlowNode* current, structured_control_flow::ControlFlowNode* parent_scope) {	287✔
10	if (dynamic_cast<structured_control_flow::Block*>(current)) {	287!
11	this->scope_tree_[current] = parent_scope;	95✔
12	} else if (auto sequence_stmt = dynamic_cast<structured_control_flow::Sequence*>(current)) {	287!
13	this->scope_tree_[current] = parent_scope;	124✔
14	for (size_t i = 0; i < sequence_stmt->size(); i++) {	287✔
15	this->run(&sequence_stmt->at(i).first, current);	163✔
16	}	163✔
17	} else if (auto if_else_stmt = dynamic_cast<structured_control_flow::IfElse*>(current)) {	192!
18	this->scope_tree_[current] = parent_scope;	7✔
19	for (size_t i = 0; i < if_else_stmt->size(); i++) {	21✔
20	this->run(&if_else_stmt->at(i).first, current);	14!
21	}	14✔
22	} else if (auto while_stmt = dynamic_cast<structured_control_flow::While*>(current)) {	68!
UNCOV 23	this->scope_tree_[current] = parent_scope;	×
UNCOV 24	this->run(&while_stmt->root(), current);	×
25	} else if (auto for_stmt = dynamic_cast<structured_control_flow::StructuredLoop*>(current)) {	61!
26	this->scope_tree_[current] = parent_scope;	61✔
27	this->run(&for_stmt->root(), current);	61✔
28	} else if (dynamic_cast<structured_control_flow::Break*>(current)) {	61!
UNCOV 29	this->scope_tree_[current] = parent_scope;	×
UNCOV 30	} else if (dynamic_cast<structured_control_flow::Continue*>(current)) {	×
UNCOV 31	this->scope_tree_[current] = parent_scope;	×
UNCOV 32	} else if (dynamic_cast<structured_control_flow::Return*>(current)) {	×
33	this->scope_tree_[current] = parent_scope;	×
34	} else {	×
35	throw std::runtime_error("Unsupported control flow node type");	×
36	}
37	}	287✔
38
39	void ScopeAnalysis::run(AnalysisManager& analysis_manager) {	49✔
40	this->scope_tree_.clear();	49✔
41	this->run(&this->sdfg_.root(), nullptr);	49✔
42	}	49✔
43
44	const std::unordered_map<const structured_control_flow::ControlFlowNode, structured_control_flow::ControlFlowNode>&
45	ScopeAnalysis::scope_tree() const {	×
46	return this->scope_tree_;	×
47	}
48
49	structured_control_flow::ControlFlowNode* ScopeAnalysis::parent_scope(const structured_control_flow::ControlFlowNode*	68✔
50	scope) const {
51	if (this->scope_tree_.find(scope) == this->scope_tree_.end()) {	68!
52	return nullptr;	×
53	}
54	return this->scope_tree_.at(scope);	68✔
55	}	68✔
56
57	} // namespace analysis
58	} // namespace sdfg

daisytuner / sdfglib / 20306853140

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