20478008532

Committed 23 Dec 2025 01:16PM UTC coverage: 39.061% (+0.03%) from 39.033%

Build # 20478008532

Build Type

push

github

Committed by

web-flow

Commit Message

Merge pull request #405 from daisytuner/extend-loop-info

extends loop info with has_side_effects flag

Run Details

13536 of 44970 branches covered (30.1%)

Branch coverage included in aggregate %.

31 of 46 new or added lines in 2 files covered. (67.39%)

3 existing lines in 2 files now uncovered.

11653 of 19517 relevant lines covered (59.71%)

83.94 hits per line

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

0.66

/src/codegen/instrumentation/instrumentation_plan.cpp

#include "sdfg/codegen/instrumentation/instrumentation_plan.h"
#include <iostream>
#include <memory>
#include <string>
#include <utility>

#include "sdfg/analysis/analysis.h"
#include "sdfg/analysis/loop_analysis.h"
#include "sdfg/codegen/language_extension.h"
#include "sdfg/element.h"
#include "sdfg/symbolic/symbolic.h"

namespace sdfg {
namespace codegen {

void InstrumentationPlan::update(const Element& element, InstrumentationEventType event_type) {
    this->nodes_[&element] = event_type;
}

bool InstrumentationPlan::should_instrument(const Element& node) const { return this->nodes_.count(&node); }

void InstrumentationPlan::begin_instrumentation(
    const Element& node, PrettyPrinter& stream, LanguageExtension& language_extension, const InstrumentationInfo& info
) const {
    auto& metadata = sdfg_.metadata();
    std::string sdfg_name = sdfg_.name();
    std::string sdfg_file = metadata.at("sdfg_file");
    std::string arg_capture_path = metadata.at("arg_capture_path");
    std::string features_file;
    if (auto it = metadata.find("features_file"); it != metadata.end()) {
        features_file = it->second;
    } else {
        features_file = "";
    }

    std::string opt_report_file = metadata.at("opt_report_file");

    std::string region_uuid = sdfg_name + "_" + std::to_string(node.element_id());

    // Create region id variable
    std::string region_id_var = sdfg_name + "_" + std::to_string(node.element_id()) + "_id";

    // Create metadata variable
    std::string metadata_var = sdfg_name + "_" + std::to_string(node.element_id()) + "_md";
    stream << "__daisy_metadata_t " << metadata_var << ";" << std::endl;

    // Source metadata
    auto& dbg_info = node.debug_info();
    stream << metadata_var << ".file_name = \"" << dbg_info.filename() << "\";" << std::endl;
    stream << metadata_var << ".function_name = \"" << dbg_info.function() << "\";" << std::endl;
    stream << metadata_var << ".line_begin = " << dbg_info.start_line() << ";" << std::endl;
    stream << metadata_var << ".line_end = " << dbg_info.end_line() << ";" << std::endl;
    stream << metadata_var << ".column_begin = " << dbg_info.start_column() << ";" << std::endl;
    stream << metadata_var << ".column_end = " << dbg_info.end_column() << ";" << std::endl;

    // Docc metadata
    stream << metadata_var << ".sdfg_name = \"" << sdfg_name << "\";" << std::endl;
    stream << metadata_var << ".sdfg_file = \"" << sdfg_file << "\";" << std::endl;
    stream << metadata_var << ".arg_capture_path = \"" << arg_capture_path << "\";" << std::endl;
    stream << metadata_var << ".features_file = \"" << features_file << "\";" << std::endl;
    stream << metadata_var << ".opt_report_file = \"" << opt_report_file << "\";" << std::endl;
    stream << metadata_var << ".element_id = " << info.element_id() << ";" << std::endl;
    stream << metadata_var << ".element_type = \"" << info.element_type().value() << "\";" << std::endl;
    stream << metadata_var << ".target_type = \"" << info.target_type().value() << "\";" << std::endl;
    stream << metadata_var << ".loopnest_index = " << info.loopnest_index() << ";" << std::endl;
    if (info.loopnest_index() >= 0) {
        stream << metadata_var << ".num_loops = " << info.loop_info().num_loops << ";" << std::endl;
        stream << metadata_var << ".num_maps = " << info.loop_info().num_maps << ";" << std::endl;
        stream << metadata_var << ".num_fors = " << info.loop_info().num_fors << ";" << std::endl;
        stream << metadata_var << ".num_whiles = " << info.loop_info().num_whiles << ";" << std::endl;
        stream << metadata_var << ".max_depth = " << info.loop_info().max_depth << ";" << std::endl;
        stream << metadata_var << ".is_perfectly_nested = " << (info.loop_info().is_perfectly_nested ? "1" : "0") << ";"
               << std::endl;
        stream << metadata_var << ".is_perfectly_parallel = " << (info.loop_info().is_perfectly_parallel ? "1" : "0")
               << ";" << std::endl;
        stream << metadata_var << ".is_elementwise = " << (info.loop_info().is_elementwise ? "1" : "0") << ";"
               << std::endl;
        stream << metadata_var << ".has_side_effects = " << (info.loop_info().has_side_effects ? "1" : "0") << ";"
               << std::endl;
    }

    stream << metadata_var << ".region_uuid = \"" << region_uuid << "\";" << std::endl;

    // Initialize region
    switch (this->nodes_.at(&node)) {
        case InstrumentationEventType::CPU: {
            stream << "long long " << region_id_var << " = __daisy_instrumentation_init(&" << metadata_var
                   << ", __DAISY_EVENT_SET_CPU);" << std::endl;
            break;
        }
        case InstrumentationEventType::CUDA: {
            stream << "long long " << region_id_var << " = __daisy_instrumentation_init(&" << metadata_var
                   << ", __DAISY_EVENT_SET_CUDA);" << std::endl;
            break;
        }
        case InstrumentationEventType::NONE: {
            stream << "long long " << region_id_var << " = __daisy_instrumentation_init(&" << metadata_var
                   << ", __DAISY_EVENT_SET_NONE);" << std::endl;
            break;
        }
    }

    // Enter region
    stream << "__daisy_instrumentation_enter(" << region_id_var << ");" << std::endl;
}

void InstrumentationPlan::end_instrumentation(
    const Element& node, PrettyPrinter& stream, LanguageExtension& language_extension, const InstrumentationInfo& info
) const {
    std::string region_id_var = sdfg_.name() + "_" + std::to_string(node.element_id()) + "_id";

    // Exit region
    if (this->nodes_.at(&node) == InstrumentationEventType::CPU) {
        stream << "__daisy_instrumentation_exit(" << region_id_var << ");" << std::endl;
    } else {
        stream << "__daisy_instrumentation_exit(" << region_id_var << ");" << std::endl;
    }

    for (auto entry : info.metrics()) {
        stream << "__daisy_instrumentation_metric(" << region_id_var << ", \"" << entry.first << "\", " << entry.second
               << ");" << std::endl;
    }

    // Finalize region
    stream << "__daisy_instrumentation_finalize(" << region_id_var << ");" << std::endl;
}

std::unique_ptr<InstrumentationPlan> InstrumentationPlan::none(StructuredSDFG& sdfg) {
    return std::make_unique<InstrumentationPlan>(sdfg, std::unordered_map<const Element*, InstrumentationEventType>{});
}

std::unique_ptr<InstrumentationPlan> InstrumentationPlan::outermost_loops_plan(StructuredSDFG& sdfg) {
    analysis::AnalysisManager analysis_manager(sdfg);
    auto& loop_tree_analysis = analysis_manager.get<analysis::LoopAnalysis>();
    auto ols = loop_tree_analysis.outermost_loops();

    std::unordered_map<const Element*, InstrumentationEventType> nodes;
    for (size_t i = 0; i < ols.size(); i++) {
        auto& loop = ols[i];
        if (auto map_node = dynamic_cast<const structured_control_flow::Map*>(loop)) {
            if (map_node->schedule_type().value() == "CUDA") {
                nodes.insert({loop, InstrumentationEventType::CUDA});
                continue;
            }
        }
        nodes.insert({loop, InstrumentationEventType::CPU}); // Default to CPU if not CUDA
    }

    std::cout << "Created instrumentation plan for " << nodes.size() << " nodes." << std::endl;

    return std::make_unique<InstrumentationPlan>(sdfg, nodes);
}

} // namespace codegen
} // namespace sdfg

