Changeset 187 for branches/virtualcpu4/UCompilerPascal.pas

Timestamp:

May 7, 2019, 5:58:20 PM (6 years ago)

Author:

chronos

Message:

• Added: More instruction implemented for pascal code generator.

File:

• branches/virtualcpu4/UCompilerPascal.pas (modified) (25 diffs)

branches/virtualcpu4/UCompilerPascal.pas

@@ -6 +6 @@
 
 uses
-  Classes, SysUtils, UInstructionReader, UOpcode, UCpu;
+  Classes, SysUtils, UInstructionReader, UOpcode, UCpu, strutils;
 
 type
@@ -16 +16 @@
     OpcodeDefs: TOpcodeDefs;
     Instructions: array[TOpcode] of TInstructionEvent;
+    Indent: Integer;
+    Labels: TStringList;
     procedure InstConvert;
     procedure InstNop;
@@ -91 +93 @@
 begin
   R := Reader.Read8;
-  AddLine(GetRegister(R, Reader.AddrSize) + ' := ' + GetRegister(R, Reader.DataSize));
+  AddLine(GetRegister(R, Reader.AddrSize) + ' := ' + GetRegister(R, Reader.DataSize) + ';');
 end;
 
@@ -100 +102 @@
 procedure TCompilerPascal.InstHalt;
 begin
-  AddLine('Exit');
+  AddLine('Exit;');
 end;
 
@@ -109 +111 @@
   R1 := Reader.Read8;
   R2 := Reader.Read8;
-  AddLine(GetRegister(R1, Reader.DataSize) + ' := ' + GetRegister(R2, Reader.DataSize));
+  AddLine(GetRegister(R1, Reader.DataSize) + ' := ' + GetRegister(R2, Reader.DataSize) + ';');
 end;
 
@@ -117 +119 @@
 begin
   R := Reader.Read8;
-  AddLine(GetRegister(R, Reader.DataSize) + ' := ' + IntToStr(Reader.ReadData));
+  AddLine(GetRegister(R, Reader.DataSize) + ' := ' + IntToHexEx(Reader.ReadData, -1, '$') + ';');
 end;
 
 procedure TCompilerPascal.InstJump;
 begin
-  Reader.ReadAddress;
-  // TODO
+  AddLine('GotoAddr(@L' + IntToStr(Reader.ReadAddress) + ');');
 end;
 
 procedure TCompilerPascal.InstJumpZero;
 begin
-  Reader.ReadAddress;
-  // TODO
+  AddLine('if Zero then GotoAddr(@L' + IntToStr(Reader.ReadAddress) + ');');
 end;
 
 procedure TCompilerPascal.InstJumpNotZero;
 begin
-  Reader.ReadAddress;
-  // TODO
+  AddLine('if not Zero then GotoAddr(@L' + IntToStr(Reader.ReadAddress) + ');');
 end;
 
 procedure TCompilerPascal.InstJumpRel;
-begin
-  Reader.ReadAddressSigned;
-  // TODO
+var
+  Addr: TAddressSigned;
+begin
+  Addr := Reader.ReadAddressSigned;
+  AddLine('GotoAddr(@L' + IntToStr(Reader.IP + Addr) + ');');
 end;
 
 procedure TCompilerPascal.InstJumpRelZero;
-begin
-  Reader.ReadAddressSigned;
-  // TODO
+var
+  Addr: TAddressSigned;
+begin
+  Addr := Reader.ReadAddressSigned;
+  AddLine('if Zero then GotoAddr(@L' + IntToStr(Reader.IP + Addr) + ');');
 end;
 
 procedure TCompilerPascal.InstJumpRelNotZero;
-begin
-  Reader.ReadAddressSigned;
-  // TODO
+var
+  Addr: TAddressSigned;
+begin
+  Addr := Reader.ReadAddressSigned;
+  AddLine('if not Zero then GotoAddr(@L' + IntToStr(Reader.IP + Addr) + ');');
 end;
 
