123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924 |
- {
- $Id$
- Copyright (c) 1993-98 by Florian Klaempfl
- Generate i386 assembler for nodes that influence the flow
- 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 cg386flw;
- interface
- uses
- tree;
- procedure second_while_repeatn(var p : ptree);
- procedure secondifn(var p : ptree);
- procedure secondfor(var p : ptree);
- procedure secondexitn(var p : ptree);
- procedure secondbreakn(var p : ptree);
- procedure secondcontinuen(var p : ptree);
- procedure secondgoto(var p : ptree);
- procedure secondlabel(var p : ptree);
- procedure secondraise(var p : ptree);
- procedure secondtryexcept(var p : ptree);
- procedure secondtryfinally(var p : ptree);
- procedure secondon(var p : ptree);
- procedure secondfail(var p : ptree);
- implementation
- uses
- cobjects,verbose,globals,systems,
- symtable,aasm,types,
- hcodegen,temp_gen,pass_2,
- {$ifdef ag386bin}
- i386base,i386asm,
- {$else}
- i386,
- {$endif}
- cgai386,tgeni386;
- {*****************************************************************************
- Second_While_RepeatN
- *****************************************************************************}
- procedure second_while_repeatn(var p : ptree);
- var
- lcont,lbreak,lloop,
- oldclabel,oldblabel : plabel;
- otlabel,oflabel : plabel;
- begin
- getlabel(lloop);
- getlabel(lcont);
- getlabel(lbreak);
- { arrange continue and breaklabels: }
- oldclabel:=aktcontinuelabel;
- oldblabel:=aktbreaklabel;
- { handling code at the end as it is much more efficient, and makes
- while equal to repeat loop, only the end true/false is swapped (PFV) }
- if p^.treetype=whilen then
- emitjmp(C_None,lcont);
- emitlab(lloop);
- aktcontinuelabel:=lcont;
- aktbreaklabel:=lbreak;
- cleartempgen;
- if assigned(p^.right) then
- secondpass(p^.right);
- emitlab(lcont);
- otlabel:=truelabel;
- oflabel:=falselabel;
- if p^.treetype=whilen then
- begin
- truelabel:=lloop;
- falselabel:=lbreak;
- end
- { repeatn }
- else
- begin
- truelabel:=lbreak;
- falselabel:=lloop;
- end;
- cleartempgen;
- secondpass(p^.left);
- maketojumpbool(p^.left);
- emitlab(lbreak);
- freelabel(lloop);
- freelabel(lcont);
- freelabel(lbreak);
- truelabel:=otlabel;
- falselabel:=oflabel;
- aktcontinuelabel:=oldclabel;
- aktbreaklabel:=oldblabel;
- end;
- {*****************************************************************************
- SecondIfN
- *****************************************************************************}
- procedure secondifn(var p : ptree);
- var
- hl,otlabel,oflabel : plabel;
- begin
- otlabel:=truelabel;
- oflabel:=falselabel;
- getlabel(truelabel);
- getlabel(falselabel);
- cleartempgen;
- secondpass(p^.left);
- maketojumpbool(p^.left);
- if assigned(p^.right) then
- begin
- emitlab(truelabel);
- cleartempgen;
- secondpass(p^.right);
- end;
- if assigned(p^.t1) then
- begin
- if assigned(p^.right) then
- begin
- getlabel(hl);
- { do go back to if line !! }
- aktfilepos:=exprasmlist^.getlasttaifilepos^;
- emitjmp(C_None,hl);
- end;
- emitlab(falselabel);
- cleartempgen;
- secondpass(p^.t1);
- if assigned(p^.right) then
- emitlab(hl);
- end
- else
- begin
- emitlab(falselabel);
- end;
- if not(assigned(p^.right)) then
- begin
- emitlab(truelabel);
- end;
- freelabel(truelabel);
- freelabel(falselabel);
- truelabel:=otlabel;
- falselabel:=oflabel;
- end;
- {*****************************************************************************
- SecondFor
- *****************************************************************************}
- procedure secondfor(var p : ptree);
- var
- l3,oldclabel,oldblabel : plabel;
- omitfirstcomp,temptovalue : boolean;
- hs : byte;
- temp1 : treference;
- hop : tasmop;
- hcond : tasmcond;
- cmpreg,cmp32 : tregister;
- opsize : topsize;
- count_var_is_signed : boolean;
- begin
- oldclabel:=aktcontinuelabel;
- oldblabel:=aktbreaklabel;
- getlabel(aktcontinuelabel);
- getlabel(aktbreaklabel);
- getlabel(l3);
- { could we spare the first comparison ? }
- omitfirstcomp:=false;
- if p^.right^.treetype=ordconstn then
- if p^.left^.right^.treetype=ordconstn then
- omitfirstcomp:=(p^.backward and (p^.left^.right^.value>=p^.right^.value))
- or (not(p^.backward) and (p^.left^.right^.value<=p^.right^.value));
- { only calculate reference }
- cleartempgen;
- secondpass(p^.t2);
- {$ifndef OLDFORVER}
- hs:=p^.t2^.resulttype^.size;
- cmp32:=getregister32;
- case hs of
- 1 : begin
- opsize:=S_B;
- cmpreg:=reg32toreg8(cmp32);
- end;
- 2 : begin
- opsize:=S_W;
- cmpreg:=reg32toreg16(cmp32);
- end;
- 4 : begin
- opsize:=S_L;
- cmpreg:=cmp32;
- end;
- end;
- (*
- if not(simple_loadn) then
- CGMessage(cg_e_illegal_count_var);
- already done in firstfor !! *)
- { first set the to value
- because the count var can be in the expression !! }
- cleartempgen;
- secondpass(p^.right);
- { calculate pointer value and check if changeable and if so }
- { load into temporary variable }
- if p^.right^.treetype<>ordconstn then
- begin
- temp1.symbol:=nil;
- gettempofsizereference(hs,temp1);
- temptovalue:=true;
- if (p^.right^.location.loc=LOC_REGISTER) or
- (p^.right^.location.loc=LOC_CREGISTER) then
- begin
- exprasmlist^.concat(new(pai386,op_reg_ref(A_MOV,opsize,p^.right^.location.register,
- newreference(temp1))));
- end
- else
- concatcopy(p^.right^.location.reference,temp1,hs,false,false);
- end
- else temptovalue:=false;
- {$endif OLDFORVER}
- { produce start assignment }
- cleartempgen;
- secondpass(p^.left);
- count_var_is_signed:=is_signed(porddef(p^.t2^.resulttype));
- {$ifdef OLDFORVER}
- hs:=p^.t2^.resulttype^.size;
- cmp32:=getregister32;
- case hs of
- 1 : begin
- opsize:=S_B;
- cmpreg:=reg32toreg8(cmp32);
- end;
- 2 : begin
- opsize:=S_W;
- cmpreg:=reg32toreg16(cmp32);
- end;
- 4 : begin
- opsize:=S_L;
- cmpreg:=cmp32;
- end;
- end;
- cleartempgen;
- secondpass(p^.right);
- { calculate pointer value and check if changeable and if so }
- { load into temporary variable }
- if p^.right^.treetype<>ordconstn then
- begin
- temp1.symbol:=nil;
- gettempofsizereference(hs,temp1);
- temptovalue:=true;
- if (p^.right^.location.loc=LOC_REGISTER) or
- (p^.right^.location.loc=LOC_CREGISTER) then
- begin
- exprasmlist^.concat(new(pai386,op_reg_ref(A_MOV,opsize,p^.right^.location.register,
- newreference(temp1))));
- end
- else
- concatcopy(p^.right^.location.reference,temp1,hs,false,false);
- end
- else temptovalue:=false;
- {$endif OLDFORVER}
- if temptovalue then
- begin
- if p^.t2^.location.loc=LOC_CREGISTER then
- begin
- exprasmlist^.concat(new(pai386,op_ref_reg(A_CMP,opsize,newreference(temp1),
- p^.t2^.location.register)));
- end
- else
- begin
- exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,opsize,newreference(p^.t2^.location.reference),
- cmpreg)));
- exprasmlist^.concat(new(pai386,op_ref_reg(A_CMP,opsize,newreference(temp1),
- cmpreg)));
- end;
- end
- else
- begin
- if not(omitfirstcomp) then
- begin
- if p^.t2^.location.loc=LOC_CREGISTER then
- exprasmlist^.concat(new(pai386,op_const_reg(A_CMP,opsize,p^.right^.value,
- p^.t2^.location.register)))
- else
- exprasmlist^.concat(new(pai386,op_const_ref(A_CMP,opsize,p^.right^.value,
- newreference(p^.t2^.location.reference))));
- end;
- end;
- if p^.backward then
- if count_var_is_signed then
- hcond:=C_L
- else
- hcond:=C_B
- else
- if count_var_is_signed then
- hcond:=C_G
- else
- hcond:=C_A;
- if not(omitfirstcomp) or temptovalue then
- emitjmp(hcond,aktbreaklabel);
- emitlab(l3);
- { help register must not be in instruction block }
- cleartempgen;
- if assigned(p^.t1) then
- secondpass(p^.t1);
- emitlab(aktcontinuelabel);
- { makes no problems there }
- cleartempgen;
- { demand help register again }
- cmp32:=getregister32;
- case hs of
- 1 : begin
- opsize:=S_B;
- cmpreg:=reg32toreg8(cmp32);
- end;
- 2 : begin
- opsize:=S_W;
- cmpreg:=reg32toreg16(cmp32);
- end;
- 4 : opsize:=S_L;
- end;
- { produce comparison and the corresponding }
- { jump }
- if temptovalue then
- begin
- if p^.t2^.location.loc=LOC_CREGISTER then
- begin
- exprasmlist^.concat(new(pai386,op_ref_reg(A_CMP,opsize,newreference(temp1),
- p^.t2^.location.register)));
- end
- else
- begin
- exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,opsize,newreference(p^.t2^.location.reference),
- cmpreg)));
- exprasmlist^.concat(new(pai386,op_ref_reg(A_CMP,opsize,newreference(temp1),
- cmpreg)));
- end;
- end
- else
- begin
- if p^.t2^.location.loc=LOC_CREGISTER then
- exprasmlist^.concat(new(pai386,op_const_reg(A_CMP,opsize,p^.right^.value,
- p^.t2^.location.register)))
- else
- exprasmlist^.concat(new(pai386,op_const_ref(A_CMP,opsize,p^.right^.value,
- newreference(p^.t2^.location.reference))));
- end;
- if p^.backward then
- if count_var_is_signed then
- hcond:=C_LE
- else
- hcond:=C_BE
- else
- if count_var_is_signed then
- hcond:=C_GE
- else
- hcond:=C_AE;
- emitjmp(hcond,aktbreaklabel);
- { according to count direction DEC or INC... }
- { must be after the test because of 0to 255 for bytes !! }
- if p^.backward then
- hop:=A_DEC
- else
- hop:=A_INC;
- if p^.t2^.location.loc=LOC_CREGISTER then
- exprasmlist^.concat(new(pai386,op_reg(hop,opsize,p^.t2^.location.register)))
- else
- exprasmlist^.concat(new(pai386,op_ref(hop,opsize,newreference(p^.t2^.location.reference))));
- emitjmp(C_None,l3);
- { this is the break label: }
- emitlab(aktbreaklabel);
- ungetregister32(cmp32);
- if temptovalue then
- ungetiftemp(temp1);
- freelabel(aktcontinuelabel);
- freelabel(aktbreaklabel);
- freelabel(l3);
- aktcontinuelabel:=oldclabel;
- aktbreaklabel:=oldblabel;
- end;
- {*****************************************************************************
- SecondExitN
- *****************************************************************************}
- procedure secondexitn(var p : ptree);
- var
- is_mem : boolean;
- {op : tasmop;
- s : topsize;}
- otlabel,oflabel : plabel;
- label
- do_jmp;
- begin
- if assigned(p^.left) then
- begin
- otlabel:=truelabel;
- oflabel:=falselabel;
- getlabel(truelabel);
- getlabel(falselabel);
- secondpass(p^.left);
- case p^.left^.location.loc of
- LOC_FPU : goto do_jmp;
- LOC_MEM,
- LOC_REFERENCE : is_mem:=true;
- LOC_CREGISTER,
- LOC_REGISTER : is_mem:=false;
- LOC_FLAGS : begin
- emit_flag2reg(p^.left^.location.resflags,R_AL);
- goto do_jmp;
- end;
- LOC_JUMP : begin
- emitlab(truelabel);
- exprasmlist^.concat(new(pai386,op_const_reg(A_MOV,S_B,1,R_AL)));
- emitjmp(C_None,aktexit2label);
- emitlab(falselabel);
- exprasmlist^.concat(new(pai386,op_reg_reg(A_XOR,S_B,R_AL,R_AL)));
- goto do_jmp;
- end;
- else
- internalerror(2001);
- end;
- case procinfo.retdef^.deftype of
- orddef,
- enumdef : begin
- case procinfo.retdef^.size of
- 4 : if is_mem then
- exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,
- newreference(p^.left^.location.reference),R_EAX)))
- else
- emit_reg_reg(A_MOV,S_L,p^.left^.location.register,R_EAX);
- 2 : if is_mem then
- exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_W,
- newreference(p^.left^.location.reference),R_AX)))
- else
- emit_reg_reg(A_MOV,S_W,makereg16(p^.left^.location.register),R_AX);
- 1 : if is_mem then
- exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_B,
- newreference(p^.left^.location.reference),R_AL)))
- else
- emit_reg_reg(A_MOV,S_B,makereg8(p^.left^.location.register),R_AL);
- end;
- end;
- pointerdef,
- procvardef : begin
- if is_mem then
- exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,
- newreference(p^.left^.location.reference),R_EAX)))
- else
- exprasmlist^.concat(new(pai386,op_reg_reg(A_MOV,S_L,
- p^.left^.location.register,R_EAX)));
- end;
- floatdef : begin
- if pfloatdef(procinfo.retdef)^.typ=f32bit then
- begin
- if is_mem then
- exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,
- newreference(p^.left^.location.reference),R_EAX)))
- else
- emit_reg_reg(A_MOV,S_L,p^.left^.location.register,R_EAX);
- end
- else
- if is_mem then
- floatload(pfloatdef(procinfo.retdef)^.typ,p^.left^.location.reference);
- end;
- end;
- do_jmp:
- freelabel(truelabel);
- freelabel(falselabel);
- truelabel:=otlabel;
- falselabel:=oflabel;
- emitjmp(C_None,aktexit2label);
- end
- else
- begin
- emitjmp(C_None,aktexitlabel);
- end;
- end;
- {*****************************************************************************
- SecondBreakN
- *****************************************************************************}
- procedure secondbreakn(var p : ptree);
- begin
- if aktbreaklabel<>nil then
- emitjmp(C_None,aktbreaklabel)
- else
- CGMessage(cg_e_break_not_allowed);
- end;
- {*****************************************************************************
- SecondContinueN
- *****************************************************************************}
- procedure secondcontinuen(var p : ptree);
- begin
- if aktcontinuelabel<>nil then
- emitjmp(C_None,aktcontinuelabel)
- else
- CGMessage(cg_e_continue_not_allowed);
- end;
- {*****************************************************************************
- SecondGoto
- *****************************************************************************}
- procedure secondgoto(var p : ptree);
- begin
- emitjmp(C_None,p^.labelnr);
- end;
- {*****************************************************************************
- SecondLabel
- *****************************************************************************}
- procedure secondlabel(var p : ptree);
- begin
- emitlab(p^.labelnr);
- cleartempgen;
- secondpass(p^.left);
- end;
- {*****************************************************************************
- SecondRaise
- *****************************************************************************}
- procedure secondraise(var p : ptree);
- var
- a : plabel;
- begin
- if assigned(p^.left) then
- begin
- { generate the address }
- if assigned(p^.right) then
- begin
- secondpass(p^.right);
- if codegenerror then
- exit;
- end
- else
- begin
- getlabel(a);
- emitlab(a);
- exprasmlist^.concat(new(pai386,
- op_sym(A_PUSH,S_L,newasmsymbol(lab2str(a)))));
- end;
- secondpass(p^.left);
- if codegenerror then
- exit;
- case p^.left^.location.loc of
- LOC_MEM,LOC_REFERENCE:
- exprasmlist^.concat(new(pai386,op_ref(A_PUSH,S_L,
- newreference(p^.left^.location.reference))));
- LOC_CREGISTER,LOC_REGISTER : exprasmlist^.concat(new(pai386,op_reg(A_PUSH,S_L,
- p^.left^.location.register)));
- else CGMessage(type_e_mismatch);
- end;
- emitcall('FPC_RAISEEXCEPTION',true);
- end
- else
- begin
- emitcall('FPC_RERAISE',true);
- end;
- end;
- {*****************************************************************************
- SecondTryExcept
- *****************************************************************************}
- var
- endexceptlabel : plabel;
- procedure secondtryexcept(var p : ptree);
- var
- exceptlabel,doexceptlabel,oldendexceptlabel,
- lastonlabel : plabel;
- begin
- { this can be called recursivly }
- oldendexceptlabel:=endexceptlabel;
- { we modify EAX }
- usedinproc:=usedinproc or ($80 shr byte(R_EAX));
- getlabel(exceptlabel);
- getlabel(doexceptlabel);
- getlabel(endexceptlabel);
- getlabel(lastonlabel);
- push_int (1); { push type of exceptionframe }
- emitcall('FPC_PUSHEXCEPTADDR',true);
- exprasmlist^.concat(new(pai386,
- op_reg(A_PUSH,S_L,R_EAX)));
- emitcall('FPC_SETJMP',true);
- exprasmlist^.concat(new(pai386,
- op_reg(A_PUSH,S_L,R_EAX)));
- exprasmlist^.concat(new(pai386,
- op_reg_reg(A_TEST,S_L,R_EAX,R_EAX)));
- emitjmp(C_NE,exceptlabel);
- { try code }
- secondpass(p^.left);
- if codegenerror then
- exit;
- emitlab(exceptlabel);
- exprasmlist^.concat(new(pai386,
- op_reg(A_POP,S_L,R_EAX)));
- exprasmlist^.concat(new(pai386,
- op_reg_reg(A_TEST,S_L,R_EAX,R_EAX)));
- emitjmp(C_NE,doexceptlabel);
- emitcall('FPC_POPADDRSTACK',true);
- emitjmp(C_None,endexceptlabel);
- emitlab(doexceptlabel);
- if assigned(p^.right) then
- secondpass(p^.right);
- emitlab(lastonlabel);
- { default handling }
- if assigned(p^.t1) then
- begin
- { FPC_CATCHES must be called with
- 'default handler' flag (=-1)
- }
- push_int (-1);
- emitcall('FPC_CATCHES',true);
- secondpass(p^.t1);
- end
- else
- emitcall('FPC_RERAISE',true);
- emitlab(endexceptlabel);
- freelabel(exceptlabel);
- freelabel(doexceptlabel);
- freelabel(endexceptlabel);
- freelabel(lastonlabel);
- endexceptlabel:=oldendexceptlabel;
- end;
- procedure secondon(var p : ptree);
- var
- nextonlabel : plabel;
- ref : treference;
- begin
- getlabel(nextonlabel);
- { push the vmt }
- exprasmlist^.concat(new(pai386,op_sym(A_PUSH,S_L,
- newasmsymbol(p^.excepttype^.vmt_mangledname))));
- maybe_concat_external(p^.excepttype^.owner,
- p^.excepttype^.vmt_mangledname);
- emitcall('FPC_CATCHES',true);
- exprasmlist^.concat(new(pai386,
- op_reg_reg(A_TEST,S_L,R_EAX,R_EAX)));
- emitjmp(C_E,nextonlabel);
- ref.symbol:=nil;
- gettempofsizereference(4,ref);
- { what a hack ! }
- if assigned(p^.exceptsymtable) then
- {$ifdef STORENUMBER}
- pvarsym(p^.exceptsymtable^.symindex^.first)^.address:=ref.offset;
- {$else}
- pvarsym(p^.exceptsymtable^.searchroot)^.address:=ref.offset;
- {$endif}
- exprasmlist^.concat(new(pai386,op_reg_ref(A_MOV,S_L,
- R_EAX,newreference(ref))));
- if assigned(p^.right) then
- secondpass(p^.right);
- { clear some stuff }
- ungetiftemp(ref);
- emitjmp(C_None,endexceptlabel);
- emitlab(nextonlabel);
- { next on node }
- if assigned(p^.left) then
- secondpass(p^.left);
- end;
- {*****************************************************************************
- SecondTryFinally
- *****************************************************************************}
- procedure secondtryfinally(var p : ptree);
- var
- finallylabel,noreraiselabel,endfinallylabel : plabel;
- begin
- { we modify EAX }
- usedinproc:=usedinproc or ($80 shr byte(R_EAX));
- getlabel(finallylabel);
- getlabel(noreraiselabel);
- getlabel(endfinallylabel);
- push_int(1); { Type of stack-frame must be pushed}
- emitcall('FPC_PUSHEXCEPTADDR',true);
- exprasmlist^.concat(new(pai386,
- op_reg(A_PUSH,S_L,R_EAX)));
- emitcall('FPC_SETJMP',true);
- exprasmlist^.concat(new(pai386,
- op_reg(A_PUSH,S_L,R_EAX)));
- exprasmlist^.concat(new(pai386,
- op_reg_reg(A_TEST,S_L,R_EAX,R_EAX)));
- emitjmp(C_NE,finallylabel);
- { try code }
- secondpass(p^.left);
- if codegenerror then
- exit;
- emitlab(finallylabel);
- { finally code }
- secondpass(p^.right);
- if codegenerror then
- exit;
- exprasmlist^.concat(new(pai386,
- op_reg(A_POP,S_L,R_EAX)));
- exprasmlist^.concat(new(pai386,
- op_reg_reg(A_TEST,S_L,R_EAX,R_EAX)));
- emitjmp(C_E,noreraiselabel);
- emitcall('FPC_RERAISE',true);
- emitlab(noreraiselabel);
- emitcall('FPC_POPADDRSTACK',true);
- emitlab(endfinallylabel);
- end;
- {*****************************************************************************
- SecondFail
- *****************************************************************************}
- procedure secondfail(var p : ptree);
- var
- hp : preference;
- begin
- exprasmlist^.concat(new(pai386,op_reg_reg(A_XOR,S_L,R_ESI,R_ESI)));
- { also reset to zero in the stack }
- new(hp);
- reset_reference(hp^);
- hp^.offset:=procinfo.ESI_offset;
- hp^.base:=procinfo.framepointer;
- exprasmlist^.concat(new(pai386,op_reg_ref(A_MOV,S_L,R_ESI,hp)));
- exprasmlist^.concat(new(pai386_labeled,op_lab(A_JMP,quickexitlabel)));
- end;
- end.
- {
- $Log$
- Revision 1.33 1999-04-21 09:43:29 peter
- * storenumber works
- * fixed some typos in double_checksum
- + incompatible types type1 and type2 message (with storenumber)
- Revision 1.32 1999/04/17 13:10:58 peter
- * fixed exit()
- Revision 1.31 1999/04/14 09:14:46 peter
- * first things to store the symbol/def number in the ppu
- Revision 1.30 1999/03/05 16:14:59 peter
- * fixed exit() with word/byte return
- Revision 1.29 1999/02/25 21:02:26 peter
- * ag386bin updates
- + coff writer
- Revision 1.28 1999/02/22 02:15:09 peter
- * updates for ag386bin
- Revision 1.27 1999/01/26 11:26:21 pierre
- * bug0152 for i:=1 to i-5 do (i-5) evaluated first
- Revision 1.26 1998/12/19 00:23:44 florian
- * ansistring memory leaks fixed
- Revision 1.25 1998/11/30 09:43:03 pierre
- * some range check bugs fixed (still not working !)
- + added DLL writing support for win32 (also accepts variables)
- + TempAnsi for code that could be used for Temporary ansi strings
- handling
- Revision 1.24 1998/11/18 15:44:09 peter
- * VALUEPARA for tp7 compatible value parameters
- Revision 1.23 1998/11/12 16:43:32 florian
- * functions with ansi strings as result didn't work, solved
- Revision 1.22 1998/10/29 15:42:44 florian
- + partial disposing of temp. ansistrings
- Revision 1.21 1998/10/26 22:58:16 florian
- * new introduded problem with classes fix, the parent class wasn't set
- correct, if the class was defined forward before
- Revision 1.20 1998/10/06 17:16:42 pierre
- * some memory leaks fixed (thanks to Peter for heaptrc !)
- Revision 1.19 1998/09/28 12:13:53 peter
- * fixed repeat continue until true;
- Revision 1.18 1998/09/26 15:03:04 florian
- * small problems with DOM and excpetions fixed (code generation
- of raise was wrong and self was sometimes destroyed :()
- Revision 1.17 1998/09/17 09:42:14 peter
- + pass_2 for cg386
- * Message() -> CGMessage() for pass_1/pass_2
- Revision 1.16 1998/09/14 10:43:48 peter
- * all internal RTL functions start with FPC_
- Revision 1.15 1998/09/04 08:41:39 peter
- * updated some error CGMessages
- Revision 1.14 1998/09/03 17:08:39 pierre
- * better lines for stabs
- (no scroll back to if before else part
- no return to case line at jump outside case)
- + source lines also if not in order
- Revision 1.13 1998/09/01 12:47:58 peter
- * use pdef^.size instead of orddef^.typ
- Revision 1.12 1998/08/28 10:56:58 peter
- * removed warnings
- Revision 1.11 1998/08/05 16:00:10 florian
- * some fixes for ansi strings
- Revision 1.10 1998/08/04 16:26:26 jonas
- * converted // comment to TP comment
- Revision 1.9 1998/07/31 11:36:34 michael
- Default exception handler also needs to call FPC_CATCHES
- Revision 1.8 1998/07/30 13:30:32 florian
- * final implemenation of exception support, maybe it needs
- some fixes :)
- Revision 1.7 1998/07/30 11:18:13 florian
- + first implementation of try ... except on .. do end;
- * limitiation of 65535 bytes parameters for cdecl removed
- Revision 1.6 1998/07/29 13:29:11 michael
- + Corrected try.. code. Type of exception fram is pushed
- Revision 1.5 1998/07/28 21:52:49 florian
- + implementation of raise and try..finally
- + some misc. exception stuff
- Revision 1.4 1998/07/24 22:16:53 florian
- * internal error 10 together with array access fixed. I hope
- that's the final fix.
- Revision 1.3 1998/06/25 08:48:08 florian
- * first version of rtti support
- Revision 1.2 1998/06/08 13:13:33 pierre
- + temporary variables now in temp_gen.pas unit
- because it is processor independent
- * mppc68k.bat modified to undefine i386 and support_mmx
- (which are defaults for i386)
- Revision 1.1 1998/06/05 17:44:12 peter
- * splitted cgi386
- }
|