D16Pascal/Assignment.pas at master · Memnarch/D16Pascal · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
unit Assignment;

interface

uses
  Classes, Types, SysUtils, Generics.Collections, CodeElement, OpElement, VarDeclaration, WriterIntf, DataType;

type
  TAssignment = class(TOpElement)
  private
    FTargetVar: TVarDeclaration;
    FDereference: Boolean;
    FTargetType: TDataType;
    FSourceType: TDataType;
    procedure GenerateArrayAssignment(AWriter: IWriter; ALeft, ARight: string);
  public
    procedure GetDCPUSource(AWriter: IWriter); override;
    property TargetVar: TVarDeclaration read FTargetVar write FTargetVar;
    property Dereference: Boolean read FDereference write FDereference;
    property TargetType: TDataType read FTargetType write FTargetType;
    property SourceType: TDataType read FSourceType write FSourceType;
  end;

implementation

uses
  StrUtils, Optimizer;
{ TAssignment }

procedure TAssignment.GenerateArrayAssignment(AWriter: IWriter; ALeft,
  ARight: string);
var
  LLabel: string;
  i: Integer;
begin
  if TargetType.IsStaticArray and (TargetType.GetRamWordSize() < 11) then
  begin
    for i := 0 to TargetType.GetRamWordSize() - 1 do
    begin
      AWriter.Write('set [' + ALeft + ' + ' + IntToStr(i) + '], [' + ARight + ' + ' + IntToStr(i) + ']');
    end;
  end
  else
  begin
    LLabel := GetUniqueID('CopyLoop');
    AWriter.Write('set push, j');
    AWriter.Write('set push, i');
    AWriter.Write('set z, [' + ALeft + ' + 0xFFFF]');//-1 to get length
    AWriter.Write('set i, ' + ALeft);
    AWriter.Write('set j, ' + ARight);
    AWriter.Write(':' + LLabel);
    AWriter.Write('sti [i], [j]');
    AWriter.Write('sub z, 1');
    AWriter.Write('ifg z, 0');
    AWriter.Write('set pc, ' + LLabel);
    AWriter.Write('set i, pop');
    AWriter.Write('set j, pop');
  end;
end;

procedure TAssignment.GetDCPUSource;
var
  LAccess: string;
  LParts: TStringDynArray;
begin
  AWriter.AddMapping(Self);
  SubElements.Items[0].GetDCPUSource(Self);
  GetModifierAdressOffset(Self);
  if Dereference then
  begin
    Self.Write('set y, [' + FTargetVar.GetAccessIdentifier() + ']');
    if Modifiers.Count > 0 then
    begin
      Self.Write('add y, pop');
    end;
    Self.Write('set x, pop');
    if ((TargetType.RawType = rtArray) and (SourceType.RawType = rtArray)) then
    begin
      GenerateArrayAssignment(Self, 'y', 'x');
    end
    else
    begin
      Self.Write('set [y], x');
    end;
  end
  else
  begin
    LAccess := FTargetVar.GetAccessIdentifier;
    if AnsiIndexText(LAccess, ['a', 'b', 'c']) >= 0 then
    begin
      if Modifiers.Count > 0 then
      begin
        Self.Write('set y, pop');
        Self.Write('add y, ' + LAccess);
        if TargetType.RawType = rtArray then
        begin
          LAccess := 'y';
        end
        else
        begin
          LAccess := '[y]';
        end;
      end;
      Self.Write('set x, pop');
      if ((TargetType.RawType = rtArray) and (SourceType.RawType = rtArray)) then
      begin
        GenerateArrayAssignment(Self, LAccess, 'x');
      end
      else
      begin
        Self.Write('set ' + LAccess + ', x');
      end;
    end
    else
    begin
      if Modifiers.Count > 0 then
      begin
        Self.Write('set y, pop');
        if (FTargetVar.IsLocal) and (not (FTargetVar.DataType.RawType = rtString)) then //strings are always given as pointer!
        begin
          LParts := SplitString(LAccess, '+');
          Self.Write('add y, ' + LParts[0]);
          if Length(LParts) > 1 then
          begin
            Self.Write('add y, ' + LParts[1]);
          end;
        end
        else
        begin
          Self.Write('add y, [' + LAccess + ']');
        end;
        LAccess := 'y';
      end;
      Self.Write('set x, pop');
      if ((TargetType.RawType = rtArray) and (SourceType.RawType = rtArray)) then
      begin
        GenerateArrayAssignment(Self, LAccess, 'x');
      end
      else
      begin
        Self.Write('set [' + LAccess + '], x');
      end;
    end;
  end;
  OptimizeDCPUCode(Self.FSource, Self.FSource);
  AWriter.WriteList(Self.FSource);
end;

end.