/*
* Copyright (c) 2009-2011, IETR/INSA of Rennes
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
*
* * Redistributions of source code must retain the above copyright notice,
* this list of conditions and the following disclaimer.
* * Redistributions in binary form must reproduce the above copyright notice,
* this list of conditions and the following disclaimer in the documentation
* and/or other materials provided with the distribution.
* * Neither the name of the IETR/INSA of Rennes nor the names of its
* contributors may be used to endorse or promote products derived from this
* software without specific prior written permission.
*
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
* ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
* LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
* CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
* SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
* INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
* STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY
* WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
* SUCH DAMAGE.
*/
package net.sf.orcc.ir.transform;
import java.util.List;
import net.sf.orcc.OrccRuntimeException;
import net.sf.orcc.ir.BlockIf;
import net.sf.orcc.ir.BlockWhile;
import net.sf.orcc.ir.ExprBinary;
import net.sf.orcc.ir.ExprBool;
import net.sf.orcc.ir.ExprFloat;
import net.sf.orcc.ir.ExprInt;
import net.sf.orcc.ir.ExprList;
import net.sf.orcc.ir.ExprString;
import net.sf.orcc.ir.ExprUnary;
import net.sf.orcc.ir.ExprVar;
import net.sf.orcc.ir.Expression;
import net.sf.orcc.ir.InstAssign;
import net.sf.orcc.ir.InstCall;
import net.sf.orcc.ir.InstLoad;
import net.sf.orcc.ir.InstPhi;
import net.sf.orcc.ir.InstReturn;
import net.sf.orcc.ir.InstStore;
import net.sf.orcc.ir.IrFactory;
import net.sf.orcc.ir.OpBinary;
import net.sf.orcc.ir.Var;
import net.sf.orcc.ir.util.AbstractIrVisitor;
import net.sf.orcc.ir.util.IrUtil;
import net.sf.orcc.util.util.EcoreHelper;
import org.eclipse.emf.common.util.BasicEList;
import org.eclipse.emf.common.util.EList;
/**
* Split expression and effective block that contains more than one fundamental
* operation into a series of simple expressions.
*
* @author Jerome GORIN
* @author Matthieu Wipliez
* @author Herve Yviquel
*
*/
public class TacTransformation extends AbstractIrVisitor<Expression> {
private static IrFactory factory = IrFactory.eINSTANCE;
protected int complexityLevel = 0;
@Override
public Expression caseBlockIf(BlockIf blockIf) {
complexityLevel++;
blockIf.setCondition(doSwitch(blockIf.getCondition()));
complexityLevel--;
doSwitch(blockIf.getThenBlocks());
doSwitch(blockIf.getElseBlocks());
doSwitch(blockIf.getJoinBlock());
return null;
}
@Override
public Expression caseBlockWhile(BlockWhile blockWhile) {
complexityLevel++;
blockWhile.setCondition(doSwitch(blockWhile.getCondition()));
complexityLevel--;
doSwitch(blockWhile.getBlocks());
doSwitch(blockWhile.getJoinBlock());
return null;
}
@Override
public Expression caseExprBinary(ExprBinary expr) {
complexityLevel++;
expr.setE1(doSwitch(expr.getE1()));
expr.setE2(doSwitch(expr.getE2()));
complexityLevel--;
if (complexityLevel > 0) {
// Make a new assignment to the binary expression
Var target = procedure.newTempLocalVariable(
IrUtil.copy(expr.getType()), "splitted_expr");
InstAssign assign = factory.createInstAssign(target,
IrUtil.copy(expr));
// Add assignment to instruction's list
if (IrUtil.addInstBeforeExpr(expr, assign)) {
indexInst++;
}
IrUtil.delete(expr);
return factory.createExprVar(target);
} else {
return expr;
}
}
@Override
public Expression caseExprBool(ExprBool expr) {
return expr;
}
@Override
public Expression caseExprFloat(ExprFloat expr) {
return expr;
}
@Override
public Expression caseExprInt(ExprInt expr) {
return expr;
}
@Override
public Expression caseExprList(ExprList expr) {
return expr;
}
@Override
public Expression caseExprString(ExprString expr) {
return expr;
}
@Override
public Expression caseExprUnary(ExprUnary expr) {
complexityLevel++;
expr.setExpr(doSwitch(expr.getExpr()));
complexityLevel--;
// Transform unary expression to binary one
Expression newExpr;
switch (expr.getOp()) {
case MINUS:
newExpr = factory.createExprBinary(factory.createExprInt(0),
OpBinary.MINUS, IrUtil.copy(expr.getExpr()),
IrUtil.copy(expr.getType()));
break;
case LOGIC_NOT:
if (expr.getExpr().getType().isInt()
|| expr.getExpr().getType().isUint()) {
newExpr = factory.createExprBinary(IrUtil.copy(expr.getExpr()),
OpBinary.EQ, factory.createExprInt(0),
IrUtil.copy(expr.getType()));
} else {
newExpr = factory.createExprBinary(IrUtil.copy(expr.getExpr()),
OpBinary.EQ, factory.createExprBool(false),
IrUtil.copy(expr.getType()));
}
break;
case BITNOT:
// Create an expression with all bits at '1'
ExprInt allBitAtOne = factory.createExprInt(-1);
newExpr = factory.createExprBinary(IrUtil.copy(expr.getExpr()),
OpBinary.BITXOR, allBitAtOne, IrUtil.copy(expr.getType()));
break;
default:
throw new OrccRuntimeException("unsupported operator");
}
if (complexityLevel > 0) {
// Make a new assignment to the binary expression
Var target = procedure.newTempLocalVariable(
IrUtil.copy(expr.getType()), "splitted_expr");
InstAssign assign = factory.createInstAssign(target, newExpr);
// Add assignment to instruction's list
if (IrUtil.addInstBeforeExpr(expr, assign)) {
indexInst++;
}
IrUtil.delete(expr);
return factory.createExprVar(target);
} else {
IrUtil.delete(expr);
return newExpr;
}
}
@Override
public Expression caseExprVar(ExprVar expr) {
return expr;
}
@Override
public Expression caseInstAssign(InstAssign assign) {
assign.setValue(doSwitch(assign.getValue()));
return null;
}
@Override
public Expression caseInstCall(InstCall call) {
complexityLevel++;
List<Expression> newArgs = splitExpressionList(EcoreHelper.getObjects(
call, Expression.class));
call.getArguments().clear();
call.getArguments().addAll(factory.createArgsByVal(newArgs));
complexityLevel--;
return null;
}
@Override
public Expression caseInstLoad(InstLoad load) {
complexityLevel++;
List<Expression> newIndexes = splitExpressionList(load.getIndexes());
load.getIndexes().clear();
load.getIndexes().addAll(newIndexes);
complexityLevel--;
return null;
}
@Override
public Expression caseInstPhi(InstPhi phi) {
complexityLevel++;
List<Expression> newIndexes = splitExpressionList(phi.getValues());
phi.getValues().clear();
phi.getValues().addAll(newIndexes);
complexityLevel--;
return null;
}
@Override
public Expression caseInstReturn(InstReturn returnInstr) {
if (!procedure.getReturnType().isVoid()) {
Expression expr = returnInstr.getValue();
complexityLevel++;
returnInstr.setValue(doSwitch(expr));
complexityLevel--;
}
return null;
}
@Override
public Expression caseInstStore(InstStore store) {
complexityLevel++;
List<Expression> newIndexes = splitExpressionList(store.getIndexes());
store.getIndexes().clear();
store.getIndexes().addAll(newIndexes);
store.setValue(doSwitch(store.getValue()));
complexityLevel--;
return null;
}
private List<Expression> splitExpressionList(
Iterable<Expression> expressions) {
List<Expression> oldExpressions = new BasicEList<Expression>();
for (Expression expr : expressions) {
oldExpressions.add(expr);
}
EList<Expression> newExpressions = new BasicEList<Expression>();
for (Expression expression : oldExpressions) {
newExpressions.add(doSwitch(expression));
}
return newExpressions;
}
}