mirror of
				https://gitlab.com/freepascal.org/fpc/source.git
				synced 2025-10-31 21:29:41 +01:00 
			
		
		
		
	 e815b923d5
			
		
	
	
		e815b923d5
		
	
	
	
	
		
			
			* fixed downsizing the precision of floating point values
  * floating point constants are now treated using only the minimal
    precision required (e.g. 2.0 is now a single, 1.1 extended etc)
    (Delphi compatible)
git-svn-id: trunk@5927 -
		
	
			
		
			
				
	
	
		
			322 lines
		
	
	
		
			11 KiB
		
	
	
	
		
			ObjectPascal
		
	
	
	
	
	
			
		
		
	
	
			322 lines
		
	
	
		
			11 KiB
		
	
	
	
		
			ObjectPascal
		
	
	
	
	
	
| {
 | |
|     Copyright (c) 1998-2002 by Florian Klaempfl
 | |
| 
 | |
|     Generate x86 code 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 nx86mat;
 | |
| 
 | |
| {$i fpcdefs.inc}
 | |
| 
 | |
| interface
 | |
| 
 | |
|     uses
 | |
|       node,nmat,ncgmat;
 | |
| 
 | |
|     type
 | |
|       tx86unaryminusnode = class(tcgunaryminusnode)
 | |
| {$ifdef SUPPORT_MMX}
 | |
|          procedure second_mmx;override;
 | |
| {$endif SUPPORT_MMX}
 | |
|          procedure second_float;override;
 | |
|          function pass_1:tnode;override;
 | |
|       end;
 | |
| 
 | |
|       tx86notnode = class(tcgnotnode)
 | |
|          procedure second_boolean;override;
 | |
| {$ifdef SUPPORT_MMX}
 | |
|          procedure second_mmx;override;
 | |
| {$endif SUPPORT_MMX}
 | |
|       end;
 | |
| 
 | |
|   implementation
 | |
| 
 | |
|     uses
 | |
|       globtype,
 | |
|       systems,
 | |
|       cutils,verbose,globals,
 | |
|       symconst,symdef,
 | |
|       aasmbase,aasmtai,aasmdata,defutil,
 | |
|       cgbase,pass_1,pass_2,
 | |
|       ncon,
 | |
|       cpubase,procinfo,
 | |
|       cga,ncgutil,cgobj,cgx86,cgutils;
 | |
| 
 | |
| 
 | |
| {*****************************************************************************
 | |
|                           TI386UNARYMINUSNODE
 | |
| *****************************************************************************}
 | |
| 
 | |
|     function tx86unaryminusnode.pass_1 : tnode;
 | |
|       begin
 | |
|          result:=nil;
 | |
|          firstpass(left);
 | |
|          if codegenerror then
 | |
|            exit;
 | |
| 
 | |
|          if (left.resultdef.typ=floatdef) then
 | |
|            begin
 | |
|              if use_sse(left.resultdef) then
 | |
|                begin
 | |
|                  if (registersmm < 1) then
 | |
|                    registersmm := 1;
 | |
|                  expectloc:=LOC_MMREGISTER;
 | |
|                end
 | |
|              else
 | |
|                begin
 | |
|                  if (registersfpu < 1) then
 | |
|                    registersfpu := 1;
 | |
|                  expectloc:=LOC_FPUREGISTER;
 | |
|                end;
 | |
|            end
 | |
| {$ifdef SUPPORT_MMX}
 | |
|          else
 | |
|            if (cs_mmx in current_settings.localswitches) and
 | |
|               is_mmx_able_array(left.resultdef) then
 | |
|              begin
 | |
|                registersint:=left.registersint;
 | |
|                registersfpu:=left.registersfpu;
 | |
|                registersmmx:=left.registersmmx;
 | |
|                if (left.location.loc<>LOC_MMXREGISTER) and
 | |
|                   (registersmmx<1) then
 | |
|                  registersmmx:=1;
 | |
|              end
 | |
| {$endif SUPPORT_MMX}
 | |
|          else
 | |
|            inherited pass_1;
 | |
|       end;
 | |
| 
 | |
| 
 | |
| {$ifdef SUPPORT_MMX}
 | |
|     procedure tx86unaryminusnode.second_mmx;
 | |
|       var
 | |
|         op : tasmop;
 | |
|         hreg : tregister;
 | |
|       begin
 | |
|         secondpass(left);
 | |
|         location_reset(location,LOC_MMXREGISTER,OS_NO);
 | |
|         hreg:=tcgx86(cg).getmmxregister(current_asmdata.CurrAsmList);
 | |
|         emit_reg_reg(A_PXOR,S_NO,hreg,hreg);
 | |
|         case left.location.loc of
 | |
|           LOC_MMXREGISTER:
 | |
|             begin
 | |
|                location.register:=left.location.register;
 | |
|             end;
 | |
|           LOC_CMMXREGISTER:
 | |
|             begin
 | |
|                location.register:=tcgx86(cg).getmmxregister(current_asmdata.CurrAsmList);
 | |
|                emit_reg_reg(A_MOVQ,S_NO,left.location.register,location.register);
 | |
|             end;
 | |
|           LOC_REFERENCE,
 | |
|           LOC_CREFERENCE:
 | |
|             begin
 | |
|                location.register:=tcgx86(cg).getmmxregister(current_asmdata.CurrAsmList);
 | |
|                emit_ref_reg(A_MOVQ,S_NO,left.location.reference,location.register);
 | |
|             end;
 | |
|           else
 | |
|             internalerror(200203225);
 | |
|         end;
 | |
|         if cs_mmx_saturation in current_settings.localswitches then
 | |
|           case mmx_type(resultdef) of
 | |
|              mmxs8bit:
 | |
|                op:=A_PSUBSB;
 | |
|              mmxu8bit:
 | |
|                op:=A_PSUBUSB;
 | |
|              mmxs16bit,mmxfixed16:
 | |
|                op:=A_PSUBSW;
 | |
|              mmxu16bit:
 | |
|                op:=A_PSUBUSW;
 | |
|           end
 | |
|         else
 | |
|           case mmx_type(resultdef) of
 | |
|              mmxs8bit,mmxu8bit:
 | |
|                op:=A_PSUBB;
 | |
|              mmxs16bit,mmxu16bit,mmxfixed16:
 | |
|                op:=A_PSUBW;
 | |
|              mmxs32bit,mmxu32bit:
 | |
|                op:=A_PSUBD;
 | |
|           end;
 | |
|         emit_reg_reg(op,S_NO,location.register,hreg);
 | |
|         emit_reg_reg(A_MOVQ,S_NO,hreg,location.register);
 | |
|       end;
 | |
| {$endif SUPPORT_MMX}
 | |
| 
 | |
| 
 | |
|     procedure tx86unaryminusnode.second_float;
 | |
|       var
 | |
|         reg : tregister;
 | |
|         href : treference;
 | |
|         l1 : tasmlabel;
 | |
|       begin
 | |
|         secondpass(left);
 | |
| 
 | |
|         if expectloc=LOC_MMREGISTER then
 | |
|           begin
 | |
|             location_force_mmregscalar(current_asmdata.CurrAsmList,left.location,false);
 | |
|             location_reset(location,LOC_MMREGISTER,def_cgsize(resultdef));
 | |
| 
 | |
|             { make life of register allocator easier }
 | |
|             location.register:=cg.getmmregister(current_asmdata.CurrAsmList,def_cgsize(resultdef));
 | |
|             cg.a_loadmm_reg_reg(current_asmdata.CurrAsmList,def_cgsize(resultdef),def_cgsize(resultdef),left.location.register,location.register,mms_movescalar);
 | |
| 
 | |
|             reg:=cg.getmmregister(current_asmdata.CurrAsmList,def_cgsize(resultdef));
 | |
| 
 | |
|             current_asmdata.getdatalabel(l1);
 | |
|             current_asmdata.asmlists[al_typedconsts].concat(Tai_label.Create(l1));
 | |
|             case def_cgsize(resultdef) of
 | |
|               OS_F32:
 | |
|                 current_asmdata.asmlists[al_typedconsts].concat(tai_const.create_32bit(longint(1 shl 31)));
 | |
|               OS_F64:
 | |
|                 begin
 | |
|                   current_asmdata.asmlists[al_typedconsts].concat(tai_const.create_32bit(0));
 | |
|                   current_asmdata.asmlists[al_typedconsts].concat(tai_const.create_32bit(-(1 shl 31)));
 | |
|                 end
 | |
|               else
 | |
|                 internalerror(2004110215);
 | |
|             end;
 | |
| 
 | |
|             reference_reset_symbol(href,l1,0);
 | |
|             cg.a_loadmm_ref_reg(current_asmdata.CurrAsmList,def_cgsize(resultdef),def_cgsize(resultdef),href,reg,mms_movescalar);
 | |
| 
 | |
|             cg.a_opmm_reg_reg(current_asmdata.CurrAsmList,OP_XOR,left.location.size,reg,location.register,nil);
 | |
|           end
 | |
|         else
 | |
|           begin
 | |
|             location_reset(location,LOC_FPUREGISTER,def_cgsize(resultdef));
 | |
|             case left.location.loc of
 | |
|               LOC_REFERENCE,
 | |
|               LOC_CREFERENCE:
 | |
|                 begin
 | |
|                   location.register:=NR_ST;
 | |
|                   cg.a_loadfpu_ref_reg(current_asmdata.CurrAsmList,
 | |
|                      left.location.size,location.size,
 | |
|                      left.location.reference,location.register);
 | |
|                   emit_none(A_FCHS,S_NO);
 | |
|                 end;
 | |
|               LOC_FPUREGISTER,
 | |
|               LOC_CFPUREGISTER:
 | |
|                 begin
 | |
|                    { "load st,st" is ignored by the code generator }
 | |
|                    cg.a_loadfpu_reg_reg(current_asmdata.CurrAsmList,left.location.size,location.size,left.location.register,NR_ST);
 | |
|                    location.register:=NR_ST;
 | |
|                    emit_none(A_FCHS,S_NO);
 | |
|                 end;
 | |
|               else
 | |
|                 internalerror(200312241);
 | |
|             end;
 | |
|           end;
 | |
|       end;
 | |
| 
 | |
| 
 | |
| {*****************************************************************************
 | |
|                                TX86NOTNODE
 | |
| *****************************************************************************}
 | |
| 
 | |
|     procedure tx86notnode.second_boolean;
 | |
|       var
 | |
|          hl : tasmlabel;
 | |
|          opsize : tcgsize;
 | |
|       begin
 | |
|         opsize:=def_cgsize(resultdef);
 | |
| 
 | |
|         if left.expectloc=LOC_JUMP then
 | |
|          begin
 | |
|            location_reset(location,LOC_JUMP,OS_NO);
 | |
|            hl:=current_procinfo.CurrTrueLabel;
 | |
|            current_procinfo.CurrTrueLabel:=current_procinfo.CurrFalseLabel;
 | |
|            current_procinfo.CurrFalseLabel:=hl;
 | |
|            secondpass(left);
 | |
|            maketojumpbool(current_asmdata.CurrAsmList,left,lr_load_regvars);
 | |
|            hl:=current_procinfo.CurrTrueLabel;
 | |
|            current_procinfo.CurrTrueLabel:=current_procinfo.CurrFalseLabel;
 | |
|            current_procinfo.CurrFalseLabel:=hl;
 | |
|          end
 | |
|         else
 | |
|          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                    }
 | |
