Main Page   Modules   Namespace List   Class Hierarchy   Compound List   File List   Compound Members   File Members   Related Pages  

gc_walker.h

Go to the documentation of this file.
00001 // ----------------------------------------------------------------------
00002 //
00003 //  C-Breeze
00004 //  C Compiler Framework
00005 // 
00006 //  Copyright (c) 2000 University of Texas at Austin
00007 // 
00008 //  Samuel Z. Guyer
00009 //  Daniel A. Jimenez
00010 //  Calvin Lin
00011 // 
00012 //  Permission is hereby granted, free of charge, to any person
00013 //  obtaining a copy of this software and associated documentation
00014 //  files (the "Software"), to deal in the Software without
00015 //  restriction, including without limitation the rights to use, copy,
00016 //  modify, merge, publish, distribute, sublicense, and/or sell copies
00017 //  of the Software, and to permit persons to whom the Software is
00018 //  furnished to do so, subject to the following conditions:
00019 //  
00020 //  The above copyright notice and this permission notice shall be
00021 //  included in all copies or substantial portions of the Software.
00022 //  
00023 //  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
00024 //  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
00025 //  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
00026 //  NONINFRINGEMENT.  IN NO EVENT SHALL THE UNIVERSITY OF TEXAS AT
00027 //  AUSTIN BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
00028 //  IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF
00029 //  OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
00030 //  THE SOFTWARE.
00031 //
00032 //  We acknowledge the C-to-C Translator from MIT Laboratory for
00033 //  Computer Science for inspiring parts of the C-Breeze design.
00034 //
00035 // ----------------------------------------------------------------------
00036 
00037 #ifndef CBZ_GC_WALKER_H
00038 #define CBZ_GC_WALKER_H
00039 
00040 class gcWalker : public Walker {
00041 public:
00042         gcWalker (void) : Walker (Preorder, Subtree) {
00043                 // mark all nodes as unvisited
00044 
00045                 return;
00046                 for (node_list_p p=Node::nodes.begin();
00047                         p!=Node::nodes.end(); p++) {
00048                         (*p)->mark = false;
00049                 }
00050         }
00051 
00052         static void collect (void) {
00053                 return; // until we can fix the bug
00054                 gcWalker g;
00055                 text_list_p p;
00056                 for (p=CBZ::pragmas.begin(); p!=CBZ::pragmas.end(); p++)
00057                         (*p)->walk (g);
00058                 unit_list_p n;
00059                 for (n=CBZ::Program.begin(); n!=CBZ::Program.end(); n++)
00060                         (*n)->walk (g);
00061                 g.delete_nodes();
00062         }
00063 
00064         void at_unit (unitNode *u, Order) {
00065 
00066                 // mark all the stuff that won't get visited
00067                 // by a normal tree traversal
00068 
00069         
00070                 u->types()->mark_nodes();
00071                 u->tags()->mark_nodes();
00072                 decl_list_p p;
00073                 for (p=u->undef_funcs().begin(); p!=u->undef_funcs().end(); p++)
00074                         (*p)->mark = true;
00075                 suespec_list_p q;
00076                 for (q=u->suespecs().begin(); q!=u->suespecs().end(); q++)
00077                         (*q)->mark = true;
00078         }
00079                 
00080         void at_binary (binaryNode *b, Order o) {
00081                 b->mark = true;
00082                 // because of -> and .
00083                 Node *r = b->right();
00084                 if (r) {
00085                         r->mark = true;
00086                         r->walk (*this);
00087                 }
00088         }
00089 
00090         void at_node (Node *n, Order) {
00091                 n->mark = true;
00092         }
00093 
00094         void delete_nodes (void) {
00095                 int count = 0;
00096                 list <Node *> remaining;
00097                 map <Node *,bool>::iterator p;
00098                 list<Node *>::iterator q;
00099                 for (q=Node::nodes.begin(); q!=Node::nodes.end(); ) {
00100                         Node *n = *q;
00101                         if (n->mark == false) {
00102                                 if (n->typ() == Unit) {
00103                                         q++;
00104                                         continue;
00105                                 }
00106                                 if (!Node::deleted_nodes[n]) delete n;
00107                                 q = Node::nodes.erase (q);
00108                                 count++;
00109                         } else {
00110                                 remaining.push_back (n);
00111                                 q++;
00112                         }
00113                 }
00114                 Node::deleted_nodes.clear();
00115                 cout << "deleted " << count << " nodes.\n";
00116         }
00117 };
00118 
00119 #endif // CBZ_GC_WALKER_H

Generated on Thu Jan 10 12:06:19 2002 for C-Breeze by doxygen1.2.13.1 written by Dimitri van Heesch, © 1997-2001