@@ -161 +166 @@
 begin
   R := Reader.Read8;
-  AddLine('Z := ' + GetRegister(R, Reader.DataSize) + ' = 0');
+  AddLine('Zero := ' + GetRegister(R, Reader.DataSize) + ' = 0;');
 end;
 
@@ -169 +174 @@
 begin
   R := Reader.Read8;
-  AddLine(GetRegister(R, Reader.DataSize) + ' := -' + GetRegister(R, Reader.DataSize));
+  AddLine(GetRegister(R, Reader.DataSize) + ' := -' + GetRegister(R, Reader.DataSize) + ';');
 end;
 
@@ -177 +182 @@
 begin
   R := Reader.Read8;
-  AddLine(GetRegister(R, Reader.DataSize) + ' := 0');
+  AddLine(GetRegister(R, Reader.DataSize) + ' := 0;');
 end;
 
@@ -187 +192 @@
   R2 := Reader.Read8;
   AddLine(GetRegister(R1, Reader.DataSize) + ' := ' +
-    GetMemory(GetRegister(R2, Reader.AddrSize), Reader.AddrSize));
+    GetMemory(GetRegister(R2, Reader.AddrSize), Reader.AddrSize) + ';');
 end;
 
@@ -197 +202 @@
   R2 := Reader.Read8;
   AddLine(GetMemory(GetRegister(R1, Reader.AddrSize), Reader.AddrSize) + ' := ' +
-    GetRegister(R2, Reader.DataSize));
+    GetRegister(R2, Reader.DataSize) + ';');
 end;
 
@@ -206 +211 @@
   R1 := Reader.Read8;
   R2 := Reader.Read8;
-  // TODO
+  AddLine('Temp := ' + GetRegister(R1, Reader.DataSize) + ';');
+  AddLine(GetRegister(R1, Reader.DataSize) + ' := ' + GetRegister(R2, Reader.DataSize) + ';');
+  AddLine(GetRegister(R2, Reader.DataSize) + ' := Temp;');
 end;
 
@@ -214 +221 @@
 begin
   R := Reader.Read8;
-  AddLine('Dec(SP, ' + IntToStr(BitWidthBytes[Reader.DataSize]) + ');' + LineEnding +
-    GetMemory('SP', Reader.AddrSize) + ' := ' + GetRegister(R, Reader.DataSize));
+  AddLine('Dec(SP, ' + IntToStr(BitWidthBytes[Reader.DataSize]) + ');');
+  AddLine(GetMemory('SP', Reader.AddrSize) + ' := ' + GetRegister(R, Reader.DataSize) + ';');
 end;
 
@@ -223 +230 @@
 begin
   R := Reader.Read8;
-  AddLine(GetRegister(R, Reader.DataSize) + ' := ' + GetMemory('SP', Reader.AddrSize) + LineEnding +
-    'Inc(SP, ' + IntToStr(BitWidthBytes[Reader.DataSize]) + ');');
+  AddLine(GetRegister(R, Reader.DataSize) + ' := ' + GetMemory('SP', Reader.AddrSize) + ';');
+  AddLine('Inc(SP, ' + IntToStr(BitWidthBytes[Reader.DataSize]) + ');');
 end;
 
 procedure TCompilerPascal.InstCall;
-begin
-  Reader.ReadAddress;
-  // TODO
+var
+  Addr: QWord;
+begin
+  Addr := Reader.ReadAddress;
+  AddLine('Dec(SP, ' + IntToStr(BitWidthBytes[Reader.AddrSize]) + ');');
+  AddLine(GetMemory('SP', Reader.AddrSize) + ' := ' + IntToStr(Reader.IP) + ';');
+  AddLine('GotoAddr(@L' + IntToStr(Addr) + ');');
 end;
 
 procedure TCompilerPascal.InstRet;
 begin
-  // TODO
+  AddLine('TempAddr := Pointer(' + GetMemory('SP', Reader.AddrSize) + ');');
+  AddLine('Inc(SP, ' + IntToStr(BitWidthBytes[Reader.AddrSize]) + ');');
+  AddLine('GotoAddr(TempAddr);');
 end;
 
