cg386ld.pas 35 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828
  1. {
  2. $Id$
  3. Copyright (c) 1993-98 by Florian Klaempfl
  4. Generate i386 assembler for load/assignment nodes
  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 cg386ld;
  19. interface
  20. uses
  21. tree,i386;
  22. var
  23. { this is for open arrays and strings }
  24. { but be careful, this data is in the }
  25. { generated code destroyed quick, and also }
  26. { the next call of secondload destroys this }
  27. { data }
  28. { So be careful using the informations }
  29. { provided by this variables }
  30. highframepointer : tregister;
  31. highoffset : longint;
  32. procedure secondload(var p : ptree);
  33. procedure secondassignment(var p : ptree);
  34. procedure secondfuncret(var p : ptree);
  35. procedure secondarrayconstruct(var p : ptree);
  36. implementation
  37. uses
  38. cobjects,verbose,globals,systems,
  39. symtable,aasm,types,
  40. hcodegen,temp_gen,pass_2,
  41. cgai386,tgeni386;
  42. {*****************************************************************************
  43. SecondLoad
  44. *****************************************************************************}
  45. procedure secondload(var p : ptree);
  46. var
  47. hregister : tregister;
  48. symtabletype : tsymtabletype;
  49. i : longint;
  50. hp : preference;
  51. begin
  52. simple_loadn:=true;
  53. reset_reference(p^.location.reference);
  54. case p^.symtableentry^.typ of
  55. { this is only for toasm and toaddr }
  56. absolutesym :
  57. begin
  58. stringdispose(p^.location.reference.symbol);
  59. if (pabsolutesym(p^.symtableentry)^.abstyp=toaddr) then
  60. begin
  61. if pabsolutesym(p^.symtableentry)^.absseg then
  62. p^.location.reference.segment:=R_FS;
  63. p^.location.reference.offset:=pabsolutesym(p^.symtableentry)^.address;
  64. end
  65. else
  66. p^.location.reference.symbol:=stringdup(p^.symtableentry^.mangledname);
  67. maybe_concat_external(p^.symtableentry^.owner,p^.symtableentry^.mangledname);
  68. end;
  69. varsym :
  70. begin
  71. hregister:=R_NO;
  72. if (pvarsym(p^.symtableentry)^.var_options and vo_is_C_var)<>0 then
  73. begin
  74. stringdispose(p^.location.reference.symbol);
  75. p^.location.reference.symbol:=stringdup(p^.symtableentry^.mangledname);
  76. if (pvarsym(p^.symtableentry)^.var_options and vo_is_external)<>0 then
  77. maybe_concat_external(p^.symtableentry^.owner,p^.symtableentry^.mangledname);
  78. end
  79. else
  80. begin
  81. symtabletype:=p^.symtable^.symtabletype;
  82. { in case it is a register variable: }
  83. if pvarsym(p^.symtableentry)^.reg<>R_NO then
  84. begin
  85. p^.location.loc:=LOC_CREGISTER;
  86. p^.location.register:=pvarsym(p^.symtableentry)^.reg;
  87. unused:=unused-[pvarsym(p^.symtableentry)^.reg];
  88. end
  89. else
  90. begin
  91. { first handle local and temporary variables }
  92. if (symtabletype in [parasymtable,inlinelocalsymtable,
  93. inlineparasymtable,localsymtable]) then
  94. begin
  95. p^.location.reference.base:=procinfo.framepointer;
  96. p^.location.reference.offset:=pvarsym(p^.symtableentry)^.address;
  97. if (symtabletype=localsymtable) or (symtabletype=inlinelocalsymtable) then
  98. p^.location.reference.offset:=-p^.location.reference.offset;
  99. if (symtabletype=parasymtable) or (symtabletype=inlineparasymtable) then
  100. inc(p^.location.reference.offset,p^.symtable^.call_offset);
  101. if (lexlevel>(p^.symtable^.symtablelevel)) then
  102. begin
  103. hregister:=getregister32;
  104. { make a reference }
  105. hp:=new_reference(procinfo.framepointer,
  106. procinfo.framepointer_offset);
  107. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,hp,hregister)));
  108. simple_loadn:=false;
  109. i:=lexlevel-1;
  110. while i>(p^.symtable^.symtablelevel) do
  111. begin
  112. { make a reference }
  113. hp:=new_reference(hregister,8);
  114. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,hp,hregister)));
  115. dec(i);
  116. end;
  117. p^.location.reference.base:=hregister;
  118. end;
  119. end
  120. else
  121. case symtabletype of
  122. unitsymtable,globalsymtable,
  123. staticsymtable : begin
  124. stringdispose(p^.location.reference.symbol);
  125. p^.location.reference.symbol:=stringdup(p^.symtableentry^.mangledname);
  126. if symtabletype=unitsymtable then
  127. concat_external(p^.symtableentry^.mangledname,EXT_NEAR);
  128. end;
  129. stt_exceptsymtable:
  130. begin
  131. p^.location.reference.base:=procinfo.framepointer;
  132. p^.location.reference.offset:=pvarsym(p^.symtableentry)^.address;
  133. end;
  134. objectsymtable:
  135. begin
  136. if (pvarsym(p^.symtableentry)^.properties and sp_static)<>0 then
  137. begin
  138. stringdispose(p^.location.reference.symbol);
  139. p^.location.reference.symbol:=
  140. stringdup(p^.symtableentry^.mangledname);
  141. if p^.symtable^.defowner^.owner^.symtabletype=unitsymtable then
  142. concat_external(p^.symtableentry^.mangledname,EXT_NEAR);
  143. end
  144. else
  145. begin
  146. p^.location.reference.base:=R_ESI;
  147. p^.location.reference.offset:=pvarsym(p^.symtableentry)^.address;
  148. end;
  149. end;
  150. withsymtable:
  151. begin
  152. hregister:=getregister32;
  153. p^.location.reference.base:=hregister;
  154. { make a reference }
  155. { symtable datasize field
  156. contains the offset of the temp
  157. stored }
  158. hp:=new_reference(procinfo.framepointer,
  159. p^.symtable^.datasize);
  160. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,hp,hregister)));
  161. p^.location.reference.offset:=
  162. pvarsym(p^.symtableentry)^.address;
  163. end;
  164. end;
  165. end;
  166. { in case call by reference, then calculate: }
  167. if (pvarsym(p^.symtableentry)^.varspez=vs_var) or
  168. ((pvarsym(p^.symtableentry)^.varspez=vs_const) and
  169. dont_copy_const_param(pvarsym(p^.symtableentry)^.definition)) or
  170. { call by value open arrays are also indirect addressed }
  171. is_open_array(pvarsym(p^.symtableentry)^.definition) then
  172. begin
  173. simple_loadn:=false;
  174. if hregister=R_NO then
  175. hregister:=getregister32;
  176. if is_open_array(pvarsym(p^.symtableentry)^.definition) then
  177. begin
  178. if (p^.location.reference.base=procinfo.framepointer) then
  179. begin
  180. highframepointer:=p^.location.reference.base;
  181. highoffset:=p^.location.reference.offset;
  182. end
  183. else
  184. begin
  185. highframepointer:=R_EDI;
  186. highoffset:=p^.location.reference.offset;
  187. exprasmlist^.concat(new(pai386,op_reg_reg(A_MOV,S_L,
  188. p^.location.reference.base,R_EDI)));
  189. end;
  190. end;
  191. if p^.location.loc=LOC_CREGISTER then
  192. begin
  193. exprasmlist^.concat(new(pai386,op_reg_reg(A_MOV,S_L,
  194. p^.location.register,hregister)));
  195. p^.location.loc:=LOC_REFERENCE;
  196. end
  197. else
  198. begin
  199. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,
  200. newreference(p^.location.reference),
  201. hregister)));
  202. end;
  203. clear_reference(p^.location.reference);
  204. p^.location.reference.base:=hregister;
  205. end;
  206. end;
  207. end;
  208. procsym:
  209. begin
  210. {!!!!! Be aware, work on virtual methods too }
  211. stringdispose(p^.location.reference.symbol);
  212. p^.location.reference.symbol:=
  213. stringdup(pprocsym(p^.symtableentry)^.definition^.mangledname);
  214. maybe_concat_external(p^.symtable,p^.symtableentry^.mangledname);
  215. end;
  216. typedconstsym :
  217. begin
  218. stringdispose(p^.location.reference.symbol);
  219. p^.location.reference.symbol:=stringdup(p^.symtableentry^.mangledname);
  220. maybe_concat_external(p^.symtable,p^.symtableentry^.mangledname);
  221. end;
  222. else internalerror(4);
  223. end;
  224. end;
  225. {*****************************************************************************
  226. SecondAssignment
  227. *****************************************************************************}
  228. procedure secondassignment(var p : ptree);
  229. var
  230. opsize : topsize;
  231. otlabel,hlabel,oflabel : plabel;
  232. hregister : tregister;
  233. loc : tloc;
  234. r : preference;
  235. begin
  236. otlabel:=truelabel;
  237. oflabel:=falselabel;
  238. getlabel(truelabel);
  239. getlabel(falselabel);
  240. { calculate left sides }
  241. if not(p^.concat_string) then
  242. secondpass(p^.left);
  243. if codegenerror then
  244. exit;
  245. case p^.left^.location.loc of
  246. LOC_REFERENCE : begin
  247. { in case left operator uses to register }
  248. { but to few are free then LEA }
  249. if (p^.left^.location.reference.base<>R_NO) and
  250. (p^.left^.location.reference.index<>R_NO) and
  251. (usablereg32<p^.right^.registers32) then
  252. begin
  253. del_reference(p^.left^.location.reference);
  254. hregister:=getregister32;
  255. exprasmlist^.concat(new(pai386,op_ref_reg(A_LEA,S_L,newreference(
  256. p^.left^.location.reference),
  257. hregister)));
  258. clear_reference(p^.left^.location.reference);
  259. p^.left^.location.reference.base:=hregister;
  260. p^.left^.location.reference.index:=R_NO;
  261. end;
  262. loc:=LOC_REFERENCE;
  263. end;
  264. LOC_CREGISTER:
  265. loc:=LOC_CREGISTER;
  266. LOC_MMXREGISTER:
  267. loc:=LOC_MMXREGISTER;
  268. LOC_CMMXREGISTER:
  269. loc:=LOC_CMMXREGISTER;
  270. else
  271. begin
  272. CGMessage(cg_e_illegal_expression);
  273. exit;
  274. end;
  275. end;
  276. { lets try to optimize this (PM) }
  277. { define a dest_loc that is the location }
  278. { and a ptree to verify that it is the right }
  279. { place to insert it }
  280. {$ifdef test_dest_loc}
  281. if (aktexprlevel<4) then
  282. begin
  283. dest_loc_known:=true;
  284. dest_loc:=p^.left^.location;
  285. dest_loc_tree:=p^.right;
  286. end;
  287. {$endif test_dest_loc}
  288. if (p^.right^.treetype=realconstn) then
  289. begin
  290. if p^.left^.resulttype^.deftype=floatdef then
  291. begin
  292. case pfloatdef(p^.left^.resulttype)^.typ of
  293. s32real : p^.right^.realtyp:=ait_real_32bit;
  294. s64real : p^.right^.realtyp:=ait_real_64bit;
  295. s80real : p^.right^.realtyp:=ait_real_extended;
  296. { what about f32bit and s64bit }
  297. end;
  298. end;
  299. end;
  300. secondpass(p^.right);
  301. if codegenerror then
  302. exit;
  303. {$ifdef test_dest_loc}
  304. dest_loc_known:=false;
  305. if in_dest_loc then
  306. begin
  307. truelabel:=otlabel;
  308. falselabel:=oflabel;
  309. in_dest_loc:=false;
  310. exit;
  311. end;
  312. {$endif test_dest_loc}
  313. if p^.left^.resulttype^.deftype=stringdef then
  314. begin
  315. {$ifdef UseAnsiString}
  316. if is_ansistring(p^.left^.resulttype) then
  317. begin
  318. { the source and destinations are released
  319. in loadansistring, because an ansi string can
  320. also be in a register
  321. }
  322. loadansistring(p);
  323. end
  324. else
  325. {$endif UseAnsiString}
  326. if is_shortstring(p^.left^.resulttype) and
  327. not (p^.concat_string) then
  328. begin
  329. {$ifdef UseAnsiString}
  330. if is_ansistring(p^.right^.resulttype) then
  331. loadansi2short(p^.right,p^.left)
  332. else
  333. {$endif UseAnsiString}
  334. begin
  335. { we do not need destination anymore }
  336. del_reference(p^.left^.location.reference);
  337. del_reference(p^.right^.location.reference);
  338. loadstring(p);
  339. ungetiftemp(p^.right^.location.reference);
  340. end;
  341. end
  342. else
  343. begin
  344. { its the only thing we have to do }
  345. del_reference(p^.right^.location.reference);
  346. end
  347. end
  348. else case p^.right^.location.loc of
  349. LOC_REFERENCE,
  350. LOC_MEM : begin
  351. { extra handling for ordinal constants }
  352. if (p^.right^.treetype in [ordconstn,fixconstn]) or
  353. (loc=LOC_CREGISTER) then
  354. begin
  355. case p^.left^.resulttype^.size of
  356. 1 : opsize:=S_B;
  357. 2 : opsize:=S_W;
  358. 4 : opsize:=S_L;
  359. end;
  360. if loc=LOC_CREGISTER then
  361. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,opsize,
  362. newreference(p^.right^.location.reference),
  363. p^.left^.location.register)))
  364. else
  365. exprasmlist^.concat(new(pai386,op_const_ref(A_MOV,opsize,
  366. p^.right^.location.reference.offset,
  367. newreference(p^.left^.location.reference))));
  368. {exprasmlist^.concat(new(pai386,op_const_loc(A_MOV,opsize,
  369. p^.right^.location.reference.offset,
  370. p^.left^.location)));}
  371. end
  372. else
  373. begin
  374. if p^.right^.resulttype^.needs_inittable then
  375. begin
  376. { this would be a problem }
  377. if not(p^.left^.resulttype^.needs_inittable) then
  378. internalerror(3457);
  379. { increment source reference counter }
  380. new(r);
  381. reset_reference(r^);
  382. r^.symbol:=stringdup(lab2str(p^.right^.resulttype^.get_rtti_label));
  383. emitpushreferenceaddr(exprasmlist,r^);
  384. emitpushreferenceaddr(exprasmlist,p^.right^.location.reference);
  385. exprasmlist^.concat(new(pai386,
  386. op_csymbol(A_CALL,S_NO,newcsymbol('FPC_ADDREF',0))));
  387. if not (cs_compilesystem in aktmoduleswitches) then
  388. concat_external('FPC_ADDREF',EXT_NEAR);
  389. { decrement destination reference counter }
  390. new(r);
  391. reset_reference(r^);
  392. r^.symbol:=stringdup(lab2str(p^.left^.resulttype^.get_rtti_label));
  393. emitpushreferenceaddr(exprasmlist,r^);
  394. emitpushreferenceaddr(exprasmlist,p^.left^.location.reference);
  395. exprasmlist^.concat(new(pai386,
  396. op_csymbol(A_CALL,S_NO,newcsymbol('FPC_DECREF',0))));
  397. if not(cs_compilesystem in aktmoduleswitches) then
  398. concat_external('FPC_DECREF',EXT_NEAR);
  399. end;
  400. concatcopy(p^.right^.location.reference,
  401. p^.left^.location.reference,p^.left^.resulttype^.size,false);
  402. ungetiftemp(p^.right^.location.reference);
  403. end;
  404. end;
  405. {$ifdef SUPPORT_MMX}
  406. LOC_CMMXREGISTER,
  407. LOC_MMXREGISTER:
  408. begin
  409. if loc=LOC_CMMXREGISTER then
  410. exprasmlist^.concat(new(pai386,op_reg_reg(A_MOVQ,S_NO,
  411. p^.right^.location.register,p^.left^.location.register)))
  412. else
  413. exprasmlist^.concat(new(pai386,op_reg_ref(A_MOVQ,S_NO,
  414. p^.right^.location.register,newreference(p^.left^.location.reference))));
  415. end;
  416. {$endif SUPPORT_MMX}
  417. LOC_REGISTER,
  418. LOC_CREGISTER : begin
  419. case p^.right^.resulttype^.size of
  420. 1 : opsize:=S_B;
  421. 2 : opsize:=S_W;
  422. 4 : opsize:=S_L;
  423. end;
  424. { simplified with op_reg_loc }
  425. if loc=LOC_CREGISTER then
  426. exprasmlist^.concat(new(pai386,op_reg_reg(A_MOV,opsize,
  427. p^.right^.location.register,
  428. p^.left^.location.register)))
  429. else
  430. exprasmlist^.concat(new(pai386,op_reg_ref(A_MOV,opsize,
  431. p^.right^.location.register,
  432. newreference(p^.left^.location.reference))));
  433. {exprasmlist^.concat(new(pai386,op_reg_loc(A_MOV,opsize,
  434. p^.right^.location.register,
  435. p^.left^.location))); }
  436. end;
  437. LOC_FPU : begin
  438. if loc<>LOC_REFERENCE then
  439. internalerror(10010)
  440. else
  441. floatstore(pfloatdef(p^.left^.resulttype)^.typ,
  442. p^.left^.location.reference);
  443. end;
  444. LOC_JUMP : begin
  445. getlabel(hlabel);
  446. emitl(A_LABEL,truelabel);
  447. if loc=LOC_CREGISTER then
  448. exprasmlist^.concat(new(pai386,op_const_reg(A_MOV,S_B,
  449. 1,p^.left^.location.register)))
  450. else
  451. exprasmlist^.concat(new(pai386,op_const_ref(A_MOV,S_B,
  452. 1,newreference(p^.left^.location.reference))));
  453. {exprasmlist^.concat(new(pai386,op_const_loc(A_MOV,S_B,
  454. 1,p^.left^.location)));}
  455. emitl(A_JMP,hlabel);
  456. emitl(A_LABEL,falselabel);
  457. if loc=LOC_CREGISTER then
  458. exprasmlist^.concat(new(pai386,op_reg_reg(A_XOR,S_B,
  459. p^.left^.location.register,
  460. p^.left^.location.register)))
  461. else
  462. exprasmlist^.concat(new(pai386,op_const_ref(A_MOV,S_B,
  463. 0,newreference(p^.left^.location.reference))));
  464. emitl(A_LABEL,hlabel);
  465. end;
  466. LOC_FLAGS : begin
  467. if loc=LOC_CREGISTER then
  468. exprasmlist^.concat(new(pai386,op_reg(flag_2_set[p^.right^.location.resflags],S_B,
  469. p^.left^.location.register)))
  470. else
  471. exprasmlist^.concat(new(pai386,op_ref(flag_2_set[p^.right^.location.resflags],S_B,
  472. newreference(p^.left^.location.reference))));
  473. end;
  474. end;
  475. freelabel(truelabel);
  476. freelabel(falselabel);
  477. truelabel:=otlabel;
  478. falselabel:=oflabel;
  479. end;
  480. {*****************************************************************************
  481. SecondFuncRet
  482. *****************************************************************************}
  483. procedure secondfuncret(var p : ptree);
  484. var
  485. hr : tregister;
  486. hp : preference;
  487. pp : pprocinfo;
  488. hr_valid : boolean;
  489. begin
  490. clear_reference(p^.location.reference);
  491. hr_valid:=false;
  492. if @procinfo<>pprocinfo(p^.funcretprocinfo) then
  493. begin
  494. hr:=getregister32;
  495. hr_valid:=true;
  496. hp:=new_reference(procinfo.framepointer,
  497. procinfo.framepointer_offset);
  498. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,hp,hr)));
  499. pp:=procinfo.parent;
  500. { walk up the stack frame }
  501. while pp<>pprocinfo(p^.funcretprocinfo) do
  502. begin
  503. hp:=new_reference(hr,
  504. pp^.framepointer_offset);
  505. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,hp,hr)));
  506. pp:=pp^.parent;
  507. end;
  508. p^.location.reference.base:=hr;
  509. end
  510. else
  511. p^.location.reference.base:=procinfo.framepointer;
  512. p^.location.reference.offset:=procinfo.retoffset;
  513. if ret_in_param(p^.retdef) then
  514. begin
  515. if not hr_valid then
  516. hr:=getregister32;
  517. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,newreference(p^.location.reference),hr)));
  518. p^.location.reference.base:=hr;
  519. p^.location.reference.offset:=0;
  520. end;
  521. end;
  522. {*****************************************************************************
  523. SecondArrayConstruct
  524. *****************************************************************************}
  525. const
  526. vtInteger = 0;
  527. vtBoolean = 1;
  528. vtChar = 2;
  529. vtExtended = 3;
  530. vtString = 4;
  531. vtPointer = 5;
  532. vtPChar = 6;
  533. vtObject = 7;
  534. vtClass = 8;
  535. vtWideChar = 9;
  536. vtPWideChar = 10;
  537. vtAnsiString = 11;
  538. vtCurrency = 12;
  539. vtVariant = 13;
  540. vtInterface = 14;
  541. vtWideString = 15;
  542. vtInt64 = 16;
  543. procedure emit_mov_loc_ref(const t:tlocation;const ref:treference);
  544. begin
  545. case t.loc of
  546. LOC_REGISTER,
  547. LOC_CREGISTER : begin
  548. exprasmlist^.concat(new(pai386,op_reg_ref(A_MOV,S_L,
  549. t.register,newreference(ref))));
  550. end;
  551. LOC_MEM,
  552. LOC_REFERENCE : begin
  553. if t.reference.isintvalue then
  554. exprasmlist^.concat(new(pai386,op_const_ref(A_MOV,S_L,
  555. t.reference.offset,newreference(ref))))
  556. else
  557. begin
  558. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,
  559. newreference(t.reference),R_EDI)));
  560. exprasmlist^.concat(new(pai386,op_reg_ref(A_MOV,S_L,
  561. R_EDI,newreference(ref))));
  562. end;
  563. end;
  564. else
  565. internalerror(330);
  566. end;
  567. end;
  568. procedure emit_to_reference(var p:ptree);
  569. begin
  570. case p^.location.loc of
  571. LOC_FPU : begin
  572. reset_reference(p^.location.reference);
  573. gettempofsizereference(10,p^.location.reference);
  574. floatstore(pfloatdef(p^.resulttype)^.typ,p^.location.reference);
  575. p^.location.loc:=LOC_REFERENCE;
  576. end;
  577. LOC_MEM,
  578. LOC_REFERENCE : ;
  579. else
  580. internalerror(333);
  581. end;
  582. end;
  583. procedure emit_lea_loc_ref(const t:tlocation;const ref:treference);
  584. begin
  585. case t.loc of
  586. LOC_MEM,
  587. LOC_REFERENCE : begin
  588. if t.reference.isintvalue then
  589. internalerror(331)
  590. else
  591. begin
  592. exprasmlist^.concat(new(pai386,op_ref_reg(A_LEA,S_L,
  593. newreference(t.reference),R_EDI)));
  594. exprasmlist^.concat(new(pai386,op_reg_ref(A_MOV,S_L,
  595. R_EDI,newreference(ref))));
  596. end;
  597. end;
  598. else
  599. internalerror(332);
  600. end;
  601. end;
  602. procedure secondarrayconstruct(var p : ptree);
  603. var
  604. hp : ptree;
  605. href : treference;
  606. lt : pdef;
  607. vaddr : boolean;
  608. vtype : longint;
  609. begin
  610. clear_reference(p^.location.reference);
  611. gettempofsizereference((parraydef(p^.resulttype)^.highrange+1)*8,p^.location.reference);
  612. hp:=p;
  613. href:=p^.location.reference;
  614. while assigned(hp) do
  615. begin
  616. secondpass(hp^.left);
  617. if codegenerror then
  618. exit;
  619. { find the correct vtype value }
  620. vtype:=$ff;
  621. vaddr:=false;
  622. lt:=hp^.left^.resulttype;
  623. case lt^.deftype of
  624. enumdef,
  625. orddef : begin
  626. if (lt^.deftype=enumdef) or
  627. is_integer(lt) then
  628. vtype:=vtInteger
  629. else
  630. if is_boolean(lt) then
  631. vtype:=vtBoolean
  632. else
  633. if (lt^.deftype=orddef) and (porddef(lt)^.typ=uchar) then
  634. vtype:=vtChar;
  635. end;
  636. floatdef : begin
  637. vtype:=vtExtended;
  638. vaddr:=true;
  639. end;
  640. procvardef,
  641. pointerdef : begin
  642. if is_pchar(lt) then
  643. vtype:=vtPChar
  644. else
  645. vtype:=vtPointer;
  646. end;
  647. classrefdef : vtype:=vtClass;
  648. objectdef : begin
  649. vtype:=vtObject;
  650. end;
  651. stringdef : begin
  652. if is_shortstring(lt) then
  653. begin
  654. vtype:=vtString;
  655. vaddr:=true;
  656. end
  657. else
  658. if is_ansistring(lt) then
  659. vtype:=vtAnsiString;
  660. end;
  661. end;
  662. if vtype=$ff then
  663. internalerror(14357);
  664. { update href to the vtype field and write it }
  665. exprasmlist^.concat(new(pai386,op_const_ref(A_MOV,S_L,
  666. vtype,newreference(href))));
  667. inc(href.offset,4);
  668. { write changing field update href to the next element }
  669. if vaddr then
  670. begin
  671. emit_to_reference(hp^.left);
  672. emit_lea_loc_ref(hp^.left^.location,href)
  673. end
  674. else
  675. emit_mov_loc_ref(hp^.left^.location,href);
  676. inc(href.offset,4);
  677. { load next entry }
  678. hp:=hp^.right;
  679. end;
  680. end;
  681. end.
  682. {
  683. $Log$
  684. Revision 1.24 1998-10-14 08:47:14 pierre
  685. * bugs in secondfuncret for result in subprocedures removed
  686. Revision 1.23 1998/10/06 17:16:44 pierre
  687. * some memory leaks fixed (thanks to Peter for heaptrc !)
  688. Revision 1.22 1998/10/01 09:22:53 peter
  689. * fixed value openarray
  690. * ungettemp of arrayconstruct
  691. Revision 1.21 1998/09/28 11:07:39 peter
  692. + floatdef support for array of const
  693. Revision 1.20 1998/09/24 14:26:03 peter
  694. * updated for new tvarrec
  695. Revision 1.19 1998/09/23 17:49:59 peter
  696. * high(arrayconstructor) is now correct
  697. * procvardef support for variant record
  698. Revision 1.18 1998/09/23 09:58:48 peter
  699. * first working array of const things
  700. Revision 1.17 1998/09/20 18:00:19 florian
  701. * small compiling problems fixed
  702. Revision 1.16 1998/09/20 17:46:48 florian
  703. * some things regarding ansistrings fixed
  704. Revision 1.15 1998/09/17 09:42:16 peter
  705. + pass_2 for cg386
  706. * Message() -> CGMessage() for pass_1/pass_2
  707. Revision 1.14 1998/09/14 10:43:50 peter
  708. * all internal RTL functions start with FPC_
  709. Revision 1.13 1998/09/04 12:24:24 florian
  710. * bug0159 fixed
  711. Revision 1.12 1998/09/04 11:55:17 florian
  712. * problem with -Or fixed
  713. Revision 1.11 1998/09/03 16:03:14 florian
  714. + rtti generation
  715. * init table generation changed
  716. Revision 1.10 1998/08/21 14:08:40 pierre
  717. + TEST_FUNCRET now default (old code removed)
  718. works also for m68k (at least compiles)
  719. Revision 1.9 1998/08/20 09:26:37 pierre
  720. + funcret setting in underproc testing
  721. compile with _dTEST_FUNCRET
  722. Revision 1.8 1998/08/10 14:49:48 peter
  723. + localswitches, moduleswitches, globalswitches splitting
  724. Revision 1.7 1998/07/30 13:30:33 florian
  725. * final implemenation of exception support, maybe it needs
  726. some fixes :)
  727. Revision 1.6 1998/07/26 21:58:57 florian
  728. + better support for switch $H
  729. + index access to ansi strings added
  730. + assigment of data (records/arrays) containing ansi strings
  731. Revision 1.5 1998/07/24 22:16:54 florian
  732. * internal error 10 together with array access fixed. I hope
  733. that's the final fix.
  734. Revision 1.4 1998/06/11 13:58:45 peter
  735. * fixed too long line
  736. Revision 1.3 1998/06/09 16:01:35 pierre
  737. + added procedure directive parsing for procvars
  738. (accepted are popstack cdecl and pascal)
  739. + added C vars with the following syntax
  740. var C calias 'true_c_name';(can be followed by external)
  741. reason is that you must add the Cprefix
  742. which is target dependent
  743. Revision 1.2 1998/06/08 13:13:34 pierre
  744. + temporary variables now in temp_gen.pas unit
  745. because it is processor independent
  746. * mppc68k.bat modified to undefine i386 and support_mmx
  747. (which are defaults for i386)
  748. Revision 1.1 1998/06/05 17:44:12 peter
  749. * splitted cgi386
  750. }