soot.jimple.toolkits.annotation.arraycheck.ArrayIndexLivenessAnalysis Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of robovm-soot Show documentation
Show all versions of robovm-soot Show documentation
RoboVM fork of Soot - A Java optimization framework
/* Soot - a J*va Optimization Framework
* Copyright (C) 2000 Feng Qian
*
* This library 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 library 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
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with this library; if not, write to the
* Free Software Foundation, Inc., 59 Temple Place - Suite 330,
* Boston, MA 02111-1307, USA.
*/
/*
* Modified by the Sable Research Group and others 1997-1999.
* See the 'credits' file distributed with Soot for the complete list of
* contributors. (Soot is distributed at http://www.sable.mcgill.ca/soot)
*/
package soot.jimple.toolkits.annotation.arraycheck;
import soot.options.*;
import soot.*;
import soot.jimple.*;
import soot.jimple.internal.*;
import soot.util.*;
import soot.toolkits.graph.*;
import soot.toolkits.scalar.*;
import java.util.*;
class ArrayIndexLivenessAnalysis extends BackwardFlowAnalysis
{
HashSet fullSet = new HashSet();
ExceptionalUnitGraph eug;
/* for each unit, kill set has variables to be killed.
* gen set was considered with conditionOfGenSet,
* for example, gen set of unit s are valid only when the condition object.
* was in the living input set.
*/
HashMap> genOfUnit;
HashMap> absGenOfUnit;
HashMap> killOfUnit;
HashMap> conditionOfGen;
// s --> a kill all a[?].
HashMap killArrayRelated;
// s --> true
HashMap killAllArrayRef;
IntContainer zero = new IntContainer(0);
private final boolean fieldin;
HashMap> localToFieldRef, fieldToFieldRef;
HashSet allFieldRefs;
private final boolean arrayin;
HashMap localToArrayRef;
HashSet allArrayRefs;
private final boolean csin;
HashMap> localToExpr;
private final boolean rectarray;
HashSet multiarraylocals;
public ArrayIndexLivenessAnalysis(DirectedGraph dg,
boolean takeFieldRef,
boolean takeArrayRef,
boolean takeCSE,
boolean takeRectArray)
{
super(dg);
fieldin = takeFieldRef;
arrayin = takeArrayRef;
csin = takeCSE;
rectarray = takeRectArray;
if (Options.v().debug())
G.v().out.println("Enter ArrayIndexLivenessAnalysis");
eug = (ExceptionalUnitGraph)dg;
retrieveAllArrayLocals(eug.getBody(), fullSet);
/* compute gen set, kill set, and condition set */
genOfUnit = new HashMap>(eug.size()*2+1);
absGenOfUnit = new HashMap>(eug.size()*2+1);
killOfUnit = new HashMap>(eug.size()*2+1);
conditionOfGen = new HashMap>(eug.size()*2+1);
if (fieldin)
{
localToFieldRef = new HashMap>();
fieldToFieldRef = new HashMap>();
allFieldRefs = new HashSet();
}
if (arrayin)
{
localToArrayRef = new HashMap();
allArrayRefs = new HashSet();
killArrayRelated = new HashMap();
killAllArrayRef = new HashMap();
if (rectarray)
{
multiarraylocals = new HashSet();
retrieveMultiArrayLocals(eug.getBody(), multiarraylocals);
}
}
if (csin)
{
localToExpr = new HashMap>();
}
getAllRelatedMaps(eug.getBody());
getGenAndKillSet(eug.getBody(), absGenOfUnit, genOfUnit, killOfUnit, conditionOfGen);
doAnalysis();
if (Options.v().debug())
G.v().out.println("Leave ArrayIndexLivenessAnalysis");
}
public HashMap> getLocalToFieldRef()
{
return localToFieldRef;
}
public HashMap> getFieldToFieldRef()
{
return fieldToFieldRef;
}
public HashSet getAllFieldRefs()
{
return this.allFieldRefs;
}
public HashMap getLocalToArrayRef()
{
return localToArrayRef;
}
public HashSet getAllArrayRefs()
{
return allArrayRefs;
}
public HashMap> getLocalToExpr()
{
return localToExpr;
}
public HashSet getMultiArrayLocals()
{
return multiarraylocals;
}
private void getAllRelatedMaps(Body body)
{
Iterator unitIt = body.getUnits().iterator();
while (unitIt.hasNext())
{
Stmt stmt = (Stmt)unitIt.next();
if (csin)
{
if (stmt instanceof DefinitionStmt)
{
Value rhs = ((DefinitionStmt)stmt).getRightOp();
if (rhs instanceof BinopExpr)
{
Value op1 = ((BinopExpr)rhs).getOp1();
Value op2 = ((BinopExpr)rhs).getOp2();
if (rhs instanceof AddExpr)
{
// op1 + op2 --> a + b
if ((op1 instanceof Local) &&
(op2 instanceof Local))
{
HashSet refs = localToExpr.get(op1);
if (refs == null)
{
refs = new HashSet();
localToExpr.put(op1, refs);
}
refs.add(rhs);
refs = localToExpr.get(op2);
if (refs == null)
{
refs = new HashSet();
localToExpr.put(op2, refs);
}
refs.add(rhs);
}
}
// a * b, a * c, c * a
else if (rhs instanceof MulExpr)
{
HashSet refs = localToExpr.get(op1);
if (refs == null)
{
refs = new HashSet();
localToExpr.put(op1, refs);
}
refs.add(rhs);
refs = localToExpr.get(op2);
if (refs == null)
{
refs = new HashSet();
localToExpr.put(op2, refs);
}
refs.add(rhs);
}
else if (rhs instanceof SubExpr)
{
if (op2 instanceof Local)
{
HashSet refs = localToExpr.get(op2);
if (refs == null)
{
refs = new HashSet();
localToExpr.put(op2, refs);
}
refs.add(rhs);
if (op1 instanceof Local)
{
refs = localToExpr.get(op1);
if (refs == null)
{
refs = new HashSet();
localToExpr.put(op1, refs);
}
refs.add(rhs);
}
}
}
}
}
}
List vboxes = stmt.getUseAndDefBoxes();
Iterator vboxIt = vboxes.iterator();
while (vboxIt.hasNext())
{
Value v = ((ValueBox)vboxIt.next()).getValue();
if (fieldin)
{
if (v instanceof InstanceFieldRef)
{
Value base = ((InstanceFieldRef)v).getBase();
SootField field = ((InstanceFieldRef)v).getField();
HashSet baseset = localToFieldRef.get(base);
if (baseset == null)
{
baseset = new HashSet();
localToFieldRef.put(base, baseset);
}
baseset.add(v);
HashSet fieldset = fieldToFieldRef.get(field);
if (fieldset == null)
{
fieldset = new HashSet();
fieldToFieldRef.put(field, fieldset);
}
fieldset.add(v);
}
if (v instanceof FieldRef)
allFieldRefs.add(v);
}
if (arrayin)
{
// a = ... --> kill all a[x] nodes.
// a[i] = .. --> kill all array references.
// m(a) --> kill all array references
// i = ... --> kill all array reference with index as i
/*
if (v instanceof ArrayRef)
{
Value base = ((ArrayRef)v).getBase();
Value index = ((ArrayRef)v).getIndex();
HashSet refset = (HashSet)localToArrayRef.get(base);
if (refset == null)
{
refset = new HashSet();
localToArrayRef.put(base, refset);
}
refset.add(v);
if (index instanceof Local)
{
refset = (HashSet)localToArrayRef.get(index);
if (refset == null)
{
refset = new HashSet();
localToArrayRef.put(index, refset);
}
refset.add(v);
}
allArrayRefs.add(v);
}
*/
}
}
}
}
private void retrieveAllArrayLocals(Body body, Set container)
{
Chain locals = body.getLocals();
Iterator localIt = locals.iterator();
while (localIt.hasNext())
{
Local local = (Local)localIt.next();
Type type = local.getType();
if (type instanceof IntType
|| type instanceof ArrayType)
container.add(local);
}
}
private void retrieveMultiArrayLocals(Body body, Set container)
{
Chain locals = body.getLocals();
Iterator localIt = locals.iterator();
while (localIt.hasNext())
{
Local local = (Local)localIt.next();
Type type = local.getType();
if (type instanceof ArrayType)
{
if (((ArrayType)type).numDimensions > 1)
this.multiarraylocals.add(local);
}
}
}
private void getGenAndKillSetForDefnStmt(DefinitionStmt asstmt,
HashMap> absgen,
HashSet