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