C-Breeze
C Compiler Infrastructure

[ Project home page]

precision.h

Go to the documentation of this file.
00001 // $Id: precision.h,v 1.5 2003/08/08 15:16:29 toktb 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_PRECISION_H
00039 #define CBZ_PRECISION_H
00040 
00041 #include "pointers.h"
00042 
00043 class precisionAnalyzer : public analysisProblem
00044 {
00045 private:
00046 
00047   typedef pair< stmtLocation *, memoryBlock * > stmt_pointer_pair;
00048 
00049   typedef map< stmt_pointer_pair, memoryblock_set > pointer_targets_map;
00050   typedef pointer_targets_map::iterator pointer_targets_map_p;
00051 
00057   pointer_targets_map _pointer_targets;
00058 
00062   long int _derefs;
00063 
00064 public:
00065 
00068   precisionAnalyzer();
00069 
00074   virtual string name() { return string("Precision"); }
00075 
00080   virtual void at_field_access(stmtLocation * current,
00081                                operandNode *operand,
00082                                pointerValue & operand_value,
00083                                pointerValue & result);
00084 
00089   virtual void at_dereference(stmtLocation * current,
00090                               operandNode *operand,
00091                               pointerValue & operand_value,
00092                               pointerValue & result);
00093 
00098   virtual void at_index(stmtLocation * current,
00099                         operandNode *operand,
00100                         pointerValue & left,
00101                         pointerValue & right,
00102                         pointerValue & result);
00103 
00108   void report(ostream & out);
00109 
00110 private:
00111 
00112   void record(stmtLocation * current,
00113               pointerValue & operand,
00114               pointerValue & result);
00115 };
00116 
00117 #endif
00118 

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