 |
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