cg386flw.pas 30 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924
  1. {
  2. $Id$
  3. Copyright (c) 1993-98 by Florian Klaempfl
  4. Generate i386 assembler for nodes that influence the flow
  5. This program is free software; you can redistribute it and/or modify
  6. it under the terms of the GNU General Public License as published by
  7. the Free Software Foundation; either version 2 of the License, or
  8. (at your option) any later version.
  9. This program is distributed in the hope that it will be useful,
  10. but WITHOUT ANY WARRANTY; without even the implied warranty of
  11. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  12. GNU General Public License for more details.
  13. You should have received a copy of the GNU General Public License
  14. along with this program; if not, write to the Free Software
  15. Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  16. ****************************************************************************
  17. }
  18. unit cg386flw;
  19. interface
  20. uses
  21. tree;
  22. procedure second_while_repeatn(var p : ptree);
  23. procedure secondifn(var p : ptree);
  24. procedure secondfor(var p : ptree);
  25. procedure secondexitn(var p : ptree);
  26. procedure secondbreakn(var p : ptree);
  27. procedure secondcontinuen(var p : ptree);
  28. procedure secondgoto(var p : ptree);
  29. procedure secondlabel(var p : ptree);
  30. procedure secondraise(var p : ptree);
  31. procedure secondtryexcept(var p : ptree);
  32. procedure secondtryfinally(var p : ptree);
  33. procedure secondon(var p : ptree);
  34. procedure secondfail(var p : ptree);
  35. implementation
  36. uses
  37. cobjects,verbose,globals,systems,
  38. symtable,aasm,types,
  39. hcodegen,temp_gen,pass_2,
  40. {$ifdef ag386bin}
  41. i386base,i386asm,
  42. {$else}
  43. i386,
  44. {$endif}
  45. cgai386,tgeni386;
  46. {*****************************************************************************
  47. Second_While_RepeatN
  48. *****************************************************************************}
  49. procedure second_while_repeatn(var p : ptree);
  50. var
  51. lcont,lbreak,lloop,
  52. oldclabel,oldblabel : plabel;
  53. otlabel,oflabel : plabel;
  54. begin
  55. getlabel(lloop);
  56. getlabel(lcont);
  57. getlabel(lbreak);
  58. { arrange continue and breaklabels: }
  59. oldclabel:=aktcontinuelabel;
  60. oldblabel:=aktbreaklabel;
  61. { handling code at the end as it is much more efficient, and makes
  62. while equal to repeat loop, only the end true/false is swapped (PFV) }
  63. if p^.treetype=whilen then
  64. emitjmp(C_None,lcont);
  65. emitlab(lloop);
  66. aktcontinuelabel:=lcont;
  67. aktbreaklabel:=lbreak;
  68. cleartempgen;
  69. if assigned(p^.right) then
  70. secondpass(p^.right);
  71. emitlab(lcont);
  72. otlabel:=truelabel;
  73. oflabel:=falselabel;
  74. if p^.treetype=whilen then
  75. begin
  76. truelabel:=lloop;
  77. falselabel:=lbreak;
  78. end
  79. { repeatn }
  80. else
  81. begin
  82. truelabel:=lbreak;
  83. falselabel:=lloop;
  84. end;
  85. cleartempgen;
  86. secondpass(p^.left);
  87. maketojumpbool(p^.left);
  88. emitlab(lbreak);
  89. freelabel(lloop);
  90. freelabel(lcont);
  91. freelabel(lbreak);
  92. truelabel:=otlabel;
  93. falselabel:=oflabel;
  94. aktcontinuelabel:=oldclabel;
  95. aktbreaklabel:=oldblabel;
  96. end;
  97. {*****************************************************************************
  98. SecondIfN
  99. *****************************************************************************}
  100. procedure secondifn(var p : ptree);
  101. var
  102. hl,otlabel,oflabel : plabel;
  103. begin
  104. otlabel:=truelabel;
  105. oflabel:=falselabel;
  106. getlabel(truelabel);
  107. getlabel(falselabel);
  108. cleartempgen;
  109. secondpass(p^.left);
  110. maketojumpbool(p^.left);
  111. if assigned(p^.right) then
  112. begin
  113. emitlab(truelabel);
  114. cleartempgen;
  115. secondpass(p^.right);
  116. end;
  117. if assigned(p^.t1) then
  118. begin
  119. if assigned(p^.right) then
  120. begin
  121. getlabel(hl);
  122. { do go back to if line !! }
  123. aktfilepos:=exprasmlist^.getlasttaifilepos^;
  124. emitjmp(C_None,hl);
  125. end;
  126. emitlab(falselabel);
  127. cleartempgen;
  128. secondpass(p^.t1);
  129. if assigned(p^.right) then
  130. emitlab(hl);
  131. end
  132. else
  133. begin
  134. emitlab(falselabel);
  135. end;
  136. if not(assigned(p^.right)) then
  137. begin
  138. emitlab(truelabel);
  139. end;
  140. freelabel(truelabel);
  141. freelabel(falselabel);
  142. truelabel:=otlabel;
  143. falselabel:=oflabel;
  144. end;
  145. {*****************************************************************************
  146. SecondFor
  147. *****************************************************************************}
  148. procedure secondfor(var p : ptree);
  149. var
  150. l3,oldclabel,oldblabel : plabel;
  151. omitfirstcomp,temptovalue : boolean;
  152. hs : byte;
  153. temp1 : treference;
  154. hop : tasmop;
  155. hcond : tasmcond;
  156. cmpreg,cmp32 : tregister;
  157. opsize : topsize;
  158. count_var_is_signed : boolean;
  159. begin
  160. oldclabel:=aktcontinuelabel;
  161. oldblabel:=aktbreaklabel;
  162. getlabel(aktcontinuelabel);
  163. getlabel(aktbreaklabel);
  164. getlabel(l3);
  165. { could we spare the first comparison ? }
  166. omitfirstcomp:=false;
  167. if p^.right^.treetype=ordconstn then
  168. if p^.left^.right^.treetype=ordconstn then
  169. omitfirstcomp:=(p^.backward and (p^.left^.right^.value>=p^.right^.value))
  170. or (not(p^.backward) and (p^.left^.right^.value<=p^.right^.value));
  171. { only calculate reference }
  172. cleartempgen;
  173. secondpass(p^.t2);
  174. {$ifndef OLDFORVER}
  175. hs:=p^.t2^.resulttype^.size;
  176. cmp32:=getregister32;
  177. case hs of
  178. 1 : begin
  179. opsize:=S_B;
  180. cmpreg:=reg32toreg8(cmp32);
  181. end;
  182. 2 : begin
  183. opsize:=S_W;
  184. cmpreg:=reg32toreg16(cmp32);
  185. end;
  186. 4 : begin
  187. opsize:=S_L;
  188. cmpreg:=cmp32;
  189. end;
  190. end;
  191. (*
  192. if not(simple_loadn) then
  193. CGMessage(cg_e_illegal_count_var);
  194. already done in firstfor !! *)
  195. { first set the to value
  196. because the count var can be in the expression !! }
  197. cleartempgen;
  198. secondpass(p^.right);
  199. { calculate pointer value and check if changeable and if so }
  200. { load into temporary variable }
  201. if p^.right^.treetype<>ordconstn then
  202. begin
  203. temp1.symbol:=nil;
  204. gettempofsizereference(hs,temp1);
  205. temptovalue:=true;
  206. if (p^.right^.location.loc=LOC_REGISTER) or
  207. (p^.right^.location.loc=LOC_CREGISTER) then
  208. begin
  209. exprasmlist^.concat(new(pai386,op_reg_ref(A_MOV,opsize,p^.right^.location.register,
  210. newreference(temp1))));
  211. end
  212. else
  213. concatcopy(p^.right^.location.reference,temp1,hs,false,false);
  214. end
  215. else temptovalue:=false;
  216. {$endif OLDFORVER}
  217. { produce start assignment }
  218. cleartempgen;
  219. secondpass(p^.left);
  220. count_var_is_signed:=is_signed(porddef(p^.t2^.resulttype));
  221. {$ifdef OLDFORVER}
  222. hs:=p^.t2^.resulttype^.size;
  223. cmp32:=getregister32;
  224. case hs of
  225. 1 : begin
  226. opsize:=S_B;
  227. cmpreg:=reg32toreg8(cmp32);
  228. end;
  229. 2 : begin
  230. opsize:=S_W;
  231. cmpreg:=reg32toreg16(cmp32);
  232. end;
  233. 4 : begin
  234. opsize:=S_L;
  235. cmpreg:=cmp32;
  236. end;
  237. end;
  238. cleartempgen;
  239. secondpass(p^.right);
  240. { calculate pointer value and check if changeable and if so }
  241. { load into temporary variable }
  242. if p^.right^.treetype<>ordconstn then
  243. begin
  244. temp1.symbol:=nil;
  245. gettempofsizereference(hs,temp1);
  246. temptovalue:=true;
  247. if (p^.right^.location.loc=LOC_REGISTER) or
  248. (p^.right^.location.loc=LOC_CREGISTER) then
  249. begin
  250. exprasmlist^.concat(new(pai386,op_reg_ref(A_MOV,opsize,p^.right^.location.register,
  251. newreference(temp1))));
  252. end
  253. else
  254. concatcopy(p^.right^.location.reference,temp1,hs,false,false);
  255. end
  256. else temptovalue:=false;
  257. {$endif OLDFORVER}
  258. if temptovalue then
  259. begin
  260. if p^.t2^.location.loc=LOC_CREGISTER then
  261. begin
  262. exprasmlist^.concat(new(pai386,op_ref_reg(A_CMP,opsize,newreference(temp1),
  263. p^.t2^.location.register)));
  264. end
  265. else
  266. begin
  267. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,opsize,newreference(p^.t2^.location.reference),
  268. cmpreg)));
  269. exprasmlist^.concat(new(pai386,op_ref_reg(A_CMP,opsize,newreference(temp1),
  270. cmpreg)));
  271. end;
  272. end
  273. else
  274. begin
  275. if not(omitfirstcomp) then
  276. begin
  277. if p^.t2^.location.loc=LOC_CREGISTER then
  278. exprasmlist^.concat(new(pai386,op_const_reg(A_CMP,opsize,p^.right^.value,
  279. p^.t2^.location.register)))
  280. else
  281. exprasmlist^.concat(new(pai386,op_const_ref(A_CMP,opsize,p^.right^.value,
  282. newreference(p^.t2^.location.reference))));
  283. end;
  284. end;
  285. if p^.backward then
  286. if count_var_is_signed then
  287. hcond:=C_L
  288. else
  289. hcond:=C_B
  290. else
  291. if count_var_is_signed then
  292. hcond:=C_G
  293. else
  294. hcond:=C_A;
  295. if not(omitfirstcomp) or temptovalue then
  296. emitjmp(hcond,aktbreaklabel);
  297. emitlab(l3);
  298. { help register must not be in instruction block }
  299. cleartempgen;
  300. if assigned(p^.t1) then
  301. secondpass(p^.t1);
  302. emitlab(aktcontinuelabel);
  303. { makes no problems there }
  304. cleartempgen;
  305. { demand help register again }
  306. cmp32:=getregister32;
  307. case hs of
  308. 1 : begin
  309. opsize:=S_B;
  310. cmpreg:=reg32toreg8(cmp32);
  311. end;
  312. 2 : begin
  313. opsize:=S_W;
  314. cmpreg:=reg32toreg16(cmp32);
  315. end;
  316. 4 : opsize:=S_L;
  317. end;
  318. { produce comparison and the corresponding }
  319. { jump }
  320. if temptovalue then
  321. begin
  322. if p^.t2^.location.loc=LOC_CREGISTER then
  323. begin
  324. exprasmlist^.concat(new(pai386,op_ref_reg(A_CMP,opsize,newreference(temp1),
  325. p^.t2^.location.register)));
  326. end
  327. else
  328. begin
  329. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,opsize,newreference(p^.t2^.location.reference),
  330. cmpreg)));
  331. exprasmlist^.concat(new(pai386,op_ref_reg(A_CMP,opsize,newreference(temp1),
  332. cmpreg)));
  333. end;
  334. end
  335. else
  336. begin
  337. if p^.t2^.location.loc=LOC_CREGISTER then
  338. exprasmlist^.concat(new(pai386,op_const_reg(A_CMP,opsize,p^.right^.value,
  339. p^.t2^.location.register)))
  340. else
  341. exprasmlist^.concat(new(pai386,op_const_ref(A_CMP,opsize,p^.right^.value,
  342. newreference(p^.t2^.location.reference))));
  343. end;
  344. if p^.backward then
  345. if count_var_is_signed then
  346. hcond:=C_LE
  347. else
  348. hcond:=C_BE
  349. else
  350. if count_var_is_signed then
  351. hcond:=C_GE
  352. else
  353. hcond:=C_AE;
  354. emitjmp(hcond,aktbreaklabel);
  355. { according to count direction DEC or INC... }
  356. { must be after the test because of 0to 255 for bytes !! }
  357. if p^.backward then
  358. hop:=A_DEC
  359. else
  360. hop:=A_INC;
  361. if p^.t2^.location.loc=LOC_CREGISTER then
  362. exprasmlist^.concat(new(pai386,op_reg(hop,opsize,p^.t2^.location.register)))
  363. else
  364. exprasmlist^.concat(new(pai386,op_ref(hop,opsize,newreference(p^.t2^.location.reference))));
  365. emitjmp(C_None,l3);
  366. { this is the break label: }
  367. emitlab(aktbreaklabel);
  368. ungetregister32(cmp32);
  369. if temptovalue then
  370. ungetiftemp(temp1);
  371. freelabel(aktcontinuelabel);
  372. freelabel(aktbreaklabel);
  373. freelabel(l3);
  374. aktcontinuelabel:=oldclabel;
  375. aktbreaklabel:=oldblabel;
  376. end;
  377. {*****************************************************************************
  378. SecondExitN
  379. *****************************************************************************}
  380. procedure secondexitn(var p : ptree);
  381. var
  382. is_mem : boolean;
  383. {op : tasmop;
  384. s : topsize;}
  385. otlabel,oflabel : plabel;
  386. label
  387. do_jmp;
  388. begin
  389. if assigned(p^.left) then
  390. begin
  391. otlabel:=truelabel;
  392. oflabel:=falselabel;
  393. getlabel(truelabel);
  394. getlabel(falselabel);
  395. secondpass(p^.left);
  396. case p^.left^.location.loc of
  397. LOC_FPU : goto do_jmp;
  398. LOC_MEM,
  399. LOC_REFERENCE : is_mem:=true;
  400. LOC_CREGISTER,
  401. LOC_REGISTER : is_mem:=false;
  402. LOC_FLAGS : begin
  403. emit_flag2reg(p^.left^.location.resflags,R_AL);
  404. goto do_jmp;
  405. end;
  406. LOC_JUMP : begin
  407. emitlab(truelabel);
  408. exprasmlist^.concat(new(pai386,op_const_reg(A_MOV,S_B,1,R_AL)));
  409. emitjmp(C_None,aktexit2label);
  410. emitlab(falselabel);
  411. exprasmlist^.concat(new(pai386,op_reg_reg(A_XOR,S_B,R_AL,R_AL)));
  412. goto do_jmp;
  413. end;
  414. else
  415. internalerror(2001);
  416. end;
  417. case procinfo.retdef^.deftype of
  418. orddef,
  419. enumdef : begin
  420. case procinfo.retdef^.size of
  421. 4 : if is_mem then
  422. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,
  423. newreference(p^.left^.location.reference),R_EAX)))
  424. else
  425. emit_reg_reg(A_MOV,S_L,p^.left^.location.register,R_EAX);
  426. 2 : if is_mem then
  427. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_W,
  428. newreference(p^.left^.location.reference),R_AX)))
  429. else
  430. emit_reg_reg(A_MOV,S_W,makereg16(p^.left^.location.register),R_AX);
  431. 1 : if is_mem then
  432. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_B,
  433. newreference(p^.left^.location.reference),R_AL)))
  434. else
  435. emit_reg_reg(A_MOV,S_B,makereg8(p^.left^.location.register),R_AL);
  436. end;
  437. end;
  438. pointerdef,
  439. procvardef : begin
  440. if is_mem then
  441. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,
  442. newreference(p^.left^.location.reference),R_EAX)))
  443. else
  444. exprasmlist^.concat(new(pai386,op_reg_reg(A_MOV,S_L,
  445. p^.left^.location.register,R_EAX)));
  446. end;
  447. floatdef : begin
  448. if pfloatdef(procinfo.retdef)^.typ=f32bit then
  449. begin
  450. if is_mem then
  451. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,
  452. newreference(p^.left^.location.reference),R_EAX)))
  453. else
  454. emit_reg_reg(A_MOV,S_L,p^.left^.location.register,R_EAX);
  455. end
  456. else
  457. if is_mem then
  458. floatload(pfloatdef(procinfo.retdef)^.typ,p^.left^.location.reference);
  459. end;
  460. end;
  461. do_jmp:
  462. freelabel(truelabel);
  463. freelabel(falselabel);
  464. truelabel:=otlabel;
  465. falselabel:=oflabel;
  466. emitjmp(C_None,aktexit2label);
  467. end
  468. else
  469. begin
  470. emitjmp(C_None,aktexitlabel);
  471. end;
  472. end;
  473. {*****************************************************************************
  474. SecondBreakN
  475. *****************************************************************************}
  476. procedure secondbreakn(var p : ptree);
  477. begin
  478. if aktbreaklabel<>nil then
  479. emitjmp(C_None,aktbreaklabel)
  480. else
  481. CGMessage(cg_e_break_not_allowed);
  482. end;
  483. {*****************************************************************************
  484. SecondContinueN
  485. *****************************************************************************}
  486. procedure secondcontinuen(var p : ptree);
  487. begin
  488. if aktcontinuelabel<>nil then
  489. emitjmp(C_None,aktcontinuelabel)
  490. else
  491. CGMessage(cg_e_continue_not_allowed);
  492. end;
  493. {*****************************************************************************
  494. SecondGoto
  495. *****************************************************************************}
  496. procedure secondgoto(var p : ptree);
  497. begin
  498. emitjmp(C_None,p^.labelnr);
  499. end;
  500. {*****************************************************************************
  501. SecondLabel
  502. *****************************************************************************}
  503. procedure secondlabel(var p : ptree);
  504. begin
  505. emitlab(p^.labelnr);
  506. cleartempgen;
  507. secondpass(p^.left);
  508. end;
  509. {*****************************************************************************
  510. SecondRaise
  511. *****************************************************************************}
  512. procedure secondraise(var p : ptree);
  513. var
  514. a : plabel;
  515. begin
  516. if assigned(p^.left) then
  517. begin
  518. { generate the address }
  519. if assigned(p^.right) then
  520. begin
  521. secondpass(p^.right);
  522. if codegenerror then
  523. exit;
  524. end
  525. else
  526. begin
  527. getlabel(a);
  528. emitlab(a);
  529. exprasmlist^.concat(new(pai386,
  530. op_sym(A_PUSH,S_L,newasmsymbol(lab2str(a)))));
  531. end;
  532. secondpass(p^.left);
  533. if codegenerror then
  534. exit;
  535. case p^.left^.location.loc of
  536. LOC_MEM,LOC_REFERENCE:
  537. exprasmlist^.concat(new(pai386,op_ref(A_PUSH,S_L,
  538. newreference(p^.left^.location.reference))));
  539. LOC_CREGISTER,LOC_REGISTER : exprasmlist^.concat(new(pai386,op_reg(A_PUSH,S_L,
  540. p^.left^.location.register)));
  541. else CGMessage(type_e_mismatch);
  542. end;
  543. emitcall('FPC_RAISEEXCEPTION',true);
  544. end
  545. else
  546. begin
  547. emitcall('FPC_RERAISE',true);
  548. end;
  549. end;
  550. {*****************************************************************************
  551. SecondTryExcept
  552. *****************************************************************************}
  553. var
  554. endexceptlabel : plabel;
  555. procedure secondtryexcept(var p : ptree);
  556. var
  557. exceptlabel,doexceptlabel,oldendexceptlabel,
  558. lastonlabel : plabel;
  559. begin
  560. { this can be called recursivly }
  561. oldendexceptlabel:=endexceptlabel;
  562. { we modify EAX }
  563. usedinproc:=usedinproc or ($80 shr byte(R_EAX));
  564. getlabel(exceptlabel);
  565. getlabel(doexceptlabel);
  566. getlabel(endexceptlabel);
  567. getlabel(lastonlabel);
  568. push_int (1); { push type of exceptionframe }
  569. emitcall('FPC_PUSHEXCEPTADDR',true);
  570. exprasmlist^.concat(new(pai386,
  571. op_reg(A_PUSH,S_L,R_EAX)));
  572. emitcall('FPC_SETJMP',true);
  573. exprasmlist^.concat(new(pai386,
  574. op_reg(A_PUSH,S_L,R_EAX)));
  575. exprasmlist^.concat(new(pai386,
  576. op_reg_reg(A_TEST,S_L,R_EAX,R_EAX)));
  577. emitjmp(C_NE,exceptlabel);
  578. { try code }
  579. secondpass(p^.left);
  580. if codegenerror then
  581. exit;
  582. emitlab(exceptlabel);
  583. exprasmlist^.concat(new(pai386,
  584. op_reg(A_POP,S_L,R_EAX)));
  585. exprasmlist^.concat(new(pai386,
  586. op_reg_reg(A_TEST,S_L,R_EAX,R_EAX)));
  587. emitjmp(C_NE,doexceptlabel);
  588. emitcall('FPC_POPADDRSTACK',true);
  589. emitjmp(C_None,endexceptlabel);
  590. emitlab(doexceptlabel);
  591. if assigned(p^.right) then
  592. secondpass(p^.right);
  593. emitlab(lastonlabel);
  594. { default handling }
  595. if assigned(p^.t1) then
  596. begin
  597. { FPC_CATCHES must be called with
  598. 'default handler' flag (=-1)
  599. }
  600. push_int (-1);
  601. emitcall('FPC_CATCHES',true);
  602. secondpass(p^.t1);
  603. end
  604. else
  605. emitcall('FPC_RERAISE',true);
  606. emitlab(endexceptlabel);
  607. freelabel(exceptlabel);
  608. freelabel(doexceptlabel);
  609. freelabel(endexceptlabel);
  610. freelabel(lastonlabel);
  611. endexceptlabel:=oldendexceptlabel;
  612. end;
  613. procedure secondon(var p : ptree);
  614. var
  615. nextonlabel : plabel;
  616. ref : treference;
  617. begin
  618. getlabel(nextonlabel);
  619. { push the vmt }
  620. exprasmlist^.concat(new(pai386,op_sym(A_PUSH,S_L,
  621. newasmsymbol(p^.excepttype^.vmt_mangledname))));
  622. maybe_concat_external(p^.excepttype^.owner,
  623. p^.excepttype^.vmt_mangledname);
  624. emitcall('FPC_CATCHES',true);
  625. exprasmlist^.concat(new(pai386,
  626. op_reg_reg(A_TEST,S_L,R_EAX,R_EAX)));
  627. emitjmp(C_E,nextonlabel);
  628. ref.symbol:=nil;
  629. gettempofsizereference(4,ref);
  630. { what a hack ! }
  631. if assigned(p^.exceptsymtable) then
  632. {$ifdef STORENUMBER}
  633. pvarsym(p^.exceptsymtable^.symindex^.first)^.address:=ref.offset;
  634. {$else}
  635. pvarsym(p^.exceptsymtable^.searchroot)^.address:=ref.offset;
  636. {$endif}
  637. exprasmlist^.concat(new(pai386,op_reg_ref(A_MOV,S_L,
  638. R_EAX,newreference(ref))));
  639. if assigned(p^.right) then
  640. secondpass(p^.right);
  641. { clear some stuff }
  642. ungetiftemp(ref);
  643. emitjmp(C_None,endexceptlabel);
  644. emitlab(nextonlabel);
  645. { next on node }
  646. if assigned(p^.left) then
  647. secondpass(p^.left);
  648. end;
  649. {*****************************************************************************
  650. SecondTryFinally
  651. *****************************************************************************}
  652. procedure secondtryfinally(var p : ptree);
  653. var
  654. finallylabel,noreraiselabel,endfinallylabel : plabel;
  655. begin
  656. { we modify EAX }
  657. usedinproc:=usedinproc or ($80 shr byte(R_EAX));
  658. getlabel(finallylabel);
  659. getlabel(noreraiselabel);
  660. getlabel(endfinallylabel);
  661. push_int(1); { Type of stack-frame must be pushed}
  662. emitcall('FPC_PUSHEXCEPTADDR',true);
  663. exprasmlist^.concat(new(pai386,
  664. op_reg(A_PUSH,S_L,R_EAX)));
  665. emitcall('FPC_SETJMP',true);
  666. exprasmlist^.concat(new(pai386,
  667. op_reg(A_PUSH,S_L,R_EAX)));
  668. exprasmlist^.concat(new(pai386,
  669. op_reg_reg(A_TEST,S_L,R_EAX,R_EAX)));
  670. emitjmp(C_NE,finallylabel);
  671. { try code }
  672. secondpass(p^.left);
  673. if codegenerror then
  674. exit;
  675. emitlab(finallylabel);
  676. { finally code }
  677. secondpass(p^.right);
  678. if codegenerror then
  679. exit;
  680. exprasmlist^.concat(new(pai386,
  681. op_reg(A_POP,S_L,R_EAX)));
  682. exprasmlist^.concat(new(pai386,
  683. op_reg_reg(A_TEST,S_L,R_EAX,R_EAX)));
  684. emitjmp(C_E,noreraiselabel);
  685. emitcall('FPC_RERAISE',true);
  686. emitlab(noreraiselabel);
  687. emitcall('FPC_POPADDRSTACK',true);
  688. emitlab(endfinallylabel);
  689. end;
  690. {*****************************************************************************
  691. SecondFail
  692. *****************************************************************************}
  693. procedure secondfail(var p : ptree);
  694. var
  695. hp : preference;
  696. begin
  697. exprasmlist^.concat(new(pai386,op_reg_reg(A_XOR,S_L,R_ESI,R_ESI)));
  698. { also reset to zero in the stack }
  699. new(hp);
  700. reset_reference(hp^);
  701. hp^.offset:=procinfo.ESI_offset;
  702. hp^.base:=procinfo.framepointer;
  703. exprasmlist^.concat(new(pai386,op_reg_ref(A_MOV,S_L,R_ESI,hp)));
  704. exprasmlist^.concat(new(pai386_labeled,op_lab(A_JMP,quickexitlabel)));
  705. end;
  706. end.
  707. {
  708. $Log$
  709. Revision 1.33 1999-04-21 09:43:29 peter
  710. * storenumber works
  711. * fixed some typos in double_checksum
  712. + incompatible types type1 and type2 message (with storenumber)
  713. Revision 1.32 1999/04/17 13:10:58 peter
  714. * fixed exit()
  715. Revision 1.31 1999/04/14 09:14:46 peter
  716. * first things to store the symbol/def number in the ppu
  717. Revision 1.30 1999/03/05 16:14:59 peter
  718. * fixed exit() with word/byte return
  719. Revision 1.29 1999/02/25 21:02:26 peter
  720. * ag386bin updates
  721. + coff writer
  722. Revision 1.28 1999/02/22 02:15:09 peter
  723. * updates for ag386bin
  724. Revision 1.27 1999/01/26 11:26:21 pierre
  725. * bug0152 for i:=1 to i-5 do (i-5) evaluated first
  726. Revision 1.26 1998/12/19 00:23:44 florian
  727. * ansistring memory leaks fixed
  728. Revision 1.25 1998/11/30 09:43:03 pierre
  729. * some range check bugs fixed (still not working !)
  730. + added DLL writing support for win32 (also accepts variables)
  731. + TempAnsi for code that could be used for Temporary ansi strings
  732. handling
  733. Revision 1.24 1998/11/18 15:44:09 peter
  734. * VALUEPARA for tp7 compatible value parameters
  735. Revision 1.23 1998/11/12 16:43:32 florian
  736. * functions with ansi strings as result didn't work, solved
  737. Revision 1.22 1998/10/29 15:42:44 florian
  738. + partial disposing of temp. ansistrings
  739. Revision 1.21 1998/10/26 22:58:16 florian
  740. * new introduded problem with classes fix, the parent class wasn't set
  741. correct, if the class was defined forward before
  742. Revision 1.20 1998/10/06 17:16:42 pierre
  743. * some memory leaks fixed (thanks to Peter for heaptrc !)
  744. Revision 1.19 1998/09/28 12:13:53 peter
  745. * fixed repeat continue until true;
  746. Revision 1.18 1998/09/26 15:03:04 florian
  747. * small problems with DOM and excpetions fixed (code generation
  748. of raise was wrong and self was sometimes destroyed :()
  749. Revision 1.17 1998/09/17 09:42:14 peter
  750. + pass_2 for cg386
  751. * Message() -> CGMessage() for pass_1/pass_2
  752. Revision 1.16 1998/09/14 10:43:48 peter
  753. * all internal RTL functions start with FPC_
  754. Revision 1.15 1998/09/04 08:41:39 peter
  755. * updated some error CGMessages
  756. Revision 1.14 1998/09/03 17:08:39 pierre
  757. * better lines for stabs
  758. (no scroll back to if before else part
  759. no return to case line at jump outside case)
  760. + source lines also if not in order
  761. Revision 1.13 1998/09/01 12:47:58 peter
  762. * use pdef^.size instead of orddef^.typ
  763. Revision 1.12 1998/08/28 10:56:58 peter
  764. * removed warnings
  765. Revision 1.11 1998/08/05 16:00:10 florian
  766. * some fixes for ansi strings
  767. Revision 1.10 1998/08/04 16:26:26 jonas
  768. * converted // comment to TP comment
  769. Revision 1.9 1998/07/31 11:36:34 michael
  770. Default exception handler also needs to call FPC_CATCHES
  771. Revision 1.8 1998/07/30 13:30:32 florian
  772. * final implemenation of exception support, maybe it needs
  773. some fixes :)
  774. Revision 1.7 1998/07/30 11:18:13 florian
  775. + first implementation of try ... except on .. do end;
  776. * limitiation of 65535 bytes parameters for cdecl removed
  777. Revision 1.6 1998/07/29 13:29:11 michael
  778. + Corrected try.. code. Type of exception fram is pushed
  779. Revision 1.5 1998/07/28 21:52:49 florian
  780. + implementation of raise and try..finally
  781. + some misc. exception stuff
  782. Revision 1.4 1998/07/24 22:16:53 florian
  783. * internal error 10 together with array access fixed. I hope
  784. that's the final fix.
  785. Revision 1.3 1998/06/25 08:48:08 florian
  786. * first version of rtti support
  787. Revision 1.2 1998/06/08 13:13:33 pierre
  788. + temporary variables now in temp_gen.pas unit
  789. because it is processor independent
  790. * mppc68k.bat modified to undefine i386 and support_mmx
  791. (which are defaults for i386)
  792. Revision 1.1 1998/06/05 17:44:12 peter
  793. * splitted cgi386
  794. }