#include "signals.hh"

Include dependency graph for recursivness.hh:

This graph shows which files directly or indirectly include this file:

Functions
void	recursivnessAnnotation (Tree sig)
	Annotate a signal with recursivness.
int	getRecursivness (Tree t)
	Return the recursivness of a previously annotated signal.
Tree	symlist (Tree sig)

Function Documentation

int getRecursivness ( Tree sig )

Return the recursivness of a previously annotated signal.

An error is generated if the signal has no recursivness property

Parameters:

sig signal

Returns:: recursivness of the signal

Definition at line 72 of file recursivness.cpp.

References getProperty(), RECURSIVNESS, and tree2int().

Referenced by OccMarkup::incOcc().

{
    Tree tr;
    if ( ! getProperty(sig, RECURSIVNESS, tr)) {
        cerr << "Error in getRecursivness of " << *sig << endl;
        exit(1);
    }
    return tree2int(tr);
}

Here is the call graph for this function:

Here is the caller graph for this function:

void recursivnessAnnotation ( Tree sig )

Annotate a signal with recursivness.

Should be used before calling getRecursivness

Parameters:

sig	signal to annotate

Definition at line 59 of file recursivness.cpp.

References annotate(), and nil.

Referenced by DocCompiler::annotate(), ScalarCompiler::prepare(), and ScalarCompiler::prepare2().

{
    annotate(nil, sig);
}

Here is the call graph for this function:

Here is the caller graph for this function:

Tree symlist ( Tree sig )

Definition at line 174 of file recursivness.cpp.

References property< Tree >::get(), property< Tree >::set(), SymListProp, and symlistVisit().

Referenced by Klass::closeLoop(), and typeAnnotation().

{
    Tree    S;
    if (!SymListProp.get(sig, S)) {
        set<Tree> visited;
        S = symlistVisit(sig, visited);
        SymListProp.set(sig, S);
    }
    //cerr << "SYMLIST " << *S << " OF " << ppsig(sig) << endl;
    return S;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Functions

Function Documentation