01: /* Soot - a J*va Optimization Framework
02: * Copyright (C) 2005 Jennifer Lhotak
03: *
04: * This library is free software; you can redistribute it and/or
05: * modify it under the terms of the GNU Lesser General Public
06: * License as published by the Free Software Foundation; either
07: * version 2.1 of the License, or (at your option) any later version.
08: *
09: * This library is distributed in the hope that it will be useful,
10: * but WITHOUT ANY WARRANTY; without even the implied warranty of
11: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12: * Lesser General Public License for more details.
13: *
14: * You should have received a copy of the GNU Lesser General Public
15: * License along with this library; if not, write to the
16: * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
17: * Boston, MA 02111-1307, USA.
18: */
19:
20: package soot.javaToJimple.toolkits;
21:
22: import soot.*;
23: import soot.jimple.*;
24: import java.util.*;
25:
26: public class GotoEliminator extends BodyTransformer {
27: public GotoEliminator(Singletons.Global g) {
28: }
29:
30: public static GotoEliminator v() {
31: return G.v().soot_javaToJimple_toolkits_GotoEliminator();
32: }
33:
34: protected void internalTransform(Body b, String phaseName,
35: Map options) {
36:
37: G.v().out.println("running goto eliminator");
38: /*
39: * the idea is to look for groups of statements of the form
40: * goto L0
41: * L0: goto L1
42: *
43: * and transform to
44: * goto L1
45: */
46:
47: Iterator it = b.getUnits().iterator();
48: while (it.hasNext()) {
49: Stmt s = (Stmt) it.next();
50: Unit target = null;
51: if (s instanceof IfStmt) {
52: target = ((IfStmt) s).getTarget();
53: } else if (s instanceof GotoStmt) {
54: target = ((GotoStmt) s).getTarget();
55: } else
56: continue;
57:
58: }
59: }
60:
61: }
|