Pascal News

2465
2466
2467
2468
2469
2470
2~71
2472
2~73
2474
2475
2476
2477
2478
2479
2480
2481
2482
2483
2484
2485
2486
2487
2488
2489
2490
2491
2492
2493
2494
2495
2496
2497
2498
2499
2500
2501
2502
2503
2504
2505
2506
2507
2508
2509
2510
2511
2512
2513
2514
2515
2516
2517
2518
2519
2520
feof:
aallfip(fsys ,1psr ,EFL);
feo1n:
oallflp( fs:,s ,1par ,ELK l;
fabs:
begin asp: =desub( asp);
if asp=intptr then gensp(ABIl else
if asp=realptr then gensp(ABR) else
if asp=longptr then gensp(ABL) else asperr(+0182);
end;
fsqr:
begin asp:=desub(asp);
if asp:intptr then
begin gen1(op dup,intsize}; genO(op_mul) end else
if asp=rea1ptr then
begin gen1(op dup,realsize);
genO (op flnu); f1 tUBed: =true
end -
else if asp=longptr then
begin gen Hop dup ,1ongsize); genO (op_dmu) end
else asperr( +0 183);
edd;
ford:
begin if not nicescalar(desub(asp)) then asperr(+01811);
asp: =intptr
end;
fchr:
checkbnds( charptr);
fpred ,fsuco:
begin asp:=desub(asp); gen1(op_1oc,ll;
if lkey=fpred then genO(op_sub) else genO(op_add);
if nicesoa1ar( asp) then genrck( asp) else asperr(+0185)
end;
fodd:
begin gen1(op_loc,l); genHop_and,intsize); asp:=boo1ptr end;
ftr-unc:
begin if asprea1ptr then asperr(+0186); opconvert(ri) end;
fround:
begin if asprea1ptr then asperr(+0187);
gensp(RND); asp:=intptr
end;
fsin:
gensp(SIN) ;
fcos:
gensp( COS);
fexp:
gensp(EXPX) ;
fsqrt:
gensp(SQT) ;
fln:
gensp(LOG) :
fare tan :
gensp(ATN);
end;
end;
if 1par then nextif(rparent,+0188);
2521
2523
2525
2526
2527
2528
2529
2530
2531
2532
2533
2534
2535
2536
2537
2538
2539
2540
2541
2542
2543
251111
25115
25116
2547
2548
2549
2550
2552
2553
2554
2555
2556
2557
2558
2559
2560
2561
2562
2564
2565
2566
2567
2568
2569
2570
2571
2572
2573
2574
2575
2576
end end;
{== = = = == = = = == = = = = = == = = = == = == = = = === = = == == = = == === = = == = = = = = = = ==== = === = = }
procedure convert( fsp:sp; 11 :integer);
{Convert tries to make the operands of some operator of the same type.
The operand types are given by fsp and a.asp. The resulting type
is put in a.asp.
11 gives the 1ino of the first instruction of the right operand.
var 12:integer;
ts :twostruct;
begin with a do begin asp: =desub( asp);
ts: =compat( fsp,asp);
case ts of
eq,subeq:
,
rl ,Ii ,ri:
opconvert( compat( asp,fsp)); ri->iretc. }
lr,il,ir:
begin 12:=lino; opconvert(ts); exchange(11,12) end;
se:
expandemptyset( fsp);
es:
begin 12: =lino; expandemptyset( asp); exchange( 11,12) end;
noteq:
asperr(+0189);
end;
if asp=rea1ptr then f1 tused: =true
end end;
procedure buildset( fsys :sos);
{This is a bad construct in pascal. Two objections:
- expr .. expr very difficult to implement on most machines
- this construct makes it hard to implement sets of different size
const
type
var
ncsw = 16; {tunabl"e}
wordset = set of O .. wbml;
i,j ,vall, val2,ncst ,11,12, sz:integer;
cst 1, cst2, cst 12, varpart :boolean;
cstpart:array[l .. ncsw] of wordset;
lsp:sp;
procedure genwordsetCs:wordset);
{level 2: « buildset}
var b,i,w:integer;
begin
if s= [) then w: =0 else
if s=[wbm1) then w:=-t15m1-1 else
begin w:=-1; b:=t14;
for i: =wbm 1-1 downto 0 do
begin if i in s then w:=w+b; b:=b div 2 end;
if wbm1 in s then w:=w-t15m1 else w:=w+1
end;
gen Hop 10c ,w)
end; -
......
""
00
I-'