C-Breeze
C Compiler Infrastructure

[ Project home page]

dominancefrontiers.h

Go to the documentation of this file.
00001 // $Id: dominancefrontiers.h,v 1.9 2003/08/07 23:14:13 pnav Exp $
00002 // ----------------------------------------------------------------------
00003 //
00004 //  C-Breeze
00005 //  C Compiler Framework
00006 // 
00007 //  Copyright (c) 2000 University of Texas at Austin
00008 // 
00009 //  Samuel Z. Guyer
00010 //  Daniel A. Jimenez
00011 //  Calvin Lin
00012 // 
00013 //  Permission is hereby granted, free of charge, to any person
00014 //  obtaining a copy of this software and associated documentation
00015 //  files (the "Software"), to deal in the Software without
00016 //  restriction, including without limitation the rights to use, copy,
00017 //  modify, merge, publish, distribute, sublicense, and/or sell copies
00018 //  of the Software, and to permit persons to whom the Software is
00019 //  furnished to do so, subject to the following conditions:
00020 //  
00021 //  The above copyright notice and this permission notice shall be
00022 //  included in all copies or substantial portions of the Software.
00023 //  
00024 //  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
00025 //  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
00026 //  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
00027 //  NONINFRINGEMENT.  IN NO EVENT SHALL THE UNIVERSITY OF TEXAS AT
00028 //  AUSTIN BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
00029 //  IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF
00030 //  OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
00031 //  THE SOFTWARE.
00032 //
00033 //  We acknowledge the C-to-C Translator from MIT Laboratory for
00034 //  Computer Science for inspiring parts of the C-Breeze design.
00035 //
00036 // ----------------------------------------------------------------------
00037 
00038 #ifndef CBZ_DOMINANCEFRONTIERS_H
00039 #define CBZ_DOMINANCEFRONTIERS_H
00040 
00041 #include <bitset>
00042 #include "ref_clone_changer.h"
00043 #include "dominators.h"
00044 
00045 
00046 // DominanceFrontiers dfs(my_proc);
00047 // basicblock_list & dfx = dfs[x];
00048 
00049 // From dominators: typedef bitset<1024> basicblock_bitset;
00050 
00051 typedef map< basicblockNode *, basicblock_bitset > basicblockset_map;
00052 typedef basicblockset_map::iterator basicblockset_map_p;
00053 
00054 typedef map< basicblockNode *, basicblock_list> basicblock_map;
00055 typedef basicblock_map::iterator basicblock_map_p;
00056 
00057 typedef vector<basicblockNode *> basicblock_vec;
00058 typedef basicblock_vec::iterator basicblock_vec_p;
00059 
00072 class DominanceFrontiers : public basicblock_map
00073 {
00074 private:
00075 
00077   procNode * _proc;
00078 
00080   basicblockNode * _root;
00081 
00083   basicblock_vec df_vec;
00084 
00085 
00086   void depth_first_search(basicblockNode * node);
00087   void compute_dominance_frontiers();
00088   int _index;
00089 
00090 public:
00091 
00092   DominanceFrontiers(procNode * proc);
00093 };
00094 
00095 #endif // 

Generated on February 1, 2006
Back to the C-Breeze home page