public override void VisitIfNode(IfNode iif)
{
var ifGoto = new TACNodes.IfGoto();
// Результат вычисления логического выражения
var cond1 = RecAssign(iif.Conditon);
ifGoto.Condition = cond1;
code.AddNode(ifGoto);
// Разбор тела else (если есть)
iif.ElseClause?.Visit(this);
// Пропускаем тело if
var elseGoTo = new TACNodes.Goto();
code.AddNode(elseGoTo);
// Добавление новой метки непосредственно перед телом if
var newLabelIf = GetEmptyLabeledNode();
ifGoto.TargetLabel = newLabelIf.Label;
// Обход выражений тела условного оператора
iif.IfClause.Visit(this);
// Метка после тела if, на нее передается управление из else
var newLabelElse = GetEmptyLabeledNode();
elseGoTo.TargetLabel = newLabelElse.Label;
}
public override void VisitCycleNode(CycleNode c)
{
// Метка в начале цикла
var cycleLabel = GetEmptyLabeledNode();
// Результат вычисления логического выражения
var cond = RecAssign(c.Condition);
// При истинности условия, переходим к телу цикла
var ifGotoBody = new TACNodes.IfGoto {
Condition = cond
};
code.AddNode(ifGotoBody);
// Иначе переходим за тело цикла
var gotoEnd = new TACNodes.Goto();
code.AddNode(gotoEnd);
// Добавление новой метки непосредственно перед телом цикла
var bodyLabel = GetEmptyLabeledNode();
ifGotoBody.TargetLabel = bodyLabel.Label;
// Обход выражений тела цикла
c.Body.Visit(this);
// В конце цикла снова переходим к началу
var cycleGoto = new TACNodes.Goto {
TargetLabel = cycleLabel.Label
};
code.AddNode(cycleGoto);
// Метка за телом цикла, сюда происходит переход, если не выполняется условие продолжения
var endLabel = GetEmptyLabeledNode();
gotoEnd.TargetLabel = endLabel.Label;
}
public override void VisitForNode(ForNode f)
{
// Значение счетчика цикла и инкремента при инициализации
var counter = GetVarByName(f.Assign.Id.Name);
var inc = RecAssign(f.Inc);
var init = new TACNodes.Assign()
{
Result = counter,
Left = null,
Right = RecAssign(f.Assign.Expr),
Operation = OpCode.Copy
};
code.AddNode(init);
// Метка начала цикла
var cycle = GetEmptyLabeledNode();
// Условие выбора направления цикла
var dirCond = new TACNodes.Assign()
{
Result = new TACExpr.Var(),
Left = inc,
Right = new TACExpr.IntConst(0),
Operation = OpCode.GreaterEq
};
code.AddNode(dirCond);
// Выбор направления
var dirIfGoto = new TACNodes.IfGoto();
dirIfGoto.Condition = dirCond.Result;
code.AddNode(dirIfGoto);
// Для обратного направления счетчик сравнивается с границей на меньше равно - это условие выхода
var initialBackwardCondition = new TACNodes.Assign
{
Result = new TACExpr.Var(),
Left = counter,
Right = RecAssign(f.Border),
Operation = OpCode.LessEq
};
code.AddNode(initialBackwardCondition);
// Добавляем переход за конец цикла при выполнении условия выхода
var ifGotoBackw = new TACNodes.IfGoto();
var cond = initialBackwardCondition.Result;
ifGotoBackw.Condition = cond;
code.AddNode(ifGotoBackw);
// Пропускаем ветку прямого направления
var forwSkipGoto = new TACNodes.Goto();
code.AddNode(forwSkipGoto);
// Начало ветки прямого направления
var forwardLabel = GetEmptyLabeledNode();
dirIfGoto.TargetLabel = forwardLabel.Label;
// Для прямого направления счетчик сравнивается с границей на больше равно - это условие выхода
var initialForwardCondition = new TACNodes.Assign
{
Result = new TACExpr.Var(),
Left = counter,
Right = RecAssign(f.Border),
Operation = OpCode.GreaterEq
};
code.AddNode(initialForwardCondition);
// Добавляем переход за конец цикла при выполнении условия выхода
var ifGotoForw = new TACNodes.IfGoto();
ifGotoForw.Condition = initialForwardCondition.Result;
code.AddNode(ifGotoForw);
// Метка перед телом цикла - сюда происходит переход при пропуске ветки прямого обхода
var forwSkipLabel = GetEmptyLabeledNode();
forwSkipGoto.TargetLabel = forwSkipLabel.Label;
// Дальнейший разбор тела выражения
f.Body.Visit(this);
// Пересчет инкремента
inc = RecAssign(f.Inc);
// Создаем строку с увеличением счетчика
var ass1 = new TACNodes.Assign
{
Result = counter,
Left = counter,
Right = inc,
Operation = OpCode.Plus
};
code.AddNode(ass1);
// Команда перехода к началу цикла
var cycleGoto = new TACNodes.Goto {
TargetLabel = cycle.Label
};
code.AddNode(cycleGoto);
// Метка за концом цикла - сюда происходит переход при выполнении условия выхода
var endCycle = GetEmptyLabeledNode();
ifGotoForw.TargetLabel = endCycle.Label;
ifGotoBackw.TargetLabel = endCycle.Label;
}