fpc/compiler/tcflw.pas

659 lines
20 KiB
ObjectPascal

{
$Id$
Copyright (c) 1998-2000 by Florian Klaempfl
Type checking and register allocation for nodes that influence
the flow
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
****************************************************************************
}
unit tcflw;
interface
uses
tree;
procedure first_while_repeat(var p : ptree);
procedure firstif(var p : ptree);
procedure firstfor(var p : ptree);
procedure firstexit(var p : ptree);
procedure firstgoto(var p : ptree);
procedure firstlabel(var p : ptree);
procedure firstraise(var p : ptree);
procedure firsttryexcept(var p : ptree);
procedure firsttryfinally(var p : ptree);
procedure firston(var p : ptree);
var
{ the block node of the current exception block to check gotos }
aktexceptblock : ptree;
implementation
uses
globtype,systems,
cobjects,verbose,globals,
symconst,symtable,aasm,types,
hcodegen,htypechk,temp_gen,pass_1,cpubase
{$ifdef i386}
,tgeni386
{$endif}
{$ifdef m68k}
,tgen68k
{$endif m68k}
;
{*****************************************************************************
First_While_RepeatN
*****************************************************************************}
procedure first_while_repeat(var p : ptree);
var
old_t_times : longint;
begin
old_t_times:=t_times;
{ calc register weight }
if not(cs_littlesize in aktglobalswitches ) then
t_times:=t_times*8;
cleartempgen;
firstpass(p^.left);
set_varstate(p^.left,true);
if codegenerror then
exit;
if not is_boolean(p^.left^.resulttype) then
begin
CGMessage(type_e_mismatch);
exit;
end;
p^.registers32:=p^.left^.registers32;
p^.registersfpu:=p^.left^.registersfpu;
{$ifdef SUPPORT_MMX}
p^.registersmmx:=p^.left^.registersmmx;
{$endif SUPPORT_MMX}
{ loop instruction }
if assigned(p^.right) then
begin
cleartempgen;
firstpass(p^.right);
if codegenerror then
exit;
if p^.registers32<p^.right^.registers32 then
p^.registers32:=p^.right^.registers32;
if p^.registersfpu<p^.right^.registersfpu then
p^.registersfpu:=p^.right^.registersfpu;
{$ifdef SUPPORT_MMX}
if p^.registersmmx<p^.right^.registersmmx then
p^.registersmmx:=p^.right^.registersmmx;
{$endif SUPPORT_MMX}
end;
t_times:=old_t_times;
end;
{*****************************************************************************
FirstIfN
*****************************************************************************}
procedure firstif(var p : ptree);
var
old_t_times : longint;
hp : ptree;
begin
old_t_times:=t_times;
cleartempgen;
firstpass(p^.left);
set_varstate(p^.left,true);
{ Only check type if no error, we can't leave here because
the p^.right also needs to be firstpassed }
if not codegenerror then
begin
if not is_boolean(p^.left^.resulttype) then
Message1(type_e_boolean_expr_expected,p^.left^.resulttype^.typename);
end;
p^.registers32:=p^.left^.registers32;
p^.registersfpu:=p^.left^.registersfpu;
{$ifdef SUPPORT_MMX}
p^.registersmmx:=p^.left^.registersmmx;
{$endif SUPPORT_MMX}
{ determines registers weigths }
if not(cs_littlesize in aktglobalswitches) then
t_times:=t_times div 2;
if t_times=0 then
t_times:=1;
{ if path }
if assigned(p^.right) then
begin
cleartempgen;
firstpass(p^.right);
if p^.registers32<p^.right^.registers32 then
p^.registers32:=p^.right^.registers32;
if p^.registersfpu<p^.right^.registersfpu then
p^.registersfpu:=p^.right^.registersfpu;
{$ifdef SUPPORT_MMX}
if p^.registersmmx<p^.right^.registersmmx then
p^.registersmmx:=p^.right^.registersmmx;
{$endif SUPPORT_MMX}
end;
{ else path }
if assigned(p^.t1) then
begin
cleartempgen;
firstpass(p^.t1);
if p^.registers32<p^.t1^.registers32 then
p^.registers32:=p^.t1^.registers32;
if p^.registersfpu<p^.t1^.registersfpu then
p^.registersfpu:=p^.t1^.registersfpu;
{$ifdef SUPPORT_MMX}
if p^.registersmmx<p^.t1^.registersmmx then
p^.registersmmx:=p^.t1^.registersmmx;
{$endif SUPPORT_MMX}
end;
{ leave if we've got an error in one of the paths }
if codegenerror then
exit;
if p^.left^.treetype=ordconstn then
begin
{ optimize }
if p^.left^.value=1 then
begin
disposetree(p^.left);
hp:=p^.right;
disposetree(p^.t1);
{ we cannot set p to nil !!! }
if assigned(hp) then
begin
putnode(p);
p:=hp;
end
else
begin
p^.left:=nil;
p^.t1:=nil;
p^.treetype:=nothingn;
end;
end
else
begin
disposetree(p^.left);
hp:=p^.t1;
disposetree(p^.right);
{ we cannot set p to nil !!! }
if assigned(hp) then
begin
putnode(p);
p:=hp;
end
else
begin
p^.left:=nil;
p^.right:=nil;
p^.treetype:=nothingn;
end;
end;
end;
t_times:=old_t_times;
end;
{*****************************************************************************
FirstFor
*****************************************************************************}
procedure firstfor(var p : ptree);
var
old_t_times : longint;
hp : ptree;
begin
{ Calc register weight }
old_t_times:=t_times;
if not(cs_littlesize in aktglobalswitches) then
t_times:=t_times*8;
{ save counter var }
p^.t2:=getcopy(p^.left^.left);
if p^.left^.treetype<>assignn then
CGMessage(cg_e_illegal_expression);
cleartempgen;
firstpass(p^.left);
set_varstate(p^.left,false);
cleartempgen;
if assigned(p^.t1) then
begin
firstpass(p^.t1);
if codegenerror then
exit;
end;
p^.registers32:=p^.t1^.registers32;
p^.registersfpu:=p^.t1^.registersfpu;
{$ifdef SUPPORT_MMX}
p^.registersmmx:=p^.left^.registersmmx;
{$endif SUPPORT_MMX}
if p^.left^.registers32>p^.registers32 then
p^.registers32:=p^.left^.registers32;
if p^.left^.registersfpu>p^.registersfpu then
p^.registersfpu:=p^.left^.registersfpu;
{$ifdef SUPPORT_MMX}
if p^.left^.registersmmx>p^.registersmmx then
p^.registersmmx:=p^.left^.registersmmx;
{$endif SUPPORT_MMX}
{ process count var }
cleartempgen;
firstpass(p^.t2);
set_varstate(p^.t2,true);
if codegenerror then
exit;
{ Check count var, record fields are also allowed in tp7 }
hp:=p^.t2;
while (hp^.treetype=subscriptn) do
hp:=hp^.left;
{ we need a simple loadn, but the load must be in a global symtable or
in the same lexlevel }
if not(hp^.treetype in [loadn,funcretn]) or
((hp^.symtable^.symtablelevel>1) and (hp^.symtable^.symtablelevel<>lexlevel)) then
CGMessagePos(hp^.fileinfo,cg_e_illegal_count_var)
else
begin
if hp^.symtableentry^.typ=varsym then
pvarsym(hp^.symtableentry)^.varstate:=vs_used;
if (not(is_ordinal(p^.t2^.resulttype)) or is_64bitint(p^.t2^.resulttype)) then
CGMessagePos(hp^.fileinfo,type_e_ordinal_expr_expected);
end;
if p^.t2^.registers32>p^.registers32 then
p^.registers32:=p^.t2^.registers32;
if p^.t2^.registersfpu>p^.registersfpu then
p^.registersfpu:=p^.t2^.registersfpu;
{$ifdef SUPPORT_MMX}
if p^.t2^.registersmmx>p^.registersmmx then
p^.registersmmx:=p^.t2^.registersmmx;
{$endif SUPPORT_MMX}
cleartempgen;
firstpass(p^.right);
set_varstate(p^.right,true);
if p^.right^.treetype<>ordconstn then
begin
p^.right:=gentypeconvnode(p^.right,p^.t2^.resulttype);
cleartempgen;
firstpass(p^.right);
end;
if p^.right^.registers32>p^.registers32 then
p^.registers32:=p^.right^.registers32;
if p^.right^.registersfpu>p^.registersfpu then
p^.registersfpu:=p^.right^.registersfpu;
{$ifdef SUPPORT_MMX}
if p^.right^.registersmmx>p^.registersmmx then
p^.registersmmx:=p^.right^.registersmmx;
{$endif SUPPORT_MMX}
{ we need at least one register for comparisons PM }
if p^.registers32=0 then
inc(p^.registers32);
t_times:=old_t_times;
end;
{*****************************************************************************
FirstExit
*****************************************************************************}
procedure firstexit(var p : ptree);
var
pt : ptree;
begin
if assigned(p^.left) then
begin
firstpass(p^.left);
procinfo^.funcret_state:=vs_assigned;
if codegenerror then
exit;
{ Check the 2 types }
p^.left:=gentypeconvnode(p^.left,p^.resulttype);
firstpass(p^.left);
if ret_in_param(p^.resulttype) or procinfo^.no_fast_exit then
begin
pt:=genzeronode(funcretn);
pt^.rettype.setdef(p^.resulttype);
pt^.funcretprocinfo:=procinfo;
p^.left:=gennode(assignn,pt,p^.left);
firstpass(p^.left);
end;
p^.registers32:=p^.left^.registers32;
p^.registersfpu:=p^.left^.registersfpu;
{$ifdef SUPPORT_MMX}
p^.registersmmx:=p^.left^.registersmmx;
{$endif SUPPORT_MMX}
end;
end;
{*****************************************************************************
FirstGoto
*****************************************************************************}
procedure firstgoto(var p : ptree);
begin
p^.resulttype:=voiddef;
end;
{*****************************************************************************
FirstLabel
*****************************************************************************}
procedure firstlabel(var p : ptree);
begin
cleartempgen;
p^.exceptionblock:=aktexceptblock;
firstpass(p^.left);
p^.registers32:=p^.left^.registers32;
p^.registersfpu:=p^.left^.registersfpu;
{$ifdef SUPPORT_MMX}
p^.registersmmx:=p^.left^.registersmmx;
{$endif SUPPORT_MMX}
p^.resulttype:=voiddef;
end;
{*****************************************************************************
FirstRaise
*****************************************************************************}
procedure firstraise(var p : ptree);
begin
p^.resulttype:=voiddef;
{
p^.registersfpu:=0;
p^.registers32:=0;
}
if assigned(p^.left) then
begin
firstpass(p^.left);
{ this must be a _class_ }
if (p^.left^.resulttype^.deftype<>objectdef) or
not(pobjectdef(p^.left^.resulttype)^.is_class) then
CGMessage(type_e_mismatch);
p^.registersfpu:=p^.left^.registersfpu;
p^.registers32:=p^.left^.registers32;
{$ifdef SUPPORT_MMX}
p^.registersmmx:=p^.left^.registersmmx;
{$endif SUPPORT_MMX}
if assigned(p^.right) then
begin
firstpass(p^.right);
p^.right:=gentypeconvnode(p^.right,s32bitdef);
firstpass(p^.right);
left_right_max(p);
end;
end;
end;
{*****************************************************************************
FirstTryExcept
*****************************************************************************}
procedure firsttryexcept(var p : ptree);
var
oldexceptblock : ptree;
begin
cleartempgen;
oldexceptblock:=aktexceptblock;
aktexceptblock:=p^.left;
firstpass(p^.left);
aktexceptblock:=oldexceptblock;
{ on statements }
if assigned(p^.right) then
begin
cleartempgen;
oldexceptblock:=aktexceptblock;
aktexceptblock:=p^.right;
firstpass(p^.right);
aktexceptblock:=oldexceptblock;
p^.registers32:=max(p^.registers32,p^.right^.registers32);
p^.registersfpu:=max(p^.registersfpu,p^.right^.registersfpu);
{$ifdef SUPPORT_MMX}
p^.registersmmx:=max(p^.registersmmx,p^.right^.registersmmx);
{$endif SUPPORT_MMX}
end;
{ else block }
if assigned(p^.t1) then
begin
oldexceptblock:=aktexceptblock;
aktexceptblock:=p^.t1;
firstpass(p^.t1);
aktexceptblock:=oldexceptblock;
p^.registers32:=max(p^.registers32,p^.t1^.registers32);
p^.registersfpu:=max(p^.registersfpu,p^.t1^.registersfpu);
{$ifdef SUPPORT_MMX}
p^.registersmmx:=max(p^.registersmmx,p^.t1^.registersmmx);
{$endif SUPPORT_MMX}
end;
end;
{*****************************************************************************
FirstTryFinally
*****************************************************************************}
procedure firsttryfinally(var p : ptree);
var
oldexceptblock : ptree;
begin
p^.resulttype:=voiddef;
cleartempgen;
oldexceptblock:=aktexceptblock;
aktexceptblock:=p^.left;
firstpass(p^.left);
aktexceptblock:=oldexceptblock;
set_varstate(p^.left,true);
cleartempgen;
oldexceptblock:=aktexceptblock;
aktexceptblock:=p^.right;
firstpass(p^.right);
aktexceptblock:=oldexceptblock;
set_varstate(p^.right,true);
if codegenerror then
exit;
left_right_max(p);
end;
{*****************************************************************************
FirstOn
*****************************************************************************}
procedure firston(var p : ptree);
var
oldexceptblock : ptree;
begin
{ that's really an example procedure for a firstpass :) }
cleartempgen;
p^.resulttype:=voiddef;
p^.registers32:=0;
p^.registersfpu:=0;
{$ifdef SUPPORT_MMX}
p^.registersmmx:=0;
{$endif SUPPORT_MMX}
if assigned(p^.left) then
begin
firstpass(p^.left);
p^.registers32:=p^.left^.registers32;
p^.registersfpu:=p^.left^.registersfpu;
{$ifdef SUPPORT_MMX}
p^.registersmmx:=p^.left^.registersmmx;
{$endif SUPPORT_MMX}
end;
cleartempgen;
if assigned(p^.right) then
begin
oldexceptblock:=aktexceptblock;
aktexceptblock:=p^.right;
firstpass(p^.right);
aktexceptblock:=oldexceptblock;
p^.registers32:=max(p^.registers32,p^.right^.registers32);
p^.registersfpu:=max(p^.registersfpu,p^.right^.registersfpu);
{$ifdef SUPPORT_MMX}
p^.registersmmx:=max(p^.registersmmx,p^.right^.registersmmx);
{$endif SUPPORT_MMX}
end;
end;
end.
{
$Log$
Revision 1.33 2000-02-01 09:43:22 peter
* allow funcret also as counter variable
Revision 1.32 2000/01/07 01:14:45 peter
* updated copyright to 2000
Revision 1.31 1999/12/14 09:58:42 florian
+ compiler checks now if a goto leaves an exception block
Revision 1.30 1999/12/13 11:21:24 peter
* better position for for counter errors
Revision 1.29 1999/12/09 23:18:05 pierre
* no_fast_exit if procedure contains implicit termination code
Revision 1.28 1999/12/02 17:27:56 peter
* give error when for counter is in other lexlevel
Revision 1.27 1999/11/30 10:40:58 peter
+ ttype, tsymlist
Revision 1.26 1999/11/18 15:34:49 pierre
* Notes/Hints for local syms changed to
Set_varstate function
Revision 1.25 1999/11/17 17:05:07 pierre
* Notes/hints changes
Revision 1.24 1999/11/06 14:34:30 peter
* truncated log to 20 revs
Revision 1.23 1999/10/05 22:01:53 pierre
* bug exit('test') + fail for classes
Revision 1.22 1999/10/04 20:27:41 peter
* fixed first pass for if branches if the expression got an error
Revision 1.20 1999/09/27 23:45:01 peter
* procinfo is now a pointer
* support for result setting in sub procedure
Revision 1.19 1999/09/16 23:05:56 florian
* m68k compiler is again compilable (only gas writer, no assembler reader)
Revision 1.18 1999/09/16 10:44:30 pierre
* firstexit must now set procinfo^.funcret_is_valid
Revision 1.17 1999/08/23 23:41:45 pierre
* for reg allocation corrected
Revision 1.16 1999/08/05 16:53:20 peter
* V_Fatal=1, all other V_ are also increased
* Check for local procedure when assigning procvar
* fixed comment parsing because directives
* oldtp mode directives better supported
* added some messages to errore.msg
Revision 1.15 1999/08/04 00:23:39 florian
* renamed i386asm and i386base to cpuasm and cpubase
Revision 1.14 1999/08/03 22:03:30 peter
* moved bitmask constants to sets
* some other type/const renamings
Revision 1.13 1999/08/01 18:28:15 florian
* modifications for the new code generator
Revision 1.12 1999/06/30 22:16:25 florian
* use of is_ordinal checked: often a qword/int64 isn't allowed (case/for ...)
* small qword problems fixed
Revision 1.11 1999/06/13 22:41:07 peter
* merged from fixes
Revision 1.10.2.1 1999/06/13 22:38:54 peter
* better error message when type is wrong with if statement
Revision 1.10 1999/05/27 19:45:18 peter
* removed oldasm
* plabel -> pasmlabel
* -a switches to source writing automaticly
* assembler readers OOPed
* asmsymbol automaticly external
* jumptables and other label fixes for asm readers
Revision 1.9 1999/05/01 13:24:52 peter
* merged nasm compiler
* old asm moved to oldasm/
Revision 1.8 1999/03/24 23:17:36 peter
* fixed bugs 212,222,225,227,229,231,233
Revision 1.7 1999/03/09 19:24:42 peter
* type check the exit()
Revision 1.6 1999/02/22 02:15:48 peter
* updates for ag386bin
Revision 1.5 1999/01/13 12:01:43 peter
* fixed crash with counter var
Revision 1.4 1998/12/11 00:03:55 peter
+ globtype,tokens,version unit splitted from globals
}