cg386cnv.pas 57 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581
  1. {
  2. $Id$
  3. Copyright (c) 1993-98 by Florian Klaempfl
  4. Generate i386 assembler for type converting 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. {$ifdef TP}
  19. {$E+,F+,N+,D+,L+,Y+}
  20. {$endif}
  21. unit cg386cnv;
  22. interface
  23. uses
  24. tree;
  25. procedure loadshortstring(p:ptree);
  26. procedure loadansi2short(source,dest : ptree);
  27. procedure secondtypeconv(var p : ptree);
  28. procedure secondas(var p : ptree);
  29. procedure secondis(var p : ptree);
  30. implementation
  31. uses
  32. cobjects,verbose,globtype,globals,systems,
  33. symtable,aasm,types,
  34. hcodegen,temp_gen,pass_2,pass_1,
  35. i386base,i386asm,
  36. cgai386,tgeni386;
  37. procedure push_shortstring_length(p:ptree);
  38. var
  39. hightree : ptree;
  40. begin
  41. if is_open_string(p^.resulttype) then
  42. begin
  43. getsymonlyin(p^.symtable,'high'+pvarsym(p^.symtableentry)^.name);
  44. hightree:=genloadnode(pvarsym(srsym),p^.symtable);
  45. firstpass(hightree);
  46. secondpass(hightree);
  47. push_value_para(hightree,false,0,4);
  48. disposetree(hightree);
  49. end
  50. else
  51. begin
  52. push_int(pstringdef(p^.resulttype)^.len);
  53. end;
  54. end;
  55. procedure loadshortstring(p:ptree);
  56. {
  57. Load a string, handles stringdef and orddef (char) types
  58. }
  59. begin
  60. case p^.right^.resulttype^.deftype of
  61. stringdef:
  62. begin
  63. if (p^.right^.treetype=stringconstn) and
  64. (str_length(p^.right)=0) then
  65. exprasmlist^.concat(new(pai386,op_const_ref(
  66. A_MOV,S_B,0,newreference(p^.left^.location.reference))))
  67. else
  68. begin
  69. emitpushreferenceaddr(p^.left^.location.reference);
  70. emitpushreferenceaddr(p^.right^.location.reference);
  71. push_shortstring_length(p^.left);
  72. emitcall('FPC_SHORTSTR_COPY');
  73. maybe_loadesi;
  74. end;
  75. end;
  76. orddef:
  77. begin
  78. if p^.right^.treetype=ordconstn then
  79. exprasmlist^.concat(new(pai386,op_const_ref(
  80. A_MOV,S_W,p^.right^.value*256+1,newreference(p^.left^.location.reference))))
  81. else
  82. begin
  83. { not so elegant (goes better with extra register }
  84. if (p^.right^.location.loc in [LOC_REGISTER,LOC_CREGISTER]) then
  85. begin
  86. exprasmlist^.concat(new(pai386,op_reg_reg(
  87. A_MOV,S_L,makereg32(p^.right^.location.register),R_EDI)));
  88. ungetregister(p^.right^.location.register);
  89. end
  90. else
  91. begin
  92. exprasmlist^.concat(new(pai386,op_ref_reg(
  93. A_MOV,S_L,newreference(p^.right^.location.reference),R_EDI)));
  94. del_reference(p^.right^.location.reference);
  95. end;
  96. exprasmlist^.concat(new(pai386,op_const_reg(A_SHL,S_L,8,R_EDI)));
  97. exprasmlist^.concat(new(pai386,op_const_reg(A_OR,S_L,1,R_EDI)));
  98. exprasmlist^.concat(new(pai386,op_reg_ref(
  99. A_MOV,S_W,R_DI,newreference(p^.left^.location.reference))));
  100. end;
  101. end;
  102. else
  103. CGMessage(type_e_mismatch);
  104. end;
  105. end;
  106. procedure loadansi2short(source,dest : ptree);
  107. var
  108. pushed : tpushed;
  109. begin
  110. del_reference(dest^.location.reference);
  111. case source^.location.loc of
  112. LOC_REFERENCE,LOC_MEM:
  113. begin
  114. ungetiftemp(source^.location.reference);
  115. {$IfNDef regallocfix}
  116. del_reference(source^.location.reference);
  117. pushusedregisters(pushed,$ff);
  118. emit_push_mem(source^.location.reference);
  119. {$Else regallocfix}
  120. pushusedregisters(pushed,$ff
  121. xor ($80 shr byte(source^.location.reference.base))
  122. xor ($80 shr byte(source^.location.reference.index)));
  123. emit_push_mem(source^.location.reference);
  124. del_reference(source^.location.reference);
  125. {$EndIf regallocfix}
  126. end;
  127. LOC_REGISTER,LOC_CREGISTER:
  128. begin
  129. {$IfNDef regallocfix}
  130. ungetregister32(source^.location.register);
  131. pushusedregisters(pushed,$ff);
  132. exprasmlist^.concat(new(pai386,op_reg(A_PUSH,S_L,source^.location.register)));
  133. {$Else regallocfix}
  134. pushusedregisters(pushed, $ff xor ($80 shr byte(source^.location.register)));
  135. exprasmlist^.concat(new(pai386,op_reg(A_PUSH,S_L,source^.location.register)));
  136. ungetregister32(source^.location.register);
  137. {$EndIf regallocfix}
  138. end;
  139. end;
  140. push_shortstring_length(dest);
  141. emitpushreferenceaddr(dest^.location.reference);
  142. emitcall('FPC_ANSISTR_TO_SHORTSTR');
  143. popusedregisters(pushed);
  144. maybe_loadesi;
  145. end;
  146. {*****************************************************************************
  147. SecondTypeConv
  148. *****************************************************************************}
  149. type
  150. tsecondconvproc = procedure(pto,pfrom : ptree;convtyp : tconverttype);
  151. procedure second_int_to_int(pto,pfrom : ptree;convtyp : tconverttype);
  152. var
  153. op : tasmop;
  154. opsize : topsize;
  155. hregister : tregister;
  156. begin
  157. { insert range check if not explicit conversion }
  158. if not(pto^.explizit) then
  159. emitrangecheck(pfrom,pto^.resulttype);
  160. { is the result size smaller ? }
  161. if pto^.resulttype^.size<pfrom^.resulttype^.size then
  162. begin
  163. { only need to set the new size of a register }
  164. if (pfrom^.location.loc in [LOC_REGISTER,LOC_CREGISTER]) then
  165. begin
  166. case pto^.resulttype^.size of
  167. 1 : pto^.location.register:=makereg8(pfrom^.location.register);
  168. 2 : pto^.location.register:=makereg16(pfrom^.location.register);
  169. 4 : pto^.location.register:=makereg32(pfrom^.location.register);
  170. end;
  171. end;
  172. end
  173. { is the result size bigger ? }
  174. else if pto^.resulttype^.size>pfrom^.resulttype^.size then
  175. begin
  176. { remove reference }
  177. if not(pfrom^.location.loc in [LOC_REGISTER,LOC_CREGISTER]) then
  178. begin
  179. del_reference(pfrom^.location.reference);
  180. { we can do this here as we need no temp inside }
  181. ungetiftemp(pfrom^.location.reference);
  182. end;
  183. { get op and opsize, handle separate for constants, becuase
  184. movz doesn't support constant values }
  185. if (pfrom^.location.loc=LOC_MEM) and (pfrom^.location.reference.is_immediate) then
  186. begin
  187. opsize:=def_opsize(pto^.resulttype);
  188. op:=A_MOV;
  189. end
  190. else
  191. begin
  192. opsize:=def2def_opsize(pfrom^.resulttype,pto^.resulttype);
  193. if opsize in [S_B,S_W,S_L] then
  194. op:=A_MOV
  195. else
  196. if is_signed(pfrom^.resulttype) then
  197. op:=A_MOVSX
  198. else
  199. op:=A_MOVZX;
  200. end;
  201. { load the register we need }
  202. if pfrom^.location.loc<>LOC_REGISTER then
  203. hregister:=getregister32
  204. else
  205. hregister:=pfrom^.location.register;
  206. { set the correct register size and location }
  207. clear_location(pto^.location);
  208. pto^.location.loc:=LOC_REGISTER;
  209. case pto^.resulttype^.size of
  210. 1 : pto^.location.register:=makereg8(hregister);
  211. 2 : pto^.location.register:=makereg16(hregister);
  212. 4 : pto^.location.register:=makereg32(hregister);
  213. end;
  214. { insert the assembler code }
  215. if pfrom^.location.loc in [LOC_CREGISTER,LOC_REGISTER] then
  216. emit_reg_reg(op,opsize,pfrom^.location.register,pto^.location.register)
  217. else
  218. exprasmlist^.concat(new(pai386,op_ref_reg(op,opsize,
  219. newreference(pfrom^.location.reference),pto^.location.register)));
  220. end;
  221. end;
  222. procedure second_string_to_string(pto,pfrom : ptree;convtyp : tconverttype);
  223. var
  224. pushed : tpushed;
  225. begin
  226. { does anybody know a better solution than this big case statement ? }
  227. { ok, a proc table would do the job }
  228. case pstringdef(pto^.resulttype)^.string_typ of
  229. st_shortstring:
  230. case pstringdef(pfrom^.resulttype)^.string_typ of
  231. st_shortstring:
  232. begin
  233. gettempofsizereference(pto^.resulttype^.size,pto^.location.reference);
  234. del_reference(pfrom^.location.reference);
  235. copyshortstring(pto^.location.reference,pfrom^.location.reference,
  236. pstringdef(pto^.resulttype)^.len,false);
  237. ungetiftemp(pfrom^.location.reference);
  238. end;
  239. st_longstring:
  240. begin
  241. {!!!!!!!}
  242. internalerror(8888);
  243. end;
  244. st_ansistring:
  245. begin
  246. gettempofsizereference(pto^.resulttype^.size,pto^.location.reference);
  247. loadansi2short(pfrom,pto);
  248. { this is done in secondtypeconv (FK)
  249. removetemps(exprasmlist,temptoremove);
  250. destroys:=true;
  251. }
  252. end;
  253. st_widestring:
  254. begin
  255. {!!!!!!!}
  256. internalerror(8888);
  257. end;
  258. end;
  259. st_longstring:
  260. case pstringdef(pfrom^.resulttype)^.string_typ of
  261. st_shortstring:
  262. begin
  263. {!!!!!!!}
  264. internalerror(8888);
  265. end;
  266. st_ansistring:
  267. begin
  268. {!!!!!!!}
  269. internalerror(8888);
  270. end;
  271. st_widestring:
  272. begin
  273. {!!!!!!!}
  274. internalerror(8888);
  275. end;
  276. end;
  277. st_ansistring:
  278. case pstringdef(pfrom^.resulttype)^.string_typ of
  279. st_shortstring:
  280. begin
  281. clear_location(pto^.location);
  282. pto^.location.loc:=LOC_REFERENCE;
  283. if gettempansistringreference(pto^.location.reference) then
  284. decrstringref(cansistringdef,pto^.location.reference);
  285. pushusedregisters(pushed,$ff);
  286. emit_push_lea_loc(pfrom^.location);
  287. emit_push_lea_loc(pto^.location);
  288. emitcall('FPC_SHORTSTR_TO_ANSISTR');
  289. maybe_loadesi;
  290. popusedregisters(pushed);
  291. ungetiftemp(pfrom^.location.reference);
  292. end;
  293. st_longstring:
  294. begin
  295. {!!!!!!!}
  296. internalerror(8888);
  297. end;
  298. st_widestring:
  299. begin
  300. {!!!!!!!}
  301. internalerror(8888);
  302. end;
  303. end;
  304. st_widestring:
  305. case pstringdef(pfrom^.resulttype)^.string_typ of
  306. st_shortstring:
  307. begin
  308. {!!!!!!!}
  309. internalerror(8888);
  310. end;
  311. st_longstring:
  312. begin
  313. {!!!!!!!}
  314. internalerror(8888);
  315. end;
  316. st_ansistring:
  317. begin
  318. {!!!!!!!}
  319. internalerror(8888);
  320. end;
  321. st_widestring:
  322. begin
  323. {!!!!!!!}
  324. internalerror(8888);
  325. end;
  326. end;
  327. end;
  328. end;
  329. procedure second_cstring_to_pchar(pto,pfrom : ptree;convtyp : tconverttype);
  330. begin
  331. clear_location(pto^.location);
  332. pto^.location.loc:=LOC_REGISTER;
  333. pto^.location.register:=getregister32;
  334. case pstringdef(pfrom^.resulttype)^.string_typ of
  335. st_shortstring :
  336. begin
  337. inc(pfrom^.location.reference.offset);
  338. exprasmlist^.concat(new(pai386,op_ref_reg(A_LEA,S_L,newreference(pfrom^.location.reference),
  339. pto^.location.register)));
  340. end;
  341. st_ansistring :
  342. begin
  343. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,newreference(pfrom^.location.reference),
  344. pto^.location.register)));
  345. end;
  346. st_longstring:
  347. begin
  348. {!!!!!!!}
  349. internalerror(8888);
  350. end;
  351. st_widestring:
  352. begin
  353. {!!!!!!!}
  354. internalerror(8888);
  355. end;
  356. end;
  357. end;
  358. procedure second_string_to_chararray(pto,pfrom : ptree;convtyp : tconverttype);
  359. begin
  360. case pstringdef(pfrom^.resulttype)^.string_typ of
  361. st_shortstring :
  362. begin
  363. inc(pto^.location.reference.offset);
  364. end;
  365. st_ansistring :
  366. begin
  367. {!!!!!!!}
  368. internalerror(8888);
  369. end;
  370. st_longstring:
  371. begin
  372. {!!!!!!!}
  373. internalerror(8888);
  374. end;
  375. st_widestring:
  376. begin
  377. {!!!!!!!}
  378. internalerror(8888);
  379. end;
  380. end;
  381. end;
  382. procedure second_array_to_pointer(pto,pfrom : ptree;convtyp : tconverttype);
  383. begin
  384. del_reference(pfrom^.location.reference);
  385. clear_location(pto^.location);
  386. pto^.location.loc:=LOC_REGISTER;
  387. pto^.location.register:=getregister32;
  388. exprasmlist^.concat(new(pai386,op_ref_reg(A_LEA,S_L,newreference(pfrom^.location.reference),
  389. pto^.location.register)));
  390. end;
  391. procedure second_pointer_to_array(pto,pfrom : ptree;convtyp : tconverttype);
  392. begin
  393. clear_location(pto^.location);
  394. pto^.location.loc:=LOC_REFERENCE;
  395. reset_reference(pto^.location.reference);
  396. case pfrom^.location.loc of
  397. LOC_REGISTER :
  398. pto^.location.reference.base:=pfrom^.location.register;
  399. LOC_CREGISTER :
  400. begin
  401. pto^.location.reference.base:=getregister32;
  402. emit_reg_reg(A_MOV,S_L,pfrom^.location.register,pto^.location.reference.base);
  403. end
  404. else
  405. begin
  406. del_reference(pfrom^.location.reference);
  407. pto^.location.reference.base:=getregister32;
  408. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,newreference(pfrom^.location.reference),
  409. pto^.location.reference.base)));
  410. end;
  411. end;
  412. end;
  413. { generates the code for the type conversion from an array of char }
  414. { to a string }
  415. procedure second_chararray_to_string(pto,pfrom : ptree;convtyp : tconverttype);
  416. var
  417. pushed : tpushed;
  418. l : longint;
  419. begin
  420. { calc the length of the array }
  421. l:=parraydef(pfrom^.resulttype)^.highrange-parraydef(pfrom^.resulttype)^.lowrange+1;
  422. { this is a type conversion which copies the data, so we can't }
  423. { return a reference }
  424. clear_location(pto^.location);
  425. pto^.location.loc:=LOC_MEM;
  426. case pstringdef(pto^.resulttype)^.string_typ of
  427. st_shortstring :
  428. begin
  429. if l>255 then
  430. begin
  431. CGMessage(type_e_mismatch);
  432. l:=255;
  433. end;
  434. { first get the memory for the string }
  435. gettempofsizereference(256,pto^.location.reference);
  436. { write the length }
  437. exprasmlist^.concat(new(pai386,op_const_ref(A_MOV,S_B,l,
  438. newreference(pto^.location.reference))));
  439. { copy to first char of string }
  440. inc(pto^.location.reference.offset);
  441. { generates the copy code }
  442. { and we need the source never }
  443. concatcopy(pfrom^.location.reference,pto^.location.reference,l,true,false);
  444. { correct the string location }
  445. dec(pto^.location.reference.offset);
  446. end;
  447. st_ansistring :
  448. begin
  449. if gettempansistringreference(pto^.location.reference) then
  450. decrstringref(cansistringdef,pto^.location.reference);
  451. release_loc(pfrom^.location);
  452. pushusedregisters(pushed,$ff);
  453. push_int(l);
  454. emitpushreferenceaddr(pfrom^.location.reference);
  455. emitpushreferenceaddr(pto^.location.reference);
  456. emitcall('FPC_CHARARRAY_TO_ANSISTR');
  457. popusedregisters(pushed);
  458. maybe_loadesi;
  459. end;
  460. st_longstring:
  461. begin
  462. {!!!!!!!}
  463. internalerror(8888);
  464. end;
  465. st_widestring:
  466. begin
  467. {!!!!!!!}
  468. internalerror(8888);
  469. end;
  470. end;
  471. end;
  472. procedure second_char_to_string(pto,pfrom : ptree;convtyp : tconverttype);
  473. var
  474. pushed : tpushed;
  475. begin
  476. clear_location(pto^.location);
  477. pto^.location.loc:=LOC_MEM;
  478. case pstringdef(pto^.resulttype)^.string_typ of
  479. st_shortstring :
  480. begin
  481. gettempofsizereference(256,pto^.location.reference);
  482. { call loadstring with correct left and right }
  483. pto^.right:=pfrom;
  484. pto^.left:=pto;
  485. loadshortstring(pto);
  486. pto^.left:=nil; { reset left tree, which is empty }
  487. { pto^.right is not disposed for typeconv !! PM }
  488. disposetree(pto^.right);
  489. pto^.right:=nil;
  490. end;
  491. st_ansistring :
  492. begin
  493. if gettempansistringreference(pto^.location.reference) then
  494. decrstringref(cansistringdef,pto^.location.reference);
  495. release_loc(pfrom^.location);
  496. pushusedregisters(pushed,$ff);
  497. emit_pushw_loc(pfrom^.location);
  498. emitpushreferenceaddr(pto^.location.reference);
  499. emitcall('FPC_CHAR_TO_ANSISTR');
  500. popusedregisters(pushed);
  501. maybe_loadesi;
  502. end;
  503. else
  504. internalerror(4179);
  505. end;
  506. end;
  507. procedure second_int_to_real(pto,pfrom : ptree;convtyp : tconverttype);
  508. var
  509. r : preference;
  510. hregister : tregister;
  511. begin
  512. { for u32bit a solution is to push $0 and to load a comp }
  513. { does this first, it destroys maybe EDI }
  514. hregister:=R_EDI;
  515. if porddef(pfrom^.resulttype)^.typ=u32bit then
  516. push_int(0);
  517. if (pfrom^.location.loc=LOC_REGISTER) or
  518. (pfrom^.location.loc=LOC_CREGISTER) then
  519. begin
  520. case porddef(pfrom^.resulttype)^.typ of
  521. s8bit : exprasmlist^.concat(new(pai386,op_reg_reg(A_MOVSX,S_BL,pfrom^.location.register,R_EDI)));
  522. u8bit : exprasmlist^.concat(new(pai386,op_reg_reg(A_MOVZX,S_BL,pfrom^.location.register,R_EDI)));
  523. s16bit : exprasmlist^.concat(new(pai386,op_reg_reg(A_MOVSX,S_WL,pfrom^.location.register,R_EDI)));
  524. u16bit : exprasmlist^.concat(new(pai386,op_reg_reg(A_MOVZX,S_WL,pfrom^.location.register,R_EDI)));
  525. u32bit,s32bit:
  526. hregister:=pfrom^.location.register
  527. end;
  528. ungetregister(pfrom^.location.register);
  529. end
  530. else
  531. begin
  532. r:=newreference(pfrom^.location.reference);
  533. case porddef(pfrom^.resulttype)^.typ of
  534. s8bit : exprasmlist^.concat(new(pai386,op_ref_reg(A_MOVSX,S_BL,r,R_EDI)));
  535. u8bit : exprasmlist^.concat(new(pai386,op_ref_reg(A_MOVZX,S_BL,r,R_EDI)));
  536. s16bit : exprasmlist^.concat(new(pai386,op_ref_reg(A_MOVSX,S_WL,r,R_EDI)));
  537. u16bit : exprasmlist^.concat(new(pai386,op_ref_reg(A_MOVZX,S_WL,r,R_EDI)));
  538. u32bit,s32bit : exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,r,R_EDI)));
  539. end;
  540. del_reference(pfrom^.location.reference);
  541. ungetiftemp(pfrom^.location.reference);
  542. end;
  543. exprasmlist^.concat(new(pai386,op_reg(A_PUSH,S_L,hregister)));
  544. r:=new_reference(R_ESP,0);
  545. if porddef(pfrom^.resulttype)^.typ=u32bit then
  546. exprasmlist^.concat(new(pai386,op_ref(A_FILD,S_IQ,r)))
  547. else
  548. exprasmlist^.concat(new(pai386,op_ref(A_FILD,S_IL,r)));
  549. { better than an add on all processors }
  550. if porddef(pfrom^.resulttype)^.typ=u32bit then
  551. exprasmlist^.concat(new(pai386,op_const_reg(A_ADD,S_L,8,R_ESP)))
  552. else
  553. exprasmlist^.concat(new(pai386,op_reg(A_POP,S_L,R_EDI)));
  554. clear_location(pto^.location);
  555. pto^.location.loc:=LOC_FPU;
  556. end;
  557. procedure second_real_to_fix(pto,pfrom : ptree;convtyp : tconverttype);
  558. var
  559. rreg : tregister;
  560. ref : treference;
  561. begin
  562. { real must be on fpu stack }
  563. if (pfrom^.location.loc<>LOC_FPU) then
  564. exprasmlist^.concat(new(pai386,op_ref(A_FLD,S_FL,newreference(pfrom^.location.reference))));
  565. push_int($1f3f);
  566. push_int(65536);
  567. reset_reference(ref);
  568. ref.base:=R_ESP;
  569. exprasmlist^.concat(new(pai386,op_ref(A_FIMUL,S_IL,newreference(ref))));
  570. ref.offset:=4;
  571. exprasmlist^.concat(new(pai386,op_ref(A_FSTCW,S_NO,newreference(ref))));
  572. ref.offset:=6;
  573. exprasmlist^.concat(new(pai386,op_ref(A_FLDCW,S_NO,newreference(ref))));
  574. ref.offset:=0;
  575. exprasmlist^.concat(new(pai386,op_ref(A_FISTP,S_IL,newreference(ref))));
  576. ref.offset:=4;
  577. exprasmlist^.concat(new(pai386,op_ref(A_FLDCW,S_NO,newreference(ref))));
  578. rreg:=getregister32;
  579. exprasmlist^.concat(new(pai386,op_reg(A_POP,S_L,rreg)));
  580. { better than an add on all processors }
  581. exprasmlist^.concat(new(pai386,op_reg(A_POP,S_L,R_EDI)));
  582. clear_location(pto^.location);
  583. pto^.location.loc:=LOC_REGISTER;
  584. pto^.location.register:=rreg;
  585. end;
  586. procedure second_real_to_real(pto,pfrom : ptree;convtyp : tconverttype);
  587. begin
  588. case pfrom^.location.loc of
  589. LOC_FPU : ;
  590. LOC_MEM,
  591. LOC_REFERENCE:
  592. begin
  593. floatload(pfloatdef(pfrom^.resulttype)^.typ,
  594. pfrom^.location.reference);
  595. { we have to free the reference }
  596. del_reference(pfrom^.location.reference);
  597. end;
  598. end;
  599. clear_location(pto^.location);
  600. pto^.location.loc:=LOC_FPU;
  601. end;
  602. procedure second_fix_to_real(pto,pfrom : ptree;convtyp : tconverttype);
  603. var
  604. popeax,popebx,popecx,popedx : boolean;
  605. startreg : tregister;
  606. hl : pasmlabel;
  607. r : treference;
  608. begin
  609. if (pfrom^.location.loc=LOC_REGISTER) or
  610. (pfrom^.location.loc=LOC_CREGISTER) then
  611. begin
  612. startreg:=pfrom^.location.register;
  613. ungetregister(startreg);
  614. popeax:=(startreg<>R_EAX) and not (R_EAX in unused);
  615. if popeax then
  616. exprasmlist^.concat(new(pai386,op_reg(A_PUSH,S_L,R_EAX)));
  617. { mov eax,eax is removed by emit_reg_reg }
  618. emit_reg_reg(A_MOV,S_L,startreg,R_EAX);
  619. end
  620. else
  621. begin
  622. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,newreference(
  623. pfrom^.location.reference),R_EAX)));
  624. del_reference(pfrom^.location.reference);
  625. startreg:=R_NO;
  626. end;
  627. popebx:=(startreg<>R_EBX) and not (R_EBX in unused);
  628. if popebx then
  629. exprasmlist^.concat(new(pai386,op_reg(A_PUSH,S_L,R_EBX)));
  630. popecx:=(startreg<>R_ECX) and not (R_ECX in unused);
  631. if popecx then
  632. exprasmlist^.concat(new(pai386,op_reg(A_PUSH,S_L,R_ECX)));
  633. popedx:=(startreg<>R_EDX) and not (R_EDX in unused);
  634. if popedx then
  635. exprasmlist^.concat(new(pai386,op_reg(A_PUSH,S_L,R_EDX)));
  636. exprasmlist^.concat(new(pai386,op_none(A_CDQ,S_NO)));
  637. emit_reg_reg(A_XOR,S_L,R_EDX,R_EAX);
  638. emit_reg_reg(A_MOV,S_L,R_EAX,R_EBX);
  639. emit_reg_reg(A_SUB,S_L,R_EDX,R_EAX);
  640. getlabel(hl);
  641. emitjmp(C_Z,hl);
  642. exprasmlist^.concat(new(pai386,op_const_reg(A_RCL,S_L,1,R_EBX)));
  643. emit_reg_reg(A_BSR,S_L,R_EAX,R_EDX);
  644. exprasmlist^.concat(new(pai386,op_const_reg(A_MOV,S_B,32,R_CL)));
  645. emit_reg_reg(A_SUB,S_B,R_DL,R_CL);
  646. emit_reg_reg(A_SHL,S_L,R_CL,R_EAX);
  647. exprasmlist^.concat(new(pai386,op_const_reg(A_ADD,S_W,1007,R_DX)));
  648. exprasmlist^.concat(new(pai386,op_const_reg(A_SHL,S_W,5,R_DX)));
  649. exprasmlist^.concat(new(pai386,op_const_reg_reg(A_SHLD,S_W,11,R_DX,R_BX)));
  650. exprasmlist^.concat(new(pai386,op_const_reg_reg(A_SHLD,S_L,20,R_EAX,R_EBX)));
  651. exprasmlist^.concat(new(pai386,op_const_reg(A_SHL,S_L,20,R_EAX)));
  652. emitlab(hl);
  653. { better than an add on all processors }
  654. exprasmlist^.concat(new(pai386,op_reg(A_PUSH,S_L,R_EBX)));
  655. exprasmlist^.concat(new(pai386,op_reg(A_PUSH,S_L,R_EAX)));
  656. reset_reference(r);
  657. r.base:=R_ESP;
  658. exprasmlist^.concat(new(pai386,op_ref(A_FLD,S_FL,newreference(r))));
  659. exprasmlist^.concat(new(pai386,op_const_reg(A_ADD,S_L,8,R_ESP)));
  660. if popedx then
  661. exprasmlist^.concat(new(pai386,op_reg(A_POP,S_L,R_EDX)));
  662. if popecx then
  663. exprasmlist^.concat(new(pai386,op_reg(A_POP,S_L,R_ECX)));
  664. if popebx then
  665. exprasmlist^.concat(new(pai386,op_reg(A_POP,S_L,R_EBX)));
  666. if popeax then
  667. exprasmlist^.concat(new(pai386,op_reg(A_POP,S_L,R_EAX)));
  668. clear_location(pto^.location);
  669. pto^.location.loc:=LOC_FPU;
  670. end;
  671. procedure second_int_to_fix(pto,pfrom : ptree;convtyp : tconverttype);
  672. var
  673. hregister : tregister;
  674. begin
  675. if (pfrom^.location.loc=LOC_REGISTER) then
  676. hregister:=pfrom^.location.register
  677. else if (pfrom^.location.loc=LOC_CREGISTER) then
  678. hregister:=getregister32
  679. else
  680. begin
  681. del_reference(pfrom^.location.reference);
  682. hregister:=getregister32;
  683. case porddef(pfrom^.resulttype)^.typ of
  684. s8bit : exprasmlist^.concat(new(pai386,op_ref_reg(A_MOVSX,S_BL,newreference(pfrom^.location.reference),
  685. hregister)));
  686. u8bit : exprasmlist^.concat(new(pai386,op_ref_reg(A_MOVZX,S_BL,newreference(pfrom^.location.reference),
  687. hregister)));
  688. s16bit : exprasmlist^.concat(new(pai386,op_ref_reg(A_MOVSX,S_WL,newreference(pfrom^.location.reference),
  689. hregister)));
  690. u16bit : exprasmlist^.concat(new(pai386,op_ref_reg(A_MOVZX,S_WL,newreference(pfrom^.location.reference),
  691. hregister)));
  692. u32bit,s32bit : exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,newreference(pfrom^.location.reference),
  693. hregister)));
  694. {!!!! u32bit }
  695. end;
  696. end;
  697. exprasmlist^.concat(new(pai386,op_const_reg(A_SHL,S_L,16,hregister)));
  698. clear_location(pto^.location);
  699. pto^.location.loc:=LOC_REGISTER;
  700. pto^.location.register:=hregister;
  701. end;
  702. procedure second_proc_to_procvar(pto,pfrom : ptree;convtyp : tconverttype);
  703. begin
  704. { method pointer ? }
  705. if assigned(pfrom^.left) then
  706. begin
  707. set_location(pto^.location,pfrom^.location);
  708. end
  709. else
  710. begin
  711. clear_location(pto^.location);
  712. pto^.location.loc:=LOC_REGISTER;
  713. pto^.location.register:=getregister32;
  714. del_reference(pfrom^.location.reference);
  715. exprasmlist^.concat(new(pai386,op_ref_reg(A_LEA,S_L,
  716. newreference(pfrom^.location.reference),pto^.location.register)));
  717. end;
  718. end;
  719. procedure second_bool_to_int(pto,pfrom : ptree;convtyp : tconverttype);
  720. var
  721. oldtruelabel,oldfalselabel,hlabel : pasmlabel;
  722. hregister : tregister;
  723. newsize,
  724. opsize : topsize;
  725. op : tasmop;
  726. begin
  727. oldtruelabel:=truelabel;
  728. oldfalselabel:=falselabel;
  729. getlabel(truelabel);
  730. getlabel(falselabel);
  731. secondpass(pfrom);
  732. { byte(boolean) or word(wordbool) or longint(longbool) must
  733. be accepted for var parameters }
  734. if (pto^.explizit) and
  735. (pfrom^.resulttype^.size=pto^.resulttype^.size) and
  736. (pfrom^.location.loc in [LOC_REFERENCE,LOC_MEM,LOC_CREGISTER]) then
  737. begin
  738. set_location(pto^.location,pfrom^.location);
  739. freelabel(truelabel);
  740. freelabel(falselabel);
  741. truelabel:=oldtruelabel;
  742. falselabel:=oldfalselabel;
  743. exit;
  744. end;
  745. clear_location(pto^.location);
  746. pto^.location.loc:=LOC_REGISTER;
  747. del_reference(pfrom^.location.reference);
  748. case pfrom^.resulttype^.size of
  749. 1 : begin
  750. case pto^.resulttype^.size of
  751. 1 : opsize:=S_B;
  752. 2 : opsize:=S_BW;
  753. 4 : opsize:=S_BL;
  754. end;
  755. end;
  756. 2 : begin
  757. case pto^.resulttype^.size of
  758. 1 : begin
  759. if pfrom^.location.loc in [LOC_REGISTER,LOC_CREGISTER] then
  760. pfrom^.location.register:=reg16toreg8(pfrom^.location.register);
  761. opsize:=S_B;
  762. end;
  763. 2 : opsize:=S_W;
  764. 4 : opsize:=S_WL;
  765. end;
  766. end;
  767. 4 : begin
  768. case pto^.resulttype^.size of
  769. 1 : begin
  770. if pfrom^.location.loc in [LOC_REGISTER,LOC_CREGISTER] then
  771. pfrom^.location.register:=reg32toreg8(pfrom^.location.register);
  772. opsize:=S_B;
  773. end;
  774. 2 : begin
  775. if pfrom^.location.loc in [LOC_REGISTER,LOC_CREGISTER] then
  776. pfrom^.location.register:=reg32toreg16(pfrom^.location.register);
  777. opsize:=S_W;
  778. end;
  779. 4 : opsize:=S_L;
  780. end;
  781. end;
  782. end;
  783. if opsize in [S_B,S_W,S_L] then
  784. op:=A_MOV
  785. else
  786. if is_signed(pto^.resulttype) then
  787. op:=A_MOVSX
  788. else
  789. op:=A_MOVZX;
  790. hregister:=getregister32;
  791. case pto^.resulttype^.size of
  792. 1 : begin
  793. pto^.location.register:=reg32toreg8(hregister);
  794. newsize:=S_B;
  795. end;
  796. 2 : begin
  797. pto^.location.register:=reg32toreg16(hregister);
  798. newsize:=S_W;
  799. end;
  800. 4 : begin
  801. pto^.location.register:=hregister;
  802. newsize:=S_L;
  803. end;
  804. else
  805. internalerror(10060);
  806. end;
  807. case pfrom^.location.loc of
  808. LOC_MEM,
  809. LOC_REFERENCE : exprasmlist^.concat(new(pai386,op_ref_reg(op,opsize,
  810. newreference(pfrom^.location.reference),pto^.location.register)));
  811. LOC_REGISTER,
  812. LOC_CREGISTER : begin
  813. { remove things like movb %al,%al }
  814. if pfrom^.location.register<>pto^.location.register then
  815. exprasmlist^.concat(new(pai386,op_reg_reg(op,opsize,
  816. pfrom^.location.register,pto^.location.register)));
  817. end;
  818. LOC_FLAGS : begin
  819. emit_flag2reg(pfrom^.location.resflags,pto^.location.register);
  820. end;
  821. LOC_JUMP : begin
  822. getlabel(hlabel);
  823. emitlab(truelabel);
  824. exprasmlist^.concat(new(pai386,op_const_reg(A_MOV,newsize,1,pto^.location.register)));
  825. emitjmp(C_None,hlabel);
  826. emitlab(falselabel);
  827. exprasmlist^.concat(new(pai386,op_reg_reg(A_XOR,newsize,pto^.location.register,
  828. pto^.location.register)));
  829. emitlab(hlabel);
  830. end;
  831. else
  832. internalerror(10061);
  833. end;
  834. freelabel(truelabel);
  835. freelabel(falselabel);
  836. truelabel:=oldtruelabel;
  837. falselabel:=oldfalselabel;
  838. end;
  839. procedure second_int_to_bool(pto,pfrom : ptree;convtyp : tconverttype);
  840. var
  841. hregister : tregister;
  842. flags : tresflags;
  843. opsize : topsize;
  844. begin
  845. clear_location(pto^.location);
  846. { byte(boolean) or word(wordbool) or longint(longbool) must
  847. be accepted for var parameters }
  848. if (pto^.explizit) and
  849. (pfrom^.resulttype^.size=pto^.resulttype^.size) and
  850. (pfrom^.location.loc in [LOC_REFERENCE,LOC_MEM,LOC_CREGISTER]) then
  851. begin
  852. set_location(pto^.location,pfrom^.location);
  853. exit;
  854. end;
  855. pto^.location.loc:=LOC_REGISTER;
  856. del_reference(pfrom^.location.reference);
  857. opsize:=def_opsize(pfrom^.resulttype);
  858. case pfrom^.location.loc of
  859. LOC_MEM,LOC_REFERENCE :
  860. begin
  861. hregister:=def_getreg(pfrom^.resulttype);
  862. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,opsize,
  863. newreference(pfrom^.location.reference),hregister)));
  864. exprasmlist^.concat(new(pai386,op_reg_reg(A_OR,opsize,hregister,hregister)));
  865. flags:=F_NE;
  866. end;
  867. LOC_FLAGS :
  868. begin
  869. hregister:=getregister32;
  870. flags:=pfrom^.location.resflags;
  871. end;
  872. LOC_REGISTER,LOC_CREGISTER :
  873. begin
  874. hregister:=pfrom^.location.register;
  875. exprasmlist^.concat(new(pai386,op_reg_reg(A_OR,opsize,hregister,hregister)));
  876. flags:=F_NE;
  877. end;
  878. else
  879. internalerror(10062);
  880. end;
  881. case pto^.resulttype^.size of
  882. 1 : pto^.location.register:=makereg8(hregister);
  883. 2 : pto^.location.register:=makereg16(hregister);
  884. 4 : pto^.location.register:=makereg32(hregister);
  885. else
  886. internalerror(10064);
  887. end;
  888. emit_flag2reg(flags,pto^.location.register);
  889. end;
  890. procedure second_load_smallset(pto,pfrom : ptree;convtyp : tconverttype);
  891. var
  892. href : treference;
  893. pushedregs : tpushed;
  894. begin
  895. href.symbol:=nil;
  896. pushusedregisters(pushedregs,$ff);
  897. gettempofsizereference(32,href);
  898. emitpushreferenceaddr(pfrom^.location.reference);
  899. emitpushreferenceaddr(href);
  900. emitcall('FPC_SET_LOAD_SMALL');
  901. maybe_loadesi;
  902. popusedregisters(pushedregs);
  903. clear_location(pto^.location);
  904. pto^.location.loc:=LOC_MEM;
  905. pto^.location.reference:=href;
  906. end;
  907. procedure second_ansistring_to_pchar(pto,pfrom : ptree;convtyp : tconverttype);
  908. var
  909. l1,l2 : pasmlabel;
  910. hr : preference;
  911. begin
  912. clear_location(pto^.location);
  913. pto^.location.loc:=LOC_REGISTER;
  914. getlabel(l1);
  915. getlabel(l2);
  916. case pfrom^.location.loc of
  917. LOC_CREGISTER,LOC_REGISTER:
  918. exprasmlist^.concat(new(pai386,op_const_reg(A_CMP,S_L,0,
  919. pfrom^.location.register)));
  920. LOC_MEM,LOC_REFERENCE:
  921. begin
  922. exprasmlist^.concat(new(pai386,op_const_ref(A_CMP,S_L,0,
  923. newreference(pfrom^.location.reference))));
  924. del_reference(pfrom^.location.reference);
  925. pto^.location.register:=getregister32;
  926. end;
  927. end;
  928. emitjmp(C_Z,l1);
  929. if pfrom^.location.loc in [LOC_MEM,LOC_REFERENCE] then
  930. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,newreference(
  931. pfrom^.location.reference),
  932. pto^.location.register)));
  933. emitjmp(C_None,l2);
  934. emitlab(l1);
  935. new(hr);
  936. reset_reference(hr^);
  937. hr^.symbol:=newasmsymbol('FPC_EMPTYCHAR');
  938. exprasmlist^.concat(new(pai386,op_ref_reg(A_LEA,S_L,hr,
  939. pto^.location.register)));
  940. emitlab(l2);
  941. end;
  942. procedure second_pchar_to_string(pto,pfrom : ptree;convtyp : tconverttype);
  943. var
  944. pushed : tpushed;
  945. begin
  946. case pstringdef(pto^.resulttype)^.string_typ of
  947. st_shortstring:
  948. begin
  949. pto^.location.loc:=LOC_REFERENCE;
  950. gettempofsizereference(pto^.resulttype^.size,pto^.location.reference);
  951. pushusedregisters(pushed,$ff);
  952. case pfrom^.location.loc of
  953. LOC_REGISTER,LOC_CREGISTER:
  954. begin
  955. exprasmlist^.concat(new(pai386,op_reg(A_PUSH,S_L,pfrom^.location.register)));
  956. ungetregister32(pfrom^.location.register);
  957. end;
  958. LOC_REFERENCE,LOC_MEM:
  959. begin
  960. emit_push_mem(pfrom^.location.reference);
  961. del_reference(pfrom^.location.reference);
  962. end;
  963. end;
  964. emitpushreferenceaddr(pto^.location.reference);
  965. emitcall('FPC_PCHAR_TO_SHORTSTR');
  966. maybe_loadesi;
  967. popusedregisters(pushed);
  968. end;
  969. st_ansistring:
  970. begin
  971. pto^.location.loc:=LOC_REFERENCE;
  972. if gettempansistringreference(pto^.location.reference) then
  973. decrstringref(cansistringdef,pto^.location.reference);
  974. case pfrom^.location.loc of
  975. LOC_REFERENCE,LOC_MEM:
  976. begin
  977. {$IfNDef regallocfix}
  978. del_reference(pfrom^.location.reference);
  979. pushusedregisters(pushed,$ff);
  980. emit_push_mem(pfrom^.location.reference);
  981. {$Else regallocfix}
  982. pushusedregisters(pushed,$ff
  983. xor ($80 shr byte(pfrom^.location.reference.base))
  984. xor ($80 shr byte(pfrom^.location.reference.index)));
  985. emit_push_mem(pfrom^.location.reference);
  986. del_reference(pfrom^.location.reference);
  987. {$EndIf regallocfix}
  988. end;
  989. LOC_REGISTER,LOC_CREGISTER:
  990. begin
  991. {$IfNDef regallocfix}
  992. ungetregister32(pfrom^.location.register);
  993. pushusedregisters(pushed,$ff);
  994. exprasmlist^.concat(new(pai386,op_reg(A_PUSH,S_L,pfrom^.location.register)));
  995. {$Else regallocfix}
  996. pushusedregisters(pushed, $ff xor ($80 shr byte(pfrom^.location.register)));
  997. exprasmlist^.concat(new(pai386,op_reg(A_PUSH,S_L,pfrom^.location.register)));
  998. ungetregister32(pfrom^.location.register);
  999. {$EndIf regallocfix}
  1000. end;
  1001. end;
  1002. emitpushreferenceaddr(pto^.location.reference);
  1003. emitcall('FPC_PCHAR_TO_ANSISTR');
  1004. maybe_loadesi;
  1005. popusedregisters(pushed);
  1006. end;
  1007. else
  1008. begin
  1009. internalerror(12121);
  1010. end;
  1011. end;
  1012. end;
  1013. procedure second_nothing(pto,pfrom : ptree;convtyp : tconverttype);
  1014. begin
  1015. end;
  1016. {****************************************************************************
  1017. SecondTypeConv
  1018. ****************************************************************************}
  1019. procedure secondtypeconv(var p : ptree);
  1020. const
  1021. secondconvert : array[tconverttype] of tsecondconvproc = (
  1022. second_nothing, {equal}
  1023. second_nothing, {not_possible}
  1024. second_string_to_string,
  1025. second_char_to_string,
  1026. second_pchar_to_string,
  1027. second_nothing, {cchar_to_pchar}
  1028. second_cstring_to_pchar,
  1029. second_ansistring_to_pchar,
  1030. second_string_to_chararray,
  1031. second_chararray_to_string,
  1032. second_array_to_pointer,
  1033. second_pointer_to_array,
  1034. second_int_to_int,
  1035. second_int_to_bool,
  1036. second_bool_to_int, { bool_to_bool }
  1037. second_bool_to_int,
  1038. second_real_to_real,
  1039. second_int_to_real,
  1040. second_int_to_fix,
  1041. second_real_to_fix,
  1042. second_fix_to_real,
  1043. second_proc_to_procvar,
  1044. second_nothing, {arrayconstructor_to_set}
  1045. second_load_smallset
  1046. );
  1047. {$ifdef TESTOBJEXT2}
  1048. var
  1049. r : preference;
  1050. nillabel : plabel;
  1051. {$endif TESTOBJEXT2}
  1052. begin
  1053. { this isn't good coding, I think tc_bool_2_int, shouldn't be }
  1054. { type conversion (FK) }
  1055. if not(p^.convtyp in [tc_bool_2_int,tc_bool_2_bool]) then
  1056. begin
  1057. secondpass(p^.left);
  1058. set_location(p^.location,p^.left^.location);
  1059. if codegenerror then
  1060. exit;
  1061. end;
  1062. { the second argument only is for maybe_range_checking !}
  1063. secondconvert[p^.convtyp](p,p^.left,p^.convtyp);
  1064. {$ifdef TESTOBJEXT2}
  1065. { Check explicit conversions to objects pointers !! }
  1066. if p^.explizit and
  1067. (p^.resulttype^.deftype=pointerdef) and
  1068. (ppointerdef(p^.resulttype)^.definition^.deftype=objectdef) and not
  1069. (pobjectdef(ppointerdef(p^.resulttype)^.definition)^.isclass) and
  1070. ((pobjectdef(ppointerdef(p^.resulttype)^.definition)^.options and oo_hasvmt)<>0) and
  1071. (cs_check_range in aktlocalswitches) then
  1072. begin
  1073. new(r);
  1074. reset_reference(r^);
  1075. if p^.location.loc in [LOC_REGISTER,LOC_CREGISTER] then
  1076. r^.base:=p^.location.register
  1077. else
  1078. begin
  1079. emit_mov_loc_reg(p^.location,R_EDI);
  1080. r^.base:=R_EDI;
  1081. end;
  1082. { NIL must be accepted !! }
  1083. exprasmlist^.concat(new(pai386,op_reg_reg(A_OR,S_L,r^.base,r^.base)));
  1084. getlabel(nillabel);
  1085. emitjmp(C_E,nillabel);
  1086. { this is one point where we need vmt_offset (PM) }
  1087. r^.offset:= pobjectdef(ppointerdef(p^.resulttype)^.definition)^.vmt_offset;
  1088. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,r,R_EDI)));
  1089. exprasmlist^.concat(new(pai386,op_sym(A_PUSH,S_L,
  1090. newasmsymbol(pobjectdef(ppointerdef(p^.resulttype)^.definition)^.vmt_mangledname))));
  1091. exprasmlist^.concat(new(pai386,op_reg(A_PUSH,S_L,R_EDI)));
  1092. emitcall('FPC_CHECK_OBJECT_EXT');
  1093. emitlab(nillabel);
  1094. end;
  1095. {$endif TESTOBJEXT2}
  1096. end;
  1097. {*****************************************************************************
  1098. SecondIs
  1099. *****************************************************************************}
  1100. procedure secondis(var p : ptree);
  1101. var
  1102. pushed : tpushed;
  1103. begin
  1104. { save all used registers }
  1105. pushusedregisters(pushed,$ff);
  1106. secondpass(p^.left);
  1107. clear_location(p^.location);
  1108. p^.location.loc:=LOC_FLAGS;
  1109. p^.location.resflags:=F_NE;
  1110. { push instance to check: }
  1111. case p^.left^.location.loc of
  1112. LOC_REGISTER,LOC_CREGISTER:
  1113. begin
  1114. exprasmlist^.concat(new(pai386,op_reg(A_PUSH,
  1115. S_L,p^.left^.location.register)));
  1116. ungetregister32(p^.left^.location.register);
  1117. end;
  1118. LOC_MEM,LOC_REFERENCE:
  1119. begin
  1120. exprasmlist^.concat(new(pai386,op_ref(A_PUSH,
  1121. S_L,newreference(p^.left^.location.reference))));
  1122. del_reference(p^.left^.location.reference);
  1123. end;
  1124. else internalerror(100);
  1125. end;
  1126. { generate type checking }
  1127. secondpass(p^.right);
  1128. case p^.right^.location.loc of
  1129. LOC_REGISTER,LOC_CREGISTER:
  1130. begin
  1131. exprasmlist^.concat(new(pai386,op_reg(A_PUSH,
  1132. S_L,p^.right^.location.register)));
  1133. ungetregister32(p^.right^.location.register);
  1134. end;
  1135. LOC_MEM,LOC_REFERENCE:
  1136. begin
  1137. exprasmlist^.concat(new(pai386,op_ref(A_PUSH,
  1138. S_L,newreference(p^.right^.location.reference))));
  1139. del_reference(p^.right^.location.reference);
  1140. end;
  1141. else internalerror(100);
  1142. end;
  1143. emitcall('FPC_DO_IS');
  1144. exprasmlist^.concat(new(pai386,op_reg_reg(A_OR,S_B,R_AL,R_AL)));
  1145. popusedregisters(pushed);
  1146. maybe_loadesi;
  1147. end;
  1148. {*****************************************************************************
  1149. SecondAs
  1150. *****************************************************************************}
  1151. procedure secondas(var p : ptree);
  1152. var
  1153. pushed : tpushed;
  1154. begin
  1155. secondpass(p^.left);
  1156. { save all used registers }
  1157. pushusedregisters(pushed,$ff);
  1158. { push instance to check: }
  1159. case p^.left^.location.loc of
  1160. LOC_REGISTER,LOC_CREGISTER:
  1161. exprasmlist^.concat(new(pai386,op_reg(A_PUSH,
  1162. S_L,p^.left^.location.register)));
  1163. LOC_MEM,LOC_REFERENCE:
  1164. exprasmlist^.concat(new(pai386,op_ref(A_PUSH,
  1165. S_L,newreference(p^.left^.location.reference))));
  1166. else internalerror(100);
  1167. end;
  1168. { we doesn't modifiy the left side, we check only the type }
  1169. set_location(p^.location,p^.left^.location);
  1170. { generate type checking }
  1171. secondpass(p^.right);
  1172. case p^.right^.location.loc of
  1173. LOC_REGISTER,LOC_CREGISTER:
  1174. begin
  1175. exprasmlist^.concat(new(pai386,op_reg(A_PUSH,
  1176. S_L,p^.right^.location.register)));
  1177. ungetregister32(p^.right^.location.register);
  1178. end;
  1179. LOC_MEM,LOC_REFERENCE:
  1180. begin
  1181. exprasmlist^.concat(new(pai386,op_ref(A_PUSH,
  1182. S_L,newreference(p^.right^.location.reference))));
  1183. del_reference(p^.right^.location.reference);
  1184. end;
  1185. else internalerror(100);
  1186. end;
  1187. emitcall('FPC_DO_AS');
  1188. { restore register, this restores automatically the }
  1189. { result }
  1190. popusedregisters(pushed);
  1191. end;
  1192. end.
  1193. {
  1194. $Log$
  1195. Revision 1.75 1999-05-31 20:35:46 peter
  1196. * ansistring fixes, decr_ansistr called after all temp ansi reuses
  1197. Revision 1.74 1999/05/27 19:44:09 peter
  1198. * removed oldasm
  1199. * plabel -> pasmlabel
  1200. * -a switches to source writing automaticly
  1201. * assembler readers OOPed
  1202. * asmsymbol automaticly external
  1203. * jumptables and other label fixes for asm readers
  1204. Revision 1.73 1999/05/18 21:58:26 florian
  1205. * fixed some bugs related to temp. ansistrings and functions results
  1206. which return records/objects/arrays which need init/final.
  1207. Revision 1.72 1999/05/17 21:57:00 florian
  1208. * new temporary ansistring handling
  1209. Revision 1.71 1999/05/12 00:19:40 peter
  1210. * removed R_DEFAULT_SEG
  1211. * uniform float names
  1212. Revision 1.70 1999/05/07 00:33:47 pierre
  1213. explicit type conv to pobject checked with cond TESTOBJEXT2
  1214. Revision 1.69 1999/05/01 13:24:04 peter
  1215. * merged nasm compiler
  1216. * old asm moved to oldasm/
  1217. Revision 1.68 1999/04/28 06:01:54 florian
  1218. * changes of Bruessel:
  1219. + message handler can now take an explicit self
  1220. * typinfo fixed: sometimes the type names weren't written
  1221. * the type checking for pointer comparisations and subtraction
  1222. and are now more strict (was also buggy)
  1223. * small bug fix to link.pas to support compiling on another
  1224. drive
  1225. * probable bug in popt386 fixed: call/jmp => push/jmp
  1226. transformation didn't count correctly the jmp references
  1227. + threadvar support
  1228. * warning if ln/sqrt gets an invalid constant argument
  1229. Revision 1.67 1999/04/22 10:49:07 peter
  1230. * fixed pchar to string location
  1231. Revision 1.66 1999/04/20 10:35:58 peter
  1232. * fixed bool2bool
  1233. Revision 1.65 1999/04/19 09:45:47 pierre
  1234. + cdecl or stdcall push all args with longint size
  1235. * tempansi stuff cleaned up
  1236. Revision 1.64 1999/04/16 13:42:25 jonas
  1237. * more regalloc fixes (still not complete)
  1238. Revision 1.63 1999/04/15 08:56:25 peter
  1239. * fixed bool-bool conversion
  1240. Revision 1.62 1999/04/13 18:51:47 florian
  1241. * esi wasn't reloaded after a call to the esi helper procedure, fixed
  1242. Revision 1.61 1999/03/05 16:14:20 peter
  1243. * fixed boolean() typecast
  1244. Revision 1.60 1999/03/02 18:24:19 peter
  1245. * fixed overloading of array of char
  1246. Revision 1.59 1999/03/01 15:46:18 peter
  1247. * ag386bin finally make cycles correct
  1248. * prefixes are now also normal opcodes
  1249. Revision 1.58 1999/02/25 21:02:23 peter
  1250. * ag386bin updates
  1251. + coff writer
  1252. Revision 1.57 1999/02/22 02:15:06 peter
  1253. * updates for ag386bin
  1254. Revision 1.56 1999/02/15 11:30:39 pierre
  1255. * memory leaks removed
  1256. Revision 1.55 1999/02/12 10:43:57 florian
  1257. * internal error 10 with ansistrings fixed
  1258. Revision 1.54 1999/02/02 12:35:02 florian
  1259. * ltemptoremove handling corrected
  1260. Revision 1.53 1999/02/02 11:47:55 peter
  1261. * fixed ansi2short
  1262. Revision 1.52 1999/01/29 11:22:13 pierre
  1263. * saving and restoring old ltemptoremove
  1264. Revision 1.51 1999/01/28 19:50:15 peter
  1265. * removed warning
  1266. Revision 1.50 1999/01/28 14:06:45 florian
  1267. * small fix for method pointers
  1268. * found the annoying strpas bug, mainly nested call to type cast which
  1269. use ansistrings crash
  1270. Revision 1.49 1999/01/27 14:56:56 pierre
  1271. * typo error corrected solves bug0190 and bug0204
  1272. Revision 1.48 1999/01/27 13:03:27 pierre
  1273. boolean to int conversion problems bug0205 bug0208
  1274. Revision 1.47 1999/01/27 12:59:32 pierre
  1275. wrong commit info : tccnv.pas
  1276. Revision 1.46 1999/01/27 00:13:53 florian
  1277. * "procedure of object"-stuff fixed
  1278. Revision 1.45 1999/01/21 22:10:36 peter
  1279. * fixed array of const
  1280. * generic platform independent high() support
  1281. Revision 1.44 1999/01/19 10:18:59 florian
  1282. * bug with mul. of dwords fixed, reported by Alexander Stohr
  1283. * some changes to compile with TP
  1284. + small enhancements for the new code generator
  1285. Revision 1.43 1998/12/22 13:10:59 florian
  1286. * memory leaks for ansistring type casts fixed
  1287. Revision 1.42 1998/12/19 00:23:42 florian
  1288. * ansistring memory leaks fixed
  1289. Revision 1.41 1998/11/30 19:48:54 peter
  1290. * some more rangecheck fixes
  1291. Revision 1.40 1998/11/30 09:43:02 pierre
  1292. * some range check bugs fixed (still not working !)
  1293. + added DLL writing support for win32 (also accepts variables)
  1294. + TempAnsi for code that could be used for Temporary ansi strings
  1295. handling
  1296. Revision 1.39 1998/11/29 22:37:30 peter
  1297. * fixed constant ansistring -> pchar
  1298. Revision 1.38 1998/11/29 12:40:19 peter
  1299. * newcnv -> not oldcnv
  1300. Revision 1.37 1998/11/26 21:33:06 peter
  1301. * rangecheck updates
  1302. Revision 1.36 1998/11/26 14:39:11 peter
  1303. * ansistring -> pchar fixed
  1304. * ansistring constants fixed
  1305. * ansistring constants are now written once
  1306. Revision 1.35 1998/11/26 13:10:39 peter
  1307. * new int - int conversion -dNEWCNV
  1308. * some function renamings
  1309. Revision 1.34 1998/11/18 15:44:08 peter
  1310. * VALUEPARA for tp7 compatible value parameters
  1311. Revision 1.33 1998/11/17 00:36:39 peter
  1312. * more ansistring fixes
  1313. Revision 1.32 1998/11/16 15:35:38 peter
  1314. * rename laod/copystring -> load/copyshortstring
  1315. * fixed int-bool cnv bug
  1316. + char-ansistring conversion
  1317. Revision 1.31 1998/11/05 12:02:30 peter
  1318. * released useansistring
  1319. * removed -Sv, its now available in fpc modes
  1320. Revision 1.30 1998/10/27 11:12:45 peter
  1321. * fixed char_to_string which did not set the .loc
  1322. Revision 1.29 1998/10/26 15:18:41 peter
  1323. * fixed fldcw,fstcw for as 2.9.1
  1324. Revision 1.28 1998/10/08 17:17:11 pierre
  1325. * current_module old scanner tagged as invalid if unit is recompiled
  1326. + added ppheap for better info on tracegetmem of heaptrc
  1327. (adds line column and file index)
  1328. * several memory leaks removed ith help of heaptrc !!
  1329. Revision 1.27 1998/10/06 17:16:40 pierre
  1330. * some memory leaks fixed (thanks to Peter for heaptrc !)
  1331. Revision 1.26 1998/10/02 07:20:35 florian
  1332. * range checking in units doesn't work if the units are smartlinked, fixed
  1333. Revision 1.25 1998/09/30 12:14:24 peter
  1334. * fixed boolean(longbool) conversion
  1335. Revision 1.24 1998/09/27 10:16:22 florian
  1336. * type casts pchar<->ansistring fixed
  1337. * ansistring[..] calls does now an unique call
  1338. Revision 1.23 1998/09/23 12:03:51 peter
  1339. * overloading fix for array of const
  1340. Revision 1.22 1998/09/22 15:34:09 peter
  1341. + pchar -> string conversion
  1342. Revision 1.21 1998/09/20 17:46:47 florian
  1343. * some things regarding ansistrings fixed
  1344. Revision 1.20 1998/09/17 09:42:12 peter
  1345. + pass_2 for cg386
  1346. * Message() -> CGMessage() for pass_1/pass_2
  1347. Revision 1.19 1998/09/14 10:43:46 peter
  1348. * all internal RTL functions start with FPC_
  1349. Revision 1.18 1998/09/11 12:29:40 pierre
  1350. * removed explicit range_checking as it is buggy
  1351. Revision 1.17.2.1 1998/09/11 12:08:54 pierre
  1352. * removed explicit range_check was buggy
  1353. Revision 1.17 1998/09/04 08:41:38 peter
  1354. * updated some error CGMessages
  1355. Revision 1.16 1998/09/03 17:39:03 florian
  1356. + better code for type conversation longint/dword to real type
  1357. Revision 1.15 1998/09/03 16:24:50 florian
  1358. * bug of type conversation from dword to real fixed
  1359. * bug fix of Jonas applied
  1360. Revision 1.14 1998/08/28 12:51:39 florian
  1361. + ansistring to pchar type cast fixed
  1362. Revision 1.13 1998/08/28 10:56:56 peter
  1363. * removed warnings
  1364. Revision 1.12 1998/08/14 18:18:38 peter
  1365. + dynamic set contruction
  1366. * smallsets are now working (always longint size)
  1367. Revision 1.11 1998/08/10 23:59:59 peter
  1368. * fixed dup log
  1369. Revision 1.10 1998/08/10 14:49:47 peter
  1370. + localswitches, moduleswitches, globalswitches splitting
  1371. Revision 1.9 1998/08/05 16:00:09 florian
  1372. * some fixes for ansi strings
  1373. Revision 1.8 1998/07/18 22:54:24 florian
  1374. * some ansi/wide/longstring support fixed:
  1375. o parameter passing
  1376. o returning as result from functions
  1377. Revision 1.7 1998/06/12 13:10:34 peter
  1378. * small internalerror nr change
  1379. Revision 1.6 1998/06/12 10:43:12 michael
  1380. Fixed ansistrings : is_ansistring not found
  1381. Revision 1.5 1998/06/08 13:13:30 pierre
  1382. + temporary variables now in temp_gen.pas unit
  1383. because it is processor independent
  1384. * mppc68k.bat modified to undefine i386 and support_mmx
  1385. (which are defaults for i386)
  1386. Revision 1.4 1998/06/05 17:44:10 peter
  1387. * splitted cgi386
  1388. Revision 1.3 1998/06/03 22:48:50 peter
  1389. + wordbool,longbool
  1390. * rename bis,von -> high,low
  1391. * moved some systemunit loading/creating to psystem.pas
  1392. Revision 1.2 1998/06/02 10:52:10 peter
  1393. * fixed second_bool_to_int with bool8bit return
  1394. Revision 1.1 1998/06/01 16:50:18 peter
  1395. + boolean -> ord conversion
  1396. * fixed ord -> boolean conversion
  1397. }