|            secondpass(left);
 | |
|            case left.expectloc of
 | |
|              LOC_FLAGS :
 | |
|                begin
 | |
|                  location_reset(location,LOC_FLAGS,OS_NO);
 | |
|                  location.resflags:=left.location.resflags;
 | |
|                  inverse_flags(location.resflags);
 | |
|                end;
 | |
|              LOC_CONSTANT,
 | |
|              LOC_REGISTER,
 | |
|              LOC_CREGISTER,
 | |
|              LOC_REFERENCE,
 | |
|              LOC_CREFERENCE,
 | |
|              LOC_SUBSETREG,
 | |
|              LOC_CSUBSETREG,
 | |
|              LOC_SUBSETREF,
 | |
|              LOC_CSUBSETREF :
 | |
|                begin
 | |
|                  location_force_reg(current_asmdata.CurrAsmList,left.location,opsize,true);
 | |
|                  emit_reg_reg(A_TEST,TCGSize2Opsize[opsize],left.location.register,left.location.register);
 | |
|                  location_reset(location,LOC_FLAGS,OS_NO);
 | |
|                  location.resflags:=F_E;
 | |
|                end;
 | |
|             else
 | |
|                internalerror(200203224);
 | |
|            end;
 | |
|          end;
 | |
|       end;
 | |
