cg386cnv.pas 56 KB

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