# LaTeX2HTML 96.1-f (May 31, 1996)
# Associate images original text with physical files.

$key = q/{figure}htmlimagescale=1.5{footnotesizeallttallttexpression=reference+range+call;reference=variable:entityxindices:expression*;range=lower:expressionxupper:expressionxincrement:expression;call=function:entityxarguments:expression*;sequence=statements:statement*;statement=label:entityxnumber:intxordering:intxcomments:stringxinstruction;instruction=sequence+test+loop+goto:statement+call+unstructured;test=condition:expressionxtrue:statementxfalse:statement;alltt}labelfig:new_phase:ri{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=395 HEIGHT=372 ALIGN=BOTTOM ALT="figure2448" SRC="img7.gif"  > '; 
$key = q/{figure}htmlimagescale=3epsfigfile=imagesinternal_overview.idraw,width=0.9hsizelabelfig:internal_overview{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=611 HEIGHT=393 ALIGN=BOTTOM ALT="figure660" SRC="img2.gif"  > '; 
$key = q/{figure}htmlimagescale=2ttsmalltabbingtextbfbool_inline$p$_inline(textbfchar*module_name){=+textbfboolgood_result_p=TRUE;emph*Somecomputationaboutphase_inline$p$_inline*textbfreturngood_result_p;-}tabbinglabelfig:phase_convention{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=234 HEIGHT=128 ALIGN=BOTTOM ALT="figure704" SRC="img4.gif"  > '; 
$key = q/{figure}htmlimagescale=3smallallttJ=3textitCP(J){J==3}textbfDOJ=1,3textitCP(I,J){1;SPMlt;=J,J;SPMlt;=3}textbfIF(J.textbfGE.5)textbfTHENtextitCP(I,J){0==-1}I=5textbfENDIFtextbfENDDOallttlabelfig:simple_dead_code{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=233 HEIGHT=186 ALIGN=BOTTOM ALT="figure663" SRC="img3.gif"  > '; 
$key = q/{figure}{smalltgrindFilecodesdead_code_elimination.c,01:24,Sep101996LLBProcsuppress_dead_codeboolsuppress_dead_code(stringmodule_name)LLB{LLBC*gettheresources*CELLBstatementmodule_stmt=(statement)LLBdb_get_memory_resource(DBR_CODE,module_name,TRUE);LLBset_proper_effects_map((statement_mapping)LLBdb_get_memory_resource(DBR_PROPER_EFFECTS,module_name,TRUE));LLBset_precondition_map((statement_mapping)LLBdb_get_memory_resource(DBR_PRECONDITIONS,module_name,TRUE));LLBLLBset_current_module_statement(module_stmt);LLBset_current_module_entity(local_name_to_top_level_entity(module_name));LLBLLBdebug_on(S"DEAD_CODE_DEBUG_LEVEL"SE);LLBC*reallydothejobhere:*CELLBsuppress_dead_code_statement(module_stmt);LLBdebug_off();LLBLLBC*returnstheupdatedcodetoPipsDBM*CELLBDB_PUT_MEMORY_RESOURCE(DBR_CODE,module_name,module_stmt);LLBreset_current_module_statement();LLBreset_current_module_entity();LLBreset_proper_effects_map();LLBreset_precondition_map();LLBLLBKreturnTRUE;LLB}tgrind}labelfig:main_dead_code{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=494 HEIGHT=438 ALIGN=BOTTOM ALT="figure1163" SRC="img6.gif"  > '; 
$key = q/{figure}htmlimagescale=3epsfigfile=imagesexternal_overview.idraw,width=0.9hsizelabelfig:external_overview{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=614 HEIGHT=850 ALIGN=BOTTOM ALT="figure659" SRC="img1.gif"  > '; 
$key = q/{figure}htmlimagescale=1.5{smallallttalltt<verbatim_mark>verbatim4alltt}labelfig:examples_pipsmake-rc{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=386 HEIGHT=40 ALIGN=BOTTOM ALT="figure2395" SRC="img5.gif"  > '; 
$key = q/{figure}htmlimagescale=1.5{footnotesizemulticols2tgrindFilecodessuppress_dead_code.c,13:20,Sep171996LLBboolLLBProcstatement_weakly_feasible_pstatement_weakly_feasible_p(statements)LLB{LLBtransformerpre=load_statement_precondition(s);LLBC*GetthepreconditionlinearconstraintLLBsystemassociatedwiths*CELLBPsystemesc=predicate_system(transformer_relation(pre));LLBC*Testifthereisatleastasolution*CELLBboolfeasible_p=!sc_empty_p(sc);LLBKreturnfeasible_p;LLB}LLBLLBKstaticboolLLBProcdead_statement_filterdead_statement_filter(statements)LLB{LLBinstructioni=statement_instruction(s);LLBboolret=TRUE;LLBLLBifdebug(9){LLBdebug(9,S"dead_statement_filter"SE,LLBTab8S"Thecurrentstatement:!n"SE);LLBprint_text(stderr,LLBTab16text_statement(get_current_module_entity(),0,s));LLB}LLBLLBKif(!statement_weakly_feasible_p(s))LLBC*emptyprecondition*CELLBret=remove_dead_statement(s,i);LLBKelseLLB{LLBKswitch(instruction_tag(i)){LLBKcaseis_instruction_loop:LLB{LLBloopl=instruction_loop(i);LLBKif(dead_loop_p(l))LLBTab8C*DOI=1,0forexample*CELLBret=remove_dead_loop(s,i,l);LLBKelseKif(loop_executed_once_p(s,l)){LLBTab8C*DOI=N,Nforexample*CELLBremove_loop_statement(s,i,l);LLBsuppress_dead_code_statement(body);LLBret=FALSE;LLB}LLBKbreak;LLB}LLBKcaseis_instruction_test:LLBret=dead_deal_with_test(s,instruction_test(i));LLBKbreak;LLBKcaseis_instruction_unstructured:LLBdead_recurse_unstructured(instruction_unstructured(i));LLBret=FALSE;LLBKbreak;LLB}LLB}LLBLLBKif(!ret)LLBC*Trytorewritethecodeunderneath*CELLBdead_statement_rewrite(s);LLBLLBKreturnret;LLB}LLBLLBKvoidLLBProcsuppress_dead_code_statementsuppress_dead_code_statement(statementmodule_stmt)LLB{LLBgen_recurse(module_stmt,C*recursionfromhere*CELLBstatement_domain,C*onstatements*CELLBTab16C*entryfunction(top-down):*CELLBdead_statement_filter,LLBTab16C*exitfunction(bottom-up):*CELLBdead_statement_rewrite);LLB}tgrindmulticols}labelfig:new_phase:suppress_dead_code{figure}/;
$cached_env_img{$key} = ' <IMG WIDTH=395 HEIGHT=372 ALIGN=BOTTOM ALT="figure1496" SRC="img8.gif"  > '; 

1;

