- virtual bool hasSymbolTable() { return false; }; // most nodes do NOT have a symbol table

- virtual bool hasTypedefTable() { return false; }; // most nodes do NOT have a typedef table

- virtual chillAST_SymbolTable *getSymbolTable() { return NULL; } // most nodes do NOT have a symbol table

- // void addDecl( chillAST_VarDecl *vd); // recursive, adds to first symbol table it can find

- if (!hasSymbolTable()) return parent->findArrayDecl(name); // most things

- virtual void get_top_level_loops(std::vector<chillAST_ForStmt *> &loops) {

- virtual chillAST_Node *findDatatype(char *t) {

- fprintf(stderr, "%s looking for datatype %s\n", getTypeString(), t);

- if (parent != NULL) return parent->findDatatype(t); // most nodes do this

- return NULL;

- }

-

-

- virtual chillAST_SymbolTable *addVariableToSymbolTable(chillAST_VarDecl *vd) {

- if (!parent) {

- fprintf(stderr, "%s with no parent addVariableToSymbolTable()\n", getTypeString());

- exit(-1);

- }

- //fprintf(stderr, "%s::addVariableToSymbolTable() (default) headed up\n", getTypeString());

- return parent->addVariableToSymbolTable(vd); // default, defer to parent

- }

-

- virtual void addTypedefToTypedefTable(chillAST_TypedefDecl *tdd) {

- parent->addTypedefToTypedefTable(tdd); // default, defer to parent

- }

-

-

- //TODO hide data, set/get type and alias

- chillAST_SymbolTable *symbol_table; // symbols defined inside this compound statement

- chillAST_TypedefTable *typedef_table;

-

- bool hasSymbolTable() { return true; };

-

- bool hasTypeDefTable() { return true; };

-

- chillAST_Node *findDatatype(char *t) {

- fprintf(stderr, "chillAST_CompoundStmt::findDatatype( %s )\n", t);

- if (typedef_table) {

- for (int i = 0; i < typedef_table->size(); i++) {

- chillAST_TypedefDecl *tdd = (*typedef_table)[i];

- if (tdd->nameis(t)) return tdd;

- }

- }

- if (parent) return parent->findDatatype(t);

- return NULL; // should not happen

- }

-

- chillAST_SymbolTable *getSymbolTable() { return symbol_table; }

-

- chillAST_SymbolTable *addVariableToSymbolTable(chillAST_VarDecl *vd) { // chillAST_CompoundStmt method

- //fprintf(stderr, "\nchillAST_CompoundStmt addVariableToSymbolTable( %s )\n", vd->varname);

- symbol_table = addSymbolToTable(symbol_table, vd);

- //printSymbolTable( symbol_table );

- return symbol_table;

- }

-

- void addTypedefToTypedefTable(chillAST_TypedefDecl *tdd) {

- typedef_table = addTypedefToTable(typedef_table, tdd);

- }

-

- // parameters

- int numParameters() { return parameters.size(); };

- chillAST_SymbolTable parameters;

-

- // this is probably a mistake, but symbol_table here is pointing to BODY'S symbol table

- //chillAST_SymbolTable *symbol_table; // symbols defined inside this function. REALLY the body's symbol table?

- chillAST_TypedefTable *typedef_table; // function typedef table

-

-

- bool hasSymbolTable() { return true; }; // COULD HAVE

- bool hasTypeDefTable() { return true; }; // COULD HAVE

-

-

- //char *parametertypes; // a single string??

-

-

-

- chillAST_FunctionDecl(); // { asttype = CHILLAST_NODE_FUNCTIONDECL; numparameters = 0;};

- chillAST_FunctionDecl(const char *rt, const char *fname);

-

- chillAST_VarDecl *hasParameterNamed(const char *name);

-

- chillAST_VarDecl *findParameterNamed(const char *name) { return hasParameterNamed(name); };

-

- chillAST_VarDecl *funcHasVariableNamed(const char *name); // functiondecl::hasVariableNamed

- //chillAST_VarDecl *findVariableNamed( const char *name ) { return hasVariableNamed( name ); };

-

- chillAST_Node *findDatatype(char *t) {

- fprintf(stderr, "%s looking for datatype %s\n", getTypeString(), t);

- if (!typedef_table) { // not here

- if (parent) return parent->findDatatype(t); // not here, check parents

- else return NULL; // not defined here and no parent

- }

-

- //fprintf(stderr, "%d typedefs\n", typedef_table->size());

- for (int i = 0; i < typedef_table->size(); i++) {

- chillAST_TypedefDecl *tdd = (*typedef_table)[i];

- if (tdd->nameis(t)) return tdd;

- }

- if (parent) return parent->findDatatype(t);

- return NULL; // should not happen

- }

-

- chillAST_SymbolTable *getParameterSymbolTable() { return &parameters; }

-

- chillAST_SymbolTable *getSymbolTable() { return body->getSymbolTable(); } //symbol_table; } //

- void setSymbolTable(chillAST_SymbolTable *tab) {

- // no longer keeping a local ?? symbol_table = tab;

- if (!body) { // can never happen now

- body = new chillAST_CompoundStmt();

- } // only if func is empty!

- body->symbol_table = tab;

- }

-

- chillAST_SymbolTable *addVariableToSymbolTable(chillAST_VarDecl *vd) { // chillAST_FunctionDecl method

- //fprintf(stderr, "\nchillAST_FunctionDecl addVariableToSymbolTable( %s )\n", vd->varname);

-

- // this is all dealing with the body's symbol table

- // the function has a symbol table called "parameters" but that is a special case

-

- addSymbolToTable(getSymbolTable(), vd);

- if (!vd->parent) {

- //fprintf(stderr, "setting parent of vardecl to be the function whose symbol table it is going into\n"); // ??

- vd->setParent(this);

- insertChild(0, vd);

- }

- //printSymbolTable( getSymbolTable() );

- return getSymbolTable();

- }

-

-

- void addTypedefToTypedefTable(chillAST_TypedefDecl *tdd) {

- typedef_table = addTypedefToTable(typedef_table, tdd);

- }

- chillAST_SymbolTable *global_symbol_table; // (global) symbols defined inside this source file

- chillAST_TypedefTable *global_typedef_table; // source file

- chillAST_VarDecl *findVariableNamed(const char *name); // looks in global_symbol_table;

-

- bool hasSymbolTable() { return true; }; // "has" vs "can have" TODO

- bool hasTypeDefTable() { return true; };

-

- chillAST_SymbolTable *addVariableToSymbolTable(chillAST_VarDecl *vd) { // chillAST_SourceFile method

- fprintf(stderr, "\nchillAST_SourceFile addVariableToSymbolTable( %s )\n", vd->varname);

- global_symbol_table = addSymbolToTable(global_symbol_table, vd);

- //addChild( vd ); // ??

- //printSymbolTable( global_symbol_table );

- return global_symbol_table;

- }

-

- void addTypedefToTypedefTable(chillAST_TypedefDecl *tdd) {

- //fprintf(stderr, "SOURCEFILE adding typedef %s to typedeftable\n", tdd->getStructName());

- global_typedef_table = addTypedefToTable(global_typedef_table, tdd);

- //fprintf(stderr, "now global typedef table has %d entries\n", global_typedef_table->size());

- }

-

- chillAST_Node *findDatatype(char *t) {

- fprintf(stderr, "%s looking for datatype %s\n", getTypeString(), t);

- fprintf(stderr, "%d global typedefs\n", global_typedef_table->size());

- for (int i = 0; i < global_typedef_table->size(); i++) {

-

- chillAST_TypedefDecl *tdd = (*global_typedef_table)[i];

- //fprintf(stderr, "comparing to %s\n", tdd->getStructName());

- if (tdd->nameis(t)) {

- //fprintf(stderr, "found it\n");

- return (chillAST_Node *) tdd;

- }

- }

- return NULL;

- }

-

- chillAST_SymbolTable *symbol_table;

- void addParameter(chillAST_VarDecl *p); // parameters have no TYPE ??

- chillAST_VarDecl *hasParameterNamed(const char *name);

-

- chillAST_VarDecl *findParameterNamed(const char *name) { return hasParameterNamed(name); };

-

- bool hasSymbolTable() { return true; };

-

- //const std::vector<chillAST_VarDecl *> getSymbolTable() { return symbol_table; }

- chillAST_SymbolTable *getSymbolTable() { return symbol_table; }

-

- chillAST_SymbolTable *addVariableToSymbolTable(chillAST_VarDecl *vd) { // chillAST_MacroDefinition method ??

- //fprintf(stderr, "\nchillAST_MacroDefinition addVariableToSymbolTable( %s )\n", vd->varname);

- symbol_table = addSymbolToTable(symbol_table, vd);

- //printSymbolTable( symbol_table );

- return symbol_table;

- }

-

-

- chillAST_SymbolTable *symbol_table; // symbols defined inside this forstmt (in init but not body?) body is compound stmt

- chillAST_SymbolTable *addVariableToSymbolTable(chillAST_VarDecl *vd) { // chillAST_ForStmt method

- //fprintf(stderr, "\nchillAST_ForStmt addVariableToSymbolTable( %s )\n", vd->varname);

- symbol_table = addSymbolToTable(symbol_table, vd);

- //printSymbolTable( symbol_table );

- return symbol_table;

- }

-

- symtab_ = &(currentfunction->parameters); // getSymbolTable(); // TODO rename

- symtab2_ = currentfunction->getBody()->getSymbolTable(); // TODO rename

- currentfunction->addVariableToSymbolTable( vd ); // use symtab2_ ??

- chillAST_VarDecl *vd = currentfunction->funcHasVariableNamed( _s.c_str() );

- currentfunction->getBody()->addVariableToSymbolTable( vd ); // TODO

- currentfunction->getBody()->addVariableToSymbolTable( vd ); // TODO

- currentfunction->getBody()->insertChild(0, vd); // TODO

- if (!strcmp(name, vd->varname)) return vd;

- if (hasSymbolTable()) { // look in my symbol table if I have one

- //fprintf(stderr, "after %d\n", preprocessinginfo[i]->position);

- global_symbol_table = NULL;

- global_typedef_table = NULL;

-

-chillAST_VarDecl *chillAST_SourceFile::findVariableNamed(const char *name) {

- CHILL_DEBUG_PRINT("SOURCEFILE SPECIAL %s findVariableNamed( %s )\n", getTypeString(), name);

- if (hasSymbolTable()) { // look in my symbol table if I have one

- CHILL_DEBUG_PRINT("%s has a symbol table\n", getTypeString());

- chillAST_VarDecl *vd = symbolTableFindVariableNamed(getSymbolTable(), name);

- if (vd) {

- CHILL_DEBUG_PRINT("found it\n");

- return vd; // found locally

- }

- CHILL_DEBUG_PRINT("%s has a symbol table but couldn't find %s\n", getTypeString(), name);

- }

-

- CHILL_DEBUG_PRINT("looking for %s in SourceFile global_symbol_table\n", name);

- chillAST_VarDecl *vd = symbolTableFindVariableNamed(global_symbol_table, name);

- if (vd) {

- CHILL_DEBUG_PRINT("found it\n");

- return vd; // found locally

- }

-

- if (!parent) {

- CHILL_DEBUG_PRINT("%s has no parent\n", getTypeString());

- return NULL; // no more recursion available

- }

- // recurse upwards

- CHILL_DEBUG_PRINT("recursing from %s up to parent\n", getTypeString());

- return parent->findVariableNamed(name);

-}

-

-

- typedef_table = NULL;

- p, p->varname, 1 + parameters.size());

- if (symbolTableFindName(&parameters, p->varname)) { // NOT recursive. just in FunctionDecl

- parameters.push_back(p);

- //addSymbolToTable( parameters, p );

-

- p->setParent(this); // ?? unclear TODO

- //p->dump(); printf("\naddparameter done\n\n"); fflush(stdout);

-

- if (!body) {

- //fprintf(stderr, "had no body\n");

-

- //body->symbol_table = symbol_table; // probably wrong if this ever does something

- }

-

- //fprintf(stderr, "before body->addvar(), func symbol table had %d entries\n", symbol_table->size());

- //fprintf(stderr, "before body->addvar(), body symbol table was %p\n", body->symbol_table);

- //fprintf(stderr, "before body->addvar(), body symbol table had %d entries\n", body->symbol_table->size());

- //adds to body symbol table, and makes sure function has a copy. probably dumb

- body->symbol_table = body->addVariableToSymbolTable(vd);

- //fprintf(stderr, "after body->addvar(), func symbol table had %d entries\n", symbol_table->size());

-}

-

-chillAST_VarDecl *chillAST_FunctionDecl::hasParameterNamed(const char *name) {

- int numparams = parameters.size();

- for (int i = 0; i < numparams; i++) {

- if (!strcmp(name, parameters[i]->varname)) return parameters[i]; // need to check type?

- }

- return NULL;

-

-// similar to symbolTableHasVariableNamed() but returns the variable definition

-chillAST_VarDecl *chillAST_FunctionDecl::funcHasVariableNamed(const char *name) { // NOT recursive

- //fprintf(stderr, "chillAST_FunctionDecl::funcHasVariableNamed( %s )\n", name );

-

- // first check the parameters

- int numparams = parameters.size();

- for (int i = 0; i < numparams; i++) {

- chillAST_VarDecl *vd = parameters[i];

- if (!strcmp(name, vd->varname)) {

- //fprintf(stderr, "yep, it's parameter %d\n", i);

- return vd; // need to check type?

- }

- }

- //fprintf(stderr, "no parameter named %s\n", name);

-

- chillAST_SymbolTable *st = getSymbolTable();

- if (!st) {

- fprintf(stderr, "and no symbol_table, so no variable named %s\n", name);

- return NULL; // no symbol table so no variable by that name

- }

-

-

- int numvars = st->size();

- //fprintf(stderr, "checking against %d variables\n", numvars);

- for (int i = 0; i < numvars; i++) {

- chillAST_VarDecl *vd = (*st)[i];

- //fprintf(stderr, "comparing '%s' to '%s'\n", name, vd->varname);

- if (!strcmp(name, vd->varname)) {

- //fprintf(stderr, "yep, it's variable %d\n", i);

- CHILL_DEBUG_PRINT("%s was already defined in the function body\n", vd->varname);

- return vd; // need to check type?

- }

- }

- CHILL_DEBUG_PRINT("not a parameter or variable named %s\n", name);

- return NULL;

-}

-

-

- //fprintf(stderr, "%s chillAST_FunctionDecl::setBody( 0x%x ) total of %d children\n", functionName, bod, 1+children.size());

- //symbol_table = body->getSymbolTable();

- //addChild(bod);

- int numparameters = parameters.size();

- chillAST_VarDecl *p = parameters[i];

- int numparameters = parameters.size();

- chillAST_VarDecl *p = parameters[i];

- //fprintf(stderr, "param type %s vartype %s\n", p->getTypeString(), p->vartype);

- p->print(0, fp); // note: no indent, as this is in the function parens, ALSO print, not dump

- for (int i = 0; i < numParameters(); i++) parameters[i]->gatherVarDecls(decls);

- for (int i = 0; i < numParameters(); i++) parameters[i]->gatherScalarVarDecls(decls);

- for (int i = 0; i < numParameters(); i++) parameters[i]->gatherArrayVarDecls(decls);

- chillAST_VarDecl *p = hasParameterNamed(name);

- chillAST_VarDecl *v = funcHasVariableNamed(name);

- //fprintf(stderr, "chillAST_FunctionDecl::constantFold()\n");

- // parameters can't have constants?

- int numparameters = parameters.size();

- for (int i = 0; i < numparameters; i++) {

- parameters[i]->constantFold();

- }

- symbol_table = NULL;

-

- for (int i=0; i<parameters.size(); i++) clo->addParameter( parameters[i] );

-

-void chillAST_MacroDefinition::addParameter(chillAST_VarDecl *p) {

- //fprintf(stderr, "%s chillAST_MacroDefinition::addParameter( 0x%x ) total of %d children\n", functionName, p, 1+children.size());

- parameters.push_back(p);

- fprintf(stderr, "macro setting %s isAParameter\n", p->varname);

- p->isAParameter = true;

- p->setParent(this);

-

- addVariableToSymbolTable(p);

-}

-

-

-chillAST_VarDecl *chillAST_MacroDefinition::hasParameterNamed(const char *name) {

- int numparams = parameters.size();

- for (int i = 0; i < numparams; i++) {

- if (!strcmp(name, parameters[i]->varname)) return parameters[i]; // need to check type?

- }

- return NULL;

-}

-

-

- symbol_table = NULL;

- contain->addVariableToSymbolTable(newguy); // adds to first enclosing symbolTable

- int numparams = fd->parameters.size();

- for (int i = 0; i < numparams; i++) fd->parameters[i]->dump(indent + 1, fp);

-

- if (parent) {

- //fprintf(stderr, "chillAST_VarDecl::chillAST_VarDecl( %s ), adding to symbol table???\n", varname);

- parent->addVariableToSymbolTable(this); // should percolate up until something has a symbol table

-

- }

- //fprintf(stderr, "arraypart len %d\n", strlen(a));

-

- //fprintf(stderr, "chillAST_VarDecl::chillAST_VarDecl( chillAST_RecordDecl *astruct, ...) MIGHT add struct to some symbol table\n");

- //if (parent) fprintf(stderr, "yep, adding it\n");

-

- if (parent) parent->addVariableToSymbolTable(this); // should percolate up until something has a symbol table

-

-

- if (parent) parent->addVariableToSymbolTable(this); // should percolate up until something has a symbol table

-

- symbol_table = new chillAST_SymbolTable;

- typedef_table = NULL;