mirror of
				https://gitlab.com/freepascal.org/fpc/source.git
				synced 2025-10-30 05:11:29 +01:00 
			
		
		
		
	
		
			
				
	
	
		
			495 lines
		
	
	
		
			16 KiB
		
	
	
	
		
			ObjectPascal
		
	
	
	
	
	
			
		
		
	
	
			495 lines
		
	
	
		
			16 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
 | |
|   cclasses,aasmtai,
 | |
|   aasmbase,globals,verbose,
 | |
|   cpubase,cpuinfo;
 | |
| 
 | |
|     const
 | |
|       { "mov reg,reg" source operand number }
 | |
|       O_MOV_SOURCE = 1;
 | |
|       { "mov reg,reg" source operand number }
 | |
|       O_MOV_DEST = 0;
 | |
| 
 | |
| 
 | |
|     type
 | |
|       taicpu = class(taicpu_abstract)
 | |
|          constructor op_none(op : tasmop);
 | |
| 
 | |
|          constructor op_reg(op : tasmop;_op1 : tregister);
 | |
|          constructor op_const(op : tasmop;_op1 : longint);
 | |
| 
 | |
|          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: longint);
 | |
|          constructor op_const_reg(op:tasmop; _op1: longint; _op2: tregister);
 | |
| 
 | |
|          constructor op_const_const(op : tasmop;_op1,_op2 : longint);
 | |
| 
 | |
|          constructor op_reg_reg_reg(op : tasmop;_op1,_op2,_op3 : tregister);
 | |
|          constructor op_reg_reg_const(op : tasmop;_op1,_op2 : tregister; _op3: Longint);
 | |
|          constructor op_reg_reg_sym_ofs(op : tasmop;_op1,_op2 : tregister; _op3: tasmsymbol;_op3ofs: longint);
 | |
|          constructor op_reg_reg_ref(op : tasmop;_op1,_op2 : tregister; const _op3: treference);
 | |
|          constructor op_const_reg_reg(op : tasmop;_op1 : longint;_op2, _op3 : tregister);
 | |
|          constructor op_const_reg_const(op : tasmop;_op1 : longint;_op2 : tregister;_op3 : longint);
 | |
| 
 | |
|          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: longint);
 | |
| 
 | |
|          constructor op_reg_reg_reg_const_const(op : tasmop;_op1,_op2,_op3 : tregister;_op4,_op5 : Longint);
 | |
|          constructor op_reg_reg_const_const_const(op : tasmop;_op1,_op2 : tregister;_op3,_op4,_op5 : Longint);
 | |
| 
 | |
| 
 | |
|          { this is for Jmp instructions }
 | |
|          constructor op_cond_sym(op : tasmop;cond:TAsmCond;_op1 : tasmsymbol);
 | |
|          constructor op_const_const_sym(op : tasmop;_op1,_op2 : longint;_op3: tasmsymbol);
 | |
| 
 | |
| 
 | |
|          constructor op_sym(op : tasmop;_op1 : tasmsymbol);
 | |
|          constructor op_sym_ofs(op : tasmop;_op1 : tasmsymbol;_op1ofs:longint);
 | |
|          constructor op_reg_sym_ofs(op : tasmop;_op1 : tregister;_op2:tasmsymbol;_op2ofs : longint);
 | |
|          constructor op_sym_ofs_ref(op : tasmop;_op1 : tasmsymbol;_op1ofs:longint;const _op2 : treference);
 | |
| 
 | |
|          procedure loadbool(opidx:longint;_b:boolean);
 | |
| 
 | |
| 
 | |
|          function is_nop: boolean; override;
 | |
|          function is_move:boolean; override;
 | |
|          function spill_registers(list:Taasmoutput;
 | |
|                                   rgget:Trggetproc;
 | |
|                                   rgunget:Trgungetproc;
 | |
|                                   r:Tsupregset;
 | |
|                                   var unusedregsint:Tsupregset;
 | |
|                                   const spilltemplist:Tspill_temp_list):boolean; override;
 | |
| 
 | |
| 
 | |
|       end;
 | |
| 
 | |
|       tai_align = class(tai_align_abstract)
 | |
|         { nothing to add }
 | |
|       end;
 | |
| 
 | |
|     procedure InitAsm;
 | |
|     procedure DoneAsm;
 | |
| 
 | |
| 
 | |
| implementation
 | |
| 
 | |
| {*****************************************************************************
 | |
|                                  taicpu Constructors
 | |
| *****************************************************************************}
 | |
| 
 | |
|     procedure taicpu.loadbool(opidx:longint;_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);
 | |
|          if (_op1.enum = R_INTREGISTER) and (_op1.number = NR_NO) then
 | |
|            internalerror(2003031207);
 | |
