sigtyperules.hh File Reference

API to the typing system of signals. More...

#include "signals.hh"
#include "sigtype.hh"

Include dependency graph for sigtyperules.hh:

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

Go to the source code of this file.

Functions
void	typeAnnotation (Tree term)
	Annotates a signal term and its subterms with type information. More...
Type	getCertifiedSigType (Tree term)
	Return the type of a previously annotated signal term. More...
void	annotationStatistics ()
	print annotation statistics More...

Variables
bool	gVectorSwitch

Detailed Description

API to the typing system of signals.

Two functions are provided :

• void typeAnnotation(Tree term) : annotates a signal term and its subterms with type information
• Type getCertifiedSigType(Tree term) : return the type of a previously annotated signal term

TypeAnnotation must be called first to annotate a signal or a list of signals, before being able to call getCertifiedType on any subterms. GetCertifiedType will produce an error if a term was not previously annotated.

Definition in file sigtyperules.hh.

Function Documentation

void annotationStatistics

(

)

print annotation statistics

Definition at line 146 of file sigtyperules.cpp.

References AudioType::gAllocationCount, and TABBER.

{
    cerr << TABBER << "COUNT INFERENCE  " << countInferences << " AT TIME " << clock()/CLOCKS_PER_SEC << 's' << endl;
    cerr << TABBER << "COUNT ALLOCATION " << AudioType::gAllocationCount << endl;
    cerr << TABBER << "COUNT MAXIMAL " << countMaximal << endl;
}

Type getCertifiedSigType

(

Tree

sig

)

Return the type of a previously annotated signal term.

Return the type of a previously annotated signal term.

Produces an error if the signal has no type associated

Parameters

sig	the signal we want to know the type

Returns

the type of the signal

Definition at line 159 of file sigtyperules.cpp.

References getSigType().

Referenced by VectorCompiler::CS(), ScalarCompiler::declareWaveform(), ScalarCompiler::forceCacheCode(), ScalarCompiler::generateBinOp(), DocCompiler::generateBinOp(), VectorCompiler::generateCacheCode(), ScalarCompiler::generateCacheCode(), DocCompiler::generateCacheCode(), ScalarCompiler::generateDelayVec(), DocCompiler::generateDelayVec(), DocCompiler::generateDocConstantTbl(), DocCompiler::generateDocWriteTbl(), ScalarCompiler::generateFConst(), DocCompiler::generateFConst(), DocCompiler::generateFVar(), ScalarCompiler::generateHBargraph(), DocCompiler::generateHBargraph(), ScalarCompiler::generateNumber(), DocCompiler::generateNumber(), ScalarCompiler::generatePrefix(), ScalarCompiler::generateRec(), DocCompiler::generateRec(), ScalarCompiler::generateStaticTable(), ScalarCompiler::generateTable(), VectorCompiler::generateVariableStore(), ScalarCompiler::generateVariableStore(), DocCompiler::generateVariableStore(), ScalarCompiler::generateVBargraph(), DocCompiler::generateVBargraph(), ScalarCompiler::generateXtended(), DocCompiler::generateXtended(), OccMarkup::incOcc(), VectorCompiler::needSeparateLoop(), recdraw(), ScalarCompiler::sharingAnnotation(), DocCompiler::sharingAnnotation(), signal2klass(), and sigToGraph().

{
    Type ty = getSigType(sig);
    assert(ty);
    return ty;
}

Here is the call graph for this function:

Here is the caller graph for this function:

void typeAnnotation

(

Tree

sig

)

Annotates a signal term and its subterms with type information.

Annotates a signal term and its subterms with type information.

Parameters

sig	the signal term tree to annotate

Definition at line 89 of file sigtyperules.cpp.

References getSigType(), hd(), initialRecType(), isList(), isRec(), len(), setSigType(), CTree::startNewVisit(), symlist(), T(), and tl().

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

{
    Tree            sl = symlist(sig);
    int             n = len(sl);

    vector<Tree>    vrec, vdef;
    vector<Type>    vtype;

    //cerr << "Symlist " << *sl << endl;
    for (Tree l=sl; isList(l); l=tl(l)) {
        Tree    id, body;
        assert(isRec(hd(l), id, body));
        if (!isRec(hd(l), id, body)) {
            continue;
        }

        vrec.push_back(hd(l));
        vdef.push_back(body);
    }

    // init recursive types
    for (int i=0; i<n; i++) {
        vtype.push_back(initialRecType(vdef[i]));
    }

    assert (int(vrec.size())==n);
    assert (int(vdef.size())==n);
    assert (int(vtype.size())==n);

    // find least fixpoint
    for (bool finished = false; !finished; ) {

        // init recursive types
        CTree::startNewVisit();
        for (int i=0; i<n; i++) {
            setSigType(vrec[i], vtype[i]);
            vrec[i]->setVisited();
        }

        // compute recursive types
        for (int i=0; i<n; i++) {
            vtype[i] = T(vdef[i], NULLTYPEENV);
        }

        // check finished
        finished = true;
        for (int i=0; i<n; i++) {
            //cerr << i << "-" << *vrec[i] << ":" << *getSigType(vrec[i]) << " => " << *vtype[i] << endl;
            finished =  finished & (getSigType(vrec[i]) == vtype[i]);
        }
    }

    // type full term
    T(sig, NULLTYPEENV);
}

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

bool gVectorSwitch

Definition at line 138 of file main.cpp.

Referenced by main(), and process_cmdline().