C-Breeze C Compiler Infrastructure [ Project home page]

liveness.h Go to the documentation of this file. // $Id: liveness.h,v 1.12 2005/06/03 02:00:48 akkartik Exp $ // ---------------------------------------------------------------------- // // C-Breeze // C Compiler Framework // // Copyright (c) 2003 University of Texas at Austin // // Samuel Z. Guyer // Adam Brown // Teck Bok Tok // Paul Arthur Navratil // Calvin Lin // // Permission is hereby granted, free of charge, to any person // obtaining a copy of this software and associated documentation // files (the "Software"), to deal in the Software without // restriction, including without limitation the rights to use, copy, // modify, merge, publish, distribute, sublicense, and/or sell copies // of the Software, and to permit persons to whom the Software is // furnished to do so, subject to the following conditions: // // The above copyright notice and this permission notice shall be // included in all copies or substantial portions of the Software. // // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND // NONINFRINGEMENT. IN NO EVENT SHALL THE UNIVERSITY OF TEXAS AT // AUSTIN BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER // IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF // OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN // THE SOFTWARE. // // We acknowledge the C-to-C Translator from MIT Laboratory for // Computer Science for inspiring parts of the C-Breeze design. // // ---------------------------------------------------------------------- #ifndef CBZ_LIVENESS_H #define CBZ_LIVENESS_H #include "pointers.h" typedef set< procNode * > procedure_set; typedef procedure_set::iterator procedure_set_p; typedef procedure_set::const_iterator procedure_set_cp; class livenessAnalyzer : public analysisProblem { private: typedef set< stmtNode * > stmt_liveness_set; typedef stmt_liveness_set::iterator stmt_liveness_set_p; typedef set< stmtLocation * > stmtlocation_liveness_set; typedef stmtlocation_liveness_set::iterator stmtlocation_liveness_set_p; typedef pair< Location *, memoryBlock * > mergepoint_pair; typedef set< mergepoint_pair > mergepoint_liveness_set; typedef mergepoint_liveness_set::iterator mergepoint_liveness_set_p; typedef list< bool > change_stack; typedef change_stack::iterator change_stack_p; stmt_liveness_set _live_stmts; stmtlocation_liveness_set _live_stmtlocations; mergepoint_liveness_set _live_mergepoints; memorydef_set _defs; bool _change; change_stack _change_stack; procedure_set _visited_procedures; public: livenessAnalyzer(); virtual string name() { return string("Liveness"); } void clear(); bool isLive(stmtNode * stmt); protected: void collectDefs(pointerValue & pointer); void addDef(memoryDef * def); bool determineLiveness(); bool isLive(memoryUse * use, memoryBlock * owner); void setLive(stmtLocation * where); void setLive(Location * where, memoryBlock * block); public: inline const procedure_set & visited_procedures() const { return _visited_procedures; } virtual void at_index(stmtLocation * current, operandNode * operand, pointerValue & left, pointerValue & right, pointerValue & result); // -- Procedure calls virtual void at_call(stmtLocation * current, operandNode * call, pointerValue & call_target, procNode * callee, pointervalue_list & arguments, pointerValue & return_val); // -- Assignments virtual void at_assignment(stmtLocation * current, pointerValue & left, pointerValue & right, pointerValue & result, memoryblock_set & changes); // -- Statement types virtual void at_return(stmtLocation * stmt, returnNode * ret, pointerValue & result, pointerValue & return_val); virtual void at_threeAddr(stmtLocation * stmt, threeAddrNode * threeaddr, pointerValue & result); virtual void at_conditiongoto(stmtLocation * stmt, conditiongotoNode * c, pointerValue & left, pointerValue & right, pointerValue & result); // -- Process a merge point virtual void at_merge(Location * where, memoryBlock * block, memoryuse_list & phi_uses, pointerValue & result, memoryblock_set & changes); // -- Memory allocation and deallocation virtual void at_allocation(stmtLocation * stmt, pointervalue_list & arguments, memoryBlock * block, memoryblock_set & changes); virtual void at_deallocation(stmtLocation * stmt, pointerValue & to_deallocate, memoryblock_set & changes); // -- Control-flow options virtual void at_stmt_exit(stmtLocation * stmt, pointerValue & result); virtual void at_basicblock_entry(basicblockLocation * block, procedureInfo * info, pointerValue & initial); // -- Procedure boundaries virtual void at_procedure_entry(procLocation * proc, procedureInfo * info, pointerValue & return_val); virtual void at_procedure_exit(procLocation * proc, procedureInfo * info, pointerValue & return_val); }; class deadcodeChanger : public Changer { public: static void optimize(unitNode * u, livenessAnalyzer * liveness); private: livenessAnalyzer * _liveness; deadcodeChanger(livenessAnalyzer * liveness); public: virtual Node * at_threeAddr(threeAddrNode * stmt, Order ord); }; #endif // CBZ_LIVENESS_H

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