|          ops:=1;
 | |
|          loadreg(0,_op1);
 | |
|       end;
 | |
| 
 | |
| 
 | |
|     constructor taicpu.op_const(op : tasmop;_op1 : longint);
 | |
|       begin
 | |
|          inherited create(op);
 | |
|          ops:=1;
 | |
|          loadconst(0,aword(_op1));
 | |
|       end;
 | |
| 
 | |
| 
 | |
|     constructor taicpu.op_reg_reg(op : tasmop;_op1,_op2 : tregister);
 | |
|       begin
 | |
|          inherited create(op);
 | |
|          if (_op1.enum = R_INTREGISTER) and (_op1.number = NR_NO) then
 | |
|            internalerror(2003031205);
 | |
|          if (_op2.enum = R_INTREGISTER) and (_op2.number = NR_NO) then
 | |
|            internalerror(2003031206);
 | |
|          ops:=2;
 | |
|          loadreg(0,_op1);
 | |
|          loadreg(1,_op2);
 | |
|       end;
 | |
| 
 | |
|     constructor taicpu.op_reg_const(op:tasmop; _op1: tregister; _op2: longint);
 | |
|       begin
 | |
|          inherited create(op);
 | |
|          if (_op1.enum = R_INTREGISTER) and (_op1.number = NR_NO) then
 | |
|            internalerror(2003031208);
 | |
|          ops:=2;
 | |
|          loadreg(0,_op1);
 | |
|          loadconst(1,aword(_op2));
 | |
|       end;
 | |
| 
 | |
|      constructor taicpu.op_const_reg(op:tasmop; _op1: longint; _op2: tregister);
 | |
|       begin
 | |
|          inherited create(op);
 | |
|          if (_op2.enum = R_INTREGISTER) and (_op2.number = NR_NO) then
 | |
|            internalerror(2003031209);
 | |
|          ops:=2;
 | |
|          loadconst(0,aword(_op1));
 | |
|          loadreg(1,_op2);
 | |
|       end;
 | |
| 
 | |
| 
 | |
|     constructor taicpu.op_reg_ref(op : tasmop;_op1 : tregister;const _op2 : treference);
 | |
|       begin
 | |
|          inherited create(op);
 | |
|          if (_op1.enum = R_INTREGISTER) and (_op1.number = NR_NO) then
 | |
|            internalerror(2003031210);
 | |
|          ops:=2;
 | |
|          loadreg(0,_op1);
 | |
|          loadref(1,_op2);
 | |
|       end;
 | |
| 
 | |
| 
 | |
|     constructor taicpu.op_const_const(op : tasmop;_op1,_op2 : longint);
 | |
|       begin
 | |
|          inherited create(op);
 | |
|          ops:=2;
 | |
|          loadconst(0,aword(_op1));
 | |
|          loadconst(1,aword(_op2));
 | |
|       end;
 | |
| 
 | |
| 
 | |
|     constructor taicpu.op_reg_reg_reg(op : tasmop;_op1,_op2,_op3 : tregister);
 | |
|       begin
 | |
|          inherited create(op);
 | |
|          if (_op1.enum = R_INTREGISTER) and (_op1.number = NR_NO) then
 | |
|            internalerror(2003031211);
 | |
|          if (_op2.enum = R_INTREGISTER) and (_op2.number = NR_NO) then
 | |
|            internalerror(2003031212);
 | |
|          if (_op3.enum = R_INTREGISTER) and (_op3.number = NR_NO) then
 | |
|            internalerror(2003031213);
 | |
|          ops:=3;
 | |
|          loadreg(0,_op1);
 | |
|          loadreg(1,_op2);
 | |
|          loadreg(2,_op3);
 | |
|       end;
 | |
| 
 | |
|      constructor taicpu.op_reg_reg_const(op : tasmop;_op1,_op2 : tregister; _op3: Longint);
 | |
|        begin
 | |
|          inherited create(op);
 | |
|          if (_op1.enum = R_INTREGISTER) and (_op1.number = NR_NO) then
 | |
|            internalerror(2003031214);
 | |
|          if (_op2.enum = R_INTREGISTER) and (_op2.number = NR_NO) then
 | |
|            internalerror(2003031215);
 | |
|          ops:=3;
 | |
|          loadreg(0,_op1);
 | |
|          loadreg(1,_op2);
 | |
|          loadconst(2,aword(_op3));
 | |
|       end;
 | |
| 
 | |
|      constructor taicpu.op_reg_reg_sym_ofs(op : tasmop;_op1,_op2 : tregister; _op3: tasmsymbol;_op3ofs: longint);
 | |
|        begin
 | |
|          inherited create(op);
 | |