1	#include "sdfg/codegen/instrumentation/instrumentation_plan.h"
2	#include <iostream>
3	#include <memory>
4	#include <string>
5	#include <utility>
6
7	#include "sdfg/analysis/analysis.h"
8	#include "sdfg/analysis/loop_analysis.h"
9	#include "sdfg/codegen/language_extension.h"
10	#include "sdfg/element.h"
11	#include "sdfg/symbolic/symbolic.h"
12
13	namespace sdfg {
14	namespace codegen {
15
16	void InstrumentationPlan::update(const Element& element, InstrumentationEventType event_type) {	×
17	this->nodes_[&element] = event_type;	×
18	}	×
19
20	bool InstrumentationPlan::should_instrument(const Element& node) const { return this->nodes_.count(&node); }	32✔
21
22	void InstrumentationPlan::begin_instrumentation(	×
23	const Element& node, PrettyPrinter& stream, LanguageExtension& language_extension, const InstrumentationInfo& info
24	) const {
25	auto& metadata = sdfg_.metadata();	×
26	std::string sdfg_name = sdfg_.name();	×
27	std::string sdfg_file = metadata.at("sdfg_file");	×
28	std::string arg_capture_path = metadata.at("arg_capture_path");	×
29	std::string features_file;	×
30	if (auto it = metadata.find("features_file"); it != metadata.end()) {	×
31	features_file = it->second;	×
32	} else {	×
33	features_file = "";	×
34	}
35
36	std::string opt_report_file = metadata.at("opt_report_file");	×
37
38	std::string region_uuid = sdfg_name + "_" + std::to_string(node.element_id());	×
39
40	// Create region id variable
41	std::string region_id_var = sdfg_name + "_" + std::to_string(node.element_id()) + "_id";	×
42
43	// Create metadata variable
44	std::string metadata_var = sdfg_name + "_" + std::to_string(node.element_id()) + "_md";	×
45	stream << "__daisy_metadata_t " << metadata_var << ";" << std::endl;	×
46
47	// Source metadata
48	auto& dbg_info = node.debug_info();	×
49	stream << metadata_var << ".file_name = \"" << dbg_info.filename() << "\";" << std::endl;	×
50	stream << metadata_var << ".function_name = \"" << dbg_info.function() << "\";" << std::endl;	×
51	stream << metadata_var << ".line_begin = " << dbg_info.start_line() << ";" << std::endl;	×
52	stream << metadata_var << ".line_end = " << dbg_info.end_line() << ";" << std::endl;	×
53	stream << metadata_var << ".column_begin = " << dbg_info.start_column() << ";" << std::endl;	×
54	stream << metadata_var << ".column_end = " << dbg_info.end_column() << ";" << std::endl;	×
55
56	// Docc metadata
57	stream << metadata_var << ".sdfg_name = \"" << sdfg_name << "\";" << std::endl;	×
58	stream << metadata_var << ".sdfg_file = \"" << sdfg_file << "\";" << std::endl;	×
59	stream << metadata_var << ".arg_capture_path = \"" << arg_capture_path << "\";" << std::endl;	×
60	stream << metadata_var << ".features_file = \"" << features_file << "\";" << std::endl;	×
61	stream << metadata_var << ".opt_report_file = \"" << opt_report_file << "\";" << std::endl;	×
62	stream << metadata_var << ".element_id = " << info.element_id() << ";" << std::endl;	×
63	stream << metadata_var << ".element_type = \"" << info.element_type().value() << "\";" << std::endl;	×
64	stream << metadata_var << ".target_type = \"" << info.target_type().value() << "\";" << std::endl;	×
65	stream << metadata_var << ".loopnest_index = " << info.loopnest_index() << ";" << std::endl;	×
66	if (info.loopnest_index() >= 0) {	×
67	stream << metadata_var << ".num_loops = " << info.loop_info().num_loops << ";" << std::endl;	×
68	stream << metadata_var << ".num_maps = " << info.loop_info().num_maps << ";" << std::endl;	×
69	stream << metadata_var << ".num_fors = " << info.loop_info().num_fors << ";" << std::endl;	×
70	stream << metadata_var << ".num_whiles = " << info.loop_info().num_whiles << ";" << std::endl;	×
71	stream << metadata_var << ".max_depth = " << info.loop_info().max_depth << ";" << std::endl;	×
72	stream << metadata_var << ".is_perfectly_nested = " << (info.loop_info().is_perfectly_nested ? "1" : "0") << ";"	×
73	<< std::endl;	×
74	stream << metadata_var << ".is_perfectly_parallel = " << (info.loop_info().is_perfectly_parallel ? "1" : "0")	×
75	<< ";" << std::endl;	×
76	stream << metadata_var << ".is_elementwise = " << (info.loop_info().is_elementwise ? "1" : "0") << ";"	×
77	<< std::endl;	×
NEW 78	stream << metadata_var << ".has_side_effects = " << (info.loop_info().has_side_effects ? "1" : "0") << ";"	×
NEW 79	<< std::endl;	×
UNCOV 80	}	×
81
82	stream << metadata_var << ".region_uuid = \"" << region_uuid << "\";" << std::endl;	×
83
84	// Initialize region
85	switch (this->nodes_.at(&node)) {	×
86	case InstrumentationEventType::CPU: {
87	stream << "long long " << region_id_var << " = __daisy_instrumentation_init(&" << metadata_var	×
88	<< ", __DAISY_EVENT_SET_CPU);" << std::endl;	×
89	break;	×
90	}
91	case InstrumentationEventType::CUDA: {
92	stream << "long long " << region_id_var << " = __daisy_instrumentation_init(&" << metadata_var	×
93	<< ", __DAISY_EVENT_SET_CUDA);" << std::endl;	×
94	break;	×
95	}
96	case InstrumentationEventType::NONE: {
97	stream << "long long " << region_id_var << " = __daisy_instrumentation_init(&" << metadata_var	×
98	<< ", __DAISY_EVENT_SET_NONE);" << std::endl;	×
99	break;	×
100	}
101	}
102
103	// Enter region
104	stream << "__daisy_instrumentation_enter(" << region_id_var << ");" << std::endl;	×
105	}	×
106
107	void InstrumentationPlan::end_instrumentation(	×
108	const Element& node, PrettyPrinter& stream, LanguageExtension& language_extension, const InstrumentationInfo& info
109	) const {
110	std::string region_id_var = sdfg_.name() + "_" + std::to_string(node.element_id()) + "_id";	×
111
112	// Exit region
113	if (this->nodes_.at(&node) == InstrumentationEventType::CPU) {	×
114	stream << "__daisy_instrumentation_exit(" << region_id_var << ");" << std::endl;	×
115	} else {	×
116	stream << "__daisy_instrumentation_exit(" << region_id_var << ");" << std::endl;	×
117	}
118
119	for (auto entry : info.metrics()) {	×
120	stream << "__daisy_instrumentation_metric(" << region_id_var << ", \"" << entry.first << "\", " << entry.second	×
121	<< ");" << std::endl;	×
122	}	×
123
124	// Finalize region
125	stream << "__daisy_instrumentation_finalize(" << region_id_var << ");" << std::endl;	×
126	}	×
127
128	std::unique_ptr<InstrumentationPlan> InstrumentationPlan::none(StructuredSDFG& sdfg) {	54✔
129	return std::make_unique<InstrumentationPlan>(sdfg, std::unordered_map<const Element*, InstrumentationEventType>{});	54!
130	}	×
131
132	std::unique_ptr<InstrumentationPlan> InstrumentationPlan::outermost_loops_plan(StructuredSDFG& sdfg) {	×
133	analysis::AnalysisManager analysis_manager(sdfg);	×
134	auto& loop_tree_analysis = analysis_manager.get<analysis::LoopAnalysis>();	×
135	auto ols = loop_tree_analysis.outermost_loops();	×
136
137	std::unordered_map<const Element*, InstrumentationEventType> nodes;	×
138	for (size_t i = 0; i < ols.size(); i++) {	×
139	auto& loop = ols[i];	×
140	if (auto map_node = dynamic_cast<const structured_control_flow::Map*>(loop)) {	×
141	if (map_node->schedule_type().value() == "CUDA") {	×
142	nodes.insert({loop, InstrumentationEventType::CUDA});	×
143	continue;	×
144	}
145	}	×
146	nodes.insert({loop, InstrumentationEventType::CPU}); // Default to CPU if not CUDA	×
147	}	×
148
149	std::cout << "Created instrumentation plan for " << nodes.size() << " nodes." << std::endl;	×
150
151	return std::make_unique<InstrumentationPlan>(sdfg, nodes);	×
152	}	×
153
154	} // namespace codegen
155	} // namespace sdfg

daisytuner / sdfglib / 20478008532

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