souffle::ast::analysis::RedundantRelationsAnalysis Class Reference

Analysis pass identifying relations which do not contribute to the computation of the output relations. More...

#include <RedundantRelations.h>

Inheritance diagram for souffle::ast::analysis::RedundantRelationsAnalysis:

Collaboration diagram for souffle::ast::analysis::RedundantRelationsAnalysis:

Public Member Functions
const std::set< const Relation * > &	getRedundantRelations () const
void	print (std::ostream &os) const override
	print the analysis result in HTML format More...
	RedundantRelationsAnalysis ()
void	run (const TranslationUnit &translationUnit) override
	run analysis for a Ast translation unit More...
Public Member Functions inherited from souffle::ast::analysis::Analysis
	Analysis (std::string identifier)
virtual const std::string &	getName () const
	get name of the analysis More...
virtual	~Analysis ()=default

Static Public Attributes
static constexpr const char *	name = "redundant-relations"

Private Attributes
PrecedenceGraphAnalysis *	precedenceGraph = nullptr
std::set< const Relation * >	redundantRelations

Additional Inherited Members
Protected Attributes inherited from souffle::ast::analysis::Analysis
const std::string	identifier

Detailed Description

Analysis pass identifying relations which do not contribute to the computation of the output relations.

Definition at line 44 of file RedundantRelations.h.

Constructor & Destructor Documentation

RedundantRelationsAnalysis()

souffle::ast::analysis::RedundantRelationsAnalysis::RedundantRelationsAnalysis ( )

inline

Definition at line 48 of file RedundantRelations.h.

:
    PrecedenceGraphAnalysis* precedenceGraph = nullptr;

Member Function Documentation

getRedundantRelations()

const std::set<const Relation*>& souffle::ast::analysis::RedundantRelationsAnalysis::getRedundantRelations ( ) const

inline

Definition at line 54 of file RedundantRelations.h.

print()

void souffle::ast::analysis::RedundantRelationsAnalysis::print ( std::ostream &  ) const

overridevirtual

print the analysis result in HTML format

Reimplemented from souffle::ast::analysis::Analysis.

Definition at line 83 of file RedundantRelations.cpp.

run()

void souffle::ast::analysis::RedundantRelationsAnalysis::run ( const TranslationUnit &  )

overridevirtual

run analysis for a Ast translation unit

Implements souffle::ast::analysis::Analysis.

Definition at line 41 of file RedundantRelations.cpp.

                           : relations) {
        if (ioType->isOutput(r)) {
            work.insert(r);
        }
    }
 
    /* Find all relations which are not redundant for the computations of the
       output relations. */
    while (!work.empty()) {
        /* Chose one element in the work set and add it to notRedundant */
        const Relation* u = *(work.begin());
        work.erase(work.begin());
        notRedundant.insert(u);
 
        /* Find all predecessors of u and add them to the worklist
            if they are not in the set notRedundant */
        for (const Relation* predecessor : precedenceGraph->graph().predecessors(u)) {
            if (notRedundant.count(predecessor) == 0u) {
                work.insert(predecessor);
            }
        }
    }
 
    /* All remaining relations are redundant. */
    redundantRelations.clear();
    for (const Relation* r : relations) {
        if (notRedundant.count(r) == 0u) {
            redundantRelations.insert(r);
        }
    }
}
 
void RedundantRelationsAnalysis::print(std::ostream& os) const {
    os << redundantRelations << std::endl;
}
 
}  // namespace souffle::ast::analysis

Field Documentation

name

constexpr const char* souffle::ast::analysis::RedundantRelationsAnalysis::name = "redundant-relations"

staticconstexpr

Definition at line 46 of file RedundantRelations.h.

precedenceGraph

PrecedenceGraphAnalysis* souffle::ast::analysis::RedundantRelationsAnalysis::precedenceGraph = nullptr

private

Definition at line 59 of file RedundantRelations.h.

redundantRelations

std::set<const Relation*> souffle::ast::analysis::RedundantRelationsAnalysis::redundantRelations

private

Definition at line 61 of file RedundantRelations.h.

---

The documentation for this class was generated from the following files:

• ast/analysis/RedundantRelations.h
• ast/analysis/RedundantRelations.cpp