| 
 | |
| 
 | |
| {$ifdef SUPPORT_MMX}
 | |
|     procedure tx86notnode.second_mmx;
 | |
| 
 | |
|     var hreg,r:Tregister;
 | |
| 
 | |
|     begin
 | |
|       secondpass(left);
 | |
|       location_reset(location,LOC_MMXREGISTER,OS_NO);
 | |
|       r:=cg.getintregister(current_asmdata.CurrAsmList,OS_INT);
 | |
|       emit_const_reg(A_MOV,S_L,longint($ffffffff),r);
 | |
|       { load operand }
 | |
|       case left.location.loc of
 | |
|         LOC_MMXREGISTER:
 | |
|           location_copy(location,left.location);
 | |
|         LOC_CMMXREGISTER:
 | |
|           begin
 | |
|             location.register:=tcgx86(cg).getmmxregister(current_asmdata.CurrAsmList);
 | |
|             emit_reg_reg(A_MOVQ,S_NO,left.location.register,location.register);
 | |
|           end;
 | |
|         LOC_REFERENCE,
 | |
|         LOC_CREFERENCE:
 | |
|           begin
 | |
|             location.register:=tcgx86(cg).getmmxregister(current_asmdata.CurrAsmList);
 | |
|             emit_ref_reg(A_MOVQ,S_NO,left.location.reference,location.register);
 | |
|           end;
 | |
|       end;
 | |
|       { load mask }
 | |
|       hreg:=tcgx86(cg).getmmxregister(current_asmdata.CurrAsmList);
 | |
|       emit_reg_reg(A_MOVD,S_NO,r,hreg);
 | |
|       { lower 32 bit }
 | |
|       emit_reg_reg(A_PXOR,S_NO,hreg,location.register);
 | |
|       { shift mask }
 | |
|       emit_const_reg(A_PSLLQ,S_B,32,hreg);
 | |
|       { higher 32 bit }
 | |
|       emit_reg_reg(A_PXOR,S_NO,hreg,location.register);
 | |
|     end;
 | |
| {$endif SUPPORT_MMX}
 | |
| end.
 |