mirror of
https://gitlab.com/freepascal.org/fpc/source.git
synced 2025-11-04 11:39:40 +01:00
edb2179730
* ppc get/freeintparaloc now check whether the parameter regs are
properly allocated/deallocated (and get an extra list para)
* ppc a_call_* now internalerrors if pi_do_call is not yet set
* fixed lot of missing pi_do_call's
281 lines
10 KiB
ObjectPascal
281 lines
10 KiB
ObjectPascal
{
|
|
$Id$
|
|
Copyright (c) 1998-2002 by Florian Klaempfl
|
|
|
|
Generate 680x0 assembler for math nodes
|
|
|
|
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 n68kmat;
|
|
|
|
{$i fpcdefs.inc}
|
|
|
|
interface
|
|
|
|
uses
|
|
node,nmat,ncgmat,cpubase,cginfo;
|
|
|
|
type
|
|
|
|
|
|
tm68knotnode = class(tnotnode)
|
|
procedure pass_2;override;
|
|
end;
|
|
|
|
tm68kmoddivnode = class(tcgmoddivnode)
|
|
procedure emit_div_reg_reg(signed: boolean;denum,num : tregister);override;
|
|
procedure emit_mod_reg_reg(signed: boolean;denum,num : tregister);override;
|
|
end;
|
|
|
|
|
|
|
|
implementation
|
|
|
|
uses
|
|
globtype,systems,
|
|
cutils,verbose,globals,
|
|
symconst,symdef,aasmbase,aasmtai,aasmcpu,
|
|
cgbase,pass_1,pass_2,
|
|
ncon,
|
|
cpuinfo,paramgr,defutil,
|
|
tgobj,ncgutil,cgobj,rgobj,rgcpu,cgcpu,cg64f32;
|
|
|
|
|
|
|
|
|
|
{*****************************************************************************
|
|
TM68KNOTNODE
|
|
*****************************************************************************}
|
|
|
|
procedure tm68knotnode.pass_2;
|
|
var
|
|
hl : tasmlabel;
|
|
opsize : tcgsize;
|
|
begin
|
|
opsize:=def_cgsize(resulttype.def);
|
|
if is_boolean(resulttype.def) then
|
|
begin
|
|
{ the second pass could change the location of left }
|
|
{ if it is a register variable, so we've to do }
|
|
{ this before the case statement }
|
|
if left.location.loc<>LOC_JUMP then
|
|
secondpass(left);
|
|
|
|
case left.location.loc of
|
|
LOC_JUMP :
|
|
begin
|
|
location_reset(location,LOC_JUMP,OS_NO);
|
|
hl:=truelabel;
|
|
truelabel:=falselabel;
|
|
falselabel:=hl;
|
|
secondpass(left);
|
|
maketojumpbool(exprasmlist,left,lr_load_regvars);
|
|
hl:=truelabel;
|
|
truelabel:=falselabel;
|
|
falselabel:=hl;
|
|
end;
|
|
LOC_FLAGS :
|
|
begin
|
|
location_copy(location,left.location);
|
|
location_release(exprasmlist,left.location);
|
|
inverse_flags(location.resflags);
|
|
end;
|
|
LOC_CONSTANT,
|
|
LOC_REGISTER,
|
|
LOC_CREGISTER,
|
|
LOC_REFERENCE,
|
|
LOC_CREFERENCE :
|
|
begin
|
|
location_force_reg(exprasmlist,left.location,def_cgsize(resulttype.def),true);
|
|
exprasmlist.concat(taicpu.op_reg(A_TST,tcgsize2opsize[opsize],left.location.register));
|
|
location_release(exprasmlist,left.location);
|
|
location_reset(location,LOC_FLAGS,OS_NO);
|
|
location.resflags:=F_E;
|
|
end;
|
|
else
|
|
internalerror(200203224);
|
|
end;
|
|
end
|
|
else if is_64bitint(left.resulttype.def) then
|
|
begin
|
|
secondpass(left);
|
|
location_copy(location,left.location);
|
|
location_force_reg(exprasmlist,location,OS_64,false);
|
|
cg64.a_op64_loc_reg(exprasmlist,OP_NOT,location,
|
|
joinreg64(location.registerlow,location.registerhigh));
|
|
end
|
|
else
|
|
begin
|
|
secondpass(left);
|
|
location_force_reg(exprasmlist,left.location,def_cgsize(left.resulttype.def),false);
|
|
location_copy(location,left.location);
|
|
if location.loc=LOC_CREGISTER then
|
|
location.register := rg.getregisterint(exprasmlist,opsize);
|
|
{ perform the NOT operation }
|
|
cg.a_op_reg_reg(exprasmlist,OP_NOT,opsize,location.register,left.location.register);
|
|
end;
|
|
end;
|
|
|
|
|
|
{*****************************************************************************
|
|
TM68KMODDIVNODE
|
|
*****************************************************************************}
|
|
procedure tm68kmoddivnode.emit_div_reg_reg(signed: boolean;denum,num : tregister);
|
|
var
|
|
continuelabel : tasmlabel;
|
|
reg_d0,reg_d1 : tregister;
|
|
begin
|
|
{ no RTL call, so inline a zero denominator verification }
|
|
if aktoptprocessor <> MC68000 then
|
|
begin
|
|
{ verify if denominator is zero }
|
|
objectlibrary.getlabel(continuelabel);
|
|
{ compare against zero, if not zero continue }
|
|
cg.a_cmp_const_reg_label(exprasmlist,OS_S32,OC_NE,0,denum,continuelabel);
|
|
cg.a_param_const(exprasmlist, OS_S32,200,paramanager.getintparaloc(exprasmlist,1));
|
|
cg.a_call_name(exprasmlist,'FPC_HANDLEERROR');
|
|
paramanager.freeintparaloc(exprasmlist,1);
|
|
cg.a_label(exprasmlist, continuelabel);
|
|
if signed then
|
|
exprasmlist.concat(taicpu.op_reg_reg(A_DIVS,S_L,denum,num))
|
|
else
|
|
exprasmlist.concat(taicpu.op_reg_reg(A_DIVU,S_L,denum,num));
|
|
{ result should be in denuminator }
|
|
cg.a_load_reg_reg(exprasmlist,OS_INT,OS_INT,num,denum);
|
|
end
|
|
else
|
|
begin
|
|
{ On MC68000/68010 mw must pass through RTL routines }
|
|
reg_d0:=rg.getexplicitregisterint(exprasmlist,NR_D0);
|
|
reg_d1:=rg.getexplicitregisterint(exprasmlist,NR_D1);
|
|
{ put numerator in d0 }
|
|
cg.a_load_reg_reg(exprasmlist,OS_INT,OS_INT,num,reg_d0);
|
|
{ put denum in D1 }
|
|
cg.a_load_reg_reg(exprasmlist,OS_INT,OS_INT,denum,reg_d1);
|
|
if signed then
|
|
cg.a_call_name(exprasmlist,'FPC_DIV_LONGINT')
|
|
else
|
|
cg.a_call_name(exprasmlist,'FPC_DIV_CARDINAL');
|
|
cg.a_load_reg_reg(exprasmlist,OS_INT,OS_INT,reg_d0,denum);
|
|
rg.ungetregisterint(exprasmlist,reg_d0);
|
|
rg.ungetregisterint(exprasmlist,reg_d1);
|
|
end;
|
|
end;
|
|
|
|
procedure tm68kmoddivnode.emit_mod_reg_reg(signed: boolean;denum,num : tregister);
|
|
var tmpreg : tregister;
|
|
continuelabel : tasmlabel;
|
|
signlabel : tasmlabel;
|
|
reg_d0,reg_d1 : tregister;
|
|
begin
|
|
{ no RTL call, so inline a zero denominator verification }
|
|
if aktoptprocessor <> MC68000 then
|
|
begin
|
|
{ verify if denominator is zero }
|
|
objectlibrary.getlabel(continuelabel);
|
|
{ compare against zero, if not zero continue }
|
|
cg.a_cmp_const_reg_label(exprasmlist,OS_S32,OC_NE,0,denum,continuelabel);
|
|
cg.a_param_const(exprasmlist, OS_S32,200,paramanager.getintparaloc(exprasmlist,1));
|
|
cg.a_call_name(exprasmlist,'FPC_HANDLEERROR');
|
|
paramanager.freeintparaloc(exprasmlist,1);
|
|
cg.a_label(exprasmlist, continuelabel);
|
|
|
|
tmpreg := cg.get_scratch_reg_int(exprasmlist,OS_INT);
|
|
|
|
{ we have to prepare the high register with the }
|
|
{ correct sign. i.e we clear it, check if the low dword reg }
|
|
{ which will participate in the division is signed, if so we}
|
|
{ we extend the sign to the high doword register by inverting }
|
|
{ all the bits. }
|
|
exprasmlist.concat(taicpu.op_reg(A_CLR,S_L,tmpreg));
|
|
objectlibrary.getlabel(signlabel);
|
|
exprasmlist.concat(taicpu.op_reg(A_TST,S_L,tmpreg));
|
|
cg.a_cmp_const_reg_label(exprasmlist,OS_S32,OC_A,0,tmpreg,signlabel);
|
|
{ its a negative value, therefore change sign }
|
|
cg.a_label(exprasmlist,signlabel);
|
|
{ tmpreg:num / denum }
|
|
|
|
if signed then
|
|
exprasmlist.concat(taicpu.op_reg_reg_reg(A_DIVSL,S_L,denum,tmpreg,num))
|
|
else
|
|
exprasmlist.concat(taicpu.op_reg_reg_reg(A_DIVUL,S_L,denum,tmpreg,num));
|
|
{ remainder in tmpreg }
|
|
cg.a_load_reg_reg(exprasmlist,OS_INT,OS_INT,tmpreg,denum);
|
|
cg.free_scratch_reg(exprasmlist,tmpreg);
|
|
end
|
|
else
|
|
begin
|
|
{ On MC68000/68010 mw must pass through RTL routines }
|
|
Reg_d0:=rg.getexplicitregisterint(exprasmlist,NR_D0);
|
|
Reg_d1:=rg.getexplicitregisterint(exprasmlist,NR_D1);
|
|
{ put numerator in d0 }
|
|
cg.a_load_reg_reg(exprasmlist,OS_INT,OS_INT,num,Reg_D0);
|
|
{ put denum in D1 }
|
|
cg.a_load_reg_reg(exprasmlist,OS_INT,OS_INT,denum,Reg_D1);
|
|
if signed then
|
|
cg.a_call_name(exprasmlist,'FPC_MOD_LONGINT')
|
|
else
|
|
cg.a_call_name(exprasmlist,'FPC_MOD_CARDINAL');
|
|
cg.a_load_reg_reg(exprasmlist,OS_INT,OS_INT,Reg_D0,denum);
|
|
rg.ungetregisterint(exprasmlist,Reg_D0);
|
|
rg.ungetregisterint(exprasmlist,Reg_D1);
|
|
end;
|
|
end;
|
|
|
|
|
|
|
|
begin
|
|
cnotnode:=tm68knotnode;
|
|
cmoddivnode:=tm68kmoddivnode;
|
|
end.
|
|
{
|
|
$Log$
|
|
Revision 1.7 2003-06-07 18:57:04 jonas
|
|
+ added freeintparaloc
|
|
* ppc get/freeintparaloc now check whether the parameter regs are
|
|
properly allocated/deallocated (and get an extra list para)
|
|
* ppc a_call_* now internalerrors if pi_do_call is not yet set
|
|
* fixed lot of missing pi_do_call's
|
|
|
|
Revision 1.6 2003/02/19 22:00:16 daniel
|
|
* Code generator converted to new register notation
|
|
- Horribily outdated todo.txt removed
|
|
|
|
Revision 1.5 2003/02/02 19:25:54 carl
|
|
* Several bugfixes for m68k target (register alloc., opcode emission)
|
|
+ VIS target
|
|
+ Generic add more complete (still not verified)
|
|
|
|
Revision 1.4 2002/09/07 15:25:13 peter
|
|
* old logs removed and tabs fixed
|
|
|
|
Revision 1.3 2002/08/15 15:15:55 carl
|
|
* jmpbuf size allocation for exceptions is now cpu specific (as it should)
|
|
* more generic nodes for maths
|
|
* several fixes for better m68k support
|
|
|
|
Revision 1.2 2002/08/15 08:13:54 carl
|
|
- a_load_sym_ofs_reg removed
|
|
* loadvmt now calls loadaddr_ref_reg instead
|
|
|
|
Revision 1.1 2002/08/14 19:16:34 carl
|
|
+ m68k type conversion nodes
|
|
+ started some mathematical nodes
|
|
* out of bound references should now be handled correctly
|
|
|
|
}
|