mirror of
https://gitlab.com/freepascal.org/fpc/source.git
synced 2025-11-04 03:39:40 +01:00
434 lines
13 KiB
ObjectPascal
434 lines
13 KiB
ObjectPascal
{
|
|
$Id$
|
|
Copyright (c) 1999-2002 by Jonas Maebe
|
|
|
|
Contains the assembler object for the PowerPC
|
|
|
|
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 aasmcpu;
|
|
|
|
{$i fpcdefs.inc}
|
|
|
|
interface
|
|
|
|
uses
|
|
globtype,verbose,
|
|
aasmbase,aasmtai,
|
|
cpubase,cgbase,cgutils;
|
|
|
|
const
|
|
{ "mov reg,reg" source operand number }
|
|
O_MOV_SOURCE = 1;
|
|
{ "mov reg,reg" source operand number }
|
|
O_MOV_DEST = 0;
|
|
|
|
|
|
type
|
|
taicpu = class(tai_cpu_abstract)
|
|
constructor op_none(op : tasmop);
|
|
|
|
constructor op_reg(op : tasmop;_op1 : tregister);
|
|
constructor op_const(op : tasmop;_op1 : aint);
|
|
|
|
constructor op_reg_reg(op : tasmop;_op1,_op2 : tregister);
|
|
constructor op_reg_ref(op : tasmop;_op1 : tregister;const _op2 : treference);
|
|
constructor op_reg_const(op:tasmop; _op1: tregister; _op2: aint);
|
|
constructor op_const_reg(op:tasmop; _op1: aint; _op2: tregister);
|
|
|
|
constructor op_const_const(op : tasmop;_op1,_op2 : aint);
|
|
|
|
constructor op_reg_reg_reg(op : tasmop;_op1,_op2,_op3 : tregister);
|
|
constructor op_reg_reg_const(op : tasmop;_op1,_op2 : tregister; _op3: aint);
|
|
constructor op_reg_reg_sym_ofs(op : tasmop;_op1,_op2 : tregister; _op3: tasmsymbol;_op3ofs: aint);
|
|
constructor op_reg_reg_ref(op : tasmop;_op1,_op2 : tregister; const _op3: treference);
|
|
constructor op_const_reg_reg(op : tasmop;_op1 : aint;_op2, _op3 : tregister);
|
|
constructor op_const_reg_const(op : tasmop;_op1 : aint;_op2 : tregister;_op3 : aint);
|
|
constructor op_const_const_const(op : tasmop;_op1 : aint;_op2 : aint;_op3 : aint);
|
|
|
|
constructor op_reg_reg_reg_reg(op : tasmop;_op1,_op2,_op3,_op4 : tregister);
|
|
constructor op_reg_bool_reg_reg(op : tasmop;_op1: tregister;_op2:boolean;_op3,_op4:tregister);
|
|
constructor op_reg_bool_reg_const(op : tasmop;_op1: tregister;_op2:boolean;_op3:tregister;_op4: aint);
|
|
|
|
constructor op_reg_reg_reg_const_const(op : tasmop;_op1,_op2,_op3 : tregister;_op4,_op5 : aint);
|
|
constructor op_reg_reg_const_const_const(op : tasmop;_op1,_op2 : tregister;_op3,_op4,_op5 : aint);
|
|
|
|
|
|
{ this is for Jmp instructions }
|
|
constructor op_cond_sym(op : tasmop;cond:TAsmCond;_op1 : tasmsymbol);
|
|
constructor op_const_const_sym(op : tasmop;_op1,_op2 : aint;_op3: tasmsymbol);
|
|
|
|
|
|
constructor op_sym(op : tasmop;_op1 : tasmsymbol);
|
|
constructor op_sym_ofs(op : tasmop;_op1 : tasmsymbol;_op1ofs:aint);
|
|
constructor op_reg_sym_ofs(op : tasmop;_op1 : tregister;_op2:tasmsymbol;_op2ofs : aint);
|
|
constructor op_sym_ofs_ref(op : tasmop;_op1 : tasmsymbol;_op1ofs:aint;const _op2 : treference);
|
|
|
|
procedure loadbool(opidx:aint;_b:boolean);
|
|
|
|
|
|
function is_same_reg_move(regtype: Tregistertype):boolean; override;
|
|
|
|
{ register spilling code }
|
|
function spilling_get_operation_type(opnr: aint): topertype;override;
|
|
function spilling_get_operation_type_ref(opnr: aint; reg: tregister): topertype;override;
|
|
end;
|
|
|
|
tai_align = class(tai_align_abstract)
|
|
{ nothing to add }
|
|
end;
|
|
|
|
procedure InitAsm;
|
|
procedure DoneAsm;
|
|
|
|
|
|
function spilling_create_load(const ref:treference;r:tregister): tai;
|
|
function spilling_create_store(r:tregister; const ref:treference): tai;
|
|
|
|
implementation
|
|
|
|
uses cutils;
|
|
|
|
{*****************************************************************************
|
|
taicpu Constructors
|
|
*****************************************************************************}
|
|
|
|
procedure taicpu.loadbool(opidx:aint;_b:boolean);
|
|
begin
|
|
if opidx>=ops then
|
|
ops:=opidx+1;
|
|
with oper[opidx]^ do
|
|
begin
|
|
if typ=top_ref then
|
|
dispose(ref);
|
|
b:=_b;
|
|
typ:=top_bool;
|
|
end;
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_none(op : tasmop);
|
|
begin
|
|
inherited create(op);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_reg(op : tasmop;_op1 : tregister);
|
|
begin
|
|
inherited create(op);
|
|
ops:=1;
|
|
loadreg(0,_op1);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_const(op : tasmop;_op1 : aint);
|
|
begin
|
|
inherited create(op);
|
|
ops:=1;
|
|
loadconst(0,_op1);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_reg_reg(op : tasmop;_op1,_op2 : tregister);
|
|
begin
|
|
inherited create(op);
|
|
ops:=2;
|
|
loadreg(0,_op1);
|
|
loadreg(1,_op2);
|
|
end;
|
|
|
|
constructor taicpu.op_reg_const(op:tasmop; _op1: tregister; _op2: aint);
|
|
begin
|
|
inherited create(op);
|
|
ops:=2;
|
|
loadreg(0,_op1);
|
|
loadconst(1,_op2);
|
|
end;
|
|
|
|
constructor taicpu.op_const_reg(op:tasmop; _op1: aint; _op2: tregister);
|
|
begin
|
|
inherited create(op);
|
|
ops:=2;
|
|
loadconst(0,_op1);
|
|
loadreg(1,_op2);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_reg_ref(op : tasmop;_op1 : tregister;const _op2 : treference);
|
|
begin
|
|
inherited create(op);
|
|
ops:=2;
|
|
loadreg(0,_op1);
|
|
loadref(1,_op2);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_const_const(op : tasmop;_op1,_op2 : aint);
|
|
begin
|
|
inherited create(op);
|
|
ops:=2;
|
|
loadconst(0,_op1);
|
|
loadconst(1,_op2);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_reg_reg_reg(op : tasmop;_op1,_op2,_op3 : tregister);
|
|
begin
|
|
inherited create(op);
|
|
ops:=3;
|
|
loadreg(0,_op1);
|
|
loadreg(1,_op2);
|
|
loadreg(2,_op3);
|
|
end;
|
|
|
|
constructor taicpu.op_reg_reg_const(op : tasmop;_op1,_op2 : tregister; _op3: aint);
|
|
begin
|
|
inherited create(op);
|
|
ops:=3;
|
|
loadreg(0,_op1);
|
|
loadreg(1,_op2);
|
|
loadconst(2,_op3);
|
|
end;
|
|
|
|
constructor taicpu.op_reg_reg_sym_ofs(op : tasmop;_op1,_op2 : tregister; _op3: tasmsymbol;_op3ofs: aint);
|
|
begin
|
|
inherited create(op);
|
|
ops:=3;
|
|
loadreg(0,_op1);
|
|
loadreg(1,_op2);
|
|
loadsymbol(0,_op3,_op3ofs);
|
|
end;
|
|
|
|
constructor taicpu.op_reg_reg_ref(op : tasmop;_op1,_op2 : tregister; const _op3: treference);
|
|
begin
|
|
inherited create(op);
|
|
ops:=3;
|
|
loadreg(0,_op1);
|
|
loadreg(1,_op2);
|
|
loadref(2,_op3);
|
|
end;
|
|
|
|
constructor taicpu.op_const_reg_reg(op : tasmop;_op1 : aint;_op2, _op3 : tregister);
|
|
begin
|
|
inherited create(op);
|
|
ops:=3;
|
|
loadconst(0,_op1);
|
|
loadreg(1,_op2);
|
|
loadreg(2,_op3);
|
|
end;
|
|
|
|
constructor taicpu.op_const_reg_const(op : tasmop;_op1 : aint;_op2 : tregister;_op3 : aint);
|
|
begin
|
|
inherited create(op);
|
|
ops:=3;
|
|
loadconst(0,_op1);
|
|
loadreg(1,_op2);
|
|
loadconst(2,_op3);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_const_const_const(op : tasmop;_op1 : aint;_op2 : aint;_op3 : aint);
|
|
begin
|
|
inherited create(op);
|
|
ops:=3;
|
|
loadconst(0,_op1);
|
|
loadconst(1,_op2);
|
|
loadconst(2,_op3);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_reg_reg_reg_reg(op : tasmop;_op1,_op2,_op3,_op4 : tregister);
|
|
begin
|
|
inherited create(op);
|
|
ops:=4;
|
|
loadreg(0,_op1);
|
|
loadreg(1,_op2);
|
|
loadreg(2,_op3);
|
|
loadreg(3,_op4);
|
|
end;
|
|
|
|
constructor taicpu.op_reg_bool_reg_reg(op : tasmop;_op1: tregister;_op2:boolean;_op3,_op4:tregister);
|
|
begin
|
|
inherited create(op);
|
|
ops:=4;
|
|
loadreg(0,_op1);
|
|
loadbool(1,_op2);
|
|
loadreg(2,_op3);
|
|
loadreg(3,_op4);
|
|
end;
|
|
|
|
constructor taicpu.op_reg_bool_reg_const(op : tasmop;_op1: tregister;_op2:boolean;_op3:tregister;_op4: aint);
|
|
begin
|
|
inherited create(op);
|
|
ops:=4;
|
|
loadreg(0,_op1);
|
|
loadbool(0,_op2);
|
|
loadreg(0,_op3);
|
|
loadconst(0,cardinal(_op4));
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_reg_reg_reg_const_const(op : tasmop;_op1,_op2,_op3 : tregister;_op4,_op5 : aint);
|
|
begin
|
|
inherited create(op);
|
|
ops:=5;
|
|
loadreg(0,_op1);
|
|
loadreg(1,_op2);
|
|
loadreg(2,_op3);
|
|
loadconst(3,cardinal(_op4));
|
|
loadconst(4,cardinal(_op5));
|
|
end;
|
|
|
|
constructor taicpu.op_reg_reg_const_const_const(op : tasmop;_op1,_op2 : tregister;_op3,_op4,_op5 : aint);
|
|
begin
|
|
inherited create(op);
|
|
ops:=5;
|
|
loadreg(0,_op1);
|
|
loadreg(1,_op2);
|
|
loadconst(2,_op3);
|
|
loadconst(3,_op4);
|
|
loadconst(4,_op5);
|
|
end;
|
|
|
|
constructor taicpu.op_cond_sym(op : tasmop;cond:TAsmCond;_op1 : tasmsymbol);
|
|
begin
|
|
inherited create(op);
|
|
condition:=cond;
|
|
ops:=1;
|
|
loadsymbol(0,_op1,0);
|
|
end;
|
|
|
|
constructor taicpu.op_const_const_sym(op : tasmop;_op1,_op2 : aint; _op3: tasmsymbol);
|
|
begin
|
|
inherited create(op);
|
|
ops:=3;
|
|
loadconst(0,_op1);
|
|
loadconst(1,_op2);
|
|
loadsymbol(2,_op3,0);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_sym(op : tasmop;_op1 : tasmsymbol);
|
|
begin
|
|
inherited create(op);
|
|
ops:=1;
|
|
loadsymbol(0,_op1,0);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_sym_ofs(op : tasmop;_op1 : tasmsymbol;_op1ofs:aint);
|
|
begin
|
|
inherited create(op);
|
|
ops:=1;
|
|
loadsymbol(0,_op1,_op1ofs);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_reg_sym_ofs(op : tasmop;_op1 : tregister;_op2:tasmsymbol;_op2ofs : aint);
|
|
begin
|
|
inherited create(op);
|
|
ops:=2;
|
|
loadreg(0,_op1);
|
|
loadsymbol(1,_op2,_op2ofs);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_sym_ofs_ref(op : tasmop;_op1 : tasmsymbol;_op1ofs:aint;const _op2 : treference);
|
|
begin
|
|
inherited create(op);
|
|
ops:=2;
|
|
loadsymbol(0,_op1,_op1ofs);
|
|
loadref(1,_op2);
|
|
end;
|
|
|
|
|
|
{ ****************************** newra stuff *************************** }
|
|
|
|
function taicpu.is_same_reg_move(regtype: Tregistertype):boolean;
|
|
begin
|
|
result :=
|
|
(((opcode=A_MR) and
|
|
(regtype = R_INTREGISTER)) or
|
|
((opcode = A_FMR) and
|
|
(regtype = R_FPUREGISTER))) and
|
|
{ these opcodes can only have registers as operands }
|
|
(oper[0]^.reg=oper[1]^.reg);
|
|
end;
|
|
|
|
|
|
function taicpu.spilling_get_operation_type(opnr: aint): topertype;
|
|
begin
|
|
result := operand_read;
|
|
case opcode of
|
|
A_STMW,A_LMW:
|
|
internalerror(2005021805);
|
|
A_STBU, A_STBUX, A_STHU, A_STHUX, A_STWU, A_STWUX, A_STFSU, A_STFSUX, A_STFDU, A_STFDUX, A_STB, A_STBX, A_STH, A_STHX, A_STW, A_STWX, A_STFS, A_STFSX, A_STFD, A_STFDX, A_STFIWX, A_STHBRX, A_STWBRX, A_STWCX_, A_CMP, A_CMPI, A_CMPL, A_CMPLI, A_DCBA, A_DCBI, A_DCBST, A_DCBT, A_DCBTST, A_DCBZ, A_ECOWX, A_FCMPO, A_FCMPU, A_MTMSR, A_TLBIE, A_TW, A_TWI, A_CMPWI, A_CMPW, A_CMPLWI, A_CMPLW, A_MT, A_MTLR, A_MTCTR:;
|
|
else
|
|
if opnr = 0 then
|
|
result := operand_write;
|
|
end;
|
|
end;
|
|
|
|
|
|
function taicpu.spilling_get_operation_type_ref(opnr: aint; reg: tregister): topertype;
|
|
begin
|
|
result := operand_read;
|
|
case opcode of
|
|
A_STBU, A_STBUX, A_STHU, A_STHUX, A_STWU, A_STWUX, A_STFSU, A_STFSUX, A_STFDU, A_STFDUX:
|
|
if (oper[opnr]^.ref^.base = reg) then
|
|
result := operand_readwrite;
|
|
end;
|
|
end;
|
|
|
|
function spilling_create_load(const ref:treference;r:tregister): tai;
|
|
begin
|
|
result:=taicpu.op_reg_ref(A_LWZ,r,ref);
|
|
end;
|
|
|
|
|
|
function spilling_create_store(r:tregister; const ref:treference): tai;
|
|
begin
|
|
result:=taicpu.op_reg_ref(A_STW,r,ref);
|
|
end;
|
|
|
|
|
|
procedure InitAsm;
|
|
begin
|
|
end;
|
|
|
|
|
|
procedure DoneAsm;
|
|
begin
|
|
end;
|
|
|
|
|
|
begin
|
|
cai_align:=tai_align;
|
|
cai_cpu:=taicpu;
|
|
end.
|
|
{
|
|
$Log$
|
|
Revision 1.31 2005-02-18 23:37:51 jonas
|
|
* fixed spilling for several ppc instructions which only read registers
|
|
+ added support for registers in references that get changed (load/store
|
|
with update)
|
|
|
|
Revision 1.30 2005/02/14 17:13:10 peter
|
|
* truncate log
|
|
|
|
}
|