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
|
{ %TIMEOUT=20 }
const
err: boolean = false;
var
a, b: array[0..512] of byte;
procedure test_forward_move;
var
i, j, k: longint;
l: longint;
begin
for i := 0 to 512 do
begin
a[i] := byte(i);
b[i] := 0;
end;
for i := 0 to 256 do
for j := 0 to 31 do
for k := 0 to 31 do
begin
move(a[j],b[k+4],i);
{ check whether we didn't write a byte too early }
for l := 0 to k+3 do
begin
if b[l] <> 0 then
begin
writeln('Forward test error 1');
err := true;
halt(1);
end;
b[l] := 0;
end;
{ check whether the actual values were copied correctly }
for l := k+4 to k+i+3 do
begin
if b[l] <> a[j+l-(k+4)] then
begin
writeln('Forward test error 2');
err := true;
halt(1);
end;
b[l] := 0;
end;
{ check whether we didn't write past the end }
for l := k+i+4 to 512 do
begin
if b[l] <> 0 then
begin
writeln('Forward test error 3');
err := true;
halt(1);
end;
b[l] := 0;
end;
end;
end;
procedure test_backward_move;
var
i, j, k: longint;
l: longint;
begin
for i := 0 to 128 do
begin
for j := 0 to 31 do
for k := 0 to 31 do
begin
for l := 0 to 255 do
begin
a[l] := l;
end;
move(a[127-j],a[127-j-k],i);
{ check whether we didn't write a byte too early }
for l := 0 to 127-j-k-1 do
begin
if a[l] <> l then
begin
writeln('Backward test error 1');
err := true;
halt(1);
end;
end;
{ check whether the actual values were copied correctly }
for l := 127-j-k to 127-j-k+i-1 do
begin
if a[l] <> l+k then
begin
writeln('Backward test error 2');
err := true;
halt(1);
end;
end;
{ check whether we didn't write past the end }
for l := 127-j-k+i to 255 do
begin
if a[l] <> l then
begin
writeln('Backward test error 3');
err := true;
halt(1);
end;
end;
end;
end;
end;
begin
test_forward_move;
test_backward_move;
if err then
halt(1);
end.
|
