cg386cnv.pas 55 KB

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