20764569418

Committed 06 Jan 2026 10:50PM UTC coverage: 62.168% (+21.4%) from 40.764%

Build # 20764569418

Build Type

push

github

Committed by

web-flow

Commit Message

Merge pull request #433 from daisytuner/clang-coverage

updates clang coverage flags

Run Details

14988 of 24109 relevant lines covered (62.17%)

88.57 hits per line

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

0.0

/src/passes/dataflow/dead_reference_elimination.cpp

#include "sdfg/passes/dataflow/dead_reference_elimination.h"

#include "sdfg/analysis/users.h"

namespace sdfg {
namespace passes {

DeadReferenceElimination::DeadReferenceElimination()
    : Pass() {

      };

std::string DeadReferenceElimination::name() { return "DeadReferenceElimination"; };

bool DeadReferenceElimination::
    run_pass(builder::StructuredSDFGBuilder& builder, analysis::AnalysisManager& analysis_manager) {
    bool applied = false;

    auto& sdfg = builder.subject();
    auto& users = analysis_manager.get<analysis::Users>();

    std::list<std::string> to_delete;
    for (auto& name : sdfg.containers()) {
        if (!sdfg.is_transient(name)) {
            continue;
        }
        auto& type = sdfg.type(name);
        if (!dynamic_cast<const types::Pointer*>(&type)) {
            continue;
        }
        if (type.storage_type().allocation() == types::StorageType::AllocationType::Managed ||
            type.storage_type().deallocation() == types::StorageType::AllocationType::Managed) {
            continue;
        }

        // Requirement: Pointer is only assigned
        if (users.num_reads(name) > 0 || users.num_writes(name) > 0) {
            continue;
        }
        if (users.num_views(name) > 0) {
            continue;
        }

        auto& moves = users.moves(name);
        for (auto& move : moves) {
            auto access_node = dynamic_cast<data_flow::AccessNode*>(move->element());
            auto& graph = dynamic_cast<data_flow::DataFlowGraph&>(access_node->get_parent());
            auto& block = dynamic_cast<structured_control_flow::Block&>(*graph.get_parent());
            builder.clear_node(block, *access_node);
            applied = true;
        }

        to_delete.push_back(name);
    }
    for (auto& name : to_delete) {
        builder.remove_container(name);
    }

    return applied;
};

} // namespace passes
} // namespace sdfg

1	#include "sdfg/passes/dataflow/dead_reference_elimination.h"
2
3	#include "sdfg/analysis/users.h"
4
5	namespace sdfg {
6	namespace passes {
7
8	DeadReferenceElimination::DeadReferenceElimination()
9	: Pass() {	×
10
11	};	×
12
13	std::string DeadReferenceElimination::name() { return "DeadReferenceElimination"; };	×
14
15	bool DeadReferenceElimination::
16	run_pass(builder::StructuredSDFGBuilder& builder, analysis::AnalysisManager& analysis_manager) {	×
17	bool applied = false;	×
18
19	auto& sdfg = builder.subject();	×
20	auto& users = analysis_manager.get<analysis::Users>();	×
21
22	std::list<std::string> to_delete;	×
23	for (auto& name : sdfg.containers()) {	×
24	if (!sdfg.is_transient(name)) {	×
25	continue;	×
26	}	×
27	auto& type = sdfg.type(name);	×
28	if (!dynamic_cast<const types::Pointer*>(&type)) {	×
29	continue;	×
30	}	×
31	if (type.storage_type().allocation() == types::StorageType::AllocationType::Managed \|\|	×
32	type.storage_type().deallocation() == types::StorageType::AllocationType::Managed) {	×
33	continue;	×
34	}	×
35
36	// Requirement: Pointer is only assigned
37	if (users.num_reads(name) > 0 \|\| users.num_writes(name) > 0) {	×
38	continue;	×
39	}	×
40	if (users.num_views(name) > 0) {	×
41	continue;	×
42	}	×
43
44	auto& moves = users.moves(name);	×
45	for (auto& move : moves) {	×
46	auto access_node = dynamic_cast<data_flow::AccessNode*>(move->element());	×
47	auto& graph = dynamic_cast<data_flow::DataFlowGraph&>(access_node->get_parent());	×
48	auto& block = dynamic_cast<structured_control_flow::Block&>(*graph.get_parent());	×
49	builder.clear_node(block, *access_node);	×
50	applied = true;	×
51	}	×
52
53	to_delete.push_back(name);	×
54	}	×
55	for (auto& name : to_delete) {	×
56	builder.remove_container(name);	×
57	}	×
58
59	return applied;	×
60	};	×
61
62	} // namespace passes
63	} // namespace sdfg

daisytuner / sdfglib / 20764569418

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