Skip to content

Commit

Permalink
Merge pull request #85 from egorklementev/feature/byte_short_types
Browse files Browse the repository at this point in the history 
FEATURE: 'byte' and 'short' types
  • Loading branch information
@egorklementev
egorklementev authored Jun 17, 2021
2 parents cb639cf + 94f1bac commit f77d3e3
Show file tree
Hide file tree
Showing 53 changed files with 12,126 additions and 5,703 deletions.
95 changes: 86 additions & 9 deletions ERACompiler/ERACompiler/Modules/Generation/AssignmentConstructor.cs
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
using ERACompiler.Structures;
using ERACompiler.Structures.Types;
using ERACompiler.Utilities.Errors;
using System;

namespace ERACompiler.Modules.Generation
{
Expand All @@ -24,34 +26,109 @@ public override CodeNode Construct(AASTNode aastNode, CodeNode? parent)
{
case "Primary": // Array or variable (TODO: dot-notation)
{
if (aastNode.Children[0].Children[^1].ASTType.Equals("IDENTIFIER"))
AASTNode prim = (AASTNode)aastNode.Children[0];
if (prim.Children[^1].ASTType.Equals("IDENTIFIER"))
{
if (g.regAllocVTR.ContainsKey(aastNode.Children[0].Children[^1].Token.Value))
if (g.regAllocVTR.ContainsKey(prim.Children[^1].Token.Value))
{
asgmntNode.Children.AddLast(new CodeNode("Assignment mov", asgmntNode).Add(GenerateMOV(fr0, fr1)));
// We have to store new variable value to the stack every time to overcome some strange 'goto' artifacts that may occur
asgmntNode.Children.AddLast(GetStoreVariableNode(asgmntNode, aastNode.Children[0].Children[^1].Token.Value, fr0, ctx));
asgmntNode.Children.AddLast(GetStoreVariableNode(asgmntNode, prim.Children[^1].Token.Value, fr0, ctx));
}
else
{
asgmntNode.Children.AddLast(new CodeNode("Assignment store", asgmntNode).Add(GenerateST(fr0, fr1)));
int bytesToStore = ctx.GetVarType(prim.Children[^1].Token).GetSize();
int mask = bytesToStore == 4 ? 0 : ((int)Math.Pow(256, 4) - 1) << (8 * bytesToStore); // ff ff ff 00 or ff ff 00 00 or 00 00 00 00
int mask2 = bytesToStore == 4 ? -1 : (int)Math.Pow(256, bytesToStore) - 1; // 00 00 00 ff or 00 00 ff ff or ff ff ff ff
CodeNode fr2Node = GetFreeRegisterNode(ctx, asgmntNode);
byte fr2 = fr2Node.ByteToReturn;
asgmntNode.Children.AddLast(fr2Node);
CodeNode fr3Node = GetFreeRegisterNode(ctx, asgmntNode);
byte fr3 = fr3Node.ByteToReturn;
asgmntNode.Children.AddLast(fr3Node);
asgmntNode.Children.AddLast(new CodeNode("asgmnt store cmds 1", asgmntNode)
.Add(GenerateLDC(4 - bytesToStore, fr2))
.Add(GenerateSUB(fr2, fr1))
.Add(GenerateLD(fr1, fr2))
.Add(GenerateLDC(0, fr3))
.Add(GenerateLDA(fr3, fr3, mask))
.Add(GenerateAND(fr3, fr2))
.Add(GenerateLDC(0, fr3))
.Add(GenerateLDA(fr3, fr3, mask2))
.Add(GenerateAND(fr3, fr0))
.Add(GenerateOR(fr2, fr0))
.Add(GenerateST(fr0, fr1)));
g.FreeReg(fr2);
g.FreeReg(fr3);
}
}
else if (aastNode.Children[0].Children[^1].ASTType.Equals("Expression"))
else if (prim.Children[^1].ASTType.Equals("Expression"))
{
asgmntNode.Children.AddLast(new CodeNode("Assignment store", asgmntNode).Add(GenerateST(fr0, fr1)));
int bytesToStore = ((ArrayType)ctx.GetVarType(prim.Children[^2].Token)).ElementType.GetSize(); // ATTENTION: careful here
int mask = bytesToStore == 4 ? 0 : ((int)Math.Pow(256, 4) - 1) << (8 * bytesToStore); // ff ff ff 00 or ff ff 00 00 or 00 00 00 00
int mask2 = bytesToStore == 4 ? -1 : (int)Math.Pow(256, bytesToStore) - 1; // 00 00 00 ff or 00 00 ff ff or ff ff ff ff
CodeNode fr2Node = GetFreeRegisterNode(ctx, asgmntNode);
byte fr2 = fr2Node.ByteToReturn;
asgmntNode.Children.AddLast(fr2Node);
CodeNode fr3Node = GetFreeRegisterNode(ctx, asgmntNode);
byte fr3 = fr3Node.ByteToReturn;
asgmntNode.Children.AddLast(fr3Node);
asgmntNode.Children.AddLast(new CodeNode("asgmnt store cmds 1", asgmntNode)
.Add(GenerateLDC(4 - bytesToStore, fr2))
.Add(GenerateSUB(fr2, fr1))
.Add(GenerateLD(fr1, fr2))
.Add(GenerateLDC(0, fr3))
.Add(GenerateLDA(fr3, fr3, mask))
.Add(GenerateAND(fr3, fr2))
.Add(GenerateLDC(0, fr3))
.Add(GenerateLDA(fr3, fr3, mask2))
.Add(GenerateAND(fr3, fr0))
.Add(GenerateOR(fr2, fr0))
.Add(GenerateST(fr0, fr1)));
g.FreeReg(fr2);
g.FreeReg(fr3);
}
else
{
throw new CompilationErrorException("Attempt to assign a routine call!!!\r\n" +
"At (Line: " + aastNode.Children[0].Children[0].Token.Position.Line.ToString() + ", Char: " +
aastNode.Children[0].Children[0].Token.Position.Char.ToString() + ").");
"At (Line: " + prim.Children[0].Token.Position.Line.ToString() + ", Char: " +
prim.Children[0].Token.Position.Char.ToString() + ").");
}
break;
}
case "Dereference":
{
asgmntNode.Children.AddLast(new CodeNode("Assignment store", asgmntNode).Add(GenerateST(fr0, fr1)));
int bytesToStore = GetExpressionSizeInBytes((AASTNode)aastNode.Children[0].Children[2]);
int mask = bytesToStore == 4 ? 0 : ((int)Math.Pow(256, 4) - 1) << (8 * bytesToStore); // ff ff ff 00 or ff ff 00 00 or 00 00 00 00
int mask2 = bytesToStore == 4 ? -1 : (int)Math.Pow(256, bytesToStore) - 1; // 00 00 00 ff or 00 00 ff ff or ff ff ff ff
CodeNode fr2Node = GetFreeRegisterNode(ctx, asgmntNode);
byte fr2 = fr2Node.ByteToReturn;
asgmntNode.Children.AddLast(fr2Node);
CodeNode fr3Node = GetFreeRegisterNode(ctx, asgmntNode);
byte fr3 = fr3Node.ByteToReturn;
asgmntNode.Children.AddLast(fr3Node);
asgmntNode.Children.AddLast(new CodeNode("asgmnt store cmds 1", asgmntNode)
.Add(GenerateLDC(4 - bytesToStore, fr2))
.Add(GenerateSUB(fr2, fr1))
.Add(GenerateLD(fr1, fr2))
.Add(GenerateLDC(0, fr3))
.Add(GenerateLDA(fr3, fr3, mask))
.Add(GenerateAND(fr3, fr2))
.Add(GenerateLDC(0, fr3))
.Add(GenerateLDA(fr3, fr3, mask2))
.Add(GenerateAND(fr3, fr0))
.Add(GenerateOR(fr2, fr0))
.Add(GenerateST(fr0, fr1)));
g.FreeReg(fr2);
g.FreeReg(fr3);
// Update all visible variable since we do not know what has been updated using dereference
foreach (string varName in ctx.GetAllVisibleVars())
{
if (g.regAllocVTR.ContainsKey(varName))
{
asgmntNode.Children.AddLast(GetLoadVariableNode(asgmntNode, varName, g.regAllocVTR[varName], ctx));
}
}
break;
}
case "REGISTER":
Expand Down
33 changes: 29 additions & 4 deletions ERACompiler/ERACompiler/Modules/Generation/CallConstructor.cs
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,8 @@
using ERACompiler.Structures;
using ERACompiler.Structures.Types;
using ERACompiler.Utilities.Errors;
using System;
using System.Collections.Generic;

namespace ERACompiler.Modules.Generation
{
Expand All @@ -23,20 +25,44 @@ public override CodeNode Construct(AASTNode aastNode, CodeNode? parent)
Context? ctx = SemanticAnalyzer.FindParentContext(aastNode);
CodeNode callNode = new CodeNode(aastNode, parent);

int param_i = 2;
int i = 0;
List<VarType> paramTypes = ((RoutineType)ctx.GetVarType(aastNode.Children[0].Token)).ParamTypes;
int param_i = 8;
foreach (AASTNode expr in aastNode.Children[1].Children)
{
CodeNode exprNode = base.Construct(expr, callNode);
byte fr0 = exprNode.ByteToReturn;
callNode.Children.AddLast(exprNode);

CodeNode fr1Node = GetFreeRegisterNode(ctx, callNode);
byte fr1 = fr1Node.ByteToReturn;
callNode.Children.AddLast(fr1Node);

CodeNode fr2Node = GetFreeRegisterNode(ctx, callNode);
byte fr2 = fr2Node.ByteToReturn;
callNode.Children.AddLast(fr2Node);

int mask = paramTypes[i].GetSize() == 4 ? 0 : ((int)Math.Pow(256, 4) - 1) << (8 * paramTypes[i].GetSize()); // ff ff ff 00 or ff ff 00 00 or 00 00 00 00
int mask2 = paramTypes[i].GetSize() == 4 ? -1 : (int)Math.Pow(256, paramTypes[i].GetSize()) - 1; // 00 00 00 ff or 00 00 ff ff or ff ff ff ff

callNode.Children.AddLast(new CodeNode("Parameter store", callNode)
.Add(GenerateMOV(SP, 27))
.Add(GenerateLDA(27, 27, param_i * 4))
.Add(GenerateLDA(27, 27, param_i - 4 + paramTypes[i].GetSize()))
.Add(GenerateLD(27, fr1))
.Add(GenerateLDC(0, fr2))
.Add(GenerateLDA(fr2, fr2, mask))
.Add(GenerateAND(fr2, fr1))
.Add(GenerateLDC(0, fr2))
.Add(GenerateLDA(fr2, fr2, mask2))
.Add(GenerateAND(fr2, fr0))
.Add(GenerateOR(fr1, fr0))
.Add(GenerateST(fr0, 27)));

param_i++;
param_i += paramTypes[i].GetSize();
i++;
g.FreeReg(fr0);
g.FreeReg(fr1);
g.FreeReg(fr2);
}

AASTNode mainContextNode = aastNode;
Expand All @@ -56,7 +82,6 @@ public override CodeNode Construct(AASTNode aastNode, CodeNode? parent)
.Add(GenerateLDA(SB, 27, ctx.GetStaticOffset(aastNode.Children[0].Token.Value)))
.Add(GenerateLD(27, 27))
.Add(GenerateCBR(27, 27)));
// ATTENTION: Register allocation may be needed here

if (ctx.GetRoutineReturnType(aastNode.Children[0].Token).Type != VarType.ERAType.NO_TYPE) // Return value is in R26
{
Expand Down
Loading

0 comments on commit f77d3e3

Please sign in to comment.