|          if (_op1.enum = R_INTREGISTER) and (_op1.number = NR_NO) then
 | |
|            internalerror(2003031216);
 | |
|          if (_op2.enum = R_INTREGISTER) and (_op2.number = NR_NO) then
 | |
|            internalerror(2003031217);
 | |
|          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);
 | |
|          if (_op1.enum = R_INTREGISTER) and (_op1.number = NR_NO) then
 | |
|            internalerror(2003031218);
 | |
|          if (_op2.enum = R_INTREGISTER) and (_op2.number = NR_NO) then
 | |
|            internalerror(2003031219);
 | |
|          ops:=3;
 | |
|          loadreg(0,_op1);
 | |
|          loadreg(1,_op2);
 | |
|          loadref(2,_op3);
 | |
|       end;
 | |
| 
 | |
|     constructor taicpu.op_const_reg_reg(op : tasmop;_op1 : longint;_op2, _op3 : tregister);
 | |
|       begin
 | |
|          inherited create(op);
 | |
|          if (_op2.enum = R_INTREGISTER) and (_op2.number = NR_NO) then
 | |
|            internalerror(2003031221);
 | |
|          if (_op3.enum = R_INTREGISTER) and (_op3.number = NR_NO) then
 | |
|            internalerror(2003031220);
 | |
|          ops:=3;
 | |
|          loadconst(0,aword(_op1));
 | |
|          loadreg(1,_op2);
 | |
|          loadreg(2,_op3);
 | |
|       end;
 | |
| 
 | |
|      constructor taicpu.op_const_reg_const(op : tasmop;_op1 : longint;_op2 : tregister;_op3 : longint);
 | |
|       begin
 | |
|          inherited create(op);
 | |
|          if (_op2.enum = R_INTREGISTER) and (_op2.number = NR_NO) then
 | |
|            internalerror(2003031222);
 | |
|          ops:=3;
 | |
|          loadconst(0,aword(_op1));
 | |
|          loadreg(1,_op2);
 | |
|          loadconst(2,aword(_op3));
 | |
|       end;
 | |
| 
 | |
| 
 | |
|      constructor taicpu.op_reg_reg_reg_reg(op : tasmop;_op1,_op2,_op3,_op4 : tregister);
 | |
|       begin
 | |
|          inherited create(op);
 | |
|          if (_op1.enum = R_INTREGISTER) and (_op1.number = NR_NO) then
 | |
|            internalerror(2003031223);
 | |
|          if (_op2.enum = R_INTREGISTER) and (_op2.number = NR_NO) then
 | |
|            internalerror(2003031224);
 | |
|          if (_op3.enum = R_INTREGISTER) and (_op3.number = NR_NO) then
 | |
|            internalerror(2003031225);
 | |
|          if (_op4.enum = R_INTREGISTER) and (_op4.number = NR_NO) then
 | |
|            internalerror(2003031226);
 | |
|          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);
 | |
|          if (_op1.enum = R_INTREGISTER) and (_op1.number = NR_NO) then
 | |
|            internalerror(2003031227);
 | |
|          if (_op3.enum = R_INTREGISTER) and (_op3.number = NR_NO) then
 | |
|            internalerror(2003031228);
 | |
|          if (_op4.enum = R_INTREGISTER) and (_op4.number = NR_NO) then
 | |
|            internalerror(2003031229);
 | |
|          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: longint);
 | |
|       begin
 | |
|          inherited create(op);
 | |
|          if (_op1.enum = R_INTREGISTER) and (_op1.number = NR_NO) then
 | |
|            internalerror(2003031230);
 | |
|          if (_op3.enum = R_INTREGISTER) and (_op3.number = NR_NO) then
 | |
|            internalerror(2003031231);
 | |
|          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 : Longint);
 | |
|       begin
 | |
|          inherited create(op);
 | |
|          if (_op1.enum = R_INTREGISTER) and (_op1.number = NR_NO) then
 | |
|            internalerror(2003031232);
 | |
|          if (_op2.enum = R_INTREGISTER) and (_op2.number = NR_NO) then
 | |
|            internalerror(2003031233);
 | |
|          if (_op3.enum = R_INTREGISTER) and (_op3.number = NR_NO) then
 | |
|            internalerror(2003031233);
 | |
|          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 : Longint);
 | |
|       begin
 | |
|          inherited create(op);
 | |
|          if (_op1.enum = R_INTREGISTER) and (_op1.number = NR_NO) then
 | |
|            internalerror(2003031232);
 | |
|          if (_op2.enum = R_INTREGISTER) and (_op2.number = NR_NO) then
 | |
|            internalerror(2003031233);
 | |
|          ops:=5;
 | |
|          loadreg(0,_op1);
 | |
|          loadreg(1,_op2);
 | |
