1089 lines
33 KiB
C#
1089 lines
33 KiB
C#
using System.Globalization;
|
||
using Canon.Core.Abstractions;
|
||
using Canon.Core.CodeGenerators;
|
||
using Canon.Core.Enums;
|
||
using Canon.Core.GrammarParser;
|
||
using Canon.Core.LexicalParser;
|
||
using Canon.Core.SyntaxNodes;
|
||
using BasicType = Canon.Core.Enums.BasicType;
|
||
using Expression = Canon.Core.SyntaxNodes.Expression;
|
||
|
||
namespace Canon.Core.SemanticParser;
|
||
|
||
public class CodeGeneratorVisitor(ICompilerLogger? logger = null) : TypeCheckVisitor(logger)
|
||
{
|
||
public CCodeBuilder Builder { get; } = new();
|
||
|
||
public override void PreVisit(ProgramHead programHead)
|
||
{
|
||
base.PreVisit(programHead);
|
||
|
||
Builder.AddLine("#include <stdio.h>");
|
||
Builder.AddLine("#include <stdbool.h>");
|
||
}
|
||
|
||
public override void PreVisit(ProgramBody programBody)
|
||
{
|
||
base.PreVisit(programBody);
|
||
|
||
programBody.CompoundStatement.IsMain = true;
|
||
}
|
||
|
||
public override void PostVisit(ConstDeclaration constDeclaration)
|
||
{
|
||
base.PreVisit(constDeclaration);
|
||
|
||
(IdentifierSemanticToken token, ConstValue constValue) = constDeclaration.ConstValue;
|
||
|
||
if (SymbolTable.TryGetSymbol(token.IdentifierName, out Symbol? symbol))
|
||
{
|
||
Builder.AddLine(
|
||
$"const {GenerateBasicTypeString(symbol.SymbolType)} {token.IdentifierName} = {constValue.ValueString};");
|
||
}
|
||
}
|
||
|
||
public override void PostVisit(ConstValue constValue)
|
||
{
|
||
base.PostVisit(constValue);
|
||
|
||
constValue.OnNumberGenerator += (_, e) =>
|
||
{
|
||
string numberValue = e.IsNegative ? "-" : "+";
|
||
|
||
if (constValue.ConstType == PascalBasicType.Integer)
|
||
{
|
||
numberValue += e.Token.ParseAsInteger().ToString();
|
||
}
|
||
else if (constValue.ConstType == PascalBasicType.Real)
|
||
{
|
||
numberValue += e.Token.ParseAsReal().ToString(CultureInfo.CurrentCulture);
|
||
}
|
||
|
||
constValue.ValueString = numberValue;
|
||
};
|
||
|
||
constValue.OnCharacterGenerator += (_, e) => { constValue.ValueString = $"'{e.Token.LiteralValue}'"; };
|
||
}
|
||
|
||
public override void PreVisit(VarDeclaration varDeclaration)
|
||
{
|
||
base.PreVisit(varDeclaration);
|
||
|
||
varDeclaration.IdentifierList.IsVariableDefinition = true;
|
||
}
|
||
|
||
public override void PostVisit(VarDeclaration varDeclaration)
|
||
{
|
||
base.PostVisit(varDeclaration);
|
||
|
||
if (varDeclaration.IdentifierList.DefinitionType is PascalBasicType)
|
||
{
|
||
Builder.AddLine($"{GenerateBasicTypeString(varDeclaration.IdentifierList.DefinitionType)} " +
|
||
$"{varDeclaration.Token.IdentifierName};");
|
||
}
|
||
|
||
if (varDeclaration.IdentifierList.DefinitionType is PascalArrayType)
|
||
{
|
||
(string basicValue, string periodValue) = GenerateArrayTypeString(
|
||
varDeclaration.IdentifierList.DefinitionType);
|
||
|
||
Builder.AddLine($"{basicValue} {varDeclaration.Token.IdentifierName}{periodValue};");
|
||
}
|
||
}
|
||
|
||
public override void PreVisit(IdentifierList identifierList)
|
||
{
|
||
base.PreVisit(identifierList);
|
||
|
||
identifierList.OnIdentifierGenerator += (_, e) =>
|
||
{
|
||
if (identifierList.IsVariableDefinition)
|
||
{
|
||
e.IdentifierList.IsVariableDefinition = true;
|
||
}
|
||
};
|
||
}
|
||
|
||
public override void PostVisit(IdentifierList identifierList)
|
||
{
|
||
base.PostVisit(identifierList);
|
||
|
||
identifierList.OnIdentifierGenerator += (_, e) =>
|
||
{
|
||
if (!identifierList.IsVariableDefinition)
|
||
{
|
||
return;
|
||
}
|
||
|
||
if (identifierList.DefinitionType is PascalArrayType)
|
||
{
|
||
(string basicTypeString, string periodString) = GenerateArrayTypeString(identifierList.DefinitionType);
|
||
|
||
Builder.AddLine($"{basicTypeString} {e.IdentifierToken.IdentifierName}{periodString};");
|
||
}
|
||
|
||
if (identifierList.DefinitionType is PascalBasicType)
|
||
{
|
||
Builder.AddLine($"{GenerateBasicTypeString(identifierList.DefinitionType)} " +
|
||
$"{e.IdentifierToken.IdentifierName};");
|
||
}
|
||
};
|
||
}
|
||
|
||
public override void PreVisit(CompoundStatement compoundStatement)
|
||
{
|
||
if (compoundStatement.IsMain)
|
||
{
|
||
Builder.AddLine("int main()");
|
||
}
|
||
|
||
Builder.BeginScope();
|
||
}
|
||
|
||
public override void PostVisit(CompoundStatement compoundStatement)
|
||
{
|
||
if (compoundStatement.IsMain)
|
||
{
|
||
Builder.AddLine("return 0;");
|
||
}
|
||
|
||
Builder.EndScope();
|
||
}
|
||
|
||
public override void PreVisit(Factor factor)
|
||
{
|
||
base.PreVisit(factor);
|
||
|
||
factor.OnParethnesisGenerator += (_, e) => { e.Expression.IsCondition = factor.IsCondition; };
|
||
|
||
factor.OnNotGenerator += (_, e) => { e.Factor.IsCondition = factor.IsCondition; };
|
||
|
||
factor.OnUminusGenerator += (_, e) => { e.Factor.IsCondition = factor.IsCondition; };
|
||
|
||
factor.OnPlusGenerator += (_, e) => { e.Factor.IsCondition = factor.IsCondition; };
|
||
}
|
||
|
||
public override void PostVisit(Factor factor)
|
||
{
|
||
base.PostVisit(factor);
|
||
|
||
factor.OnNumberGenerator += (_, e) =>
|
||
{
|
||
string temporaryName = GenerateTemporaryVariable();
|
||
|
||
switch (e.Token.NumberType)
|
||
{
|
||
case NumberType.Integer:
|
||
Builder.AddLine($"int {temporaryName} = {e.Token.ParseAsInteger()};");
|
||
break;
|
||
case NumberType.Real:
|
||
Builder.AddLine($"double {temporaryName} = {e.Token.ParseAsReal()};");
|
||
break;
|
||
}
|
||
|
||
factor.VariableName = temporaryName;
|
||
};
|
||
|
||
factor.OnBooleanGenerator += (_, e) =>
|
||
{
|
||
string temporaryName = GenerateTemporaryVariable();
|
||
string value = e.Value ? "true" : "false";
|
||
|
||
Builder.AddLine($"bool {temporaryName} = {value};");
|
||
factor.VariableName = temporaryName;
|
||
};
|
||
|
||
factor.OnVariableGenerator += (_, e) =>
|
||
{
|
||
if (SymbolTable.TryGetSymbol(e.Variable.VariableName, out Symbol? symbol))
|
||
{
|
||
// 处理不带括号调用无参函数的问题
|
||
if (symbol.SymbolType is PascalFunctionType { Parameters.Count: 0 } functionType)
|
||
{
|
||
string temporaryName = GenerateTemporaryVariable();
|
||
|
||
Builder.AddLine($"{GenerateBasicTypeString(functionType.ReturnType)} {temporaryName} = " +
|
||
$"{symbol.SymbolName}_pascal_procedure();");
|
||
factor.VariableName = temporaryName;
|
||
return;
|
||
}
|
||
}
|
||
|
||
factor.VariableName = e.Variable.VariableName;
|
||
};
|
||
|
||
factor.OnParethnesisGenerator += (_, e) => { factor.VariableName = e.Expression.VariableName; };
|
||
|
||
factor.OnNotGenerator += (_, e) =>
|
||
{
|
||
string temporaryName = GenerateTemporaryVariable();
|
||
|
||
Builder.AddLine(
|
||
$"{GenerateBasicTypeString(factor.VariableType)} {temporaryName} = ~{e.Factor.VariableName};");
|
||
factor.VariableName = temporaryName;
|
||
};
|
||
|
||
factor.OnPlusGenerator += (_, e) => { factor.VariableName = e.Factor.VariableName; };
|
||
|
||
factor.OnUminusGenerator += (_, e) =>
|
||
{
|
||
string temporaryName = GenerateTemporaryVariable();
|
||
|
||
Builder.AddLine(
|
||
$"{GenerateBasicTypeString(factor.VariableType)} {temporaryName} = -{e.Factor.VariableName};");
|
||
factor.VariableName = temporaryName;
|
||
};
|
||
|
||
factor.OnProcedureCallGenerator += (_, e) =>
|
||
{
|
||
string temporaryName = GenerateTemporaryVariable();
|
||
|
||
Builder.AddLine($"{GenerateBasicTypeString(factor.VariableType)} {temporaryName}= " +
|
||
$"{GenerateProcedureCall(e.ProcedureName.IdentifierName, e.Parameters)};");
|
||
factor.VariableName = temporaryName;
|
||
};
|
||
}
|
||
|
||
public override void PostVisit(Variable variable)
|
||
{
|
||
base.PostVisit(variable);
|
||
|
||
if (!SymbolTable.TryGetSymbol(variable.Identifier.IdentifierName, out Symbol? symbol))
|
||
{
|
||
return;
|
||
}
|
||
|
||
PascalType type = symbol.SymbolType;
|
||
|
||
if (type is PascalArrayType)
|
||
{
|
||
string indexValue = string.Empty;
|
||
foreach (Expression expression in variable.VarPart.Expressions)
|
||
{
|
||
PascalArrayType arrayType = type.Convert<PascalArrayType>();
|
||
string temporaryName = GenerateTemporaryVariable();
|
||
|
||
Builder.AddLine($"int {temporaryName} = {expression.VariableName} - {arrayType.Begin};");
|
||
|
||
indexValue += $"[{temporaryName}]";
|
||
type = arrayType.ElementType;
|
||
}
|
||
|
||
variable.VariableName = variable.Identifier.IdentifierName + indexValue;
|
||
return;
|
||
}
|
||
|
||
// 虽然这里这样可能会生成来类似于 &*x 的代码
|
||
// 但是可以正常运行
|
||
variable.VariableName =
|
||
symbol.SymbolType.IsReference
|
||
? $"*{variable.Identifier.IdentifierName}"
|
||
: variable.Identifier.IdentifierName;
|
||
}
|
||
|
||
private record CircuitLabel(string Circuit, string End);
|
||
|
||
private readonly Stack<CircuitLabel> _andCircuitLabels = [];
|
||
|
||
private readonly Stack<CircuitLabel> _orCircuitLabels = [];
|
||
|
||
public override void PreVisit(Term term)
|
||
{
|
||
base.PreVisit(term);
|
||
|
||
term.OnMultiplyGenerator += (_, e) =>
|
||
{
|
||
e.Left.IsCondition = term.IsCondition;
|
||
e.Right.IsCondition = term.IsCondition;
|
||
|
||
if (e.Operator.OperatorToken == new Terminator(KeywordType.And))
|
||
{
|
||
_andCircuitLabels.Push(new CircuitLabel($"and_circult_{_labelCount}",
|
||
$"and_end_{_labelCount}"));
|
||
_labelCount += 1;
|
||
}
|
||
};
|
||
|
||
term.OnFactorGenerator += (_, e) => { e.Factor.IsCondition = term.IsCondition; };
|
||
}
|
||
|
||
private string? _termVariableName;
|
||
|
||
public override void PostVisit(Term term)
|
||
{
|
||
base.PostVisit(term);
|
||
|
||
term.OnFactorGenerator += (_, e) =>
|
||
{
|
||
term.VariableName = e.Factor.VariableName;
|
||
_termVariableName = term.VariableName;
|
||
};
|
||
|
||
term.OnMultiplyGenerator += (_, e) =>
|
||
{
|
||
string temporaryName = GenerateTemporaryVariable();
|
||
|
||
if (e.Operator.OperatorToken == new Terminator(KeywordType.And))
|
||
{
|
||
// 处理and的短路代码
|
||
Builder.AddLine($"""
|
||
bool {temporaryName} = {e.Left.VariableName} && {e.Right.VariableName};
|
||
goto {_andCircuitLabels.Peek().End};
|
||
{_andCircuitLabels.Peek().Circuit}:;
|
||
{temporaryName} = false;
|
||
{_andCircuitLabels.Peek().End}:;
|
||
""");
|
||
|
||
_andCircuitLabels.Pop();
|
||
}
|
||
else
|
||
{
|
||
Builder.AddLine(
|
||
$"{GenerateBasicTypeString(term.VariableType)} {temporaryName} = " +
|
||
$"{e.Left.VariableName} {GenerateMultipleOperator(e.Operator)} {e.Right.VariableName};");
|
||
}
|
||
|
||
term.VariableName = temporaryName;
|
||
_termVariableName = temporaryName;
|
||
};
|
||
}
|
||
|
||
public override void PreVisit(SimpleExpression simpleExpression)
|
||
{
|
||
base.PreVisit(simpleExpression);
|
||
|
||
simpleExpression.OnAddGenerator += (_, e) =>
|
||
{
|
||
e.Left.IsCondition = simpleExpression.IsCondition;
|
||
e.Right.IsCondition = simpleExpression.IsCondition;
|
||
|
||
if (e.Operator.OperatorToken == new Terminator(KeywordType.Or))
|
||
{
|
||
_orCircuitLabels.Push(new CircuitLabel($"or_circuit_{_labelCount}",
|
||
$"or_end_circuit_{_labelCount}"));
|
||
_labelCount += 1;
|
||
}
|
||
};
|
||
|
||
simpleExpression.OnTermGenerator += (_, e) => { e.Term.IsCondition = simpleExpression.IsCondition; };
|
||
}
|
||
|
||
private string? _simpleExpressionVairableName;
|
||
|
||
public override void PostVisit(SimpleExpression simpleExpression)
|
||
{
|
||
base.PostVisit(simpleExpression);
|
||
|
||
simpleExpression.OnTermGenerator += (_, e) =>
|
||
{
|
||
simpleExpression.VariableName = e.Term.VariableName;
|
||
_simpleExpressionVairableName = simpleExpression.VariableName;
|
||
};
|
||
|
||
simpleExpression.OnAddGenerator += (_, e) =>
|
||
{
|
||
string temporaryName = GenerateTemporaryVariable();
|
||
|
||
if (e.Operator.OperatorToken == new Terminator(KeywordType.Or))
|
||
{
|
||
// or的短路代码
|
||
Builder.AddLine($"""
|
||
bool {temporaryName};
|
||
{temporaryName} = {e.Left.VariableName} || {e.Right.VariableName};
|
||
goto {_orCircuitLabels.Peek().End};
|
||
{_orCircuitLabels.Peek().Circuit}:;
|
||
{temporaryName} = true;
|
||
{_orCircuitLabels.Peek().End}:;
|
||
""");
|
||
|
||
_orCircuitLabels.Pop();
|
||
}
|
||
else
|
||
{
|
||
Builder.AddLine(
|
||
$"{GenerateBasicTypeString(simpleExpression.VariableType)} {temporaryName} = " +
|
||
$"{e.Left.VariableName} {GenerateAddOperator(e.Operator)} {e.Right.VariableName};");
|
||
}
|
||
|
||
|
||
simpleExpression.VariableName = temporaryName;
|
||
_simpleExpressionVairableName = temporaryName;
|
||
};
|
||
}
|
||
|
||
public override void PreVisit(Expression expression)
|
||
{
|
||
base.PreVisit(expression);
|
||
|
||
expression.OnSimpleExpressionGenerator += (_, e) =>
|
||
{
|
||
e.SimpleExpression.IsCondition = expression.IsCondition;
|
||
};
|
||
|
||
expression.OnRelationGenerator += (_, e) =>
|
||
{
|
||
e.Left.IsCondition = expression.IsCondition;
|
||
e.Right.IsCondition = expression.IsCondition;
|
||
};
|
||
if (expression.IsWhileCondition)
|
||
{
|
||
GenerateWhileLabel();
|
||
Builder.AddLine($"""
|
||
{_whileBeginLabels.Peek()}:;
|
||
""");
|
||
}
|
||
}
|
||
|
||
public override void PostVisit(Expression expression)
|
||
{
|
||
base.PostVisit(expression);
|
||
|
||
expression.OnSimpleExpressionGenerator += (_, e) =>
|
||
{
|
||
expression.VariableName = e.SimpleExpression.VariableName;
|
||
|
||
HandleExpression(expression);
|
||
};
|
||
|
||
expression.OnRelationGenerator += (_, e) =>
|
||
{
|
||
string temporaryName = GenerateTemporaryVariable();
|
||
|
||
Builder.AddLine($"{GenerateBasicTypeString(expression.VariableType)} {temporaryName} = " +
|
||
$"{e.Left.VariableName} {GenerateRelationOperator(e.Operator)} {e.Right.VariableName};");
|
||
expression.VariableName = temporaryName;
|
||
|
||
HandleExpression(expression);
|
||
};
|
||
}
|
||
|
||
private void HandleExpression(Expression expression)
|
||
{
|
||
if (expression.IsIfCondition)
|
||
{
|
||
_ifConditionNames.Push(expression.VariableName);
|
||
}
|
||
|
||
if (expression.IsForConditionBegin)
|
||
{
|
||
_forBeginConditions.Push(expression.VariableName);
|
||
}
|
||
|
||
if (expression.IsForConditionEnd)
|
||
{
|
||
_forEndConditions.Push(expression.VariableName);
|
||
}
|
||
|
||
if (expression.IsWhileCondition)
|
||
{
|
||
_whileConditionNames.Push(expression.VariableName);
|
||
}
|
||
}
|
||
|
||
|
||
/// <summary>
|
||
/// 存储IF语句中条件变量的名称
|
||
/// </summary>
|
||
private readonly Stack<string> _ifConditionNames = new();
|
||
|
||
/// <summary>
|
||
/// IF语句中成功分支的标签
|
||
/// </summary>
|
||
private readonly Stack<string> _ifTrueLabels = new();
|
||
|
||
/// <summary>
|
||
/// IF语句中失败分支的标签
|
||
/// </summary>
|
||
private readonly Stack<string> _ifFalseLabels = new();
|
||
|
||
/// <summary>
|
||
/// IF语句中结束的标签
|
||
/// </summary>
|
||
private readonly Stack<string> _ifEndLabels = new();
|
||
|
||
/// <summary>
|
||
/// FOR语句中的循环变量名称
|
||
/// </summary>
|
||
private readonly Stack<string> _forVariables = new();
|
||
|
||
/// <summary>
|
||
/// FOR语句中的循环变量的初始值
|
||
/// </summary>
|
||
private readonly Stack<string> _forBeginConditions = new();
|
||
|
||
/// <summary>
|
||
/// FOR语句中循环变量的判断值
|
||
/// </summary>
|
||
private readonly Stack<string> _forEndConditions = new();
|
||
|
||
/// <summary>
|
||
/// FOR语句开始的标签
|
||
/// </summary>
|
||
private readonly Stack<string> _forLabels = new();
|
||
|
||
/// <summary>
|
||
/// FOR语句条件判断部分的标签
|
||
/// </summary>
|
||
private readonly Stack<string> _forConditionLabels = new();
|
||
|
||
/// <summary>
|
||
/// FOR语句结束的标签
|
||
/// </summary>
|
||
private readonly Stack<string> _forEndLabels = new();
|
||
|
||
/// <summary>
|
||
/// WHILE语句条件变量的标签
|
||
/// </summary>
|
||
private readonly Stack<string> _whileConditionNames = new();
|
||
|
||
/// <summary>
|
||
/// WHILE语句开始的标签
|
||
/// </summary>
|
||
private readonly Stack<string> _whileBeginLabels = new();
|
||
|
||
/// <summary>
|
||
/// WHILE语句结束的标签
|
||
/// </summary>
|
||
private readonly Stack<string> _whileEndLabels = new();
|
||
|
||
public override void PreVisit(Statement statement)
|
||
{
|
||
base.PreVisit(statement);
|
||
|
||
statement.OnIfGenerator += (_, e) =>
|
||
{
|
||
e.Condition.IsIfCondition = true;
|
||
e.Condition.IsCondition = true;
|
||
};
|
||
|
||
statement.OnForGenerator += (_, e) =>
|
||
{
|
||
e.Begin.IsForConditionBegin = true;
|
||
e.End.IsForConditionEnd = true;
|
||
e.Do.IsForNode = true;
|
||
_forVariables.Push(e.Iterator.IdentifierName);
|
||
};
|
||
|
||
statement.OnWhileGenerator += (_, e) =>
|
||
{
|
||
e.Do.IsWhileNode = true;
|
||
e.Condition.IsWhileCondition = true;
|
||
};
|
||
}
|
||
|
||
public override void PostVisit(Statement statement)
|
||
{
|
||
base.PostVisit(statement);
|
||
|
||
statement.OnAssignGenerator += (_, e) =>
|
||
{
|
||
Builder.AddLine($"{e.Variable.VariableName} = {e.Expression.VariableName};");
|
||
};
|
||
|
||
statement.OnForGenerator += (_, _) =>
|
||
{
|
||
Builder.AddLine($"""
|
||
{_forVariables.Peek()} = {_forVariables.Peek()} + 1;
|
||
goto {_forConditionLabels.Peek()};
|
||
{_forEndLabels.Peek()}:;
|
||
""");
|
||
|
||
_forLabels.Pop();
|
||
_forConditionLabels.Pop();
|
||
_forEndLabels.Pop();
|
||
_forVariables.Pop();
|
||
_forBeginConditions.Pop();
|
||
_forEndConditions.Pop();
|
||
};
|
||
|
||
statement.OnWhileGenerator += (_, _) =>
|
||
{
|
||
Builder.AddLine($"""
|
||
goto {_whileBeginLabels.Peek()};
|
||
{_whileEndLabels.Peek()}:;
|
||
""");
|
||
_whileBeginLabels.Pop();
|
||
_whileEndLabels.Pop();
|
||
_whileConditionNames.Pop();
|
||
};
|
||
}
|
||
|
||
public override void PreVisit(ElsePart elsePart)
|
||
{
|
||
base.PreVisit(elsePart);
|
||
|
||
// 这是成功分支跳过Else的语句
|
||
Builder.AddLine($"goto {_ifEndLabels.Peek()};");
|
||
Builder.AddLine($"{_ifFalseLabels.Peek()}:;");
|
||
}
|
||
|
||
public override void PostVisit(ElsePart elsePart)
|
||
{
|
||
base.PostVisit(elsePart);
|
||
|
||
Builder.AddLine($"{_ifEndLabels.Peek()}:;");
|
||
_ifConditionNames.Pop();
|
||
_ifTrueLabels.Pop();
|
||
_ifFalseLabels.Pop();
|
||
_ifEndLabels.Pop();
|
||
}
|
||
|
||
public override void PostVisit(ProcedureCall procedureCall)
|
||
{
|
||
base.PostVisit(procedureCall);
|
||
|
||
Builder.AddLine(GenerateProcedureCall(procedureCall.ProcedureId.IdentifierName, procedureCall.Parameters) +
|
||
";");
|
||
}
|
||
|
||
public override void PostVisit(SubprogramHead subprogramHead)
|
||
{
|
||
base.PostVisit(subprogramHead);
|
||
|
||
subprogramHead.OnProcedureGenerator += (_, _) =>
|
||
{
|
||
GenerateProcedureHead(subprogramHead.SubprogramName.IdentifierName);
|
||
};
|
||
|
||
subprogramHead.OnFunctionGenerator += (_, _) =>
|
||
{
|
||
GenerateProcedureHead(subprogramHead.SubprogramName.IdentifierName);
|
||
};
|
||
}
|
||
|
||
private Symbol? _function;
|
||
|
||
private void GenerateProcedureHead(string procedureId)
|
||
{
|
||
if (!SymbolTable.TryGetParent(out SymbolTable? parent))
|
||
{
|
||
return;
|
||
}
|
||
|
||
if (!parent.TryGetSymbol(procedureId, out Symbol? symbol))
|
||
{
|
||
return;
|
||
}
|
||
|
||
if (symbol.SymbolType is not PascalFunctionType functionType)
|
||
{
|
||
return;
|
||
}
|
||
|
||
_function = symbol;
|
||
string result =
|
||
$"{GenerateBasicTypeString(functionType.ReturnType)} {procedureId}_pascal_procedure(";
|
||
|
||
// 控制格式
|
||
bool isStart = true;
|
||
|
||
foreach (PascalParameterType parameter in functionType.Parameters)
|
||
{
|
||
string value = string.Empty;
|
||
|
||
if (parameter.ParameterType is PascalBasicType)
|
||
{
|
||
value = $"{GenerateBasicTypeString(parameter.ParameterType)} {parameter.ParameterName}";
|
||
}
|
||
|
||
if (parameter.ParameterType is PascalArrayType)
|
||
{
|
||
value = $"{GenerateArrayTypeString(parameter.ParameterType)} {parameter.ParameterName}";
|
||
}
|
||
|
||
if (isStart)
|
||
{
|
||
result += value;
|
||
}
|
||
else
|
||
{
|
||
result += ", " + value;
|
||
}
|
||
|
||
isStart = false;
|
||
}
|
||
|
||
result += ")";
|
||
|
||
Builder.AddLine(result);
|
||
}
|
||
|
||
public override void PreVisit(SubprogramBody subprogramBody)
|
||
{
|
||
base.PreVisit(subprogramBody);
|
||
|
||
Builder.BeginScope();
|
||
|
||
if (_function is null)
|
||
{
|
||
return;
|
||
}
|
||
|
||
PascalFunctionType functionType = _function.SymbolType.Convert<PascalFunctionType>();
|
||
|
||
if (functionType.ReturnType != PascalBasicType.Void)
|
||
{
|
||
Builder.AddLine($"{GenerateBasicTypeString(functionType.ReturnType)} {_function.SymbolName};");
|
||
}
|
||
}
|
||
|
||
public override void PostVisit(SubprogramBody subprogramBody)
|
||
{
|
||
base.PostVisit(subprogramBody);
|
||
|
||
if (_function is null)
|
||
{
|
||
return;
|
||
}
|
||
|
||
PascalFunctionType functionType = _function.SymbolType.Convert<PascalFunctionType>();
|
||
|
||
if (functionType.ReturnType != PascalBasicType.Void)
|
||
{
|
||
Builder.AddLine($"return {_function.SymbolName};");
|
||
}
|
||
|
||
Builder.EndScope();
|
||
}
|
||
|
||
public override void PostVisit(TerminatedSyntaxNode terminatedSyntaxNode)
|
||
{
|
||
base.PostVisit(terminatedSyntaxNode);
|
||
|
||
if (terminatedSyntaxNode.Token.TokenType == SemanticTokenType.Keyword)
|
||
{
|
||
KeywordType keywordType = terminatedSyntaxNode.Token.Convert<KeywordSemanticToken>().KeywordType;
|
||
|
||
switch (keywordType)
|
||
{
|
||
case KeywordType.Then:
|
||
GenerateIfLabel();
|
||
|
||
Builder.AddLine($"""
|
||
if ({_ifConditionNames.Peek()})
|
||
goto {_ifTrueLabels.Peek()};
|
||
else
|
||
goto {_ifFalseLabels.Peek()};
|
||
{_ifTrueLabels.Peek()}:;
|
||
""");
|
||
break;
|
||
case KeywordType.To:
|
||
GenerateForLabel();
|
||
|
||
Builder.AddLine($"""
|
||
{_forVariables.Peek()} = {_forBeginConditions.Peek()};
|
||
{_forConditionLabels.Peek()}:;
|
||
""");
|
||
break;
|
||
case KeywordType.Do:
|
||
if (terminatedSyntaxNode.IsForNode)
|
||
{
|
||
Builder.AddLine($"""
|
||
if ({_forVariables.Peek()} <= {_forEndConditions.Peek()})
|
||
goto {_forLabels.Peek()};
|
||
else
|
||
goto {_forEndLabels.Peek()};
|
||
{_forLabels.Peek()}:;
|
||
""");
|
||
}
|
||
|
||
if (terminatedSyntaxNode.IsWhileNode)
|
||
{
|
||
// GenerateWhileLabel();
|
||
Builder.AddLine($"""
|
||
if (!{_whileConditionNames.Peek()})
|
||
goto {_whileEndLabels.Peek()};
|
||
""");
|
||
}
|
||
break;
|
||
case KeywordType.And:
|
||
// 加上and短路的判断代码
|
||
Builder.AddLine($"""
|
||
if (!{_termVariableName})
|
||
goto {_andCircuitLabels.Peek().Circuit};
|
||
""");
|
||
break;
|
||
case KeywordType.Or:
|
||
// 加上or短路的判断代码
|
||
Builder.AddLine($"""
|
||
if ({_simpleExpressionVairableName})
|
||
goto {_orCircuitLabels.Peek().Circuit};
|
||
""");
|
||
break;
|
||
}
|
||
}
|
||
}
|
||
|
||
private string GenerateProcedureCall(string procedureId, List<Expression> parameters)
|
||
{
|
||
string isReturn = procedureId == "writeln" || procedureId == "readln" ? "\\n" : string.Empty;
|
||
|
||
if (procedureId == "write" || procedureId == "writeln")
|
||
{
|
||
string result = $"printf(\"{GenerateFormatString(parameters, true) + isReturn}\"";
|
||
|
||
foreach (Expression parameter in parameters)
|
||
{
|
||
result += $", {parameter.VariableName}";
|
||
}
|
||
|
||
return result + ")";
|
||
}
|
||
|
||
if (procedureId == "read" || procedureId == "readln")
|
||
{
|
||
string result = $"scanf(\"{GenerateFormatString(parameters) + isReturn}\"";
|
||
|
||
foreach (Expression parameter in parameters)
|
||
{
|
||
result += $", &{parameter.VariableName}";
|
||
}
|
||
|
||
return result + ")";
|
||
}
|
||
|
||
if (!SymbolTable.TryGetSymbol(procedureId, out Symbol? symbol))
|
||
{
|
||
return string.Empty;
|
||
}
|
||
|
||
string parameterValue = string.Empty;
|
||
|
||
PascalFunctionType functionType;
|
||
if (symbol.SymbolType is not PascalFunctionType innerType)
|
||
{
|
||
// 处理函数内部的递归调用
|
||
if (!SymbolTable.TryGetParent(out SymbolTable? parent))
|
||
{
|
||
return string.Empty;
|
||
}
|
||
|
||
if (!parent.TryGetSymbol(procedureId, out symbol))
|
||
{
|
||
return string.Empty;
|
||
}
|
||
|
||
if (symbol.SymbolType is PascalFunctionType outerType)
|
||
{
|
||
functionType = outerType;
|
||
}
|
||
else
|
||
{
|
||
return string.Empty;
|
||
}
|
||
}
|
||
else
|
||
{
|
||
functionType = innerType;
|
||
}
|
||
|
||
foreach ((Expression parameter, PascalParameterType parameterType) in
|
||
parameters.Zip(functionType.Parameters))
|
||
{
|
||
if (parameterType.ParameterType.IsReference)
|
||
{
|
||
parameterValue += $", &{parameter.VariableName}";
|
||
}
|
||
else
|
||
{
|
||
parameterValue += $", {parameter.VariableName}";
|
||
}
|
||
}
|
||
|
||
parameterValue = parameterValue == string.Empty ? parameterValue : parameterValue[1..];
|
||
return $"{procedureId}_pascal_procedure({parameterValue})";
|
||
}
|
||
|
||
private static string GenerateFormatString(List<Expression> expressions, bool output = false)
|
||
{
|
||
string value = string.Empty;
|
||
|
||
foreach (Expression expression in expressions)
|
||
{
|
||
if (expression.VariableType == PascalBasicType.Integer)
|
||
{
|
||
value += "%d";
|
||
}
|
||
|
||
if (expression.VariableType == PascalBasicType.Real)
|
||
{
|
||
// 这里需要按照输出调整
|
||
// 在输出real的前面需要添加一个空格
|
||
value += output ? "%.6lf" : "%lf";
|
||
}
|
||
|
||
if (expression.VariableType == PascalBasicType.Character)
|
||
{
|
||
value += "%c";
|
||
}
|
||
}
|
||
|
||
return value;
|
||
}
|
||
|
||
private static string GenerateBasicTypeString(PascalType pascalType)
|
||
{
|
||
if (pascalType is not PascalBasicType basicType)
|
||
{
|
||
return string.Empty;
|
||
}
|
||
|
||
switch (basicType.Type)
|
||
{
|
||
case BasicType.Integer:
|
||
return basicType.IsReference ? "int *" : "int";
|
||
case BasicType.Real:
|
||
return basicType.IsReference ? "double *" : "double";
|
||
case BasicType.Character:
|
||
return basicType.IsReference ? "char *" : "char";
|
||
case BasicType.Boolean:
|
||
return basicType.IsReference ? "bool *" : "bool";
|
||
case BasicType.Void:
|
||
return "void";
|
||
}
|
||
|
||
return string.Empty;
|
||
}
|
||
|
||
private static (string, string) GenerateArrayTypeString(PascalType pascalType)
|
||
{
|
||
string periodString = string.Empty;
|
||
|
||
while (pascalType is PascalArrayType arrayType)
|
||
{
|
||
periodString += $"[{arrayType.End - arrayType.Begin + 1}]";
|
||
|
||
pascalType = arrayType.ElementType;
|
||
}
|
||
|
||
return (GenerateBasicTypeString(pascalType), periodString);
|
||
}
|
||
|
||
private static string GenerateMultipleOperator(MultiplyOperator multiplyOperator)
|
||
{
|
||
if (multiplyOperator.OperatorToken.TokenType == SemanticTokenType.Operator)
|
||
{
|
||
OperatorType operatorType = multiplyOperator.OperatorToken.Convert<OperatorSemanticToken>().OperatorType;
|
||
if (operatorType == OperatorType.Multiply)
|
||
{
|
||
return "*";
|
||
}
|
||
else if (operatorType == OperatorType.Divide)
|
||
{
|
||
//实数除法，需要将操作数强转为double
|
||
return "/(double)";
|
||
}
|
||
}
|
||
else
|
||
{
|
||
KeywordType keywordType = multiplyOperator.OperatorToken.Convert<KeywordSemanticToken>().KeywordType;
|
||
switch (keywordType)
|
||
{
|
||
case KeywordType.And:
|
||
return "&&";
|
||
case KeywordType.Mod:
|
||
return "%";
|
||
case KeywordType.Divide:
|
||
return "/";
|
||
}
|
||
}
|
||
|
||
return string.Empty;
|
||
}
|
||
|
||
private static string GenerateAddOperator(AddOperator addOperator)
|
||
{
|
||
SemanticToken token = addOperator.OperatorToken;
|
||
if (token.TokenType == SemanticTokenType.Operator)
|
||
{
|
||
OperatorType operatorType = token.Convert<OperatorSemanticToken>().OperatorType;
|
||
if (operatorType == OperatorType.Plus)
|
||
{
|
||
return "+";
|
||
}
|
||
else if (operatorType == OperatorType.Minus)
|
||
{
|
||
return "-";
|
||
}
|
||
}
|
||
else
|
||
{
|
||
return "||";
|
||
}
|
||
|
||
return string.Empty;
|
||
}
|
||
|
||
private static string GenerateRelationOperator(RelationOperator relationOperator)
|
||
{
|
||
var operatorType = relationOperator.OperatorToken.Convert<OperatorSemanticToken>().OperatorType;
|
||
switch (operatorType)
|
||
{
|
||
case OperatorType.Equal:
|
||
return "==";
|
||
case OperatorType.Greater:
|
||
return ">";
|
||
case OperatorType.Less:
|
||
return "<";
|
||
case OperatorType.GreaterEqual:
|
||
return ">=";
|
||
case OperatorType.LessEqual:
|
||
return "<=";
|
||
case OperatorType.NotEqual:
|
||
return "!=";
|
||
}
|
||
|
||
return string.Empty;
|
||
}
|
||
|
||
private long _temporaryVariableCount;
|
||
|
||
/// <summary>
|
||
/// 产生一个全局唯一的临时变量名
|
||
/// </summary>
|
||
private string GenerateTemporaryVariable()
|
||
{
|
||
string name = $"__temp_{_temporaryVariableCount}";
|
||
_temporaryVariableCount += 1;
|
||
return name;
|
||
}
|
||
|
||
private long _labelCount;
|
||
|
||
/// <summary>
|
||
/// 产生一对IF语句中的标签
|
||
/// </summary>
|
||
private void GenerateIfLabel()
|
||
{
|
||
_ifTrueLabels.Push($"if_true_{_labelCount}");
|
||
_ifFalseLabels.Push($"if_false_{_labelCount}");
|
||
_ifEndLabels.Push($"_if_end_{_labelCount}");
|
||
|
||
_labelCount += 1;
|
||
}
|
||
|
||
/// <summary>
|
||
/// 产生FOR语句中的标签
|
||
/// </summary>
|
||
private void GenerateForLabel()
|
||
{
|
||
_forLabels.Push($"for_{_labelCount}");
|
||
_forConditionLabels.Push($"for_condition_{_labelCount}");
|
||
_forEndLabels.Push($"for_end_{_labelCount}");
|
||
|
||
_labelCount += 1;
|
||
}
|
||
|
||
/// <summary>
|
||
/// 产生WHILE语句中的标签
|
||
/// </summary>
|
||
private void GenerateWhileLabel()
|
||
{
|
||
_whileBeginLabels.Push($"while_{_labelCount}");
|
||
_whileConditionNames.Push($"while_condition_{_labelCount}");
|
||
_whileEndLabels.Push($"while_end_{_labelCount}");
|
||
|
||
_labelCount += 1;
|
||
}
|
||
}
|