Changeset 64 for trunk/Target/UTargetInterpretter.pas

Timestamp:

Dec 4, 2014, 2:59:28 PM (10 years ago)

Author:

chronos

Message:

• Modified: Now commands cmInc, cmDec, cmPointerInc, cmPointerDec and cmSet use numeric parameter to merge multiple small steps to one unary operation with numeric parameter. Optimization is done on TTarget side and not on each specific targets.
• Added: Optimization to eliminate redundant source code.
• Added: Optimization level option in Options dialog.

File:

• trunk/Target/UTargetInterpretter.pas (modified) (11 diffs)

trunk/Target/UTargetInterpretter.pas

@@ -33 +33 @@
     FThread: TTargetInterpretterThread;
     FStepCount: Integer;
-    FCommandTable: array[TBrainFuckCommand] of TCommandHandler;
+    FCommandTable: array[TMachineCommand] of TCommandHandler;
     function GetMemorySize: Integer;
     procedure SetMemorySize(AValue: Integer);
@@ -46 +46 @@
     procedure CommandLoopStart;
     procedure CommandLoopEnd;
+    procedure CommandSet;
     procedure PrepareBreakPoints;
   protected
@@ -81 +82 @@
 
 const
-  BrainFuckCommandText: array[TBrainFuckCommand] of Char = (
-    ' ', '+', '-', '>', '<', '.', ',', '[', ']', '@');
+  BrainFuckCommandText: array[TMachineCommand] of Char = (
+    ' ', '+', '-', '>', '<', '.', ',', '[', ']', '@', '=');
 
 
@@ -95 +96 @@
   SMemoryCellOutOfRange = 'Memory cell %s value out of range';
   SProgramNotRunning = 'Program not running';
+  SUnsupportedCommand = 'Unsupported command';
 
 { TTargetInterpretterThread }
@@ -111 +113 @@
           SetStateSafe(rsPaused);
         end else begin
-          FCommandTable[FProgram[FProgramIndex]];
+          if Assigned(FCommandTable[FProgram[FProgramIndex].Command]) then
+            FCommandTable[FProgram[FProgramIndex].Command]
+            else raise Exception.Create(SUnsupportedCommand);
           Inc(FProgramIndex);
           Inc(FStepCount);
@@ -177 +181 @@
   SetLength(Loop, 0);
   for I := 0 to Length(FProgram) - 1 do begin
-    case FProgram[I] of
+    case FProgram[I].Command of
       cmLoopStart: begin
         SetLength(Loop, Length(Loop) + 1);
@@ -194 +198 @@
 end;
 
-procedure TTargetInterpretter.CommandInc;
-begin
-  Memory[MemoryPosition] := ((Memory[MemoryPosition] + 1) mod CellSize);
-end;
-
-procedure TTargetInterpretter.CommandDec;
-begin
-  Memory[MemoryPosition] := ((Memory[MemoryPosition] - 1) mod CellSize);
-end;
-
-procedure TTargetInterpretter.CommandPointerInc;
-begin
-  if MemoryPosition < MemorySize then Inc(MemoryPosition)
-    else raise Exception.Create(SProgramUpperLimit);
-end;
-
-procedure TTargetInterpretter.CommandPointerDec;
-begin
-  if MemoryPosition > 0 then Dec(MemoryPosition)
-    else raise Exception.Create(SProgramLowerLimit);
-end;
-
 procedure TTargetInterpretter.CommandInput;
 begin
@@ -245 +227 @@
   if Memory[MemoryPosition] > 0 then
     FProgramIndex := SourceJump[FProgramIndex] - 1;
+end;
+
+procedure TTargetInterpretter.CommandInc;
+begin
+  Memory[MemoryPosition] := ((Memory[MemoryPosition] + FProgram[FProgramIndex].Parameter) mod CellSize);
+end;
+
+procedure TTargetInterpretter.CommandDec;
+begin
+  Memory[MemoryPosition] := ((Memory[MemoryPosition] - FProgram[FProgramIndex].Parameter) mod CellSize);
+end;
+
+procedure TTargetInterpretter.CommandPointerInc;
+begin
+  if MemoryPosition < MemorySize then Inc(MemoryPosition, FProgram[FProgramIndex].Parameter)
+    else raise Exception.Create(SProgramUpperLimit);
+end;
+
+procedure TTargetInterpretter.CommandPointerDec;
+begin
+  if MemoryPosition > 0 then Dec(MemoryPosition, FProgram[FProgramIndex].Parameter)
+    else raise Exception.Create(SProgramLowerLimit);
+end;
+
+procedure TTargetInterpretter.CommandSet;
+begin
+  Memory[MemoryPosition] := FProgram[FProgramIndex].Parameter mod CellSize;
 end;
 
@@ -286 +295 @@
   I: Integer;
 begin
-  SetLength(Result, Length(FProgram));
-  for I := 0 to Length(FProgram) - 1 do
-    Result[I + 1] := BrainFuckCommandText[FProgram[I]];
+  Result := '';
+  for I := 0 to Length(FProgram) - 1 do begin
+    Result := Result + BrainFuckCommandText[FProgram[I].Command];
+    if FProgram[I].Command in [cmInc, cmDec, cmSet, cmPointerInc, cmPointerDec] then begin
+      if FProgram[I].Parameter > 1 then
+        Result := Result + IntToStr(FProgram[I].Parameter);
+    end;
+  end;
 end;
 
@@ -402 +416 @@
   MemorySize := 30000;
   CellSize := 256;
+  // Base commands
   FCommandTable[cmInc] := CommandInc;
   FCommandTable[cmDec] := CommandDec;
@@ -410 +425 @@
   FCommandTable[cmLoopStart] := CommandLoopStart;
   FCommandTable[cmLoopEnd] := CommandLoopEnd;
+  // Extended commands
+  FCommandTable[cmSet] := CommandSet;
 end;