soot.JimpleBodyPack Maven / Gradle / Ivy

package soot;

/*-
 * #%L
 * Soot - a J*va Optimization Framework
 * %%
 * Copyright (C) 2003 Ondrej Lhotak
 * %%
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU Lesser General Public License as
 * published by the Free Software Foundation, either version 2.1 of the
 * License, or (at your option) any later version.
 * 
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Lesser Public License for more details.
 * 
 * You should have received a copy of the GNU General Lesser Public
 * License along with this program.  If not, see
 * .
 * #L%
 */

import java.util.Map;

import soot.jimple.JimpleBody;
import soot.options.JBOptions;
import soot.options.Options;

/**
 * A wrapper object for a pack of optimizations. Provides chain-like operations, except that the key is the phase name. This
 * is a specific one for the very messy jb phase.
 */
public class JimpleBodyPack extends BodyPack {
  public JimpleBodyPack() {
    super("jb");
  }

  /** Applies the transformations corresponding to the given options. */
  private void applyPhaseOptions(JimpleBody b, Map opts) {
    JBOptions options = new JBOptions(opts);

    if (options.use_original_names()) {
      PhaseOptions.v().setPhaseOptionIfUnset("jb.lns", "only-stack-locals");
    }

    if (Options.v().time()) {
      Timers.v().splitTimer.start();
    }

    PackManager.v().getTransform("jb.tt").apply(b); // TrapTigthener
    PackManager.v().getTransform("jb.dtr").apply(b); // DuplicateCatchAllTrapRemover

    // UnreachableCodeEliminator: We need to do this before splitting
    // locals for not creating disconnected islands of useless assignments
    // that afterwards mess up type assignment.
    PackManager.v().getTransform("jb.uce").apply(b);

    PackManager.v().getTransform("jb.ls").apply(b);

    if (Options.v().time()) {
      Timers.v().splitTimer.end();
    }

    PackManager.v().getTransform("jb.a").apply(b);
    PackManager.v().getTransform("jb.ule").apply(b);

    if (Options.v().time()) {
      Timers.v().assignTimer.start();
    }

    PackManager.v().getTransform("jb.tr").apply(b);

    if (Options.v().time()) {
      Timers.v().assignTimer.end();
    }

    if (options.use_original_names()) {
      PackManager.v().getTransform("jb.ulp").apply(b);
    }
    PackManager.v().getTransform("jb.lns").apply(b); // LocalNameStandardizer
    PackManager.v().getTransform("jb.cp").apply(b); // CopyPropagator
    PackManager.v().getTransform("jb.dae").apply(b); // DeadAssignmentElimintaor
    PackManager.v().getTransform("jb.cp-ule").apply(b); // UnusedLocalEliminator
    PackManager.v().getTransform("jb.lp").apply(b); // LocalPacker
    PackManager.v().getTransform("jb.ne").apply(b); // NopEliminator
    PackManager.v().getTransform("jb.uce").apply(b); // UnreachableCodeEliminator: Again, we might have new dead code

    // LocalNameStandardizer: After all these changes, some locals
    // may end up being eliminated. If we want a stable local iteration
    // order between soot instances, running LocalNameStandardizer
    // again after all other changes is required.
    if (options.stabilize_local_names()) {
      PhaseOptions.v().setPhaseOption("jb.lns", "sort-locals:true");
      PackManager.v().getTransform("jb.lns").apply(b);
    }

    if (Options.v().time()) {
      Timers.v().stmtCount += b.getUnits().size();
    }
  }

  protected void internalApply(Body b) {
    applyPhaseOptions((JimpleBody) b, PhaseOptions.v().getPhaseOptions(getPhaseName()));
  }
}