Main Page   Packages   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members  

SparseLiveLocals.java

00001 package ca.mcgill.sable.soot.jimple;
00002 
00003 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
00004  * Jimple, a 3-address code Java(TM) bytecode representation.        *
00005  * Copyright (C) 1997, 1998 Raja Vallee-Rai (kor@sable.mcgill.ca)    *
00006  * All rights reserved.                                              *
00007  *                                                                   *
00008  * This work was done as a project of the Sable Research Group,      *
00009  * School of Computer Science, McGill University, Canada             *
00010  * (http://www.sable.mcgill.ca/).  It is understood that any         *
00011  * modification not identified as such is not covered by the         *
00012  * preceding statement.                                              *
00013  *                                                                   *
00014  * This work is free software; you can redistribute it and/or        *
00015  * modify it under the terms of the GNU Library General Public       *
00016  * License as published by the Free Software Foundation; either      *
00017  * version 2 of the License, or (at your option) any later version.  *
00018  *                                                                   *
00019  * This work is distributed in the hope that it will be useful,      *
00020  * but WITHOUT ANY WARRANTY; without even the implied warranty of    *
00021  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU *
00022  * Library General Public License for more details.                  *
00023  *                                                                   *
00024  * You should have received a copy of the GNU Library General Public *
00025  * License along with this library; if not, write to the             *
00026  * Free Software Foundation, Inc., 59 Temple Place - Suite 330,      *
00027  * Boston, MA  02111-1307, USA.                                      *
00028  *                                                                   *
00029  * Java is a trademark of Sun Microsystems, Inc.                     *
00030  *                                                                   *
00031  * To submit a bug report, send a comment, or get the latest news on *
00032  * this project and other Sable Research Group projects, please      *
00033  * visit the web site: http://www.sable.mcgill.ca/                   *
00034  * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
00035 
00036 /*
00037  Reference Version
00038  -----------------
00039  This is the latest official version on which this file is based.
00040  The reference version is: $SootVersion: 1.beta.4 $
00041 
00042  Change History
00043  --------------
00044  A) Notes:
00045 
00046  Please use the following template.  Most recent changes should
00047  appear at the top of the list.
00048 
00049  - Modified on [date (March 1, 1900)] by [name]. [(*) if appropriate]
00050    [description of modification].
00051 
00052  Any Modification flagged with "(*)" was done as a project of the
00053  Sable Research Group, School of Computer Science,
00054  McGill University, Canada (http://www.sable.mcgill.ca/).
00055 
00056  You should add your copyright, using the following template, at
00057  the top of this file, along with other copyrights.
00058 
00059  *                                                                   *
00060  * Modifications by [name] are                                       *
00061  * Copyright (C) [year(s)] [your name (or company)].  All rights     *
00062  * reserved.                                                         *
00063  *                                                                   *
00064 
00065  B) Changes:
00066 
00067  - Modified on March 13, 1999 by Raja Vallee-Rai (rvalleerai@sable.mcgill.ca) (*)
00068    Re-organized the timers.
00069 
00070  - Modified on February 4, 1998 by Raja Vallee-Rai (kor@sable.mcgill.ca) (*)
00071    Added the ability to retrieve live variables after a stmt.
00072 
00073  - Modified on January 23, 1999 by Raja Vallee-Rai (rvalleerai@sable.mcgill.ca) (*)
00074    Branched off from PackedLiveLocals;
00075    
00076  - Modified on November 2, 1998 by Raja Vallee-Rai (kor@sable.mcgill.ca) (*)
00077    Repackaged all source files and performed extensive modifications.
00078    First initial release of Soot.
00079 
00080  - Modified on 23-Jul-1998 by Raja Vallee-Rai (kor@sable.mcgill.ca). (*)
00081    Renamed the uses of Hashtable to HashMap.
00082 
00083  - Modified on 15-Jun-1998 by Raja Vallee-Rai (kor@sable.mcgill.ca). (*)
00084    First internal release (Version 0.1).
00085 */
00086 
00087 import ca.mcgill.sable.soot.*;
00088 import ca.mcgill.sable.util.*;
00089 
00090 public class SparseLiveLocals implements LiveLocals
00091 {
00092     Map stmtToLocalsAfter;
00093     Map stmtToLocalsBefore;
00094 
00095     public SparseLiveLocals(CompleteStmtGraph graph)
00096     {
00097         if(Main.isProfilingOptimization)
00098             Main.liveTimer.start();
00099         
00100         if(Main.isVerbose)
00101             System.out.println("[" + graph.getBody().getMethod().getName() +
00102                 "]     Constructing SparseLiveLocals...");
00103         
00104         SparseLiveLocalsAnalysis analysis = new SparseLiveLocalsAnalysis(graph);
00105 
00106         if(Main.isProfilingOptimization)
00107                 Main.livePostTimer.start();
00108 
00109         // Build stmtToLocals map
00110         {
00111             stmtToLocalsAfter = new HashMap(graph.size() * 2 + 1, 0.7f);
00112             stmtToLocalsBefore = new HashMap(graph.size() * 2 + 1, 0.7f);
00113 
00114             
00115             Iterator stmtIt = graph.iterator();
00116 
00117             while(stmtIt.hasNext())
00118             {
00119                 Stmt s = (Stmt) stmtIt.next();
00120  
00121                 FlowSet set = (FlowSet) analysis.getFlowBeforeStmt(s);
00122                 stmtToLocalsBefore.put(s, Collections.unmodifiableList(set.toList()));
00123                 
00124                 set = (FlowSet) analysis.getFlowAfterStmt(s);
00125                 stmtToLocalsAfter.put(s, Collections.unmodifiableList(set.toList()));
00126             }            
00127         }
00128         
00129         if(Main.isProfilingOptimization)
00130             Main.livePostTimer.end();
00131         
00132         if(Main.isProfilingOptimization)
00133             Main.liveTimer.end();
00134     }
00135     public List getLiveLocalsAfter(Stmt s)
00136     {
00137         return (List) stmtToLocalsAfter.get(s);
00138     }
00139     public List getLiveLocalsBefore(Stmt s)
00140     {
00141         return (List) stmtToLocalsBefore.get(s);
00142     }
00143 }

Generated at Thu Feb 7 06:55:22 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001