blob: b1be273e8db7a8c66ff27ab002a88afc2e23fdfc (
plain)
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
|
{ %VERSION=1.1 }
{ %OPT=-Or }
{ test for full boolean eval and register usage with b+ }
{$b+}
var
funcscalled: byte;
ok: boolean;
function function1: boolean;
begin
writeln('function1 called!');
inc(funcscalled);
function1 := false;
end;
function function2: boolean;
begin
writeln('function2 called!');
inc(funcscalled);
function2 := false;
end;
function function3: boolean;
begin
writeln('function3 called!');
inc(funcscalled);
function3 := false;
end;
function function4: boolean;
begin
writeln('function4 called!');
inc(funcscalled);
function4 := false;
end;
function test2: boolean;
var j, k, l, m: longint;
begin
test2 := true;
m := 0;
{ get as much regvars occupied as possible }
for j := 1 to 100 do
for k := 1 to 100 do
for l := k downto 0 do
inc(m,j - k + l);
if (j = 5) and (k = 0) and (l = 100) and function1 then
begin
test2 := false;
writeln('bug');
end;
end;
begin
ok := true;
funcscalled := 0;
if function1 and function2 and function3 and function4 then
begin
writeln('bug!');
end;
ok := funcscalled = 4;
if ok then
writeln('all functions called!')
else
writeln('not all functions called');
ok := test2 and (funcscalled = 5);
if ok then
writeln('test2 passed')
else writeln('test2 not passed');
if not ok then
begin
writeln('full boolean evaluation is not working!');
halt(1);
end;
end.
|