@@ -277 +290 @@
 
 procedure TCompilerPascal.InstMul;
-begin
-
+var
+  R1, R2: Byte;
+begin
+  R1 := Reader.Read8;
+  R2 := Reader.Read8;
+  AddLine(GetRegister(R1, Reader.DataSize) + ' := ' + GetRegister(R1, Reader.DataSize) +
+    ' * ' + GetRegister(R2, Reader.DataSize));
 end;
 
 procedure TCompilerPascal.InstDiv;
-begin
-
+var
+  R1, R2: Byte;
+begin
+  R1 := Reader.Read8;
+  R2 := Reader.Read8;
+  AddLine(GetRegister(R1, Reader.DataSize) + ' := ' + GetRegister(R1, Reader.DataSize) +
+    ' div ' + GetRegister(R2, Reader.DataSize));
 end;
 
 procedure TCompilerPascal.InstMod;
-begin
-
+var
+  R1, R2: Byte;
+begin
+  R1 := Reader.Read8;
+  R2 := Reader.Read8;
+  AddLine(GetRegister(R1, Reader.DataSize) + ' := ' + GetRegister(R1, Reader.DataSize) +
+    ' mod ' + GetRegister(R2, Reader.DataSize));
 end;
 
@@ -296 +324 @@
 begin
   R := Reader.Read8;
-  AddLine('Inc(' + GetRegister(R, Reader.DataSize) + ')');
+  AddLine('Inc(' + GetRegister(R, Reader.DataSize) + ');');
 end;
 
@@ -304 +332 @@
 begin
   R := Reader.Read8;
-  AddLine('Dec(' + GetRegister(R, Reader.DataSize) + ')');
+  AddLine('Dec(' + GetRegister(R, Reader.DataSize) + ');');
 end;
 
@@ -377 +405 @@
 procedure TCompilerPascal.InstLddr;
 begin
-
+  // TODO
 end;
 
 procedure TCompilerPascal.InstLdir;
 begin
-
+  // TODO
 end;
 
@@ -410 +438 @@
 
 procedure TCompilerPascal.InstDataSize;
-begin
-  Reader.DataSizeBase := TBitWidth(Reader.Read8);
-  Reader.DataSize := Reader.DataSizeBase;
+var
+  BitWidth: Byte;
+begin
+  BitWidth := Reader.Read8;
+  if (BitWidth <> 0) and (BitWidth <= Byte(High(TBitWidth))) then begin
+    Reader.DataSizeBase := TBitWidth(BitWidth);
+    Reader.DataSize := Reader.DataSizeBase;
+  end;
 end;
 
@@ -440 +473 @@
 
 procedure TCompilerPascal.InstAddrSize;
-begin
-  Reader.AddrSizeBase := TBitWidth(Reader.Read8);
-  Reader.AddrSize := Reader.AddrSizeBase;
+var
+  BitWidth: Byte;
+begin
+  BitWidth := Reader.Read8;
+  if (BitWidth <> 0) and (BitWidth <= Byte(High(TBitWidth))) then begin
+    Reader.AddrSizeBase := TBitWidth(BitWidth);
+    Reader.AddrSize := Reader.AddrSizeBase;
+  end; // TODO error reporting
 end;
 
@@ -500 +538 @@
 procedure TCompilerPascal.AddLine(Text: string);
 begin
-  Output := Output + '  ' + Text + ';' + LineEnding;
+  Output := Output + DupeString('  ', Indent) + Text + LineEnding;
 end;
 
 function TCompilerPascal.GetRegister(Index: Byte; BitWidth: TBitWidth): string;
 begin
-  Result := 'Registers[' + IntToStr(Index) + ']' + BitWidthSuffix[BitWidth];
+  Result := 'R' + IntToStr(Index) + BitWidthSuffix[BitWidth];
 end;
 
@@ -517 +555 @@
   Opcode: Byte;
   MemorySize: QWord;
