public override void OutAWhileStm(AWhileStm node)
{
bool value;
if (IsConst(node.GetCondition(), out value) && !value)
{
node.Parent().RemoveChild(node);
changedSomething = true;
}
}
public override void CaseAForStm(AForStm node)
{
//Replace with while
node.GetBody().Apply(new ReworkForContinues());
AABlock innerBlock = new AABlock();
innerBlock.SetToken(new TRBrace("{", node.GetToken().Line, node.GetToken().Pos));
innerBlock.GetStatements().Add(node.GetBody());
innerBlock.GetStatements().Add(node.GetUpdate());
ABlockStm innerBlockStm = new ABlockStm(new TLBrace(";"), innerBlock);
AWhileStm whileStm = new AWhileStm(node.GetToken(), node.GetCond(), innerBlockStm);
AABlock block = new AABlock();
block.SetToken(new TRBrace("{", whileStm.GetToken().Line, whileStm.GetToken().Pos));
block.GetStatements().Add(node.GetInit());
block.GetStatements().Add(whileStm);
ABlockStm blockStm = new ABlockStm(null, block);
node.ReplaceBy(blockStm);
blockStm.Apply(this);
}
public virtual void OutAWhileStm(AWhileStm node)
{
DefaultOut(node);
}
public virtual void InAWhileStm(AWhileStm node)
{
DefaultIn(node);
}
public override void CaseAWhileStm(AWhileStm node)
{
InAWhileStm(node);
if (node.GetBody() != null)
{
node.GetBody().Apply(this);
}
if (node.GetCondition() != null)
{
node.GetCondition().Apply(this);
}
if (node.GetToken() != null)
{
node.GetToken().Apply(this);
}
OutAWhileStm(node);
}
public virtual void CaseAWhileStm(AWhileStm node)
{
DefaultCase(node);
}
public override void CaseAWhileStm(AWhileStm node)
{
//Ignore it.
}
public override void CaseAWhileStm(AWhileStm node)
{
/*
* while(...){...}
* ->
* while(...){...}
* if (hasMethodReturnedVar)
* {
* break;
* }
*/
if (neededWhile)
{
ALocalLvalue lvalue = new ALocalLvalue(new TIdentifier(hasMethodReturnedVar.GetName().Text));
data.LvalueTypes[lvalue] = hasMethodReturnedVar.GetType();
data.LocalLinks[lvalue] = hasMethodReturnedVar;
ALvalueExp exp = new ALvalueExp(lvalue);
data.ExpTypes[exp] = hasMethodReturnedVar.GetType();
AABlock ifBlock = new AABlock();
ifBlock.GetStatements().Add(new ABreakStm(new TBreak("break")));
ABlockStm ifBlockStm = new ABlockStm(new TLBrace("{"), ifBlock);
AIfThenStm ifStm = new AIfThenStm(new TLParen("("), exp, ifBlockStm);
AABlock pBlock = (AABlock) node.Parent();
pBlock.GetStatements().Insert(pBlock.GetStatements().IndexOf(node) + 1, ifStm);
}
node.GetBody().Apply(this);
}
public override void CaseAWhileStm(AWhileStm node)
{
//Don't enter other whiles
}
public override void CaseAWhileStm(AWhileStm node)
{
//Again.. skip block
}
public override void CaseASwitchStm(ASwitchStm node)
{
node.GetTest().Apply(this);
AALocalDecl fallThroughDecl = new AALocalDecl(new APublicVisibilityModifier(), null, null, null, null,
new ANamedType(new TIdentifier("bool"), null),
new TIdentifier(MakeUniqueLocalName(node, "switchFallThrough")),
new ABooleanConstExp(new AFalseBool()));
AALocalDecl continueDecl = new AALocalDecl(new APublicVisibilityModifier(), null, null, null, null,
new ANamedType(new TIdentifier("bool"), null),
new TIdentifier(MakeUniqueLocalName(node, "switchContinue")),
new ABooleanConstExp(new ATrueBool()));
AALocalDecl testVar = new AALocalDecl(new APublicVisibilityModifier(), null, null, null, null,
Util.MakeClone(data.ExpTypes[node.GetTest()], data),
new TIdentifier(MakeUniqueLocalName(node, "switchTestVar")),
node.GetTest());
AABlock bigBlock = new AABlock();
//AABlock previousBlock = bigBlock;
if (node.GetCases().Count > 0)
{
List<SwitchCaseData> switchCaseDatas = new List<SwitchCaseData>();
//Join cases without a body
for (int i = node.GetCases().Count - 1; i >= 0; i--)
{
ASwitchCaseStm caseStm = (ASwitchCaseStm) node.GetCases()[i];
SwitchCaseData caseData = new SwitchCaseData();
caseData.Block = (AABlock) caseStm.GetBlock();
if (caseStm.GetType() is ACaseSwitchCaseType)
caseData.Tests.Add(((ACaseSwitchCaseType)caseStm.GetType()).GetExp());
else
caseData.ContainsDefault = true;
caseData.IsLast = switchCaseDatas.Count == 0;
if (switchCaseDatas.Count == 0 || caseData.Block.GetStatements().Count > 0)
{
switchCaseDatas.Insert(0, caseData);
continue;
}
switchCaseDatas[0].Tests.AddRange(caseData.Tests);
}
for (int i = switchCaseDatas.Count - 1; i >= 0; i--)
{
switchCaseDatas[i].ContainsFallthrough = CanFallthrough(switchCaseDatas[i].Block, out switchCaseDatas[i].HasBreaks, out switchCaseDatas[i].RequiresWhile);
if (i == switchCaseDatas.Count - 1)
continue;
switchCaseDatas[i + 1].TargetForFallThrough = switchCaseDatas[i].ContainsFallthrough;
switchCaseDatas[i].RequiresContinue = !switchCaseDatas[i].ContainsFallthrough &&
(switchCaseDatas[i + 1].RequiresContinue ||
switchCaseDatas[i + 1].ContainsFallthrough);
}
AABlock previousBlock = bigBlock;
//Make code for specific case
foreach (SwitchCaseData switchCase in switchCaseDatas)
{
List<PExp> tests = new List<PExp>();
AABlock nextBlock;
if (switchCase.TargetForFallThrough)
{//Add if (continueSwitch) {}
ALocalLvalue lvalue = new ALocalLvalue(new TIdentifier(continueDecl.GetName().Text));
ALvalueExp test = new ALvalueExp(lvalue);
nextBlock = new AABlock();
AIfThenStm ifStm = new AIfThenStm(new TLParen("("), test, new ABlockStm(new TLBrace("{"), nextBlock));
previousBlock.GetStatements().Add(ifStm);
previousBlock = nextBlock;
data.LocalLinks[lvalue] = continueDecl;
data.LvalueTypes[lvalue] = data.ExpTypes[test] = continueDecl.GetType();
//First test in next if: if (fallThrough || ...
lvalue = new ALocalLvalue(new TIdentifier(fallThroughDecl.GetName().Text));
test = new ALvalueExp(lvalue);
tests.Add(test);
data.LocalLinks[lvalue] = fallThroughDecl;
data.LvalueTypes[lvalue] = data.ExpTypes[test] = fallThroughDecl.GetType();
}
//Make code for the test in the if
foreach (PExp exp in switchCase.Tests)
{
ALocalLvalue leftSide = new ALocalLvalue(new TIdentifier(testVar.GetName().Text));
ALvalueExp lvalueExp = new ALvalueExp(leftSide);
ABinopExp test = new ABinopExp(lvalueExp, new AEqBinop(new TEq("==")), exp);
tests.Add(test);
data.LocalLinks[leftSide] = testVar;
data.LvalueTypes[leftSide] = data.ExpTypes[lvalueExp] = testVar.GetType();
data.ExpTypes[test] = new ANamedType(new TIdentifier("bool"), null);
}
if (switchCase.ContainsDefault)
{
ABooleanConstExp test = new ABooleanConstExp(new ATrueBool());
tests.Add(test);
data.ExpTypes[test] = new ANamedType(new TIdentifier("bool"), null);
}
PExp finalTest = tests[0];
tests.RemoveAt(0);
foreach (PExp exp in tests)
{
finalTest = new ABinopExp(finalTest, new ALazyOrBinop(new TOrOr("||")), exp);
data.ExpTypes[finalTest] = new ANamedType(new TIdentifier("bool"), null);
}
//Transform breaks into assignments
//If we can fallthrough, and there are breaks, encase in a while stm
AABlock testBlock = switchCase.Block;
if (switchCase.RequiresWhile)
{
AABlock newBlock = new AABlock();
PExp whileTest = new ABooleanConstExp(new ATrueBool());
AWhileStm whileStm = new AWhileStm(new TLParen("("), whileTest, new ABlockStm(new TLBrace("{"), switchCase.Block));
newBlock.GetStatements().Add(whileStm);
switchCase.Block = newBlock;
}
TransformBreaks(testBlock, switchCase, continueDecl, fallThroughDecl);
if (switchCase.ContainsFallthrough && !switchCase.TargetForFallThrough)
{//Add fallthrough = true;
ALocalLvalue lvalue = new ALocalLvalue(new TIdentifier(fallThroughDecl.GetName().Text));
ABooleanConstExp rightSide = new ABooleanConstExp(new ATrueBool());
AAssignmentExp assignment = new AAssignmentExp(new TAssign("="), lvalue, rightSide);
testBlock.GetStatements().Add(new AExpStm(new TSemicolon(";"), assignment));
data.LocalLinks[lvalue] = fallThroughDecl;
data.LvalueTypes[lvalue] = data.ExpTypes[rightSide] = data.ExpTypes[assignment] = fallThroughDecl.GetType();
}
if (switchCase.RequiresWhile)
{//Add break at the end of the while
testBlock.GetStatements().Add(new ABreakStm(new TBreak("break")));
}
//Make if
PStm finalIfStm;
if (finalTest is ABooleanConstExp)
{//Final if is if(true). dont add it.
finalIfStm = new ABlockStm(new TLBrace("{"), switchCase.Block);
nextBlock = new AABlock();
}
else if (switchCase.IsLast || switchCase.ContainsFallthrough)
{//One armed if
finalIfStm = new AIfThenStm(new TLParen("("), finalTest,
new ABlockStm(new TLBrace("{"), switchCase.Block));
nextBlock = bigBlock;
}
else
{//Two armed if
nextBlock = new AABlock();
finalIfStm = new AIfThenElseStm(new TLParen("("), finalTest,
new ABlockStm(new TLBrace("{"), switchCase.Block),
new ABlockStm(new TLBrace("{"), nextBlock));
}
previousBlock.GetStatements().Add(finalIfStm);
previousBlock = nextBlock;
}
//If needed, add fallThroughDecl and continueDecl
data.Locals.Add(bigBlock, new List<AALocalDecl>());
if (data.LocalLinks.Values.Contains(fallThroughDecl))
{
bigBlock.GetStatements().Insert(0, new ALocalDeclStm(new TSemicolon(";"), fallThroughDecl));
data.Locals[bigBlock].Add(fallThroughDecl);
}
if (data.LocalLinks.Values.Contains(continueDecl))
{
bigBlock.GetStatements().Insert(0, new ALocalDeclStm(new TSemicolon(";"), continueDecl));
data.Locals[bigBlock].Add(continueDecl);
}
bigBlock.GetStatements().Insert(0, new ALocalDeclStm(new TSemicolon(";"), testVar));
data.Locals[bigBlock].Add(testVar);
node.ReplaceBy(new ABlockStm(new TLBrace("{"), bigBlock));
bigBlock.Apply(this);
}
}
public override void CaseAWhileStm(AWhileStm node)
{
Write("while(");
node.GetCondition().Apply(this);
Write(")\n");
node.GetBody().Apply(this);
}
ArrayList New318()
{
ArrayList nodeList = new ArrayList();
ArrayList nodeArrayList5 = (ArrayList) Pop();
ArrayList nodeArrayList4 = (ArrayList) Pop();
ArrayList nodeArrayList3 = (ArrayList) Pop();
ArrayList nodeArrayList2 = (ArrayList) Pop();
ArrayList nodeArrayList1 = (ArrayList) Pop();
TLParen tlparenNode2 = (TLParen)nodeArrayList2[0];
PExp pexpNode3 = (PExp)nodeArrayList3[0];
PStm pstmNode4 = (PStm)nodeArrayList5[0];
AWhileStm pstmNode1 = new AWhileStm (
tlparenNode2,
pexpNode3,
pstmNode4
);
nodeList.Add(pstmNode1);
return nodeList;
}
public override void CaseADeleteStm(ADeleteStm node)
{
List<Node> visitMeNext = new List<Node>();
APointerType pointer = (APointerType) data.ExpTypes[node.GetExp()];
//Call deconstructor if it exists
{
AMethodDecl deconstructor = null;
if (pointer.GetType() is ANamedType &&
data.StructTypeLinks.ContainsKey((ANamedType) pointer.GetType()))
{
AStructDecl str = data.StructTypeLinks[(ANamedType) pointer.GetType()];
deconstructor =
data.DeconstructorMap[data.StructDeconstructor[str]];
}
else //Look for enrichment deconstructor
{
foreach (AEnrichmentDecl enrichment in data.Enrichments)
{
if (Util.TypesEqual(pointer.GetType(), enrichment.GetType(), data))
{
foreach (PDecl decl in enrichment.GetDecl())
{
if (decl is ADeconstructorDecl)
{
deconstructor = data.DeconstructorMap[(ADeconstructorDecl) decl];
break;
}
}
if (deconstructor != null)
break;
}
}
}
if (deconstructor != null)
{
/*
* Convert delete <exp>; to
*
* var deleteVar = <exp>;
* Deconstructor(deleteVar);
* delete deleteVar;
*/
AALocalDecl deleteVarDecl = new AALocalDecl(new APublicVisibilityModifier(), null, null, null,
null,
new ANamedType(
new TIdentifier(Util.IsIntPointer(node,
pointer.
GetType(),
data)
? "int"
: "string"), null),
new TIdentifier("deleteVar"), node.GetExp());
ALocalLvalue deleteVarRef = new ALocalLvalue(new TIdentifier("deleteVar"));
ALvalueExp deleteVarRefExp = new ALvalueExp(deleteVarRef);
node.SetExp(deleteVarRefExp);
AABlock pBlock = (AABlock) node.Parent();
pBlock.GetStatements().Insert(pBlock.GetStatements().IndexOf(node),
new ALocalDeclStm(new TSemicolon(";"), deleteVarDecl));
data.LocalLinks[deleteVarRef] = deleteVarDecl;
data.LvalueTypes[deleteVarRef] =
data.ExpTypes[deleteVarRefExp] = data.ExpTypes[deleteVarDecl.GetInit()];
deleteVarRef = new ALocalLvalue(new TIdentifier("deleteVar"));
deleteVarRefExp = new ALvalueExp(deleteVarRef);
ASimpleInvokeExp invoke = new ASimpleInvokeExp(new TIdentifier(deconstructor.GetName().Text),
new ArrayList() {deleteVarRefExp});
pBlock.GetStatements().Insert(pBlock.GetStatements().IndexOf(node),
new AExpStm(new TSemicolon(";"), invoke));
data.LocalLinks[deleteVarRef] = deleteVarDecl;
data.LvalueTypes[deleteVarRef] =
data.ExpTypes[deleteVarRefExp] = data.ExpTypes[deleteVarDecl.GetInit()];
data.SimpleMethodLinks[invoke] = deconstructor;
data.ExpTypes[invoke] = deconstructor.GetReturnType();
visitMeNext.Add(deleteVarDecl);
}
}
if (pointer.GetType() is AArrayTempType || pointer.GetType() is ADynamicArrayType)
{
//If struct array, delete all struct data
PType baseType;
if (pointer.GetType() is AArrayTempType)
baseType = ((AArrayTempType) pointer.GetType()).GetType();
else
baseType = ((ADynamicArrayType)pointer.GetType()).GetType();
PExp pointerString = node.GetExp();
if (Util.IsBulkCopy(baseType))
{
node.GetExp().Apply(new MoveMethodDeclsOut("pointerVar", data));
pointerString = node.GetExp();
ANamedType aBaseType = (ANamedType) baseType;
/* Add the following
*
* string deleteMe = node.getExp(); <-- no
* int i = 0;
* while (i < array.length)
* {
* DeleteStruct<name>(deleteMe + StringToInt(i));
* i = i + 1;
* }
*
*/
//string deleteMe = node.getExp();
/*AALocalDecl deleteMeVar = new AALocalDecl(new APublicVisibilityModifier(), null, null, null, null,
new ANamedType(new TIdentifier("string"), null),
new TIdentifier("deleteMe"), node.GetExp());*/
//pointerString = deleteMeVar;
//int i = 0;
AALocalDecl iVar = new AALocalDecl(new APublicVisibilityModifier(), null, null, null, null,
new ANamedType(new TIdentifier("int"), null),
new TIdentifier("i"),
new AIntConstExp(new TIntegerLiteral("0")));
//i < array.length
ASimpleInvokeExp lenghCall = new ASimpleInvokeExp(new TIdentifier("DataTableGetInt"), new ArrayList());
lenghCall.GetArgs().Add(new ABooleanConstExp(new ATrueBool()));
//ALocalLvalue deleteMeUse1 = new ALocalLvalue(new TIdentifier("deleteMeVar"));
ABinopExp arrayLengthString = new ABinopExp(Util.MakeClone(pointerString, data),
new APlusBinop(new TPlus("+")),
new AStringConstExp(
new TStringLiteral("\"\\\\Length\"")));
lenghCall.GetArgs().Add(arrayLengthString);
ALocalLvalue iUse1 = new ALocalLvalue(new TIdentifier("i"));
ABinopExp cond = new ABinopExp(new ALvalueExp(iUse1), new ALtBinop(new TLt("<")), lenghCall);
//DeleteStruct<name>(deleteMe + StringToInt(i));
//ALocalLvalue deleteMeUse2 = new ALocalLvalue(new TIdentifier("deleteMeVar"));
ALocalLvalue iUse2 = new ALocalLvalue(new TIdentifier("i"));
ASimpleInvokeExp intToString = new ASimpleInvokeExp(new TIdentifier("IntToString"), new ArrayList());
intToString.GetArgs().Add(new ALvalueExp(iUse2));
ABinopExp binopExp1 = new ABinopExp(Util.MakeClone(pointerString, data), new APlusBinop(new TPlus("+")), new AStringConstExp(new TStringLiteral("\"[\"")));
ABinopExp binopExp2 = new ABinopExp(binopExp1, new APlusBinop(new TPlus("+")), intToString);
ABinopExp binopExp3 = new ABinopExp(binopExp2, new APlusBinop(new TPlus("+")), new AStringConstExp(new TStringLiteral("\"]\"")));
ASimpleInvokeExp deleteStructInvoke = new ASimpleInvokeExp(new TIdentifier("DeleteStruct" + aBaseType.AsIdentifierString()), new ArrayList());
deleteStructInvoke.GetArgs().Add(binopExp3);
//i = i + 1;
ALocalLvalue iUse3 = new ALocalLvalue(new TIdentifier("i"));
ALocalLvalue iUse4 = new ALocalLvalue(new TIdentifier("i"));
ABinopExp binopExp = new ABinopExp(new ALvalueExp(iUse4), new APlusBinop(new TPlus("+")), new AIntConstExp(new TIntegerLiteral("1")));
AAssignmentExp assign = new AAssignmentExp(new TAssign("="), iUse3, binopExp);
//While (...){...}
AABlock innerWhile = new AABlock();
innerWhile.GetStatements().Add(new AExpStm(new TSemicolon(";"), deleteStructInvoke));
innerWhile.GetStatements().Add(new AExpStm(new TSemicolon(";"), assign));
AWhileStm whileStm = new AWhileStm(new TLParen("("), cond, new ABlockStm(new TLBrace("{"), innerWhile));
AABlock pBlock = (AABlock) node.Parent();
//pBlock.GetStatements().Insert(pBlock.GetStatements().IndexOf(node), new ALocalDeclStm(new TSemicolon(";"), deleteMeVar));
pBlock.GetStatements().Insert(pBlock.GetStatements().IndexOf(node), new ALocalDeclStm(new TSemicolon(";"), iVar));
pBlock.GetStatements().Insert(pBlock.GetStatements().IndexOf(node), whileStm);
//visitMeNext.Add(deleteMeVar);
visitMeNext.Add(whileStm);
data.ExpTypes[iVar.GetInit()] =
data.LvalueTypes[iUse1] =
data.LvalueTypes[iUse2] =
data.LvalueTypes[iUse3] =
data.LvalueTypes[iUse4] =
data.ExpTypes[cond.GetLeft()] =
data.ExpTypes[lenghCall] =
data.ExpTypes[(PExp) intToString.GetArgs()[0]] =
data.ExpTypes[binopExp.GetLeft()] =
data.ExpTypes[binopExp.GetRight()] =
data.ExpTypes[binopExp] =
data.ExpTypes[assign] = new ANamedType(new TIdentifier("int"), null);
data.ExpTypes[(PExp) lenghCall.GetArgs()[0]] =
data.ExpTypes[cond] = new ANamedType(new TIdentifier("bool"), null);
data.ExpTypes[lenghCall] =
// data.LvalueTypes[deleteMeUse1] =
// data.LvalueTypes[deleteMeUse2] =
data.ExpTypes[arrayLengthString.GetLeft()] =
data.ExpTypes[arrayLengthString.GetRight()] =
data.ExpTypes[arrayLengthString] =
data.ExpTypes[intToString] =
data.ExpTypes[binopExp1] =
data.ExpTypes[binopExp1.GetLeft()] =
data.ExpTypes[binopExp1.GetRight()] =
data.ExpTypes[binopExp2] =
data.ExpTypes[binopExp3] =
data.ExpTypes[binopExp3.GetRight()] =
data.ExpTypes[lenghCall] =
data.ExpTypes[lenghCall] =
data.ExpTypes[lenghCall] =
data.ExpTypes[lenghCall] = new ANamedType(new TIdentifier("string"), null);
data.ExpTypes[deleteStructInvoke] = new AVoidType(new TVoid("void"));
data.Locals[pBlock].Add(iVar);
//data.Locals[pBlock].Add(deleteMeVar);
data.LocalLinks[iUse1] =
data.LocalLinks[iUse2] =
data.LocalLinks[iUse3] =
data.LocalLinks[iUse4] = iVar;
//data.LocalLinks[deleteMeUse1] =
// data.LocalLinks[deleteMeUse2] = deleteMeVar;
data.SimpleMethodLinks[lenghCall] =
data.Libraries.Methods.First(method => method.GetName().Text == lenghCall.GetName().Text);
data.SimpleMethodLinks[intToString] =
data.Libraries.Methods.First(method => method.GetName().Text == intToString.GetName().Text);
AStructDecl structDecl = data.StructTypeLinks[aBaseType];
if (!deleteStructMethod.ContainsKey(structDecl))
CreateDeleteStructMethod(node, structDecl, data);
data.SimpleMethodLinks[deleteStructInvoke] = deleteStructMethod[structDecl];
}
/*
* Convert delete <exp>
* to
* DeleteArray(<exp>);
*
*/
ASimpleInvokeExp invoke = new ASimpleInvokeExp(new TIdentifier("DeleteArray"), new ArrayList(){pointerString});
/*if (pointerString == null)
{
invoke.GetArgs().Add(node.GetExp());
}
else
{
ALocalLvalue local = new ALocalLvalue(new TIdentifier("pointerString"));
invoke.GetArgs().Add(new ALvalueExp(local));
data.LocalLinks[local] = pointerString;
data.LvalueTypes[local] =
data.ExpTypes[(PExp) invoke.GetArgs()[0]] = new ANamedType(new TIdentifier("string"), null);
}*/
data.ExpTypes[invoke] = new AVoidType(new TVoid("void"));
if (deleteArrayMethod == null)
CreateDeleteArrayMethod(node, data);
data.SimpleMethodLinks[invoke] = deleteArrayMethod;
visitMeNext.Add(invoke);
node.ReplaceBy(new AExpStm(new TSemicolon(";"), invoke));
}
else
{
//Not array type
PExp pointerString = node.GetExp();
bool isIntPointer = Util.IsIntPointer(node, pointer.GetType(), data);
bool createdStructDelete = false;
if (Util.IsBulkCopy(pointer.GetType()))
{
node.GetExp().Apply(new MoveMethodDeclsOut("pointerVar", data));
pointerString = node.GetExp();
ANamedType aBaseType = (ANamedType) pointer.GetType();
/* Insert
*
* string deleteMeVar = node.getExp();
* DeleteStruct<name>(deleteMeVar);
*
*/
/* AALocalDecl deleteMeVar = new AALocalDecl(new APublicVisibilityModifier(), null, null, null, null,
new ANamedType(new TIdentifier("string"), null),
new TIdentifier("deleteMe"), node.GetExp());*/
//pointerString = deleteMeVar;
//ALocalLvalue deleteMeUse = new ALocalLvalue(new TIdentifier("deleteMeVar"));
PExp deleteExp = Util.MakeClone(pointerString, data);
AStructDecl structDecl = data.StructTypeLinks[aBaseType];
if (isIntPointer)
{
GlobalStructVars vars = CreateStructFields(node, structDecl, data);
int allocateLimit = int.Parse(structDecl.GetIntDim().Text);
if (vars.IdentifierArray != null)
{
int usedBits = allocateLimit == 0
? 0
: ((int) Math.Floor(Math.Log(allocateLimit, 2)) + 1);
int bitsLeft = 31 - usedBits;
int biggestIdentifier = (1 << (bitsLeft + 1)) - 1;
AIntConstExp bitsLeftConst = new AIntConstExp(new TIntegerLiteral(bitsLeft.ToString()));
deleteExp = new ABinopExp(deleteExp, new ARBitShiftBinop(new TRBitShift(">>")),
bitsLeftConst);
data.ExpTypes[bitsLeftConst] =
data.ExpTypes[deleteExp] = new ANamedType(new TIdentifier("int"), null);
}
}
ASimpleInvokeExp deleteStructInvoke = new ASimpleInvokeExp(new TIdentifier("DeleteStruct" + aBaseType.AsIdentifierString()), new ArrayList());
deleteStructInvoke.GetArgs().Add(deleteExp);
AABlock pBlock = (AABlock)node.Parent();
//pBlock.GetStatements().Insert(pBlock.GetStatements().IndexOf(node), new ALocalDeclStm(new TSemicolon(";"), deleteMeVar));
pBlock.GetStatements().Insert(pBlock.GetStatements().IndexOf(node), new AExpStm(new TSemicolon(";"), deleteStructInvoke));
//visitMeNext.Add(deleteMeVar);
visitMeNext.Add(deleteStructInvoke);
/*data.ExpTypes[(PExp) deleteStructInvoke.GetArgs()[0]] =
data.LvalueTypes[deleteMeUse] = new ANamedType(new TIdentifier("string"), null);*/
data.ExpTypes[deleteStructInvoke] = new AVoidType(new TVoid("void"));
//data.Locals[pBlock].Add(deleteMeVar);
//data.LocalLinks[deleteMeUse] = deleteMeVar;
if (!deleteStructMethod.ContainsKey(structDecl))
CreateDeleteStructMethod(node, structDecl, data);
data.SimpleMethodLinks[deleteStructInvoke] = deleteStructMethod[structDecl];
createdStructDelete = true;
}
if (!isIntPointer)
{
/*
* Convert delete <exp>
* to
* DeleteSimple(<exp>);
*
*/
ASimpleInvokeExp invoke = new ASimpleInvokeExp(new TIdentifier("DeleteObject"),
new ArrayList() {pointerString});
/*if (pointerString == null)
{
invoke.GetArgs().Add(node.GetExp());
}
else
{
ALocalLvalue local = new ALocalLvalue(new TIdentifier("pointerString"));
invoke.GetArgs().Add(new ALvalueExp(local));
data.LocalLinks[local] = pointerString;
data.LvalueTypes[local] =
data.ExpTypes[(PExp)invoke.GetArgs()[0]] = new ANamedType(new TIdentifier("string"), null);
}*/
data.ExpTypes[invoke] = new AVoidType(new TVoid("void"));
if (deleteObjectMethod == null)
CreateDeleteObjectMethod(node, data);
data.SimpleMethodLinks[invoke] = deleteObjectMethod;
visitMeNext.Add(invoke);
node.ReplaceBy(new AExpStm(new TSemicolon(";"), invoke));
}
else if (createdStructDelete)
{
node.Parent().RemoveChild(node);
}
else
{
//There is an enrichment
PExp deleteExp = pointerString;
AEnrichmentDecl enrichmentDecl = data.EnrichmentTypeLinks[pointer.GetType()];
if (isIntPointer)
{
GlobalStructVars vars = CreateEnrichmentFields(node, enrichmentDecl, data);
int allocateLimit = int.Parse(enrichmentDecl.GetIntDim().Text);
if (vars.IdentifierArray != null)
{
int usedBits = allocateLimit == 0
? 0
: ((int)Math.Floor(Math.Log(allocateLimit, 2)) + 1);
int bitsLeft = 31 - usedBits;
AIntConstExp bitsLeftConst = new AIntConstExp(new TIntegerLiteral(bitsLeft.ToString()));
deleteExp = new ABinopExp(deleteExp, new ARBitShiftBinop(new TRBitShift(">>")),
bitsLeftConst);
data.ExpTypes[bitsLeftConst] =
data.ExpTypes[deleteExp] = new ANamedType(new TIdentifier("int"), null);
}
}
ASimpleInvokeExp invoke = new ASimpleInvokeExp(new TIdentifier("DeleteObject"),
new ArrayList() { deleteExp });
data.ExpTypes[invoke] = new AVoidType(new TVoid("void"));
data.SimpleMethodLinks[invoke] = CreateDeleteEnrichmentMethod(node, enrichmentDecl, data);
visitMeNext.Add(invoke);
node.ReplaceBy(new AExpStm(new TSemicolon(";"), invoke));
}
}
bool hadPointerPreviously = hadPointer;
PExp previosNameExp = nameExp;
for (int i = 0; i < visitMeNext.Count; i++)
{
hadPointer = false;
nameExp = null;
visitMeNext[i].Apply(this);
}
hadPointer = hadPointerPreviously;
nameExp = previosNameExp;
}
public override void CaseAWhileStm(AWhileStm node)
{
//Create graph node
Node graphNode = GetNode(node);
//Processes inner while
node.GetBody().Apply(this);
//Add successor and predessors
PStm stm = GetFirst(node.GetBody());
if (stm != null)
graphNode.AddSucc(GetNode(stm));
List<PStm> stms = GetLast(node.GetBody());
foreach (PStm pStm in stms)
{
graphNode.AddPred(GetNode(pStm));
}
}
public override void CaseAWhileStm(AWhileStm node)
{
node.GetBody().Apply(this);
}
public static List<AABlock> Inline(ASimpleInvokeExp node, FinalTransformations finalTrans)
{
/*if (Util.GetAncestor<AMethodDecl>(node) != null && Util.GetAncestor<AMethodDecl>(node).GetName().Text == "UIChatFrame_LeaveChannel")
node = node;*/
SharedData data = finalTrans.data;
//If this node is inside the condition of a while, replace it with a new local var,
//make a clone before the while, one before each continue in the while, and one at the end of the while
//(unless the end is a return or break)
AABlock pBlock;
if (Util.HasAncestor<AWhileStm>(node))
{
AWhileStm whileStm = Util.GetAncestor<AWhileStm>(node);
if (Util.IsAncestor(node, whileStm.GetCondition()))
{
List<ASimpleInvokeExp> toInline = new List<ASimpleInvokeExp>();
//Above while
AALocalDecl replaceVarDecl = new AALocalDecl(new APublicVisibilityModifier(), null, null, null, null,
Util.MakeClone(data.ExpTypes[node], data),
new TIdentifier("whileVar"), null);
ALocalLvalue replaceVarRef = new ALocalLvalue(new TIdentifier("whileVar"));
ALvalueExp replaceVarRefExp = new ALvalueExp(replaceVarRef);
data.LocalLinks[replaceVarRef] = replaceVarDecl;
data.ExpTypes[replaceVarRefExp] = data.LvalueTypes[replaceVarRef] = replaceVarDecl.GetType();
node.ReplaceBy(replaceVarRefExp);
replaceVarDecl.SetInit(node);
pBlock = (AABlock) whileStm.Parent();
pBlock.GetStatements().Insert(pBlock.GetStatements().IndexOf(whileStm), new ALocalDeclStm(new TSemicolon(";"), replaceVarDecl));
toInline.Add(node);
//In the end of the while
PStm lastStm = whileStm.GetBody();
while (lastStm is ABlockStm)
{
AABlock block = (AABlock) ((ABlockStm) lastStm).GetBlock();
if (block.GetStatements().Count == 0)
{
lastStm = null;
break;
}
lastStm = (PStm) block.GetStatements()[block.GetStatements().Count - 1];
}
if (lastStm == null || !(lastStm is AValueReturnStm || lastStm is AVoidReturnStm || lastStm is ABreakStm))
{
lastStm = whileStm.GetBody();
AABlock block;
if (lastStm is ABlockStm)
{
block = (AABlock)((ABlockStm)lastStm).GetBlock();
}
else
{
block = new AABlock(new ArrayList(), new TRBrace("}"));
block.GetStatements().Add(lastStm);
whileStm.SetBody(new ABlockStm(new TLBrace("{"), block));
}
replaceVarRef = new ALocalLvalue(new TIdentifier("whileVar"));
ASimpleInvokeExp clone = (ASimpleInvokeExp)Util.MakeClone(node, data);
toInline.Add(clone);
AAssignmentExp assignment = new AAssignmentExp(new TAssign("="), replaceVarRef, clone);
data.LocalLinks[replaceVarRef] = replaceVarDecl;
data.ExpTypes[assignment] = data.LvalueTypes[replaceVarRef] = replaceVarDecl.GetType();
block.GetStatements().Add(new AExpStm(new TSemicolon(";"), assignment));
}
//After each continue
CloneBeforeContinue cloner = new CloneBeforeContinue(node, replaceVarDecl, data);
whileStm.GetBody().Apply(cloner);
toInline.AddRange(cloner.replacementExpressions);
List<AABlock> visitBlocks = new List<AABlock>();
foreach (ASimpleInvokeExp invoke in toInline)
{
visitBlocks.AddRange(Inline(invoke, finalTrans));
}
return visitBlocks;
}
}
AMethodDecl decl = finalTrans.data.SimpleMethodLinks[node];
FindAssignedToFormals assignedToFormalsFinder = new FindAssignedToFormals(finalTrans.data);
decl.Apply(assignedToFormalsFinder);
List<AALocalDecl> assignedToFormals = assignedToFormalsFinder.AssignedFormals;
/*
* inline int foo(int a)
* {
* int b = 2;
* int c;
* ...
* while(...)
* {
* ...
* break;
* ...
* return c;
* }
* ...
* return 2;
* }
*
* bar(foo(<arg for a>));
* ->
*
* {
* bool inlineMethodReturned = false;
* int inlineReturner;
* int a = <arg for a>;
* while (!inlineMethodReturned)
* {
* int b = 2;
* int c;
* ...
* while(...)
* {
* ...
* break
* ...
* inlineReturner = c;
* inlineMethodReturned = true;
* break;
* }
* if (inlineMethodReturned)
* {
* break;
* }
* ...
* inlineReturner = 2;
* inlineMethodReturned = true;
* break;
* break;
* }
* bar(inlineReturner);
* }
*
*
*/
AABlock outerBlock = new AABlock();
PExp exp = new ABooleanConstExp(new AFalseBool());
finalTrans.data.ExpTypes[exp] = new ANamedType(new TIdentifier("bool"), null);
AALocalDecl hasMethodReturnedVar = new AALocalDecl(new APublicVisibilityModifier(), null, null, null, null, new ANamedType(new TIdentifier("bool"), null),
new TIdentifier("hasInlineReturned"), exp);
finalTrans.data.GeneratedVariables.Add(hasMethodReturnedVar);
PStm stm = new ALocalDeclStm(new TSemicolon(";"), hasMethodReturnedVar);
outerBlock.GetStatements().Add(stm);
AALocalDecl methodReturnerVar = null;
if (!(decl.GetReturnType() is AVoidType))
{
methodReturnerVar = new AALocalDecl(new APublicVisibilityModifier(), null, null, null, null, Util.MakeClone(decl.GetReturnType(), finalTrans.data),
new TIdentifier("inlineReturner"), null);
stm = new ALocalDeclStm(new TSemicolon(";"), methodReturnerVar);
outerBlock.GetStatements().Add(stm);
}
AABlock afterBlock = new AABlock();
//A dictionary from the formals of the inline method to a cloneable replacement lvalue
Dictionary<AALocalDecl, PLvalue> Parameters = new Dictionary<AALocalDecl, PLvalue>();
Dictionary<AALocalDecl, PExp> ParameterExps = new Dictionary<AALocalDecl, PExp>();
for (int i = 0; i < decl.GetFormals().Count; i++)
{
AALocalDecl formal = (AALocalDecl)decl.GetFormals()[i];
PExp arg = (PExp)node.GetArgs()[0];
PLvalue lvalue;
//if ref, dont make a new var
if (formal.GetRef() != null && arg is ALvalueExp)
{
arg.Apply(new MoveMethodDeclsOut("inlineVar", finalTrans.data));
arg.Parent().RemoveChild(arg);
lvalue = ((ALvalueExp) arg).GetLvalue();
}
else if (!assignedToFormals.Contains(formal) && Util.IsLocal(arg, finalTrans.data))
{
lvalue = new ALocalLvalue(new TIdentifier("I hope I dont make it"));
finalTrans.data.LvalueTypes[lvalue] = formal.GetType();
finalTrans.data.LocalLinks[(ALocalLvalue) lvalue] = formal;
ParameterExps[formal] = arg;
arg.Parent().RemoveChild(arg);
}
else
{
AAssignmentExp assExp = null;
if (formal.GetOut() != null)
{
//Dont initialize with arg, but assign arg after
arg.Apply(new MoveMethodDeclsOut("inlineVar", finalTrans.data));
lvalue = ((ALvalueExp)arg).GetLvalue();
assExp = new AAssignmentExp(new TAssign("="), lvalue, null);
finalTrans.data.ExpTypes[assExp] = finalTrans.data.LvalueTypes[lvalue];
arg.Parent().RemoveChild(arg);
arg = null;
}
AALocalDecl parameter = new AALocalDecl(new APublicVisibilityModifier(), null, null, null, null, Util.MakeClone(formal.GetType(), finalTrans.data),
new TIdentifier(formal.GetName().Text),
arg);
stm = new ALocalDeclStm(new TSemicolon(";"), parameter);
outerBlock.GetStatements().Add(stm);
lvalue = new ALocalLvalue(new TIdentifier(parameter.GetName().Text));
finalTrans.data.LvalueTypes[lvalue] = parameter.GetType();
finalTrans.data.LocalLinks[(ALocalLvalue)lvalue] = parameter;
if (formal.GetOut() != null)
{
//Dont initialize with arg, but assign arg after
ALvalueExp lvalueExp = new ALvalueExp(Util.MakeClone(lvalue, finalTrans.data));
finalTrans.data.ExpTypes[lvalueExp] = finalTrans.data.LvalueTypes[lvalue];
assExp.SetExp(lvalueExp);
afterBlock.GetStatements().Add(new AExpStm(new TSemicolon(";"), assExp));
}
}
Parameters.Add(formal, lvalue);
}
AABlock innerBlock = (AABlock)decl.GetBlock().Clone();
exp = new ABooleanConstExp(new ATrueBool());
finalTrans.data.ExpTypes[exp] = new ANamedType(new TIdentifier("bool"), null);
ABlockStm innerBlockStm = new ABlockStm(new TLBrace("{"), innerBlock);
bool needWhile = CheckIfWhilesIsNeeded.IsWhileNeeded(decl.GetBlock());
if (needWhile)
stm = new AWhileStm(new TLParen("("), exp, innerBlockStm);
else
stm = innerBlockStm;
outerBlock.GetStatements().Add(stm);
outerBlock.GetStatements().Add(new ABlockStm(new TLBrace("{"), afterBlock));
//Clone method contents to inner block.
CloneMethod cloneFixer = new CloneMethod(finalTrans, Parameters, ParameterExps, innerBlockStm);
decl.GetBlock().Apply(cloneFixer);
foreach (KeyValuePair<PLvalue, PExp> pair in cloneFixer.ReplaceUsAfter)
{
PLvalue lvalue = pair.Key;
PExp replacement = Util.MakeClone(pair.Value, finalTrans.data);
ALvalueExp lvalueParent = (ALvalueExp) lvalue.Parent();
lvalueParent.ReplaceBy(replacement);
}
innerBlockStm.Apply(new FixTypes(finalTrans.data));
innerBlock.Apply(new FixReturnsAndWhiles(hasMethodReturnedVar, methodReturnerVar, finalTrans.data, needWhile));
GetNonBlockStm stmFinder = new GetNonBlockStm(false);
innerBlock.Apply(stmFinder);
if (needWhile && (stmFinder.Stm == null || !(stmFinder.Stm is ABreakStm)))
innerBlock.GetStatements().Add(new ABreakStm(new TBreak("break")));
//Insert before current statement
ABlockStm outerBlockStm = new ABlockStm(new TLBrace("{"), outerBlock);
PStm pStm = Util.GetAncestor<PStm>(node);
pBlock = (AABlock)pStm.Parent();
pBlock.GetStatements().Insert(pBlock.GetStatements().IndexOf(pStm), outerBlockStm);
if (node.Parent() == pStm && pStm is AExpStm)
{
pBlock.RemoveChild(pStm);
}
else
{
PLvalue lvalue = new ALocalLvalue(new TIdentifier(methodReturnerVar.GetName().Text));
finalTrans.data.LvalueTypes[lvalue] = methodReturnerVar.GetType();
finalTrans.data.LocalLinks[(ALocalLvalue)lvalue] = methodReturnerVar;
exp = new ALvalueExp(lvalue);
finalTrans.data.ExpTypes[exp] = methodReturnerVar.GetType();
node.ReplaceBy(exp);
}
return new List<AABlock>() { outerBlock };
}
