public override void GenerateCode(AbsynCodeGenerator codeGen, StructureNode node, StructureNode latchNode, AbsynStatementEmitter emitter)
{
codeGen.EmitLinearBlockStatements(node, emitter);
if (node == latchNode)
return;
var exp = codeGen.BranchCondition(node);
var ifStm = EmitIfCondition(exp, this, emitter);
var succ = FirstBranch(node);
var emitThen = new AbsynStatementEmitter(ifStm.Then);
if (node.UnstructType == UnstructuredType.JumpInOutLoop)
{
codeGen.DeferRendering(node, succ, emitThen);
codeGen.GenerateCode(SecondBranch(node), latchNode, emitter);
}
else
{
if (Follow == null)
throw new NotSupportedException("Null condfollow");
codeGen.PushFollow(Follow);
if (node.Conditional is IfThenElse)
{
codeGen.IncompleteNodes.Add(node);
}
if (codeGen.IsVisited(succ) || (node.Loop != null && succ == node.Loop.Follow))
codeGen.EmitGotoAndForceLabel(node, succ, emitThen);
else
codeGen.GenerateCode(succ, latchNode, emitThen);
if (node.Conditional is IfThenElse)
{
codeGen.IncompleteNodes.Remove(node);
succ = node.Then;
AbsynStatementEmitter emitElse = new AbsynStatementEmitter(ifStm.Else);
if (codeGen.IsVisited(succ))
codeGen.EmitGotoAndForceLabel(node, succ, emitElse);
else
codeGen.GenerateCode(succ, latchNode, emitElse);
if (HasSingleIfThenElseStatement(ifStm.Then))
{
ifStm.InvertCondition();
}
}
codeGen.PopFollow();
codeGen.GenerateCode(Follow, latchNode, emitter);
}
}