123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052 |
- {
- $Id$
- Copyright (c) 1998-2002 by Florian Klaempfl
- This unit implements the common parts of the code generator for the i386 and the x86-64.
- 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.
- ****************************************************************************
- }
- { This unit implements the common parts of the code generator for the i386 and the x86-64.
- }
- unit cgx86;
- {$i fpcdefs.inc}
- interface
- uses
- cgbase,cgobj,
- aasmbase,aasmtai,aasmcpu,
- cpubase,cpuinfo,rgobj,rgcpu,
- symconst,symtype;
- type
- tcgx86 = class(tcg)
- rgint,
- rgmm : trgcpu;
- rgfpu : Trgx86fpu;
- procedure init_register_allocators;override;
- procedure done_register_allocators;override;
- function getintregister(list:Taasmoutput;size:Tcgsize):Tregister;override;
- function getaddressregister(list:Taasmoutput):Tregister;override;
- function getfpuregister(list:Taasmoutput;size:Tcgsize):Tregister;override;
- function getmmregister(list:Taasmoutput;size:Tcgsize):Tregister;override;
- procedure getexplicitregister(list:Taasmoutput;r:Tregister);override;
- function getabtintregister(list:Taasmoutput;size:Tcgsize):Tregister;override;
- procedure ungetregister(list:Taasmoutput;r:Tregister);override;
- procedure ungetreference(list:Taasmoutput;const r:Treference);override;
- procedure allocexplicitregisters(list:Taasmoutput;rt:Tregistertype;r:Tsuperregisterset);override;
- procedure deallocexplicitregisters(list:Taasmoutput;rt:Tregistertype;r:Tsuperregisterset);override;
- procedure add_move_instruction(instr:Taicpu);override;
- procedure dec_fpu_stack;
- procedure inc_fpu_stack;
- procedure do_register_allocation(list:Taasmoutput;headertai:tai);override;
- { passing parameters, per default the parameter is pushed }
- { nr gives the number of the parameter (enumerated from }
- { left to right), this allows to move the parameter to }
- { register, if the cpu supports register calling }
- { conventions }
- procedure a_param_reg(list : taasmoutput;size : tcgsize;r : tregister;const locpara : tparalocation);override;
- procedure a_param_const(list : taasmoutput;size : tcgsize;a : aword;const locpara : tparalocation);override;
- procedure a_param_ref(list : taasmoutput;size : tcgsize;const r : treference;const locpara : tparalocation);override;
- procedure a_paramaddr_ref(list : taasmoutput;const r : treference;const locpara : tparalocation);override;
- procedure a_call_name(list : taasmoutput;const s : string);override;
- procedure a_call_reg(list : taasmoutput;reg : tregister);override;
- procedure a_op_const_reg(list : taasmoutput; Op: TOpCG; size: TCGSize; a: AWord; reg: TRegister); override;
- procedure a_op_const_ref(list : taasmoutput; Op: TOpCG; size: TCGSize; a: AWord; const ref: TReference); override;
- procedure a_op_reg_reg(list : taasmoutput; Op: TOpCG; size: TCGSize; src, dst: TRegister); override;
- procedure a_op_ref_reg(list : taasmoutput; Op: TOpCG; size: TCGSize; const ref: TReference; reg: TRegister); override;
- procedure a_op_reg_ref(list : taasmoutput; Op: TOpCG; size: TCGSize;reg: TRegister; const ref: TReference); override;
- procedure a_op_const_reg_reg(list: taasmoutput; op: TOpCg;
- size: tcgsize; a: aword; src, dst: tregister); override;
- procedure a_op_reg_reg_reg(list: taasmoutput; op: TOpCg;
- size: tcgsize; src1, src2, dst: tregister); override;
- { move instructions }
- procedure a_load_const_reg(list : taasmoutput; tosize: tcgsize; a : aword;reg : tregister);override;
- procedure a_load_const_ref(list : taasmoutput; tosize: tcgsize; a : aword;const ref : treference);override;
- procedure a_load_reg_ref(list : taasmoutput;fromsize,tosize: tcgsize; reg : tregister;const ref : treference);override;
- procedure a_load_ref_reg(list : taasmoutput;fromsize,tosize: tcgsize;const ref : treference;reg : tregister);override;
- procedure a_load_reg_reg(list : taasmoutput;fromsize,tosize: tcgsize;reg1,reg2 : tregister);override;
- procedure a_loadaddr_ref_reg(list : taasmoutput;const ref : treference;r : tregister);override;
- { fpu move instructions }
- procedure a_loadfpu_reg_reg(list: taasmoutput; size: tcgsize; reg1, reg2: tregister); override;
- procedure a_loadfpu_ref_reg(list: taasmoutput; size: tcgsize; const ref: treference; reg: tregister); override;
- procedure a_loadfpu_reg_ref(list: taasmoutput; size: tcgsize; reg: tregister; const ref: treference); override;
- { vector register move instructions }
- procedure a_loadmm_reg_reg(list: taasmoutput; fromsize, tosize : tcgsize;reg1, reg2: tregister;shuffle : pmmshuffle); override;
- procedure a_loadmm_ref_reg(list: taasmoutput; fromsize, tosize : tcgsize;const ref: treference; reg: tregister;shuffle : pmmshuffle); override;
- procedure a_loadmm_reg_ref(list: taasmoutput; fromsize, tosize : tcgsize;reg: tregister; const ref: treference;shuffle : pmmshuffle); override;
- { comparison operations }
- procedure a_cmp_const_reg_label(list : taasmoutput;size : tcgsize;cmp_op : topcmp;a : aword;reg : tregister;
- l : tasmlabel);override;
- procedure a_cmp_const_ref_label(list : taasmoutput;size : tcgsize;cmp_op : topcmp;a : aword;const ref : treference;
- l : tasmlabel);override;
- procedure a_cmp_reg_reg_label(list : taasmoutput;size : tcgsize;cmp_op : topcmp;reg1,reg2 : tregister;l : tasmlabel); override;
- procedure a_cmp_ref_reg_label(list : taasmoutput;size : tcgsize;cmp_op : topcmp;const ref: treference; reg : tregister; l : tasmlabel); override;
- procedure a_jmp_always(list : taasmoutput;l: tasmlabel); override;
- procedure a_jmp_flags(list : taasmoutput;const f : TResFlags;l: tasmlabel); override;
- procedure g_flags2reg(list: taasmoutput; size: TCgSize; const f: tresflags; reg: TRegister); override;
- procedure g_flags2ref(list: taasmoutput; size: TCgSize; const f: tresflags; const ref: TReference); override;
- procedure g_concatcopy(list : taasmoutput;const source,dest : treference;len : aword; delsource,loadref : boolean);override;
- procedure g_exception_reason_save(list : taasmoutput; const href : treference);override;
- procedure g_exception_reason_save_const(list : taasmoutput; const href : treference; a: aword);override;
- procedure g_exception_reason_load(list : taasmoutput; const href : treference);override;
- { entry/exit code helpers }
- procedure g_copyvaluepara_openarray(list : taasmoutput;const ref, lenref:treference;elesize:integer);override;
- procedure g_interrupt_stackframe_entry(list : taasmoutput);override;
- procedure g_interrupt_stackframe_exit(list : taasmoutput;accused,acchiused:boolean);override;
- procedure g_profilecode(list : taasmoutput);override;
- procedure g_stackpointer_alloc(list : taasmoutput;localsize : longint);override;
- procedure g_stackframe_entry(list : taasmoutput;localsize : longint);override;
- procedure g_restore_frame_pointer(list : taasmoutput);override;
- procedure g_return_from_proc(list : taasmoutput;parasize : aword);override;
- procedure g_save_standard_registers(list:Taasmoutput);override;
- procedure g_restore_standard_registers(list:Taasmoutput);override;
- procedure g_save_all_registers(list : taasmoutput);override;
- procedure g_restore_all_registers(list : taasmoutput;accused,acchiused:boolean);override;
- procedure g_overflowcheck(list: taasmoutput; const l:tlocation;def:tdef);override;
- protected
- procedure a_jmp_cond(list : taasmoutput;cond : TOpCmp;l: tasmlabel);
- procedure check_register_size(size:tcgsize;reg:tregister);
- private
- procedure sizes2load(s1,s2 : tcgsize;var op: tasmop; var s3: topsize);
- procedure floatload(list: taasmoutput; t : tcgsize;const ref : treference);
- procedure floatstore(list: taasmoutput; t : tcgsize;const ref : treference);
- procedure floatloadops(t : tcgsize;var op : tasmop;var s : topsize);
- procedure floatstoreops(t : tcgsize;var op : tasmop;var s : topsize);
- end;
- const
- TCGSize2OpSize: Array[tcgsize] of topsize =
- (S_NO,S_B,S_W,S_L,S_L,S_B,S_W,S_L,S_L,
- S_FS,S_FL,S_FX,S_IQ,S_FXX,
- S_NO,S_NO,S_NO,S_NO,S_NO,S_NO,S_NO,S_NO,S_NO,S_NO);
- implementation
- uses
- globtype,globals,verbose,systems,cutils,
- symdef,paramgr,tgobj,procinfo;
- {$ifndef NOTARGETWIN32}
- const
- winstackpagesize = 4096;
- {$endif NOTARGETWIN32}
- TOpCG2AsmOp: Array[topcg] of TAsmOp = (A_NONE,A_ADD,A_AND,A_DIV,
- A_IDIV,A_MUL, A_IMUL, A_NEG,A_NOT,A_OR,
- A_SAR,A_SHL,A_SHR,A_SUB,A_XOR);
- TOpCmp2AsmCond: Array[topcmp] of TAsmCond = (C_NONE,
- C_E,C_G,C_L,C_GE,C_LE,C_NE,C_BE,C_B,C_AE,C_A);
- procedure Tcgx86.init_register_allocators;
- begin
- rgint:=trgcpu.create(6,R_INTREGISTER,R_SUBWHOLE,#0#1#2#3#4#5,first_int_imreg,[RS_EBP]);
- rgmm:=trgcpu.create(8,R_MMREGISTER,R_SUBNONE,#0#1#2#3#4#5#6#7,first_sse_imreg,[]);
- rgfpu:=Trgx86fpu.create;
- end;
- procedure Tcgx86.done_register_allocators;
- begin
- rgint.free;
- rgmm.free;
- rgfpu.free;
- end;
- function Tcgx86.getintregister(list:Taasmoutput;size:Tcgsize):Tregister;
- begin
- result:=rgint.getregister(list,cgsize2subreg(size));
- end;
- function Tcgx86.getaddressregister(list:Taasmoutput):Tregister;
- begin
- result:=rgint.getregister(list,R_SUBWHOLE);
- end;
- function Tcgx86.getfpuregister(list:Taasmoutput;size:Tcgsize):Tregister;
- begin
- result:=trgx86fpu(rgfpu).getregisterfpu(list);
- end;
- function Tcgx86.getmmregister(list:Taasmoutput;size:Tcgsize):Tregister;
- begin
- result:=rgmm.getregister(list,R_SUBNONE);
- end;
- procedure Tcgx86.getexplicitregister(list:Taasmoutput;r:Tregister);
- begin
- case getregtype(r) of
- R_INTREGISTER :
- rgint.getexplicitregister(list,r);
- R_SSEREGISTER :
- rgmm.getexplicitregister(list,r);
- else
- internalerror(200310091);
- end;
- end;
- function tcgx86.getabtintregister(list:Taasmoutput;size:Tcgsize):Tregister;
- begin
- result:=rgint.getabtregister(list,cgsize2subreg(size));
- end;
- procedure tcgx86.ungetregister(list:Taasmoutput;r:Tregister);
- begin
- case getregtype(r) of
- R_INTREGISTER :
- rgint.ungetregister(list,r);
- R_FPUREGISTER :
- rgfpu.ungetregisterfpu(list,r);
- R_SSEREGISTER :
- rgmm.ungetregister(list,r);
- else
- internalerror(200310091);
- end;
- end;
- procedure tcgx86.ungetreference(list:Taasmoutput;const r:Treference);
- begin
- if r.base<>NR_NO then
- rgint.ungetregister(list,r.base);
- if r.index<>NR_NO then
- rgint.ungetregister(list,r.index);
- end;
- procedure Tcgx86.allocexplicitregisters(list:Taasmoutput;rt:Tregistertype;r:Tsuperregisterset);
- begin
- case rt of
- R_INTREGISTER :
- rgint.allocexplicitregisters(list,r);
- R_SSEREGISTER :
- rgmm.allocexplicitregisters(list,r);
- else
- internalerror(200310092);
- end;
- end;
- procedure Tcgx86.deallocexplicitregisters(list:Taasmoutput;rt:Tregistertype;r:Tsuperregisterset);
- begin
- case rt of
- R_INTREGISTER :
- rgint.deallocexplicitregisters(list,r);
- R_SSEREGISTER :
- rgmm.deallocexplicitregisters(list,r);
- else
- internalerror(200310093);
- end;
- end;
- procedure Tcgx86.add_move_instruction(instr:Taicpu);
- begin
- rgint.add_move_instruction(instr);
- end;
- procedure tcgx86.dec_fpu_stack;
- begin
- dec(rgfpu.fpuvaroffset);
- end;
- procedure tcgx86.inc_fpu_stack;
- begin
- inc(rgfpu.fpuvaroffset);
- end;
- procedure Tcgx86.do_register_allocation(list:Taasmoutput;headertai:tai);
- begin
- { Int }
- rgint.do_register_allocation(list,headertai);
- list.translate_registers(R_INTREGISTER,rgint.colour);
- { SSE }
- rgmm.do_register_allocation(list,headertai);
- list.translate_registers(R_MMREGISTER,rgmm.colour);
- end;
- {****************************************************************************
- This is private property, keep out! :)
- ****************************************************************************}
- procedure tcgx86.sizes2load(s1,s2 : tcgsize; var op: tasmop; var s3: topsize);
- begin
- case s2 of
- OS_8,OS_S8 :
- if S1 in [OS_8,OS_S8] then
- s3 := S_B
- else internalerror(200109221);
- OS_16,OS_S16:
- case s1 of
- OS_8,OS_S8:
- s3 := S_BW;
- OS_16,OS_S16:
- s3 := S_W;
- else
- internalerror(200109222);
- end;
- OS_32,OS_S32:
- case s1 of
- OS_8,OS_S8:
- s3 := S_BL;
- OS_16,OS_S16:
- s3 := S_WL;
- OS_32,OS_S32:
- s3 := S_L;
- else
- internalerror(200109223);
- end;
- {$ifdef x86_64}
- OS_64,OS_S64:
- case s1 of
- OS_8,OS_S8:
- s3 := S_BQ;
- OS_16,OS_S16:
- s3 := S_WQ;
- OS_32,OS_S32:
- s3 := S_LQ;
- OS_64,OS_S64:
- s3 := S_Q;
- else
- internalerror(200304302);
- end;
- {$endif x86_64}
- else
- internalerror(200109227);
- end;
- if s3 in [S_B,S_W,S_L,S_Q] then
- op := A_MOV
- else if s1 in [OS_8,OS_16,OS_32,OS_64] then
- op := A_MOVZX
- else
- op := A_MOVSX;
- end;
- procedure tcgx86.floatloadops(t : tcgsize;var op : tasmop;var s : topsize);
- begin
- case t of
- OS_F32 :
- begin
- op:=A_FLD;
- s:=S_FS;
- end;
- OS_F64 :
- begin
- op:=A_FLD;
- { ???? }
- s:=S_FL;
- end;
- OS_F80 :
- begin
- op:=A_FLD;
- s:=S_FX;
- end;
- OS_C64 :
- begin
- op:=A_FILD;
- s:=S_IQ;
- end;
- else
- internalerror(200204041);
- end;
- end;
- procedure tcgx86.floatload(list: taasmoutput; t : tcgsize;const ref : treference);
- var
- op : tasmop;
- s : topsize;
- begin
- floatloadops(t,op,s);
- list.concat(Taicpu.Op_ref(op,s,ref));
- inc_fpu_stack;
- end;
- procedure tcgx86.floatstoreops(t : tcgsize;var op : tasmop;var s : topsize);
- begin
- case t of
- OS_F32 :
- begin
- op:=A_FSTP;
- s:=S_FS;
- end;
- OS_F64 :
- begin
- op:=A_FSTP;
- s:=S_FL;
- end;
- OS_F80 :
- begin
- op:=A_FSTP;
- s:=S_FX;
- end;
- OS_C64 :
- begin
- op:=A_FISTP;
- s:=S_IQ;
- end;
- else
- internalerror(200204042);
- end;
- end;
- procedure tcgx86.floatstore(list: taasmoutput; t : tcgsize;const ref : treference);
- var
- op : tasmop;
- s : topsize;
- begin
- floatstoreops(t,op,s);
- list.concat(Taicpu.Op_ref(op,s,ref));
- dec_fpu_stack;
- end;
- procedure tcgx86.check_register_size(size:tcgsize;reg:tregister);
- begin
- if TCGSize2OpSize[size]<>TCGSize2OpSize[reg_cgsize(reg)] then
- internalerror(200306031);
- end;
- {****************************************************************************
- Assembler code
- ****************************************************************************}
- { currently does nothing }
- procedure tcgx86.a_jmp_always(list : taasmoutput;l: tasmlabel);
- begin
- a_jmp_cond(list, OC_NONE, l);
- end;
- { we implement the following routines because otherwise we can't }
- { instantiate the class since it's abstract }
- procedure tcgx86.a_param_reg(list : taasmoutput;size : tcgsize;r : tregister;const locpara : tparalocation);
- begin
- check_register_size(size,r);
- if (locpara.loc=LOC_REFERENCE) and
- (locpara.reference.index=NR_STACK_POINTER_REG) then
- begin
- case size of
- OS_8,OS_S8,
- OS_16,OS_S16:
- begin
- if locpara.alignment = 2 then
- list.concat(taicpu.op_reg(A_PUSH,S_W,makeregsize(r,OS_16)))
- else
- list.concat(taicpu.op_reg(A_PUSH,S_L,makeregsize(r,OS_32)));
- end;
- OS_32,OS_S32:
- begin
- if getsubreg(r)<>R_SUBD then
- internalerror(7843);
- list.concat(taicpu.op_reg(A_PUSH,S_L,r));
- end
- else
- internalerror(2002032212);
- end;
- end
- else
- inherited a_param_reg(list,size,r,locpara);
- end;
- procedure tcgx86.a_param_const(list : taasmoutput;size : tcgsize;a : aword;const locpara : tparalocation);
- begin
- if (locpara.loc=LOC_REFERENCE) and
- (locpara.reference.index=NR_STACK_POINTER_REG) then
- begin
- case size of
- OS_8,OS_S8,OS_16,OS_S16:
- begin
- if locpara.alignment = 2 then
- list.concat(taicpu.op_const(A_PUSH,S_W,a))
- else
- list.concat(taicpu.op_const(A_PUSH,S_L,a));
- end;
- OS_32,OS_S32:
- list.concat(taicpu.op_const(A_PUSH,S_L,a));
- else
- internalerror(2002032213);
- end;
- end
- else
- inherited a_param_const(list,size,a,locpara);
- end;
- procedure tcgx86.a_param_ref(list : taasmoutput;size : tcgsize;const r : treference;const locpara : tparalocation);
- var
- pushsize : tcgsize;
- tmpreg : tregister;
- begin
- if (locpara.loc=LOC_REFERENCE) and
- (locpara.reference.index=NR_STACK_POINTER_REG) then
- begin
- case size of
- OS_8,OS_S8,
- OS_16,OS_S16:
- begin
- if locpara.alignment = 2 then
- pushsize:=OS_16
- else
- pushsize:=OS_32;
- tmpreg:=getintregister(list,pushsize);
- a_load_ref_reg(list,size,pushsize,r,tmpreg);
- list.concat(taicpu.op_reg(A_PUSH,TCgsize2opsize[pushsize],tmpreg));
- ungetregister(list,tmpreg);
- end;
- OS_32,OS_S32:
- list.concat(taicpu.op_ref(A_PUSH,S_L,r));
- {$ifdef cpu64bit}
- OS_64,OS_S64:
- list.concat(taicpu.op_ref(A_PUSH,S_Q,r));
- {$endif cpu64bit}
- else
- internalerror(2002032214);
- end;
- end
- else
- inherited a_param_ref(list,size,r,locpara);
- end;
- procedure tcgx86.a_paramaddr_ref(list : taasmoutput;const r : treference;const locpara : tparalocation);
- var
- tmpreg : tregister;
- begin
- if (r.segment<>NR_NO) then
- CGMessage(cg_e_cant_use_far_pointer_there);
- if (locpara.loc=LOC_REFERENCE) and
- (locpara.reference.index=NR_STACK_POINTER_REG) then
- begin
- if (r.base=NR_NO) and (r.index=NR_NO) then
- begin
- if assigned(r.symbol) then
- list.concat(Taicpu.Op_sym_ofs(A_PUSH,S_L,r.symbol,r.offset))
- else
- list.concat(Taicpu.Op_const(A_PUSH,S_L,r.offset));
- end
- else if (r.base=NR_NO) and (r.index<>NR_NO) and
- (r.offset=0) and (r.scalefactor=0) and (r.symbol=nil) then
- list.concat(Taicpu.Op_reg(A_PUSH,S_L,r.index))
- else if (r.base<>NR_NO) and (r.index=NR_NO) and
- (r.offset=0) and (r.symbol=nil) then
- list.concat(Taicpu.Op_reg(A_PUSH,S_L,r.base))
- else
- begin
- tmpreg:=getaddressregister(list);
- a_loadaddr_ref_reg(list,r,tmpreg);
- list.concat(taicpu.op_reg(A_PUSH,S_L,tmpreg));
- ungetregister(list,tmpreg);
- end;
- end
- else
- inherited a_paramaddr_ref(list,r,locpara);
- end;
- procedure tcgx86.a_call_name(list : taasmoutput;const s : string);
- begin
- list.concat(taicpu.op_sym(A_CALL,S_NO,objectlibrary.newasmsymbol(s)));
- end;
- procedure tcgx86.a_call_reg(list : taasmoutput;reg : tregister);
- begin
- list.concat(taicpu.op_reg(A_CALL,S_NO,reg));
- end;
- {********************** load instructions ********************}
- procedure tcgx86.a_load_const_reg(list : taasmoutput; tosize: TCGSize; a : aword; reg : TRegister);
- begin
- check_register_size(tosize,reg);
- { the optimizer will change it to "xor reg,reg" when loading zero, }
- { no need to do it here too (JM) }
- list.concat(taicpu.op_const_reg(A_MOV,TCGSize2OpSize[tosize],a,reg))
- end;
- procedure tcgx86.a_load_const_ref(list : taasmoutput; tosize: tcgsize; a : aword;const ref : treference);
- begin
- list.concat(taicpu.op_const_ref(A_MOV,TCGSize2OpSize[tosize],a,ref));
- end;
- procedure tcgx86.a_load_reg_ref(list : taasmoutput; fromsize,tosize: TCGSize; reg : tregister;const ref : treference);
- var
- op: tasmop;
- s: topsize;
- tmpreg : tregister;
- begin
- check_register_size(fromsize,reg);
- sizes2load(fromsize,tosize,op,s);
- case s of
- S_BW,S_BL,S_WL
- {$ifdef x86_64}
- ,S_BQ,S_WQ,S_LQ
- {$endif x86_64}
- :
- begin
- tmpreg:=getintregister(list,tosize);
- list.concat(taicpu.op_reg_reg(op,s,reg,tmpreg));
- a_load_reg_ref(list,tosize,tosize,tmpreg,ref);
- ungetregister(list,tmpreg);
- end;
- else
- list.concat(taicpu.op_reg_ref(op,s,reg,ref));
- end;
- end;
- procedure tcgx86.a_load_ref_reg(list : taasmoutput;fromsize,tosize : tcgsize;const ref: treference;reg : tregister);
- var
- op: tasmop;
- s: topsize;
- begin
- check_register_size(tosize,reg);
- sizes2load(fromsize,tosize,op,s);
- list.concat(taicpu.op_ref_reg(op,s,ref,reg));
- end;
- procedure tcgx86.a_load_reg_reg(list : taasmoutput;fromsize,tosize : tcgsize;reg1,reg2 : tregister);
- var
- op: tasmop;
- s: topsize;
- eq:boolean;
- instr:Taicpu;
- begin
- check_register_size(fromsize,reg1);
- check_register_size(tosize,reg2);
- sizes2load(fromsize,tosize,op,s);
- eq:=getsupreg(reg1)=getsupreg(reg2);
- if eq then
- begin
- { "mov reg1, reg1" doesn't make sense }
- if op = A_MOV then
- exit;
- end;
- instr:=taicpu.op_reg_reg(op,s,reg1,reg2);
- {Notify the register allocator that we have written a move instruction so
- it can try to eliminate it.}
- Tcgx86(cg).rgint.add_move_instruction(instr);
- list.concat(instr);
- end;
- procedure tcgx86.a_loadaddr_ref_reg(list : taasmoutput;const ref : treference;r : tregister);
- begin
- if (ref.base=NR_NO) and (ref.index=NR_NO) then
- begin
- if assigned(ref.symbol) then
- list.concat(Taicpu.Op_sym_ofs_reg(A_MOV,S_L,ref.symbol,ref.offset,r))
- else
- a_load_const_reg(list,OS_INT,ref.offset,r);
- end
- else if (ref.base=NR_NO) and (ref.index<>NR_NO) and
- (ref.offset=0) and (ref.scalefactor=0) and (ref.symbol=nil) then
- a_load_reg_reg(list,OS_INT,OS_INT,ref.index,r)
- else if (ref.base<>NR_NO) and (ref.index=NR_NO) and
- (ref.offset=0) and (ref.symbol=nil) then
- a_load_reg_reg(list,OS_INT,OS_INT,ref.base,r)
- else
- list.concat(taicpu.op_ref_reg(A_LEA,S_L,ref,r));
- end;
- { all fpu load routines expect that R_ST[0-7] means an fpu regvar and }
- { R_ST means "the current value at the top of the fpu stack" (JM) }
- procedure tcgx86.a_loadfpu_reg_reg(list: taasmoutput; size: tcgsize; reg1, reg2: tregister);
- begin
- if (reg1<>NR_ST) then
- begin
- list.concat(taicpu.op_reg(A_FLD,S_NO,rgfpu.correct_fpuregister(reg1,rgfpu.fpuvaroffset)));
- inc_fpu_stack;
- end;
- if (reg2<>NR_ST) then
- begin
- list.concat(taicpu.op_reg(A_FSTP,S_NO,rgfpu.correct_fpuregister(reg2,rgfpu.fpuvaroffset)));
- dec_fpu_stack;
- end;
- end;
- procedure tcgx86.a_loadfpu_ref_reg(list: taasmoutput; size: tcgsize; const ref: treference; reg: tregister);
- begin
- floatload(list,size,ref);
- if (reg<>NR_ST) then
- a_loadfpu_reg_reg(list,size,NR_ST,reg);
- end;
- procedure tcgx86.a_loadfpu_reg_ref(list: taasmoutput; size: tcgsize; reg: tregister; const ref: treference);
- begin
- if reg<>NR_ST then
- a_loadfpu_reg_reg(list,size,reg,NR_ST);
- floatstore(list,size,ref);
- end;
- procedure tcgx86.a_loadmm_reg_reg(list: taasmoutput; fromsize, tosize : tcgsize;reg1, reg2: tregister;shuffle : pmmshuffle);
- begin
- list.concat(taicpu.op_reg_reg(A_MOVQ,S_NO,reg1,reg2));
- end;
- procedure tcgx86.a_loadmm_ref_reg(list: taasmoutput; fromsize, tosize : tcgsize;const ref: treference; reg: tregister;shuffle : pmmshuffle);
- begin
- list.concat(taicpu.op_ref_reg(A_MOVQ,S_NO,ref,reg));
- end;
- procedure tcgx86.a_loadmm_reg_ref(list: taasmoutput; fromsize, tosize : tcgsize;reg: tregister; const ref: treference;shuffle : pmmshuffle);
- begin
- list.concat(taicpu.op_reg_ref(A_MOVQ,S_NO,reg,ref));
- end;
- procedure tcgx86.a_op_const_reg(list : taasmoutput; Op: TOpCG; size: TCGSize; a: AWord; reg: TRegister);
- var
- opcode: tasmop;
- power: longint;
- begin
- check_register_size(size,reg);
- case op of
- OP_DIV, OP_IDIV:
- begin
- if ispowerof2(a,power) then
- begin
- case op of
- OP_DIV:
- opcode := A_SHR;
- OP_IDIV:
- opcode := A_SAR;
- end;
- list.concat(taicpu.op_const_reg(opcode,TCgSize2OpSize[size],power,reg));
- exit;
- end;
- { the rest should be handled specifically in the code }
- { generator because of the silly register usage restraints }
- internalerror(200109224);
- end;
- OP_MUL,OP_IMUL:
- begin
- if not(cs_check_overflow in aktlocalswitches) and
- ispowerof2(a,power) then
- begin
- list.concat(taicpu.op_const_reg(A_SHL,TCgSize2OpSize[size],power,reg));
- exit;
- end;
- if op = OP_IMUL then
- list.concat(taicpu.op_const_reg(A_IMUL,TCgSize2OpSize[size],a,reg))
- else
- { OP_MUL should be handled specifically in the code }
- { generator because of the silly register usage restraints }
- internalerror(200109225);
- end;
- OP_ADD, OP_AND, OP_OR, OP_SUB, OP_XOR:
- if not(cs_check_overflow in aktlocalswitches) and
- (a = 1) and
- (op in [OP_ADD,OP_SUB]) then
- if op = OP_ADD then
- list.concat(taicpu.op_reg(A_INC,TCgSize2OpSize[size],reg))
- else
- list.concat(taicpu.op_reg(A_DEC,TCgSize2OpSize[size],reg))
- else if (a = 0) then
- if (op <> OP_AND) then
- exit
- else
- list.concat(taicpu.op_const_reg(A_MOV,TCgSize2OpSize[size],0,reg))
- else if (a = high(aword)) and
- (op in [OP_AND,OP_OR,OP_XOR]) then
- begin
- case op of
- OP_AND:
- exit;
- OP_OR:
- list.concat(taicpu.op_const_reg(A_MOV,TCgSize2OpSize[size],high(aword),reg));
- OP_XOR:
- list.concat(taicpu.op_reg(A_NOT,TCgSize2OpSize[size],reg));
- end
- end
- else
- list.concat(taicpu.op_const_reg(TOpCG2AsmOp[op],TCgSize2OpSize[size],a,reg));
- OP_SHL,OP_SHR,OP_SAR:
- begin
- if (a and 31) <> 0 Then
- list.concat(taicpu.op_const_reg(TOpCG2AsmOp[op],TCgSize2OpSize[size],a and 31,reg));
- if (a shr 5) <> 0 Then
- internalerror(68991);
- end
- else internalerror(68992);
- end;
- end;
- procedure tcgx86.a_op_const_ref(list : taasmoutput; Op: TOpCG; size: TCGSize; a: AWord; const ref: TReference);
- var
- opcode: tasmop;
- power: longint;
- begin
- Case Op of
- OP_DIV, OP_IDIV:
- Begin
- if ispowerof2(a,power) then
- begin
- case op of
- OP_DIV:
- opcode := A_SHR;
- OP_IDIV:
- opcode := A_SAR;
- end;
- list.concat(taicpu.op_const_ref(opcode,
- TCgSize2OpSize[size],power,ref));
- exit;
- end;
- { the rest should be handled specifically in the code }
- { generator because of the silly register usage restraints }
- internalerror(200109231);
- End;
- OP_MUL,OP_IMUL:
- begin
- if not(cs_check_overflow in aktlocalswitches) and
- ispowerof2(a,power) then
- begin
- list.concat(taicpu.op_const_ref(A_SHL,TCgSize2OpSize[size],
- power,ref));
- exit;
- end;
- { can't multiply a memory location directly with a constant }
- if op = OP_IMUL then
- inherited a_op_const_ref(list,op,size,a,ref)
- else
- { OP_MUL should be handled specifically in the code }
- { generator because of the silly register usage restraints }
- internalerror(200109232);
- end;
- OP_ADD, OP_AND, OP_OR, OP_SUB, OP_XOR:
- if not(cs_check_overflow in aktlocalswitches) and
- (a = 1) and
- (op in [OP_ADD,OP_SUB]) then
- if op = OP_ADD then
- list.concat(taicpu.op_ref(A_INC,TCgSize2OpSize[size],ref))
- else
- list.concat(taicpu.op_ref(A_DEC,TCgSize2OpSize[size],ref))
- else if (a = 0) then
- if (op <> OP_AND) then
- exit
- else
- a_load_const_ref(list,size,0,ref)
- else if (a = high(aword)) and
- (op in [OP_AND,OP_OR,OP_XOR]) then
- begin
- case op of
- OP_AND:
- exit;
- OP_OR:
- list.concat(taicpu.op_const_ref(A_MOV,TCgSize2OpSize[size],high(aword),ref));
- OP_XOR:
- list.concat(taicpu.op_ref(A_NOT,TCgSize2OpSize[size],ref));
- end
- end
- else
- list.concat(taicpu.op_const_ref(TOpCG2AsmOp[op],
- TCgSize2OpSize[size],a,ref));
- OP_SHL,OP_SHR,OP_SAR:
- begin
- if (a and 31) <> 0 then
- list.concat(taicpu.op_const_ref(
- TOpCG2AsmOp[op],TCgSize2OpSize[size],a and 31,ref));
- if (a shr 5) <> 0 Then
- internalerror(68991);
- end
- else internalerror(68992);
- end;
- end;
- procedure tcgx86.a_op_reg_reg(list : taasmoutput; Op: TOpCG; size: TCGSize; src, dst: TRegister);
- var
- dstsize: topsize;
- instr:Taicpu;
- begin
- check_register_size(size,src);
- check_register_size(size,dst);
- dstsize := tcgsize2opsize[size];
- case op of
- OP_NEG,OP_NOT:
- begin
- if src<>dst then
- a_load_reg_reg(list,size,size,src,dst);
- list.concat(taicpu.op_reg(TOpCG2AsmOp[op],dstsize,dst));
- end;
- OP_MUL,OP_DIV,OP_IDIV:
- { special stuff, needs separate handling inside code }
- { generator }
- internalerror(200109233);
- OP_SHR,OP_SHL,OP_SAR:
- begin
- getexplicitregister(list,NR_CL);
- a_load_reg_reg(list,size,OS_8,dst,NR_CL);
- list.concat(taicpu.op_reg_reg(Topcg2asmop[op],S_B,src,NR_CL));
- ungetregister(list,NR_CL);
- end;
- else
- begin
- if reg2opsize(src) <> dstsize then
- internalerror(200109226);
- instr:=taicpu.op_reg_reg(TOpCG2AsmOp[op],dstsize,src,dst);
- list.concat(instr);
- end;
- end;
- end;
- procedure tcgx86.a_op_ref_reg(list : taasmoutput; Op: TOpCG; size: TCGSize; const ref: TReference; reg: TRegister);
- begin
- check_register_size(size,reg);
- case op of
- OP_NEG,OP_NOT,OP_IMUL:
- begin
- inherited a_op_ref_reg(list,op,size,ref,reg);
- end;
- OP_MUL,OP_DIV,OP_IDIV:
- { special stuff, needs separate handling inside code }
- { generator }
- internalerror(200109239);
- else
- begin
- reg := makeregsize(reg,size);
- list.concat(taicpu.op_ref_reg(TOpCG2AsmOp[op],tcgsize2opsize[size],ref,reg));
- end;
- end;
- end;
- procedure tcgx86.a_op_reg_ref(list : taasmoutput; Op: TOpCG; size: TCGSize;reg: TRegister; const ref: TReference);
- begin
- check_register_size(size,reg);
- case op of
- OP_NEG,OP_NOT:
- begin
- if reg<>NR_NO then
- internalerror(200109237);
- list.concat(taicpu.op_ref(TOpCG2AsmOp[op],tcgsize2opsize[size],ref));
- end;
- OP_IMUL:
- begin
- { this one needs a load/imul/store, which is the default }
- inherited a_op_ref_reg(list,op,size,ref,reg);
- end;
- OP_MUL,OP_DIV,OP_IDIV:
- { special stuff, needs separate handling inside code }
- { generator }
- internalerror(200109238);
- else
- begin
- list.concat(taicpu.op_reg_ref(TOpCG2AsmOp[op],tcgsize2opsize[size],reg,ref));
- end;
- end;
- end;
- procedure tcgx86.a_op_const_reg_reg(list: taasmoutput; op: TOpCg; size: tcgsize; a: aword; src, dst: tregister);
- var
- tmpref: treference;
- power: longint;
- begin
- check_register_size(size,src);
- check_register_size(size,dst);
- if not (size in [OS_32,OS_S32]) then
- begin
- inherited a_op_const_reg_reg(list,op,size,a,src,dst);
- exit;
- end;
- { if we get here, we have to do a 32 bit calculation, guaranteed }
- case op of
- OP_DIV, OP_IDIV, OP_MUL, OP_AND, OP_OR, OP_XOR, OP_SHL, OP_SHR,
- OP_SAR:
- { can't do anything special for these }
- inherited a_op_const_reg_reg(list,op,size,a,src,dst);
- OP_IMUL:
- begin
- if not(cs_check_overflow in aktlocalswitches) and
- ispowerof2(a,power) then
- { can be done with a shift }
- begin
- inherited a_op_const_reg_reg(list,op,size,a,src,dst);
- exit;
- end;
- list.concat(taicpu.op_const_reg_reg(A_IMUL,S_L,a,src,dst));
- end;
- OP_ADD, OP_SUB:
- if (a = 0) then
- a_load_reg_reg(list,size,size,src,dst)
- else
- begin
- reference_reset(tmpref);
- tmpref.base := src;
- tmpref.offset := longint(a);
- if op = OP_SUB then
- tmpref.offset := -tmpref.offset;
- list.concat(taicpu.op_ref_reg(A_LEA,S_L,tmpref,dst));
- end
- else internalerror(200112302);
- end;
- end;
- procedure tcgx86.a_op_reg_reg_reg(list: taasmoutput; op: TOpCg;size: tcgsize; src1, src2, dst: tregister);
- var
- tmpref: treference;
- begin
- check_register_size(size,src1);
- check_register_size(size,src2);
- check_register_size(size,dst);
- if not(size in [OS_32,OS_S32]) then
- begin
- inherited a_op_reg_reg_reg(list,op,size,src1,src2,dst);
- exit;
- end;
- { if we get here, we have to do a 32 bit calculation, guaranteed }
- Case Op of
- OP_DIV, OP_IDIV, OP_MUL, OP_AND, OP_OR, OP_XOR, OP_SHL, OP_SHR,
- OP_SAR,OP_SUB,OP_NOT,OP_NEG:
- { can't do anything special for these }
- inherited a_op_reg_reg_reg(list,op,size,src1,src2,dst);
- OP_IMUL:
- list.concat(taicpu.op_reg_reg_reg(A_IMUL,S_L,src1,src2,dst));
- OP_ADD:
- begin
- reference_reset(tmpref);
- tmpref.base := src1;
- tmpref.index := src2;
- tmpref.scalefactor := 1;
- list.concat(taicpu.op_ref_reg(A_LEA,S_L,tmpref,dst));
- end
- else internalerror(200112303);
- end;
- end;
- {*************** compare instructructions ****************}
- procedure tcgx86.a_cmp_const_reg_label(list : taasmoutput;size : tcgsize;cmp_op : topcmp;a : aword;reg : tregister;
- l : tasmlabel);
- begin
- if (a = 0) then
- list.concat(taicpu.op_reg_reg(A_TEST,tcgsize2opsize[size],reg,reg))
- else
- list.concat(taicpu.op_const_reg(A_CMP,tcgsize2opsize[size],a,reg));
- a_jmp_cond(list,cmp_op,l);
- end;
- procedure tcgx86.a_cmp_const_ref_label(list : taasmoutput;size : tcgsize;cmp_op : topcmp;a : aword;const ref : treference;
- l : tasmlabel);
- begin
- list.concat(taicpu.op_const_ref(A_CMP,TCgSize2OpSize[size],a,ref));
- a_jmp_cond(list,cmp_op,l);
- end;
- procedure tcgx86.a_cmp_reg_reg_label(list : taasmoutput;size : tcgsize;cmp_op : topcmp;
- reg1,reg2 : tregister;l : tasmlabel);
- begin
- check_register_size(size,reg1);
- check_register_size(size,reg2);
- list.concat(taicpu.op_reg_reg(A_CMP,TCgSize2OpSize[size],reg1,reg2));
- a_jmp_cond(list,cmp_op,l);
- end;
- procedure tcgx86.a_cmp_ref_reg_label(list : taasmoutput;size : tcgsize;cmp_op : topcmp;const ref: treference; reg : tregister;l : tasmlabel);
- begin
- check_register_size(size,reg);
- list.concat(taicpu.op_ref_reg(A_CMP,TCgSize2OpSize[size],ref,reg));
- a_jmp_cond(list,cmp_op,l);
- end;
- procedure tcgx86.a_jmp_cond(list : taasmoutput;cond : TOpCmp;l: tasmlabel);
- var
- ai : taicpu;
- begin
- if cond=OC_None then
- ai := Taicpu.Op_sym(A_JMP,S_NO,l)
- else
- begin
- ai:=Taicpu.Op_sym(A_Jcc,S_NO,l);
- ai.SetCondition(TOpCmp2AsmCond[cond]);
- end;
- ai.is_jmp:=true;
- list.concat(ai);
- end;
- procedure tcgx86.a_jmp_flags(list : taasmoutput;const f : TResFlags;l: tasmlabel);
- var
- ai : taicpu;
- begin
- ai := Taicpu.op_sym(A_Jcc,S_NO,l);
- ai.SetCondition(flags_to_cond(f));
- ai.is_jmp := true;
- list.concat(ai);
- end;
- procedure tcgx86.g_flags2reg(list: taasmoutput; size: TCgSize; const f: tresflags; reg: TRegister);
- var
- ai : taicpu;
- hreg : tregister;
- begin
- hreg:=makeregsize(reg,OS_8);
- ai:=Taicpu.op_reg(A_SETcc,S_B,hreg);
- ai.setcondition(flags_to_cond(f));
- list.concat(ai);
- if (reg<>hreg) then
- a_load_reg_reg(list,OS_8,size,hreg,reg);
- end;
- procedure tcgx86.g_flags2ref(list: taasmoutput; size: TCgSize; const f: tresflags; const ref: TReference);
- var
- ai : taicpu;
- begin
- if not(size in [OS_8,OS_S8]) then
- a_load_const_ref(list,size,0,ref);
- ai:=Taicpu.op_ref(A_SETcc,S_B,ref);
- ai.setcondition(flags_to_cond(f));
- list.concat(ai);
- end;
- { ************* concatcopy ************ }
- procedure Tcgx86.g_concatcopy(list:Taasmoutput;const source,dest:Treference;
- len:aword;delsource,loadref:boolean);
- var srcref,dstref:Treference;
- r:Tregister;
- helpsize:aword;
- copysize:byte;
- cgsize:Tcgsize;
- begin
- helpsize:=12;
- if cs_littlesize in aktglobalswitches then
- helpsize:=8;
- if not loadref and (len<=helpsize) then
- begin
- dstref:=dest;
- srcref:=source;
- copysize:=4;
- cgsize:=OS_32;
- while len<>0 do
- begin
- if len<2 then
- begin
- copysize:=1;
- cgsize:=OS_8;
- end
- else if len<4 then
- begin
- copysize:=2;
- cgsize:=OS_16;
- end;
- dec(len,copysize);
- if (len=0) and delsource then
- reference_release(list,source);
- r:=getintregister(list,cgsize);
- a_load_ref_reg(list,cgsize,cgsize,srcref,r);
- ungetregister(list,r);
- a_load_reg_ref(list,cgsize,cgsize,r,dstref);
- inc(srcref.offset,copysize);
- inc(dstref.offset,copysize);
- end;
- end
- else
- begin
- getexplicitregister(list,NR_EDI);
- a_loadaddr_ref_reg(list,dest,NR_EDI);
- getexplicitregister(list,NR_ESI);
- if loadref then
- a_load_ref_reg(list,OS_ADDR,OS_ADDR,source,NR_ESI)
- else
- begin
- a_loadaddr_ref_reg(list,source,NR_ESI);
- if delsource then
- begin
- srcref:=source;
- { Don't release ESI register yet, it's needed
- by the movsl }
- if (srcref.base=NR_ESI) then
- srcref.base:=NR_NO
- else if (srcref.index=NR_ESI) then
- srcref.index:=NR_NO;
- reference_release(list,srcref);
- end;
- end;
- getexplicitregister(list,NR_ECX);
- list.concat(Taicpu.op_none(A_CLD,S_NO));
- if cs_littlesize in aktglobalswitches then
- begin
- a_load_const_reg(list,OS_INT,len,NR_ECX);
- list.concat(Taicpu.op_none(A_REP,S_NO));
- list.concat(Taicpu.op_none(A_MOVSB,S_NO));
- end
- else
- begin
- helpsize:=len shr 2;
- len:=len and 3;
- if helpsize>1 then
- begin
- a_load_const_reg(list,OS_INT,helpsize,NR_ECX);
- list.concat(Taicpu.op_none(A_REP,S_NO));
- end;
- if helpsize>0 then
- list.concat(Taicpu.op_none(A_MOVSD,S_NO));
- if len>1 then
- begin
- dec(len,2);
- list.concat(Taicpu.op_none(A_MOVSW,S_NO));
- end;
- if len=1 then
- list.concat(Taicpu.op_none(A_MOVSB,S_NO));
- end;
- ungetregister(list,NR_ECX);
- ungetregister(list,NR_ESI);
- ungetregister(list,NR_EDI);
- end;
- if delsource then
- tg.ungetiftemp(list,source);
- end;
- procedure tcgx86.g_exception_reason_save(list : taasmoutput; const href : treference);
- begin
- list.concat(Taicpu.op_reg(A_PUSH,S_L,NR_EAX));
- end;
- procedure tcgx86.g_exception_reason_save_const(list : taasmoutput;const href : treference; a: aword);
- begin
- list.concat(Taicpu.op_const(A_PUSH,S_L,a));
- end;
- procedure tcgx86.g_exception_reason_load(list : taasmoutput; const href : treference);
- begin
- list.concat(Taicpu.op_reg(A_POP,S_L,NR_EAX));
- end;
- {****************************************************************************
- Entry/Exit Code Helpers
- ****************************************************************************}
- procedure tcgx86.g_copyvaluepara_openarray(list : taasmoutput;const ref, lenref:treference;elesize:integer);
- var
- power,len : longint;
- opsize : topsize;
- {$ifndef __NOWINPECOFF__}
- again,ok : tasmlabel;
- {$endif}
- begin
- { get stack space }
- getexplicitregister(list,NR_EDI);
- list.concat(Taicpu.op_ref_reg(A_MOV,S_L,lenref,NR_EDI));
- list.concat(Taicpu.op_reg(A_INC,S_L,NR_EDI));
- if (elesize<>1) then
- begin
- if ispowerof2(elesize, power) then
- list.concat(Taicpu.op_const_reg(A_SHL,S_L,power,NR_EDI))
- else
- list.concat(Taicpu.op_const_reg(A_IMUL,S_L,elesize,NR_EDI));
- end;
- {$ifndef __NOWINPECOFF__}
- { windows guards only a few pages for stack growing, }
- { so we have to access every page first }
- if target_info.system=system_i386_win32 then
- begin
- objectlibrary.getlabel(again);
- objectlibrary.getlabel(ok);
- a_label(list,again);
- list.concat(Taicpu.op_const_reg(A_CMP,S_L,winstackpagesize,NR_EDI));
- a_jmp_cond(list,OC_B,ok);
- list.concat(Taicpu.op_const_reg(A_SUB,S_L,winstackpagesize-4,NR_ESP));
- list.concat(Taicpu.op_reg(A_PUSH,S_L,NR_EDI));
- list.concat(Taicpu.op_const_reg(A_SUB,S_L,winstackpagesize,NR_EDI));
- a_jmp_always(list,again);
- a_label(list,ok);
- list.concat(Taicpu.op_reg_reg(A_SUB,S_L,NR_EDI,NR_ESP));
- ungetregister(list,NR_EDI);
- { now reload EDI }
- getexplicitregister(list,NR_EDI);
- list.concat(Taicpu.op_ref_reg(A_MOV,S_L,lenref,NR_EDI));
- list.concat(Taicpu.op_reg(A_INC,S_L,NR_EDI));
- if (elesize<>1) then
- begin
- if ispowerof2(elesize, power) then
- list.concat(Taicpu.op_const_reg(A_SHL,S_L,power,NR_EDI))
- else
- list.concat(Taicpu.op_const_reg(A_IMUL,S_L,elesize,NR_EDI));
- end;
- end
- else
- {$endif __NOWINPECOFF__}
- list.concat(Taicpu.op_reg_reg(A_SUB,S_L,NR_EDI,NR_ESP));
- { align stack on 4 bytes }
- list.concat(Taicpu.op_const_reg(A_AND,S_L,$fffffff4,NR_ESP));
- { load destination }
- a_load_reg_reg(list,OS_INT,OS_INT,NR_ESP,NR_EDI);
- { Allocate other registers }
- getexplicitregister(list,NR_ECX);
- getexplicitregister(list,NR_ESI);
- { load count }
- a_load_ref_reg(list,OS_INT,OS_INT,lenref,NR_ECX);
- { load source }
- a_load_ref_reg(list,OS_INT,OS_INT,ref,NR_ESI);
- { scheduled .... }
- list.concat(Taicpu.op_reg(A_INC,S_L,NR_ECX));
- { calculate size }
- len:=elesize;
- opsize:=S_B;
- if (len and 3)=0 then
- begin
- opsize:=S_L;
- len:=len shr 2;
- end
- else
- if (len and 1)=0 then
- begin
- opsize:=S_W;
- len:=len shr 1;
- end;
- if ispowerof2(len, power) then
- list.concat(Taicpu.op_const_reg(A_SHL,S_L,power,NR_ECX))
- else
- list.concat(Taicpu.op_const_reg(A_IMUL,S_L,len,NR_ECX));
- list.concat(Taicpu.op_none(A_REP,S_NO));
- case opsize of
- S_B : list.concat(Taicpu.Op_none(A_MOVSB,S_NO));
- S_W : list.concat(Taicpu.Op_none(A_MOVSW,S_NO));
- S_L : list.concat(Taicpu.Op_none(A_MOVSD,S_NO));
- end;
- ungetregister(list,NR_EDI);
- ungetregister(list,NR_ECX);
- ungetregister(list,NR_ESI);
- { patch the new address }
- a_load_reg_ref(list,OS_INT,OS_INT,NR_ESP,ref);
- end;
- procedure tcgx86.g_interrupt_stackframe_entry(list : taasmoutput);
- begin
- { .... also the segment registers }
- list.concat(Taicpu.Op_reg(A_PUSH,S_W,NR_GS));
- list.concat(Taicpu.Op_reg(A_PUSH,S_W,NR_FS));
- list.concat(Taicpu.Op_reg(A_PUSH,S_W,NR_ES));
- list.concat(Taicpu.Op_reg(A_PUSH,S_W,NR_DS));
- { save the registers of an interrupt procedure }
- list.concat(Taicpu.Op_reg(A_PUSH,S_L,NR_EDI));
- list.concat(Taicpu.Op_reg(A_PUSH,S_L,NR_ESI));
- list.concat(Taicpu.Op_reg(A_PUSH,S_L,NR_EDX));
- list.concat(Taicpu.Op_reg(A_PUSH,S_L,NR_ECX));
- list.concat(Taicpu.Op_reg(A_PUSH,S_L,NR_EBX));
- list.concat(Taicpu.Op_reg(A_PUSH,S_L,NR_EAX));
- end;
- procedure tcgx86.g_interrupt_stackframe_exit(list : taasmoutput;accused,acchiused:boolean);
- begin
- if accused then
- list.concat(Taicpu.Op_const_reg(A_ADD,S_L,4,NR_ESP))
- else
- list.concat(Taicpu.Op_reg(A_POP,S_L,NR_EAX));
- list.concat(Taicpu.Op_reg(A_POP,S_L,NR_EBX));
- list.concat(Taicpu.Op_reg(A_POP,S_L,NR_ECX));
- if acchiused then
- list.concat(Taicpu.Op_const_reg(A_ADD,S_L,4,NR_ESP))
- else
- list.concat(Taicpu.Op_reg(A_POP,S_L,NR_EDX));
- list.concat(Taicpu.Op_reg(A_POP,S_L,NR_ESI));
- list.concat(Taicpu.Op_reg(A_POP,S_L,NR_EDI));
- { .... also the segment registers }
- list.concat(Taicpu.Op_reg(A_POP,S_W,NR_DS));
- list.concat(Taicpu.Op_reg(A_POP,S_W,NR_ES));
- list.concat(Taicpu.Op_reg(A_POP,S_W,NR_FS));
- list.concat(Taicpu.Op_reg(A_POP,S_W,NR_GS));
- { this restores the flags }
- list.concat(Taicpu.Op_none(A_IRET,S_NO));
- end;
- procedure tcgx86.g_profilecode(list : taasmoutput);
- var
- pl : tasmlabel;
- begin
- case target_info.system of
- {$ifndef NOTARGETWIN32}
- system_i386_win32,
- {$endif}
- system_i386_freebsd,
- system_i386_wdosx,
- system_i386_linux:
- begin
- objectlibrary.getaddrlabel(pl);
- list.concat(Tai_section.Create(sec_data));
- list.concat(Tai_align.Create(4));
- list.concat(Tai_label.Create(pl));
- list.concat(Tai_const.Create_32bit(0));
- list.concat(Tai_section.Create(sec_code));
- list.concat(Taicpu.Op_sym_ofs_reg(A_MOV,S_L,pl,0,NR_EDX));
- a_call_name(list,target_info.Cprefix+'mcount');
- include(rgint.used_in_proc,RS_EDX);
- end;
- system_i386_go32v2,system_i386_watcom:
- begin
- a_call_name(list,'MCOUNT');
- end;
- end;
- end;
- procedure tcgx86.g_stackpointer_alloc(list : taasmoutput;localsize : longint);
- var
- href : treference;
- i : integer;
- again : tasmlabel;
- begin
- if localsize>0 then
- begin
- {$ifndef NOTARGETWIN32}
- { windows guards only a few pages for stack growing, }
- { so we have to access every page first }
- if (target_info.system=system_i386_win32) and
- (localsize>=winstackpagesize) then
- begin
- if localsize div winstackpagesize<=5 then
- begin
- list.concat(Taicpu.Op_const_reg(A_SUB,S_L,localsize-4,NR_ESP));
- for i:=1 to localsize div winstackpagesize do
- begin
- reference_reset_base(href,NR_ESP,localsize-i*winstackpagesize);
- list.concat(Taicpu.op_const_ref(A_MOV,S_L,0,href));
- end;
- list.concat(Taicpu.op_reg(A_PUSH,S_L,NR_EAX));
- end
- else
- begin
- objectlibrary.getlabel(again);
- getexplicitregister(list,NR_EDI);
- list.concat(Taicpu.op_const_reg(A_MOV,S_L,localsize div winstackpagesize,NR_EDI));
- a_label(list,again);
- list.concat(Taicpu.op_const_reg(A_SUB,S_L,winstackpagesize-4,NR_ESP));
- list.concat(Taicpu.op_reg(A_PUSH,S_L,NR_EAX));
- list.concat(Taicpu.op_reg(A_DEC,S_L,NR_EDI));
- a_jmp_cond(list,OC_NE,again);
- ungetregister(list,NR_EDI);
- list.concat(Taicpu.op_const_reg(A_SUB,S_L,localsize mod winstackpagesize,NR_ESP));
- end
- end
- else
- {$endif NOTARGETWIN32}
- list.concat(Taicpu.Op_const_reg(A_SUB,S_L,localsize,NR_ESP));
- end;
- end;
- procedure tcgx86.g_stackframe_entry(list : taasmoutput;localsize : longint);
- begin
- list.concat(tai_regalloc.alloc(NR_EBP));
- include(rgint.preserved_by_proc,RS_EBP);
- list.concat(Taicpu.op_reg(A_PUSH,S_L,NR_EBP));
- list.concat(Taicpu.op_reg_reg(A_MOV,S_L,NR_ESP,NR_EBP));
- if localsize>0 then
- g_stackpointer_alloc(list,localsize);
- end;
- procedure tcgx86.g_restore_frame_pointer(list : taasmoutput);
- begin
- list.concat(tai_regalloc.dealloc(NR_EBP));
- list.concat(Taicpu.op_none(A_LEAVE,S_NO));
- end;
- procedure tcgx86.g_return_from_proc(list : taasmoutput;parasize : aword);
- begin
- { Routines with the poclearstack flag set use only a ret }
- { also routines with parasize=0 }
- if current_procinfo.procdef.proccalloption in clearstack_pocalls then
- begin
- { complex return values are removed from stack in C code PM }
- if paramanager.ret_in_param(current_procinfo.procdef.rettype.def,
- current_procinfo.procdef.proccalloption) then
- list.concat(Taicpu.Op_const(A_RET,S_NO,4))
- else
- list.concat(Taicpu.Op_none(A_RET,S_NO));
- end
- else if (parasize=0) then
- list.concat(Taicpu.Op_none(A_RET,S_NO))
- else
- begin
- { parameters are limited to 65535 bytes because }
- { ret allows only imm16 }
- if (parasize>65535) then
- CGMessage(cg_e_parasize_too_big);
- list.concat(Taicpu.Op_const(A_RET,S_NO,parasize));
- end;
- end;
- procedure tcgx86.g_save_standard_registers(list:Taasmoutput);
- var
- href : treference;
- size : longint;
- begin
- { Get temp }
- size:=0;
- if (RS_EBX in rgint.used_in_proc) then
- inc(size,POINTER_SIZE);
- if (RS_ESI in rgint.used_in_proc) then
- inc(size,POINTER_SIZE);
- if (RS_EDI in rgint.used_in_proc) then
- inc(size,POINTER_SIZE);
- if size>0 then
- begin
- tg.GetTemp(list,size,tt_noreuse,current_procinfo.save_regs_ref);
- { Copy registers to temp }
- href:=current_procinfo.save_regs_ref;
- if (RS_EBX in rgint.used_in_proc) then
- begin
- a_load_reg_ref(list,OS_ADDR,OS_ADDR,NR_EBX,href);
- inc(href.offset,POINTER_SIZE);
- end;
- if (RS_ESI in rgint.used_in_proc) then
- begin
- a_load_reg_ref(list,OS_ADDR,OS_ADDR,NR_ESI,href);
- inc(href.offset,POINTER_SIZE);
- end;
- if (RS_EDI in rgint.used_in_proc) then
- begin
- a_load_reg_ref(list,OS_ADDR,OS_ADDR,NR_EDI,href);
- inc(href.offset,POINTER_SIZE);
- end;
- end;
- include(rgint.preserved_by_proc,RS_EBX);
- include(rgint.preserved_by_proc,RS_ESI);
- include(rgint.preserved_by_proc,RS_EDI);
- end;
- procedure tcgx86.g_restore_standard_registers(list:Taasmoutput);
- var
- href : treference;
- begin
- { Copy registers from temp }
- href:=current_procinfo.save_regs_ref;
- if (RS_EBX in rgint.used_in_proc) then
- begin
- a_load_ref_reg(list,OS_ADDR,OS_ADDR,href,NR_EBX);
- inc(href.offset,POINTER_SIZE);
- end;
- if (RS_ESI in rgint.used_in_proc) then
- begin
- a_load_ref_reg(list,OS_ADDR,OS_ADDR,href,NR_ESI);
- inc(href.offset,POINTER_SIZE);
- end;
- if (RS_EDI in rgint.used_in_proc) then
- begin
- a_load_ref_reg(list,OS_ADDR,OS_ADDR,href,NR_EDI);
- inc(href.offset,POINTER_SIZE);
- end;
- tg.UnGetTemp(list,current_procinfo.save_regs_ref);
- end;
- procedure tcgx86.g_save_all_registers(list : taasmoutput);
- begin
- list.concat(Taicpu.Op_none(A_PUSHA,S_L));
- tg.GetTemp(list,POINTER_SIZE,tt_noreuse,current_procinfo.save_regs_ref);
- a_load_reg_ref(list,OS_ADDR,OS_ADDR,NR_ESP,current_procinfo.save_regs_ref);
- end;
- procedure tcgx86.g_restore_all_registers(list : taasmoutput;accused,acchiused:boolean);
- var
- href : treference;
- begin
- a_load_ref_reg(list,OS_ADDR,OS_ADDR,current_procinfo.save_regs_ref,NR_ESP);
- tg.UnGetTemp(list,current_procinfo.save_regs_ref);
- if acchiused then
- begin
- reference_reset_base(href,NR_ESP,20);
- list.concat(Taicpu.Op_reg_ref(A_MOV,S_L,NR_EDX,href));
- end;
- if accused then
- begin
- reference_reset_base(href,NR_ESP,28);
- list.concat(Taicpu.Op_reg_ref(A_MOV,S_L,NR_EAX,href));
- end;
- list.concat(Taicpu.Op_none(A_POPA,S_L));
- { We add a NOP because of the 386DX CPU bugs with POPAD }
- list.concat(taicpu.op_none(A_NOP,S_L));
- end;
- { produces if necessary overflowcode }
- procedure tcgx86.g_overflowcheck(list: taasmoutput; const l:tlocation;def:tdef);
- var
- hl : tasmlabel;
- ai : taicpu;
- cond : TAsmCond;
- begin
- if not(cs_check_overflow in aktlocalswitches) then
- exit;
- objectlibrary.getlabel(hl);
- if not ((def.deftype=pointerdef) or
- ((def.deftype=orddef) and
- (torddef(def).typ in [u64bit,u16bit,u32bit,u8bit,uchar,
- bool8bit,bool16bit,bool32bit]))) then
- cond:=C_NO
- else
- cond:=C_NB;
- ai:=Taicpu.Op_Sym(A_Jcc,S_NO,hl);
- ai.SetCondition(cond);
- ai.is_jmp:=true;
- list.concat(ai);
- a_call_name(list,'FPC_OVERFLOW');
- a_label(list,hl);
- end;
- end.
- {
- $Log$
- Revision 1.78 2003-10-13 01:23:13 florian
- * some ideas for mm support implemented
- Revision 1.77 2003/10/11 16:06:42 florian
- * fixed some MMX<->SSE
- * started to fix ppc, needs an overhaul
- + stabs info improve for spilling, not sure if it works correctly/completly
- - MMX_SUPPORT removed from Makefile.fpc
- Revision 1.76 2003/10/10 17:48:14 peter
- * old trgobj moved to x86/rgcpu and renamed to trgx86fpu
- * tregisteralloctor renamed to trgobj
- * removed rgobj from a lot of units
- * moved location_* and reference_* to cgobj
- * first things for mmx register allocation
- Revision 1.75 2003/10/09 21:31:37 daniel
- * Register allocator splitted, ans abstract now
- Revision 1.74 2003/10/07 16:09:03 florian
- * x86 supports only mem/reg to reg for movsx and movzx
- Revision 1.73 2003/10/07 15:17:07 peter
- * inline supported again, LOC_REFERENCEs are used to pass the
- parameters
- * inlineparasymtable,inlinelocalsymtable removed
- * exitlabel inserting fixed
- Revision 1.72 2003/10/03 22:00:33 peter
- * parameter alignment fixes
- Revision 1.71 2003/10/03 14:45:37 peter
- * save ESP after pusha and restore before popa for save all registers
- Revision 1.70 2003/10/01 20:34:51 peter
- * procinfo unit contains tprocinfo
- * cginfo renamed to cgbase
- * moved cgmessage to verbose
- * fixed ppc and sparc compiles
- Revision 1.69 2003/09/30 19:53:47 peter
- * fix pushw reg
- Revision 1.68 2003/09/29 20:58:56 peter
- * optimized releasing of registers
- Revision 1.67 2003/09/28 13:37:19 peter
- * a_call_ref removed
- Revision 1.66 2003/09/25 21:29:16 peter
- * change push/pop in getreg/ungetreg
- Revision 1.65 2003/09/25 13:13:32 florian
- * more x86-64 fixes
- Revision 1.64 2003/09/11 11:55:00 florian
- * improved arm code generation
- * move some protected and private field around
- * the temp. register for register parameters/arguments are now released
- before the move to the parameter register is done. This improves
- the code in a lot of cases.
- Revision 1.63 2003/09/09 21:03:17 peter
- * basics for x86 register calling
- Revision 1.62 2003/09/09 20:59:27 daniel
- * Adding register allocation order
- Revision 1.61 2003/09/07 22:09:35 peter
- * preparations for different default calling conventions
- * various RA fixes
- Revision 1.60 2003/09/05 17:41:13 florian
- * merged Wiktor's Watcom patches in 1.1
- Revision 1.59 2003/09/03 15:55:02 peter
- * NEWRA branch merged
- Revision 1.58.2.5 2003/08/31 20:40:50 daniel
- * Fixed add_edges_used
- Revision 1.58.2.4 2003/08/31 15:46:26 peter
- * more updates for tregister
- Revision 1.58.2.3 2003/08/29 17:29:00 peter
- * next batch of updates
- Revision 1.58.2.2 2003/08/28 18:35:08 peter
- * tregister changed to cardinal
- Revision 1.58.2.1 2003/08/27 21:06:34 peter
- * more updates
- Revision 1.58 2003/08/20 19:28:21 daniel
- * Small NOTARGETWIN32 conditional tweak
- Revision 1.57 2003/07/03 18:59:25 peter
- * loadfpu_reg_reg size specifier
- Revision 1.56 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.55 2003/06/13 21:19:32 peter
- * current_procdef removed, use current_procinfo.procdef instead
- Revision 1.54 2003/06/12 18:31:18 peter
- * fix newra cycle for i386
- Revision 1.53 2003/06/07 10:24:10 peter
- * fixed copyvaluepara for left-to-right pushing
- Revision 1.52 2003/06/07 10:06:55 jonas
- * fixed cycling problem
- Revision 1.51 2003/06/03 21:11:09 peter
- * cg.a_load_* get a from and to size specifier
- * makeregsize only accepts newregister
- * i386 uses generic tcgnotnode,tcgunaryminus
- Revision 1.50 2003/06/03 13:01:59 daniel
- * Register allocator finished
- Revision 1.49 2003/06/01 21:38:07 peter
- * getregisterfpu size parameter added
- * op_const_reg size parameter added
- * sparc updates
- Revision 1.48 2003/05/30 23:57:08 peter
- * more sparc cleanup
- * accumulator removed, splitted in function_return_reg (called) and
- function_result_reg (caller)
- Revision 1.47 2003/05/22 21:33:31 peter
- * removed some unit dependencies
- Revision 1.46 2003/05/16 14:33:31 peter
- * regvar fixes
- Revision 1.45 2003/05/15 18:58:54 peter
- * removed selfpointer_offset, vmtpointer_offset
- * tvarsym.adjusted_address
- * address in localsymtable is now in the real direction
- * removed some obsolete globals
- Revision 1.44 2003/04/30 20:53:32 florian
- * error when address of an abstract method is taken
- * fixed some x86-64 problems
- * merged some more x86-64 and i386 code
- Revision 1.43 2003/04/27 11:21:36 peter
- * aktprocdef renamed to current_procinfo.procdef
- * procinfo renamed to current_procinfo
- * procinfo will now be stored in current_module so it can be
- cleaned up properly
- * gen_main_procsym changed to create_main_proc and release_main_proc
- to also generate a tprocinfo structure
- * fixed unit implicit initfinal
- Revision 1.42 2003/04/23 14:42:08 daniel
- * Further register allocator work. Compiler now smaller with new
- allocator than without.
- * Somebody forgot to adjust ppu version number
- Revision 1.41 2003/04/23 09:51:16 daniel
- * Removed usage of edi in a lot of places when new register allocator used
- + Added newra versions of g_concatcopy and secondadd_float
- Revision 1.40 2003/04/22 13:47:08 peter
- * fixed C style array of const
- * fixed C array passing
- * fixed left to right with high parameters
- Revision 1.39 2003/04/22 10:09:35 daniel
- + Implemented the actual register allocator
- + Scratch registers unavailable when new register allocator used
- + maybe_save/maybe_restore unavailable when new register allocator used
- Revision 1.38 2003/04/17 16:48:21 daniel
- * Added some code to keep track of move instructions in register
- allocator
- Revision 1.37 2003/03/28 19:16:57 peter
- * generic constructor working for i386
- * remove fixed self register
- * esi added as address register for i386
- Revision 1.36 2003/03/18 18:17:46 peter
- * reg2opsize()
- Revision 1.35 2003/03/13 19:52:23 jonas
- * and more new register allocator fixes (in the i386 code generator this
- time). At least now the ppc cross compiler can compile the linux
- system unit again, but I haven't tested it.
- Revision 1.34 2003/02/27 16:40:32 daniel
- * Fixed ie 200301234 problem on Win32 target
- Revision 1.33 2003/02/26 21:15:43 daniel
- * Fixed the optimizer
- Revision 1.32 2003/02/19 22:00:17 daniel
- * Code generator converted to new register notation
- - Horribily outdated todo.txt removed
- Revision 1.31 2003/01/21 10:41:13 daniel
- * Fixed another 200301081
- Revision 1.30 2003/01/13 23:00:18 daniel
- * Fixed internalerror
- Revision 1.29 2003/01/13 14:54:34 daniel
- * Further work to convert codegenerator register convention;
- internalerror bug fixed.
- Revision 1.28 2003/01/09 20:41:00 daniel
- * Converted some code in cgx86.pas to new register numbering
- Revision 1.27 2003/01/08 18:43:58 daniel
- * Tregister changed into a record
- Revision 1.26 2003/01/05 13:36:53 florian
- * x86-64 compiles
- + very basic support for float128 type (x86-64 only)
- Revision 1.25 2003/01/02 16:17:50 peter
- * align stack on 4 bytes in copyvalueopenarray
- Revision 1.24 2002/12/24 15:56:50 peter
- * stackpointer_alloc added for adjusting ESP. Win32 needs
- this for the pageprotection
- Revision 1.23 2002/11/25 18:43:34 carl
- - removed the invalid if <> checking (Delphi is strange on this)
- + implemented abstract warning on instance creation of class with
- abstract methods.
- * some error message cleanups
- Revision 1.22 2002/11/25 17:43:29 peter
- * splitted defbase in defutil,symutil,defcmp
- * merged isconvertable and is_equal into compare_defs(_ext)
- * made operator search faster by walking the list only once
- Revision 1.21 2002/11/18 17:32:01 peter
- * pass proccalloption to ret_in_xxx and push_xxx functions
- Revision 1.20 2002/11/09 21:18:31 carl
- * flags2reg() was not extending the byte register to the correct result size
- Revision 1.19 2002/10/16 19:01:43 peter
- + $IMPLICITEXCEPTIONS switch to turn on/off generation of the
- implicit exception frames for procedures with initialized variables
- and for constructors. The default is on for compatibility
- Revision 1.18 2002/10/05 12:43:30 carl
- * fixes for Delphi 6 compilation
- (warning : Some features do not work under Delphi)
- Revision 1.17 2002/09/17 18:54:06 jonas
- * a_load_reg_reg() now has two size parameters: source and dest. This
- allows some optimizations on architectures that don't encode the
- register size in the register name.
- Revision 1.16 2002/09/16 19:08:47 peter
- * support references without registers and symbol in paramref_addr. It
- pushes only the offset
- Revision 1.15 2002/09/16 18:06:29 peter
- * move CGSize2Opsize to interface
- Revision 1.14 2002/09/01 14:42:41 peter
- * removevaluepara added to fix the stackpointer so restoring of
- saved registers works
- Revision 1.13 2002/09/01 12:09:27 peter
- + a_call_reg, a_call_loc added
- * removed exprasmlist references
- Revision 1.12 2002/08/17 09:23:50 florian
- * first part of procinfo rewrite
- Revision 1.11 2002/08/16 14:25:00 carl
- * issameref() to test if two references are the same (then emit no opcodes)
- + ret_in_reg to replace ret_in_acc
- (fix some register allocation bugs at the same time)
- + save_std_register now has an extra parameter which is the
- usedinproc registers
- Revision 1.10 2002/08/15 08:13:54 carl
- - a_load_sym_ofs_reg removed
- * loadvmt now calls loadaddr_ref_reg instead
- Revision 1.9 2002/08/11 14:32:33 peter
- * renamed current_library to objectlibrary
- Revision 1.8 2002/08/11 13:24:20 peter
- * saving of asmsymbols in ppu supported
- * asmsymbollist global is removed and moved into a new class
- tasmlibrarydata that will hold the info of a .a file which
- corresponds with a single module. Added librarydata to tmodule
- to keep the library info stored for the module. In the future the
- objectfiles will also be stored to the tasmlibrarydata class
- * all getlabel/newasmsymbol and friends are moved to the new class
- Revision 1.7 2002/08/10 10:06:04 jonas
- * fixed stupid bug of mine in g_flags2reg() when optimizations are on
- Revision 1.6 2002/08/09 19:18:27 carl
- * fix generic exception handling
- Revision 1.5 2002/08/04 19:52:04 carl
- + updated exception routines
- Revision 1.4 2002/07/27 19:53:51 jonas
- + generic implementation of tcg.g_flags2ref()
- * tcg.flags2xxx() now also needs a size parameter
- Revision 1.3 2002/07/26 21:15:46 florian
- * rewrote the system handling
- Revision 1.2 2002/07/21 16:55:34 jonas
- * fixed bug in op_const_reg_reg() for imul
- Revision 1.1 2002/07/20 19:28:47 florian
- * splitting of i386\cgcpu.pas into x86\cgx86.pas and i386\cgcpu.pas
- cgx86.pas will contain the common code for i386 and x86_64
- }
|