+  OutputBody: string;
+  LabelsText: string;
+  LabelAddr: QWord;
+  I: Integer;
 begin
   Reader.Init;
   MemorySize := MemSize(Reader.Cpu.Memory);
-  Output :=
-    'type' + LineEnding +
-    '  TBitWidth = (bwNone, bw8, bw16, bw32, bw64);' + LineEnding +
-    '  TRegister = record' + LineEnding +
-    '  case TBitWidth of' + LineEnding +
-    '    bw8: (B: Byte);' + LineEnding +
-    '    bw16: (W: Word);' + LineEnding +
-    '    bw32: (D: DWord);' + LineEnding +
-    '    bw64: (Q: QWord);' + LineEnding +
-    '  end;' + LineEnding +
-    'var' + LineEnding +
-    '  Memory: Pointer;' + LineEnding +
-    '  Registers: array[0..' + IntToStr(High(Reader.Cpu.Registers)) + '] of TRegister;' + LineEnding +
-    '  SP: QWord;' + LineEnding +
-    '  Zero: Boolean;' + LineEnding +
-    'begin' + LineEnding +
-    '  Memory := GetMem(' + IntToStr(MemorySize) + ');' + LineEnding;
+  AddLine('begin');
+  AddLine('  SP := ' + IntToStr(MemorySize) + ';');
+  AddLine('  Memory := GetMem(' + IntToStr(MemorySize) + ');');
+  Inc(Indent);
   while Reader.IP < MemorySize do begin
     Reader.Prefix := False;
+    LabelAddr := Reader.IP;
     Opcode := Reader.Read8;
     if Opcode <= Integer(High(TOpcode)) then begin
+      AddLine('L' + IntToStr(LabelAddr) + ':');
+      Labels.Add('L' + IntToStr(LabelAddr));
       if Opcode < Length(Instructions) then begin
       if Assigned(Instructions[TOpcode(Opcode)]) then Instructions[TOpcode(Opcode)]
@@ -552 +584 @@
     end;
   end;
-  Output := Output + 'end.' + LineEnding;
+  Dec(Indent);
+  AddLine('end.');
+  OutputBody := Output;
+
+  Output := '';
+  AddLine('type');
+  AddLine('  TBitWidth = (bwNone, bw8, bw16, bw32, bw64);');
+  AddLine('  TRegister = record');
+  AddLine('  case TBitWidth of');
+  AddLine('    bw8: (B: Byte);');
+  AddLine('    bw16: (W: Word);');
+  AddLine('    bw32: (D: DWord);');
+  AddLine('    bw64: (Q: QWord);');
+  AddLine('  end;');
+  AddLine('var');
+  AddLine('  Memory: Pointer;');
+  for I := 0 to High(Reader.Cpu.Registers) do
+    AddLine('  R' + IntToStr(I) + ': TRegister;');
+  AddLine('  SP: QWord;');
+  AddLine('  Zero: Boolean;');
+  AddLine('  Temp: QWord;');
+  AddLine('  TempAddr: Pointer;');
+  AddLine('');
+  AddLine('procedure GotoAddr(P: Pointer); inline; assembler;');
+  AddLine('asm');
+  AddLine('  jmp P;');
+  AddLine('end;');
+  AddLine('');
+  LabelsText := '';
+  for I := 0 to Labels.Count - 1 do begin
+    if I > 0 then LabelsText := LabelsText + ', ';
+    LabelsText := LabelsText + Labels[I];
+  end;
+  AddLine('label ' + LabelsText + ';');
+  Output := Output + OutputBody;
 end;
 
@@ -559 +625 @@
   OpcodeDefs := TOpcodeDefs.Create;
   Reader := TInstructionReader.Create;
+  Labels := TStringList.Create;
   InitInstructions;
 end;
@@ -566 +633 @@
   FreeAndNil(Reader);
   FreeAndNil(OpcodeDefs);
+  FreeAndNil(Labels);
   inherited Destroy;
 end;