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 getLiveLocalsAfter(); 00072 00073 - Modified on November 2, 1998 by Raja Vallee-Rai (kor@sable.mcgill.ca) (*) 00074 Repackaged all source files and performed extensive modifications. 00075 First initial release of Soot. 00076 00077 - Modified on 23-Jul-1998 by Raja Vallee-Rai (kor@sable.mcgill.ca). (*) 00078 Renamed the uses of Hashtable to HashMap. 00079 00080 - Modified on 15-Jun-1998 by Raja Vallee-Rai (kor@sable.mcgill.ca). (*) 00081 First internal release (Version 0.1). 00082 */ 00083 00084 import ca.mcgill.sable.soot.*; 00085 import ca.mcgill.sable.util.*; 00086 00087 public class SimpleLiveLocals implements LiveLocals 00088 { 00089 Map stmtToLocalsAfter; 00090 Map stmtToLocalsBefore; 00091 00092 public SimpleLiveLocals(CompleteStmtGraph graph) 00093 { 00094 if(Main.isProfilingOptimization) 00095 Main.liveTimer.start(); 00096 00097 if(Main.isVerbose) 00098 System.out.println("[" + graph.getBody().getMethod().getName() + 00099 "] Constructing SimpleLiveLocals..."); 00100 00101 SimpleLiveLocalsAnalysis analysis = new SimpleLiveLocalsAnalysis(graph); 00102 00103 if(Main.isProfilingOptimization) 00104 Main.livePostTimer.start(); 00105 00106 // Build stmtToLocals map 00107 { 00108 stmtToLocalsAfter = new HashMap(graph.size() * 2 + 1, 0.7f); 00109 stmtToLocalsBefore = new HashMap(graph.size() * 2 + 1, 0.7f); 00110 00111 Iterator stmtIt = graph.iterator(); 00112 00113 while(stmtIt.hasNext()) 00114 { 00115 Stmt s = (Stmt) stmtIt.next(); 00116 00117 FlowSet set = (FlowSet) analysis.getFlowBeforeStmt(s); 00118 stmtToLocalsBefore.put(s, Collections.unmodifiableList(set.toList())); 00119 00120 set = (FlowSet) analysis.getFlowAfterStmt(s); 00121 stmtToLocalsAfter.put(s, Collections.unmodifiableList(set.toList())); 00122 } 00123 } 00124 00125 if(Main.isProfilingOptimization) 00126 Main.livePostTimer.end(); 00127 00128 if(Main.isProfilingOptimization) 00129 Main.liveTimer.end(); 00130 } 00131 public List getLiveLocalsAfter(Stmt s) 00132 { 00133 return (List) stmtToLocalsAfter.get(s); 00134 } 00135 public List getLiveLocalsBefore(Stmt s) 00136 { 00137 return (List) stmtToLocalsAfter.get(s); 00138 } 00139 }