n386flw.pas 22 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682
  1. {
  2. Copyright (c) 2011 by Free Pascal development team
  3. Generate Win32-specific exception handling code
  4. This program is free software; you can redistribute it and/or modify
  5. it under the terms of the GNU General Public License as published by
  6. the Free Software Foundation; either version 2 of the License, or
  7. (at your option) any later version.
  8. This program is distributed in the hope that it will be useful,
  9. but WITHOUT ANY WARRANTY; without even the implied warranty of
  10. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  11. GNU General Public License for more details.
  12. You should have received a copy of the GNU General Public License
  13. along with this program; if not, write to the Free Software
  14. Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  15. ****************************************************************************
  16. }
  17. unit n386flw;
  18. {$i fpcdefs.inc}
  19. interface
  20. uses
  21. node,nflw,ncgflw,psub;
  22. type
  23. ti386raisenode=class(tcgraisenode)
  24. function pass_1 : tnode;override;
  25. end;
  26. ti386onnode=class(tcgonnode)
  27. procedure pass_generate_code;override;
  28. end;
  29. ti386tryexceptnode=class(tcgtryexceptnode)
  30. procedure pass_generate_code;override;
  31. end;
  32. ti386tryfinallynode=class(tcgtryfinallynode)
  33. finalizepi: tcgprocinfo;
  34. constructor create(l,r:TNode);override;
  35. constructor create_implicit(l,r:TNode);override;
  36. function pass_1: tnode;override;
  37. function simplify(forinline: boolean): tnode;override;
  38. procedure pass_generate_code;override;
  39. end;
  40. implementation
  41. uses
  42. cutils,globtype,globals,verbose,systems,fmodule,
  43. nbas,ncal,nmem,nutils,
  44. symconst,symbase,symtable,symsym,symdef,
  45. cgbase,cgobj,cgcpu,cgutils,tgobj,
  46. cpubase,htypechk,
  47. parabase,paramgr,pass_1,pass_2,ncgutil,cga,
  48. aasmbase,aasmtai,aasmdata,aasmcpu,procinfo,cpupi;
  49. var
  50. endexceptlabel: tasmlabel;
  51. { ti386raisenode }
  52. function ti386raisenode.pass_1 : tnode;
  53. var
  54. statements : tstatementnode;
  55. raisenode : tcallnode;
  56. begin
  57. { difference from generic code is that address stack is not popped on reraise }
  58. if (target_info.system<>system_i386_win32) or assigned(left) then
  59. result:=inherited pass_1
  60. else
  61. begin
  62. result:=internalstatements(statements);
  63. raisenode:=ccallnode.createintern('fpc_reraise',nil);
  64. include(raisenode.callnodeflags,cnf_call_never_returns);
  65. addstatement(statements,raisenode);
  66. end;
  67. end;
  68. { ti386onnode }
  69. procedure ti386onnode.pass_generate_code;
  70. var
  71. oldflowcontrol : tflowcontrol;
  72. exceptvarsym : tlocalvarsym;
  73. begin
  74. if (target_info.system<>system_i386_win32) then
  75. begin
  76. inherited pass_generate_code;
  77. exit;
  78. end;
  79. location_reset(location,LOC_VOID,OS_NO);
  80. oldflowcontrol:=flowcontrol;
  81. flowcontrol:=[fc_inflowcontrol];
  82. { RTL will put exceptobject into EAX when jumping here }
  83. cg.a_reg_alloc(current_asmdata.CurrAsmList,NR_FUNCTION_RESULT_REG);
  84. { Retrieve exception variable }
  85. if assigned(excepTSymtable) then
  86. exceptvarsym:=tlocalvarsym(excepTSymtable.SymList[0])
  87. else
  88. exceptvarsym:=nil;
  89. if assigned(exceptvarsym) then
  90. begin
  91. exceptvarsym.localloc.loc:=LOC_REFERENCE;
  92. exceptvarsym.localloc.size:=OS_ADDR;
  93. tg.GetLocal(current_asmdata.CurrAsmList,sizeof(pint),voidpointertype,exceptvarsym.localloc.reference);
  94. cg.a_load_reg_ref(current_asmdata.CurrAsmList,OS_ADDR,OS_ADDR,NR_FUNCTION_RESULT_REG,exceptvarsym.localloc.reference);
  95. end;
  96. cg.a_reg_dealloc(current_asmdata.CurrAsmList,NR_FUNCTION_RESULT_REG);
  97. if assigned(right) then
  98. secondpass(right);
  99. { deallocate exception symbol }
  100. if assigned(exceptvarsym) then
  101. begin
  102. tg.UngetLocal(current_asmdata.CurrAsmList,exceptvarsym.localloc.reference);
  103. exceptvarsym.localloc.loc:=LOC_INVALID;
  104. end;
  105. cg.g_call(current_asmdata.CurrAsmList,'FPC_DONEEXCEPTION');
  106. cg.a_jmp_always(current_asmdata.CurrAsmList,endexceptlabel);
  107. flowcontrol:=oldflowcontrol+(flowcontrol-[fc_inflowcontrol]);
  108. end;
  109. { ti386tryfinallynode }
  110. function reset_regvars(var n: tnode; arg: pointer): foreachnoderesult;
  111. begin
  112. case n.nodetype of
  113. temprefn:
  114. make_not_regable(n,[]);
  115. calln:
  116. include(tprocinfo(arg).flags,pi_do_call);
  117. else ;
  118. end;
  119. result:=fen_true;
  120. end;
  121. function copy_parasize(var n: tnode; arg: pointer): foreachnoderesult;
  122. begin
  123. if n.nodetype=calln then
  124. tcgprocinfo(arg).allocate_push_parasize(tcallnode(n).pushed_parasize);
  125. result:=fen_true;
  126. end;
  127. constructor ti386tryfinallynode.create(l, r: TNode);
  128. begin
  129. inherited create(l,r);
  130. if (target_info.system<>system_i386_win32) or
  131. { Don't create child procedures for generic methods, their nested-like
  132. behavior causes compilation errors because real nested procedures
  133. aren't allowed for generics. Not creating them doesn't harm because
  134. generic node tree is discarded without generating code. }
  135. (df_generic in current_procinfo.procdef.defoptions)
  136. then
  137. exit;
  138. finalizepi:=tcgprocinfo(current_procinfo.create_for_outlining('$fin$',current_procinfo.procdef.struct,potype_exceptfilter,voidtype,r));
  139. { Regvar optimization for symbols is suppressed when using exceptions, but
  140. temps may be still placed into registers. This must be fixed. }
  141. foreachnodestatic(r,@reset_regvars,finalizepi);
  142. include(finalizepi.flags,pi_has_assembler_block);
  143. include(finalizepi.flags,pi_do_call);
  144. include(finalizepi.flags,pi_uses_exceptions);
  145. end;
  146. constructor ti386tryfinallynode.create_implicit(l, r: TNode);
  147. begin
  148. inherited create_implicit(l, r);
  149. if (target_info.system<>system_i386_win32) then
  150. exit;
  151. { safecall procedures can handle implicit finalization as part of "except" flow }
  152. if implicitframe and (current_procinfo.procdef.proccalloption=pocall_safecall) then
  153. exit;
  154. if df_generic in current_procinfo.procdef.defoptions then
  155. InternalError(2013012501);
  156. finalizepi:=tcgprocinfo(current_procinfo.create_for_outlining('$fin$',current_procinfo.procdef.struct,potype_exceptfilter,voidtype,r));
  157. include(finalizepi.flags,pi_has_assembler_block);
  158. include(finalizepi.flags,pi_do_call);
  159. include(finalizepi.flags,pi_uses_exceptions);
  160. end;
  161. function ti386tryfinallynode.pass_1: tnode;
  162. var
  163. selfsym: tparavarsym;
  164. begin
  165. result:=inherited pass_1;
  166. if (target_info.system=system_i386_win32) then
  167. begin
  168. { safecall method will access 'self' from except block -> make it non-regable }
  169. if implicitframe and (current_procinfo.procdef.proccalloption=pocall_safecall) and
  170. is_class(current_procinfo.procdef.struct) then
  171. begin
  172. selfsym:=tparavarsym(current_procinfo.procdef.parast.Find('self'));
  173. if (selfsym=nil) or (selfsym.typ<>paravarsym) then
  174. InternalError(2011123102);
  175. selfsym.varregable:=vr_none;
  176. end;
  177. end;
  178. end;
  179. function ti386tryfinallynode.simplify(forinline: boolean): tnode;
  180. begin
  181. result:=inherited simplify(forinline);
  182. if (target_info.system<>system_i386_win32) then
  183. exit;
  184. if (result=nil) and assigned(finalizepi) then
  185. begin
  186. finalizepi.code:=right;
  187. foreachnodestatic(right,@copy_parasize,finalizepi);
  188. right:=ccallnode.create(nil,tprocsym(finalizepi.procdef.procsym),nil,nil,[],nil);
  189. firstpass(right);
  190. { For implicit frames, no actual code is available at this time,
  191. it is added later in assembler form. So store the nested procinfo
  192. for later use. }
  193. if implicitframe then
  194. begin
  195. current_procinfo.finalize_procinfo:=finalizepi;
  196. end;
  197. end;
  198. end;
  199. procedure emit_scope_start(handler,data: TAsmSymbol);
  200. var
  201. href: treference;
  202. hreg: tregister;
  203. begin
  204. hreg:=cg.getintregister(current_asmdata.CurrAsmList,OS_ADDR);
  205. reference_reset_base(href,hreg,0,ctempposinvalid,sizeof(pint),[]);
  206. href.segment:=NR_FS;
  207. emit_reg_reg(A_XOR,S_L,hreg,hreg);
  208. emit_sym(A_PUSH,S_L,data);
  209. emit_reg(A_PUSH,S_L,NR_FRAME_POINTER_REG);
  210. emit_sym(A_PUSH,S_L,handler);
  211. emit_ref(A_PUSH,S_L,href);
  212. emit_reg_ref(A_MOV,S_L,NR_ESP,href);
  213. end;
  214. procedure emit_scope_end;
  215. var
  216. href: treference;
  217. hreg,hreg2: tregister;
  218. begin
  219. hreg:=cg.getintregister(current_asmdata.CurrAsmList,OS_ADDR);
  220. hreg2:=cg.getintregister(current_asmdata.CurrAsmList,OS_ADDR);
  221. reference_reset_base(href,hreg,0,ctempposinvalid,sizeof(pint),[]);
  222. href.segment:=NR_FS;
  223. emit_reg_reg(A_XOR,S_L,hreg,hreg);
  224. emit_reg(A_POP,S_L,hreg2);
  225. emit_const_reg(A_ADD,S_L,3*sizeof(pint),NR_ESP);
  226. emit_reg_ref(A_MOV,S_L,hreg2,href);
  227. end;
  228. procedure ti386tryfinallynode.pass_generate_code;
  229. var
  230. finallylabel,
  231. exceptlabel,
  232. safecalllabel,
  233. endfinallylabel,
  234. exitfinallylabel,
  235. continuefinallylabel,
  236. breakfinallylabel,
  237. oldCurrExitLabel,
  238. oldContinueLabel,
  239. oldBreakLabel : tasmlabel;
  240. oldflowcontrol,tryflowcontrol : tflowcontrol;
  241. is_safecall: boolean;
  242. sym : tasmsymbol;
  243. begin
  244. if (target_info.system<>system_i386_win32) then
  245. begin
  246. inherited pass_generate_code;
  247. exit;
  248. end;
  249. location_reset(location,LOC_VOID,OS_NO);
  250. tryflowcontrol:=[];
  251. oldBreakLabel:=nil;
  252. oldContinueLabel:=nil;
  253. continuefinallylabel:=nil;
  254. breakfinallylabel:=nil;
  255. exceptlabel:=nil;
  256. safecalllabel:=nil;
  257. is_safecall:=implicitframe and (current_procinfo.procdef.proccalloption=pocall_safecall);
  258. { check if child nodes do a break/continue/exit }
  259. oldflowcontrol:=flowcontrol;
  260. flowcontrol:=[fc_inflowcontrol];
  261. current_asmdata.getjumplabel(finallylabel);
  262. current_asmdata.getjumplabel(endfinallylabel);
  263. { the finally block must catch break, continue and exit }
  264. { statements }
  265. oldCurrExitLabel:=current_procinfo.CurrExitLabel;
  266. if implicitframe then
  267. exitfinallylabel:=finallylabel
  268. else
  269. current_asmdata.getjumplabel(exitfinallylabel);
  270. current_procinfo.CurrExitLabel:=exitfinallylabel;
  271. if assigned(current_procinfo.CurrBreakLabel) then
  272. begin
  273. oldContinueLabel:=current_procinfo.CurrContinueLabel;
  274. oldBreakLabel:=current_procinfo.CurrBreakLabel;
  275. if implicitframe then
  276. begin
  277. breakfinallylabel:=finallylabel;
  278. continuefinallylabel:=finallylabel;
  279. end
  280. else
  281. begin
  282. current_asmdata.getjumplabel(breakfinallylabel);
  283. current_asmdata.getjumplabel(continuefinallylabel);
  284. end;
  285. current_procinfo.CurrContinueLabel:=continuefinallylabel;
  286. current_procinfo.CurrBreakLabel:=breakfinallylabel;
  287. end;
  288. { Start of scope }
  289. if is_safecall then
  290. begin
  291. with cg.rg[R_INTREGISTER] do
  292. used_in_proc:=used_in_proc+[RS_EBX,RS_ESI,RS_EDI];
  293. current_asmdata.getjumplabel(exceptlabel);
  294. sym:=current_asmdata.RefAsmSymbol('__FPC_except_safecall',AT_FUNCTION);
  295. emit_scope_start(
  296. sym,
  297. exceptlabel
  298. );
  299. current_module.add_extern_asmsym(sym);
  300. end
  301. else
  302. begin
  303. sym:=current_asmdata.RefAsmSymbol('__FPC_finally_handler',AT_FUNCTION);
  304. emit_scope_start(
  305. sym,
  306. current_asmdata.RefAsmSymbol(finalizepi.procdef.mangledname,AT_FUNCTION)
  307. );
  308. current_module.add_extern_asmsym(sym);
  309. end;
  310. { try code }
  311. if assigned(left) then
  312. begin
  313. secondpass(left);
  314. tryflowcontrol:=flowcontrol;
  315. if codegenerror then
  316. exit;
  317. end;
  318. { don't generate line info for internal cleanup }
  319. current_asmdata.CurrAsmList.concat(tai_marker.create(mark_NoLineInfoStart));
  320. cg.a_label(current_asmdata.CurrAsmList,finallylabel);
  321. emit_scope_end;
  322. if is_safecall then
  323. begin
  324. current_asmdata.getjumplabel(safecalllabel);
  325. cg.a_jmp_always(current_asmdata.CurrAsmList,safecalllabel);
  326. { RTL handler will jump here on exception }
  327. cg.a_label(current_asmdata.CurrAsmList,exceptlabel);
  328. handle_safecall_exception;
  329. cg.a_label(current_asmdata.CurrAsmList,safecalllabel);
  330. end;
  331. { end cleanup }
  332. current_asmdata.CurrAsmList.concat(tai_marker.create(mark_NoLineInfoEnd));
  333. { generate finally code as a separate procedure }
  334. { !!! this resets flowcontrol, how to check flow away? }
  335. if not implicitframe then
  336. tcgprocinfo(current_procinfo).generate_exceptfilter(finalizepi);
  337. flowcontrol:=[fc_inflowcontrol];
  338. { right is a call to finalizer procedure }
  339. secondpass(right);
  340. { goto is allowed if it stays inside the finally block,
  341. this is checked using the exception block number }
  342. if (flowcontrol-[fc_gotolabel])<>[fc_inflowcontrol] then
  343. CGMessage(cg_e_control_flow_outside_finally);
  344. if codegenerror then
  345. exit;
  346. { don't generate line info for internal cleanup }
  347. current_asmdata.CurrAsmList.concat(tai_marker.create(mark_NoLineInfoStart));
  348. if not implicitframe then
  349. begin
  350. if tryflowcontrol*[fc_exit,fc_break,fc_continue]<>[] then
  351. cg.a_jmp_always(current_asmdata.CurrAsmList,endfinallylabel);
  352. { do some magic for exit,break,continue in the try block }
  353. if fc_exit in tryflowcontrol then
  354. begin
  355. cg.a_label(current_asmdata.CurrAsmList,exitfinallylabel);
  356. cg.g_call(current_asmdata.CurrAsmList,'_FPC_leave');
  357. cg.a_jmp_always(current_asmdata.CurrAsmList,oldCurrExitLabel);
  358. end;
  359. if fc_break in tryflowcontrol then
  360. begin
  361. cg.a_label(current_asmdata.CurrAsmList,breakfinallylabel);
  362. cg.g_call(current_asmdata.CurrAsmList,'_FPC_leave');
  363. cg.a_jmp_always(current_asmdata.CurrAsmList,oldBreakLabel);
  364. end;
  365. if fc_continue in tryflowcontrol then
  366. begin
  367. cg.a_label(current_asmdata.CurrAsmList,continuefinallylabel);
  368. cg.g_call(current_asmdata.CurrAsmList,'_FPC_leave');
  369. cg.a_jmp_always(current_asmdata.CurrAsmList,oldContinueLabel);
  370. end;
  371. end;
  372. cg.a_label(current_asmdata.CurrAsmList,endfinallylabel);
  373. { end cleanup }
  374. current_asmdata.CurrAsmList.concat(tai_marker.create(mark_NoLineInfoEnd));
  375. current_procinfo.CurrExitLabel:=oldCurrExitLabel;
  376. if assigned(current_procinfo.CurrBreakLabel) then
  377. begin
  378. current_procinfo.CurrContinueLabel:=oldContinueLabel;
  379. current_procinfo.CurrBreakLabel:=oldBreakLabel;
  380. end;
  381. flowcontrol:=oldflowcontrol+(tryflowcontrol-[fc_inflowcontrol]);
  382. end;
  383. { ti386tryexceptnode }
  384. procedure ti386tryexceptnode.pass_generate_code;
  385. var
  386. exceptlabel,oldendexceptlabel,
  387. lastonlabel,
  388. exitexceptlabel,
  389. continueexceptlabel,
  390. breakexceptlabel,
  391. exittrylabel,
  392. continuetrylabel,
  393. breaktrylabel,
  394. oldCurrExitLabel,
  395. oldContinueLabel,
  396. oldBreakLabel : tasmlabel;
  397. onlabel,
  398. filterlabel: tasmlabel;
  399. oldflowcontrol,tryflowcontrol,
  400. exceptflowcontrol : tflowcontrol;
  401. hnode : tnode;
  402. hlist : tasmlist;
  403. onnodecount : tai_const;
  404. sym : tasmsymbol;
  405. label
  406. errorexit;
  407. begin
  408. if (target_info.system<>system_i386_win32) then
  409. begin
  410. inherited pass_generate_code;
  411. exit;
  412. end;
  413. location_reset(location,LOC_VOID,OS_NO);
  414. exceptflowcontrol:=[];
  415. breakexceptlabel:=nil;
  416. continueexceptlabel:=nil;
  417. breaktrylabel:=nil;
  418. continuetrylabel:=nil;
  419. oldflowcontrol:=flowcontrol;
  420. flowcontrol:=[fc_inflowcontrol];
  421. { this can be called recursivly }
  422. oldBreakLabel:=nil;
  423. oldContinueLabel:=nil;
  424. oldendexceptlabel:=endexceptlabel;
  425. { Win32 SEH unwinding does not preserve registers. Indicate that they are
  426. going to be destroyed. }
  427. cg.alloccpuregisters(current_asmdata.CurrAsmList,R_INTREGISTER,[RS_EAX,RS_EBX,RS_ECX,RS_EDX,RS_ESI,RS_EDI]);
  428. cg.dealloccpuregisters(current_asmdata.CurrAsmList,R_INTREGISTER,[RS_EAX,RS_EBX,RS_ECX,RS_EDX,RS_ESI,RS_EDI]);
  429. { save the old labels for control flow statements }
  430. oldCurrExitLabel:=current_procinfo.CurrExitLabel;
  431. if assigned(current_procinfo.CurrBreakLabel) then
  432. begin
  433. oldContinueLabel:=current_procinfo.CurrContinueLabel;
  434. oldBreakLabel:=current_procinfo.CurrBreakLabel;
  435. end;
  436. { get new labels for the control flow statements }
  437. current_asmdata.getjumplabel(exittrylabel);
  438. current_asmdata.getjumplabel(exitexceptlabel);
  439. if assigned(current_procinfo.CurrBreakLabel) then
  440. begin
  441. current_asmdata.getjumplabel(breaktrylabel);
  442. current_asmdata.getjumplabel(continuetrylabel);
  443. current_asmdata.getjumplabel(breakexceptlabel);
  444. current_asmdata.getjumplabel(continueexceptlabel);
  445. end;
  446. current_asmdata.getjumplabel(exceptlabel);
  447. current_asmdata.getjumplabel(endexceptlabel);
  448. current_asmdata.getjumplabel(lastonlabel);
  449. filterlabel:=nil;
  450. { start of scope }
  451. if assigned(right) then
  452. begin
  453. current_asmdata.getaddrlabel(filterlabel);
  454. sym:=current_asmdata.RefAsmSymbol('__FPC_on_handler',AT_FUNCTION);
  455. emit_scope_start(
  456. sym,
  457. filterlabel);
  458. current_module.add_extern_asmsym(sym);
  459. end
  460. else
  461. begin
  462. sym:=current_asmdata.RefAsmSymbol('__FPC_except_handler',AT_FUNCTION);
  463. emit_scope_start(
  464. sym,
  465. exceptlabel);
  466. current_module.add_extern_asmsym(sym);
  467. end;
  468. { set control flow labels for the try block }
  469. current_procinfo.CurrExitLabel:=exittrylabel;
  470. if assigned(oldBreakLabel) then
  471. begin
  472. current_procinfo.CurrContinueLabel:=continuetrylabel;
  473. current_procinfo.CurrBreakLabel:=breaktrylabel;
  474. end;
  475. secondpass(left);
  476. tryflowcontrol:=flowcontrol;
  477. if codegenerror then
  478. goto errorexit;
  479. emit_scope_end;
  480. { jump over except handlers }
  481. cg.a_jmp_always(current_asmdata.CurrAsmList,endexceptlabel);
  482. if fc_exit in tryflowcontrol then
  483. begin
  484. cg.a_label(current_asmdata.CurrAsmList,exittrylabel);
  485. emit_scope_end;
  486. cg.a_jmp_always(current_asmdata.CurrAsmList,oldCurrExitLabel);
  487. end;
  488. if fc_break in tryflowcontrol then
  489. begin
  490. cg.a_label(current_asmdata.CurrAsmList,breaktrylabel);
  491. emit_scope_end;
  492. cg.a_jmp_always(current_asmdata.CurrAsmList,oldBreakLabel);
  493. end;
  494. if fc_continue in tryflowcontrol then
  495. begin
  496. cg.a_label(current_asmdata.CurrAsmList,continuetrylabel);
  497. emit_scope_end;
  498. cg.a_jmp_always(current_asmdata.CurrAsmList,oldContinueLabel);
  499. end;
  500. { target for catch-all handler }
  501. cg.a_label(current_asmdata.CurrAsmList,exceptlabel);
  502. { set control flow labels for the except block }
  503. { and the on statements }
  504. current_procinfo.CurrExitLabel:=exitexceptlabel;
  505. if assigned(oldBreakLabel) then
  506. begin
  507. current_procinfo.CurrContinueLabel:=continueexceptlabel;
  508. current_procinfo.CurrBreakLabel:=breakexceptlabel;
  509. end;
  510. flowcontrol:=[fc_inflowcontrol];
  511. { on statements }
  512. if assigned(right) then
  513. begin
  514. { emit filter table to a temporary asmlist }
  515. hlist:=TAsmList.Create;
  516. new_section(hlist,sec_rodata,filterlabel.name,4);
  517. cg.a_label(hlist,filterlabel);
  518. onnodecount:=tai_const.create_32bit(0);
  519. hlist.concat(onnodecount);
  520. hnode:=right;
  521. while assigned(hnode) do
  522. begin
  523. if hnode.nodetype<>onn then
  524. InternalError(2011103101);
  525. current_asmdata.getjumplabel(onlabel);
  526. sym:=current_asmdata.RefAsmSymbol(tonnode(hnode).excepttype.vmt_mangledname,AT_DATA,true);
  527. hlist.concat(tai_const.create_sym(sym));
  528. hlist.concat(tai_const.create_sym(onlabel));
  529. current_module.add_extern_asmsym(sym);
  530. cg.a_label(current_asmdata.CurrAsmList,onlabel);
  531. secondpass(hnode);
  532. inc(onnodecount.value);
  533. hnode:=tonnode(hnode).left;
  534. end;
  535. { add 'else' node to the filter list, too }
  536. if assigned(t1) then
  537. begin
  538. hlist.concat(tai_const.create_32bit(-1));
  539. hlist.concat(tai_const.create_sym(lastonlabel));
  540. inc(onnodecount.value);
  541. end;
  542. { now move filter table to permanent list all at once }
  543. current_procinfo.aktlocaldata.concatlist(hlist);
  544. hlist.free;
  545. end;
  546. cg.a_label(current_asmdata.CurrAsmList,lastonlabel);
  547. if assigned(t1) then
  548. begin
  549. { here we don't have to reset flowcontrol }
  550. { the default and on flowcontrols are handled equal }
  551. secondpass(t1);
  552. cg.g_call(current_asmdata.CurrAsmList,'FPC_DONEEXCEPTION');
  553. if (flowcontrol*[fc_exit,fc_break,fc_continue]<>[]) then
  554. cg.a_jmp_always(current_asmdata.CurrAsmList,endexceptlabel);
  555. end;
  556. exceptflowcontrol:=flowcontrol;
  557. if fc_exit in exceptflowcontrol then
  558. begin
  559. { do some magic for exit in the try block }
  560. cg.a_label(current_asmdata.CurrAsmList,exitexceptlabel);
  561. cg.g_call(current_asmdata.CurrAsmList,'FPC_DONEEXCEPTION');
  562. cg.a_jmp_always(current_asmdata.CurrAsmList,oldCurrExitLabel);
  563. end;
  564. if fc_break in exceptflowcontrol then
  565. begin
  566. cg.a_label(current_asmdata.CurrAsmList,breakexceptlabel);
  567. cg.g_call(current_asmdata.CurrAsmList,'FPC_DONEEXCEPTION');
  568. cg.a_jmp_always(current_asmdata.CurrAsmList,oldBreakLabel);
  569. end;
  570. if fc_continue in exceptflowcontrol then
  571. begin
  572. cg.a_label(current_asmdata.CurrAsmList,continueexceptlabel);
  573. cg.g_call(current_asmdata.CurrAsmList,'FPC_DONEEXCEPTION');
  574. cg.a_jmp_always(current_asmdata.CurrAsmList,oldContinueLabel);
  575. end;
  576. cg.a_label(current_asmdata.CurrAsmList,endexceptlabel);
  577. errorexit:
  578. { restore all saved labels }
  579. endexceptlabel:=oldendexceptlabel;
  580. { restore the control flow labels }
  581. current_procinfo.CurrExitLabel:=oldCurrExitLabel;
  582. if assigned(oldBreakLabel) then
  583. begin
  584. current_procinfo.CurrContinueLabel:=oldContinueLabel;
  585. current_procinfo.CurrBreakLabel:=oldBreakLabel;
  586. end;
  587. { return all used control flow statements }
  588. flowcontrol:=oldflowcontrol+(exceptflowcontrol +
  589. tryflowcontrol - [fc_inflowcontrol]);
  590. end;
  591. initialization
  592. craisenode:=ti386raisenode;
  593. connode:=ti386onnode;
  594. ctryexceptnode:=ti386tryexceptnode;
  595. ctryfinallynode:=ti386tryfinallynode;
  596. end.