|          loadconst(2,aword(_op3));
 | |
|          loadconst(3,cardinal(_op4));
 | |
|          loadconst(4,cardinal(_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 : longint; _op3: tasmsymbol);
 | |
|       begin
 | |
|          inherited create(op);
 | |
|          ops:=3;
 | |
|          loadconst(0,aword(_op1));
 | |
|          loadconst(1,aword(_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:longint);
 | |
|       begin
 | |
|          inherited create(op);
 | |
|          ops:=1;
 | |
|          loadsymbol(0,_op1,_op1ofs);
 | |
|       end;
 | |
| 
 | |
| 
 | |
|      constructor taicpu.op_reg_sym_ofs(op : tasmop;_op1 : tregister;_op2:tasmsymbol;_op2ofs : longint);
 | |
|       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:longint;const _op2 : treference);
 | |
|       begin
 | |
|          inherited create(op);
 | |
|          ops:=2;
 | |
|          loadsymbol(0,_op1,_op1ofs);
 | |
|          loadref(1,_op2);
 | |
|       end;
 | |
| 
 | |
| 
 | |
| { ****************************** newra stuff *************************** }
 | |
| 
 | |
|     function taicpu.is_nop: boolean;
 | |
|       begin
 | |
|         { we don't insert any more nops than necessary }
 | |
|         is_nop := false;
 | |
|       end;
 | |
| 
 | |
| 
 | |
|     function taicpu.is_move:boolean;
 | |
|       begin
 | |
|         is_move := opcode = A_MR;
 | |
|       end;
 | |
| 
 | |
| 
 | |
|     function taicpu.spill_registers(list:Taasmoutput; 
 | |
|                              rgget:Trggetproc; 
 | |
|                              rgunget:Trgungetproc; 
 | |
|                              r:Tsupregset; 
 | |
|                              var unusedregsint:Tsupregset; 
 | |
|                               const spilltemplist:Tspill_temp_list): boolean;
 | |
|       begin
 | |
|         internalerror(211);
 | |
|       end;
 | |
| 
 | |
| 
 | |
| 
 | |
|     procedure InitAsm;
 | |
|       begin
 | |
|       end;
 | |
| 
 | |
| 
 | |
|     procedure DoneAsm;
 | |
|       begin
 | |
|       end;
 | |
| 
 | |
| end.
 | |
| {
 | |
|   $Log$
 | |
|   Revision 1.8  2003-06-14 22:32:43  jonas
 | |
|     * ppc compiles with -dnewra, haven't tried to compile anything with it
 | |
|       yet though
 | |
| 
 | |
|   Revision 1.7  2003/06/14 14:53:50  jonas
 | |
|     * fixed newra cycle for x86
 | |
|     * added constants for indicating source and destination operands of the
 | |
|       "move reg,reg" instruction to aasmcpu (and use those in rgobj)
 | |
| 
 | |
|   Revision 1.6  2003/05/11 11:08:25  jonas
 | |
|     + op_reg_reg_reg_const_const (for rlwnm)
 | |
| 
 | |
|   Revision 1.5  2003/03/12 22:43:38  jonas
 | |
|     * more powerpc and generic fixes related to the new register allocator
 | |
| 
 | |
|   Revision 1.4  2002/12/14 15:02:03  carl
 | |
|     * maxoperands -> max_operands (for portability in rautils.pas)
 | |
|     * fix some range-check errors with loadconst
 | |
|     + add ncgadd unit to m68k
 | |
|     * some bugfix of a_param_reg with LOC_CREFERENCE
 | |
| 
 | |
|   Revision 1.3  2002/09/17 18:26:02  jonas
 | |
|     - removed taicpu.destroy, its job is already handled by
 | |
|       taicpu_abstract.destroy() and this caused heap corruption
 | |
| 
 | |
|   Revision 1.2  2002/07/26 11:19:57  jonas
 | |
|     * fixed range errors
 | |
| 
 | |
|   Revision 1.1  2002/07/07 09:44:31  florian
 | |
|     * powerpc target fixed, very simple units can be compiled
 | |
| 
 | |
|   Revision 1.8  2002/05/18 13:34:26  peter
 | |
|     * readded missing revisions
 | |
| 
 | |
|   Revision 1.7  2002/05/16 19:46:53  carl
 | |
|   + defines.inc -> fpcdefs.inc to avoid conflicts if compiling by hand
 | |
|   + try to fix temp allocation (still in ifdef)
 | |
|   + generic constructor calls
 | |
|   + start of tassembler / tmodulebase class cleanup
 | |
| 
 | |
|   Revision 1.4  2002/05/13 19:52:46  peter
 | |
|     * a ppcppc can be build again
 | |
| 
 | |
| }
 | 
