nmem.pas 35 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793
  1. {
  2. $Id$
  3. Copyright (C) 1993-99 by Florian Klaempfl
  4. This unit implements load nodes etc.
  5. This program is free software; you can redistribute it and/or modify
  6. it under the terms of the GNU General Public License as published by
  7. the Free Software Foundation; either version 2 of the License, or
  8. (at your option) any later version.
  9. This program is distributed in the hope that it will be useful,
  10. but WITHOUT ANY WARRANTY; without even the implied warranty of
  11. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  12. GNU General Public License for more details.
  13. You should have received a copy of the GNU General Public License
  14. along with this program; if not, write to the Free Software
  15. Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  16. ****************************************************************************
  17. }
  18. unit nmem;
  19. interface
  20. uses
  21. tree,symtable;
  22. type
  23. ploadnode = ^tloadnode;
  24. tloadnode = object(tnode)
  25. symtableentry : psym;
  26. symtable : psymtable;
  27. is_absolute,is_first,is_methodpointer : boolean;
  28. constructor init(v : pvarsym;st : psymtable);
  29. destructor done;virtual;
  30. procedure det_temp;virtual;
  31. procedure det_resulttype;virtual;
  32. procedure secondpass;virtual;
  33. end;
  34. tassigntyp = (at_normal,at_plus,at_minus,at_star,at_slash);
  35. passignmentnode = ^tassignmentnode;
  36. tassignmentnode = object(tbinarynode)
  37. assigntyp : tassigntyp;
  38. concat_string : boolean;
  39. constructor init(l,r : pnode);
  40. destructor done;virtual;
  41. procedure det_temp;virtual;
  42. procedure det_resulttype;virtual;
  43. procedure secondpass;virtual;
  44. end;
  45. var
  46. { this is necessary for the const section }
  47. simple_loadn : boolean;
  48. implementation
  49. uses
  50. cobjects,aasm,cgbase,cgobj,types,verbose,tgobj,tgcpu,symconst,
  51. cpubase,cpuasm;
  52. {****************************************************************************
  53. TLOADNODE
  54. ****************************************************************************}
  55. constructor tloadnode.init(v : pvarsym;st : psymtable);
  56. var
  57. p : ptree;
  58. begin
  59. inherited init;
  60. treetype:=loadn;
  61. resulttype:=v^.definition;
  62. symtableentry:=v;
  63. symtable:=st;
  64. is_first := False;
  65. is_methodpointer:=false;
  66. { method pointer load nodes can use the left subtree }
  67. { !!!!! left:=nil; }
  68. end;
  69. destructor tloadnode.done;
  70. begin
  71. inherited done;
  72. { method pointer load nodes can use the left subtree }
  73. { !!!!! dispose(left,done); }
  74. end;
  75. procedure tloadnode.det_temp;
  76. begin
  77. end;
  78. procedure tloadnode.det_resulttype;
  79. begin
  80. end;
  81. procedure tloadnode.secondpass;
  82. var
  83. hregister : tregister;
  84. symtabletype : tsymtabletype;
  85. i : longint;
  86. hp : preference;
  87. begin
  88. simple_loadn:=true;
  89. reset_reference(location.reference);
  90. case symtableentry^.typ of
  91. { this is only for toasm and toaddr }
  92. absolutesym :
  93. begin
  94. if (pabsolutesym(symtableentry)^.abstyp=toaddr) then
  95. begin
  96. {$ifdef i386}
  97. { absseg is go32v2 target specific }
  98. if pabsolutesym(symtableentry)^.absseg then
  99. location.reference.segment:=R_FS;
  100. {$endif i386}
  101. location.reference.offset:=pabsolutesym(symtableentry)^.address;
  102. end
  103. else
  104. location.reference.symbol:=newasmsymbol(symtableentry^.mangledname);
  105. end;
  106. varsym :
  107. begin
  108. hregister:=R_NO;
  109. { C variable }
  110. if (vo_is_C_var in pvarsym(symtableentry)^.varoptions) then
  111. begin
  112. location.reference.symbol:=newasmsymbol(symtableentry^.mangledname);
  113. end
  114. {$ifdef i386}
  115. { DLL variable, DLL variables are only available on the win32 target }
  116. { maybe we've to add this later for the alpha WinNT }
  117. else if (pvarsym(symtableentry)^.var_options and vo_is_dll_var)<>0 then
  118. begin
  119. hregister:=tg.getregisterint;
  120. location.reference.symbol:=newasmsymbol(symtableentry^.mangledname);
  121. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,newreference(location.reference),hregister)));
  122. location.reference.symbol:=nil;
  123. location.reference.base:=hregister;
  124. end
  125. {$endif i386}
  126. else
  127. begin
  128. {$ifdef i386}
  129. symtabletype:=symtable^.symtabletype;
  130. { in case it is a register variable: }
  131. if pvarsym(symtableentry)^.reg<>R_NO then
  132. begin
  133. if pvarsym(p^.symtableentry)^.reg in fpureg then
  134. begin
  135. location.loc:=LOC_CFPUREGISTER;
  136. tg.unusedregsfpu:=tg.unusedregsfpu-[pvarsym(symtableentry)^.reg];
  137. end
  138. else
  139. begin
  140. location.loc:=LOC_CREGISTER;
  141. tg.unusedregsint:=tg.unusedregsint-[pvarsym(symtableentry)^.reg];
  142. end;
  143. location.register:=pvarsym(symtableentry)^.reg;
  144. end
  145. else
  146. begin
  147. { first handle local and temporary variables }
  148. if (symtabletype in [parasymtable,inlinelocalsymtable,
  149. inlineparasymtable,localsymtable]) then
  150. begin
  151. location.reference.base:=procinfo.framepointer;
  152. location.reference.offset:=pvarsym(symtableentry)^.address;
  153. if (symtabletype in [localsymtable,inlinelocalsymtable]) and
  154. not(use_esp_stackframe) then
  155. location.reference.offset:=-location.reference.offset;
  156. if (lexlevel>(symtable^.symtablelevel)) then
  157. begin
  158. hregister:=tg.getregisterint;
  159. { make a reference }
  160. hp:=new_reference(procinfo.framepointer,
  161. procinfo.framepointer_offset);
  162. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,hp,hregister)));
  163. simple_loadn:=false;
  164. i:=lexlevel-1;
  165. while i>(symtable^.symtablelevel) do
  166. begin
  167. { make a reference }
  168. hp:=new_reference(hregister,8);
  169. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,hp,hregister)));
  170. dec(i);
  171. end;
  172. location.reference.base:=hregister;
  173. end;
  174. end
  175. else
  176. case symtabletype of
  177. unitsymtable,globalsymtable,
  178. staticsymtable : begin
  179. location.reference.symbol:=newasmsymbol(symtableentry^.mangledname);
  180. end;
  181. stt_exceptsymtable:
  182. begin
  183. location.reference.base:=procinfo.framepointer;
  184. location.reference.offset:=pvarsym(symtableentry)^.address;
  185. end;
  186. objectsymtable:
  187. begin
  188. if (pvarsym(symtableentry)^.properties and sp_static)<>0 then
  189. begin
  190. location.reference.symbol:=newasmsymbol(symtableentry^.mangledname);
  191. end
  192. else
  193. begin
  194. location.reference.base:=self_pointer;
  195. location.reference.offset:=pvarsym(symtableentry)^.address;
  196. end;
  197. end;
  198. withsymtable:
  199. begin
  200. hregister:=tg.getregisterint;
  201. location.reference.base:=hregister;
  202. { make a reference }
  203. { symtable datasize field
  204. contains the offset of the temp
  205. stored }
  206. hp:=new_reference(procinfo.framepointer,
  207. symtable^.datasize);
  208. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,hp,hregister)));
  209. location.reference.offset:=
  210. pvarsym(symtableentry)^.address;
  211. end;
  212. end;
  213. end;
  214. { in case call by reference, then calculate: }
  215. if (pvarsym(symtableentry)^.varspez=vs_var) or
  216. is_open_array(pvarsym(symtableentry)^.definition) or
  217. is_array_of_const(pvarsym(symtableentry)^.definition) or
  218. ((pvarsym(symtableentry)^.varspez=vs_const) and
  219. push_addr_param(pvarsym(symtableentry)^.definition)) then
  220. begin
  221. simple_loadn:=false;
  222. if hregister=R_NO then
  223. hregister:=tg.getregisterint;
  224. if is_open_array(pvarsym(symtableentry)^.definition) or
  225. is_open_string(pvarsym(symtableentry)^.definition) then
  226. begin
  227. if (location.reference.base=procinfo.framepointer) then
  228. begin
  229. highframepointer:=location.reference.base;
  230. highoffset:=location.reference.offset;
  231. end
  232. else
  233. begin
  234. highframepointer:=R_EDI;
  235. highoffset:=location.reference.offset;
  236. exprasmlist^.concat(new(pai386,op_reg_reg(A_MOV,S_L,
  237. location.reference.base,R_EDI)));
  238. end;
  239. end;
  240. if location.loc=LOC_CREGISTER then
  241. begin
  242. exprasmlist^.concat(new(pai386,op_reg_reg(A_MOV,S_L,
  243. location.register,hregister)));
  244. location.loc:=LOC_REFERENCE;
  245. end
  246. else
  247. begin
  248. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,
  249. newreference(location.reference),
  250. hregister)));
  251. end;
  252. reset_reference(location.reference);
  253. location.reference.base:=hregister;
  254. end;
  255. {$endif i386}
  256. end;
  257. end;
  258. procsym:
  259. begin
  260. {!!!!!!!!!!}
  261. end;
  262. typedconstsym :
  263. begin
  264. location.reference.symbol:=newasmsymbol(symtableentry^.mangledname);
  265. end;
  266. else internalerror(4);
  267. end;
  268. end;
  269. {****************************************************************************
  270. TASSIGNMENTNODE
  271. ****************************************************************************}
  272. constructor tassignmentnode.init(l,r : pnode);
  273. begin
  274. inherited init(l,r);
  275. concat_string:=false;
  276. assigntyp:=at_normal;
  277. end;
  278. destructor tassignmentnode.done;
  279. begin
  280. inherited done;
  281. end;
  282. procedure tassignmentnode.det_temp;
  283. begin
  284. {$ifdef dummy}
  285. store_valid:=must_be_valid;
  286. must_be_valid:=false;
  287. { must be made unique }
  288. set_unique(p^.left);
  289. firstpass(p^.left);
  290. if codegenerror then
  291. exit;
  292. { test if we can avoid copying string to temp
  293. as in s:=s+...; (PM) }
  294. must_be_valid:=true;
  295. firstpass(p^.right);
  296. must_be_valid:=store_valid;
  297. if codegenerror then
  298. exit;
  299. { some string functions don't need conversion, so treat them separatly }
  300. if is_shortstring(p^.left^.resulttype) and (assigned(p^.right^.resulttype)) then
  301. begin
  302. if not (is_shortstring(p^.right^.resulttype) or
  303. is_ansistring(p^.right^.resulttype) or
  304. is_char(p^.right^.resulttype)) then
  305. begin
  306. p^.right:=gentypeconvnode(p^.right,p^.left^.resulttype);
  307. firstpass(p^.right);
  308. if codegenerror then
  309. exit;
  310. end;
  311. { we call STRCOPY }
  312. procinfo.flags:=procinfo.flags or pi_do_call;
  313. hp:=p^.right;
  314. end
  315. else
  316. begin
  317. p^.right:=gentypeconvnode(p^.right,p^.left^.resulttype);
  318. firstpass(p^.right);
  319. if codegenerror then
  320. exit;
  321. end;
  322. { set assigned flag for varsyms }
  323. if (p^.left^.treetype=loadn) and
  324. (p^.left^.symtableentry^.typ=varsym) and
  325. (pvarsym(p^.left^.symtableentry)^.varstate=vs_declared) then
  326. pvarsym(p^.left^.symtableentry)^.varstate:=vs_assigned;
  327. p^.registersint:=p^.left^.registersint+p^.right^.registersint;
  328. p^.registersfpu:=max(p^.left^.registersfpu,p^.right^.registersfpu);
  329. p^.registersmm:=max(p^.left^.registersmm,p^.right^.registersmm);
  330. {$endif dummy}
  331. end;
  332. procedure tassignmentnode.det_resulttype;
  333. begin
  334. inherited det_resulttype;
  335. resulttype:=voiddef;
  336. { assignements to open arrays aren't allowed }
  337. if is_open_array(left^.resulttype) then
  338. CGMessage(type_e_mismatch);
  339. end;
  340. procedure tassignmentnode.secondpass;
  341. begin
  342. {$ifdef dummy}
  343. { calculate left sides }
  344. if not(concat_string) then
  345. secondpass(p^.left);
  346. if codegenerror then
  347. exit;
  348. case p^.left^.location.loc of
  349. LOC_REFERENCE : begin
  350. { in case left operator uses to register }
  351. { but to few are free then LEA }
  352. if (p^.left^.location.reference.base<>R_NO) and
  353. (p^.left^.location.reference.index<>R_NO) and
  354. (usablereg32<p^.right^.registers32) then
  355. begin
  356. del_reference(p^.left^.location.reference);
  357. hregister:=getregister32;
  358. exprasmlist^.concat(new(pai386,op_ref_reg(A_LEA,S_L,newreference(
  359. p^.left^.location.reference),
  360. hregister)));
  361. reset_reference(p^.left^.location.reference);
  362. p^.left^.location.reference.base:=hregister;
  363. p^.left^.location.reference.index:=R_NO;
  364. end;
  365. loc:=LOC_REFERENCE;
  366. end;
  367. LOC_CFPUREGISTER:
  368. loc:=LOC_CFPUREGISTER;
  369. LOC_CREGISTER:
  370. loc:=LOC_CREGISTER;
  371. LOC_MMXREGISTER:
  372. loc:=LOC_MMXREGISTER;
  373. LOC_CMMXREGISTER:
  374. loc:=LOC_CMMXREGISTER;
  375. else
  376. begin
  377. CGMessage(cg_e_illegal_expression);
  378. exit;
  379. end;
  380. end;
  381. { lets try to optimize this (PM) }
  382. { define a dest_loc that is the location }
  383. { and a ptree to verify that it is the right }
  384. { place to insert it }
  385. {$ifdef test_dest_loc}
  386. if (aktexprlevel<4) then
  387. begin
  388. dest_loc_known:=true;
  389. dest_loc:=p^.left^.location;
  390. dest_loc_tree:=p^.right;
  391. end;
  392. {$endif test_dest_loc}
  393. secondpass(p^.right);
  394. if codegenerror then
  395. exit;
  396. {$ifdef test_dest_loc}
  397. dest_loc_known:=false;
  398. if in_dest_loc then
  399. begin
  400. truelabel:=otlabel;
  401. falselabel:=oflabel;
  402. in_dest_loc:=false;
  403. exit;
  404. end;
  405. {$endif test_dest_loc}
  406. if p^.left^.resulttype^.deftype=stringdef then
  407. begin
  408. if is_ansistring(p^.left^.resulttype) then
  409. begin
  410. { the source and destinations are released
  411. in loadansistring, because an ansi string can
  412. also be in a register
  413. }
  414. loadansistring(p);
  415. end
  416. else
  417. if is_shortstring(p^.left^.resulttype) and
  418. not (p^.concat_string) then
  419. begin
  420. if is_ansistring(p^.right^.resulttype) then
  421. begin
  422. if (p^.right^.treetype=stringconstn) and
  423. (p^.right^.length=0) then
  424. begin
  425. exprasmlist^.concat(new(pai386,op_const_ref(A_MOV,S_B,
  426. 0,newreference(p^.left^.location.reference))));
  427. {$IfDef regallocfix}
  428. del_reference(p^.left^.location.reference);
  429. {$EndIf regallocfix}
  430. end
  431. else
  432. loadansi2short(p^.right,p^.left);
  433. end
  434. else
  435. begin
  436. { we do not need destination anymore }
  437. del_reference(p^.left^.location.reference);
  438. del_reference(p^.right^.location.reference);
  439. loadshortstring(p);
  440. ungetiftemp(p^.right^.location.reference);
  441. end;
  442. end
  443. else if is_longstring(p^.left^.resulttype) then
  444. begin
  445. end
  446. else
  447. begin
  448. { its the only thing we have to do }
  449. del_reference(p^.right^.location.reference);
  450. end
  451. end
  452. else case p^.right^.location.loc of
  453. LOC_REFERENCE,
  454. LOC_MEM : begin
  455. { extra handling for ordinal constants }
  456. if (p^.right^.treetype in [ordconstn,fixconstn]) or
  457. (loc=LOC_CREGISTER) then
  458. begin
  459. case p^.left^.resulttype^.size of
  460. 1 : opsize:=S_B;
  461. 2 : opsize:=S_W;
  462. 4 : opsize:=S_L;
  463. { S_L is correct, the copy is done }
  464. { with two moves }
  465. 8 : opsize:=S_L;
  466. end;
  467. if loc=LOC_CREGISTER then
  468. begin
  469. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,opsize,
  470. newreference(p^.right^.location.reference),
  471. p^.left^.location.register)));
  472. if is_64bitint(p^.right^.resulttype) then
  473. begin
  474. r:=newreference(p^.right^.location.reference);
  475. inc(r^.offset,4);
  476. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,opsize,r,
  477. p^.left^.location.registerhigh)));
  478. end;
  479. {$IfDef regallocfix}
  480. del_reference(p^.right^.location.reference);
  481. {$EndIf regallocfix}
  482. end
  483. else
  484. begin
  485. exprasmlist^.concat(new(pai386,op_const_ref(A_MOV,opsize,
  486. p^.right^.location.reference.offset,
  487. newreference(p^.left^.location.reference))));
  488. if is_64bitint(p^.right^.resulttype) then
  489. begin
  490. r:=newreference(p^.left^.location.reference);
  491. inc(r^.offset,4);
  492. exprasmlist^.concat(new(pai386,op_const_ref(A_MOV,opsize,
  493. 0,r)));
  494. end;
  495. {$IfDef regallocfix}
  496. del_reference(p^.left^.location.reference);
  497. {$EndIf regallocfix}
  498. {exprasmlist^.concat(new(pai386,op_const_loc(A_MOV,opsize,
  499. p^.right^.location.reference.offset,
  500. p^.left^.location)));}
  501. end;
  502. end
  503. else if loc=LOC_CFPUREGISTER then
  504. begin
  505. floatloadops(pfloatdef(p^.right^.resulttype)^.typ,op,opsize);
  506. exprasmlist^.concat(new(pai386,op_ref(op,opsize,
  507. newreference(p^.right^.location.reference))));
  508. exprasmlist^.concat(new(pai386,op_reg(A_FSTP,S_NO,
  509. correct_fpuregister(p^.left^.location.register,fpuvaroffset+1))));
  510. end
  511. else
  512. begin
  513. if (p^.right^.resulttype^.needs_inittable) and
  514. ( (p^.right^.resulttype^.deftype<>objectdef) or
  515. not(pobjectdef(p^.right^.resulttype)^.is_class)) then
  516. begin
  517. { this would be a problem }
  518. if not(p^.left^.resulttype^.needs_inittable) then
  519. internalerror(3457);
  520. { increment source reference counter }
  521. new(r);
  522. reset_reference(r^);
  523. r^.symbol:=p^.right^.resulttype^.get_inittable_label;
  524. emitpushreferenceaddr(r^);
  525. emitpushreferenceaddr(p^.right^.location.reference);
  526. exprasmlist^.concat(new(pai386,
  527. op_sym(A_CALL,S_NO,newasmsymbol('FPC_ADDREF'))));
  528. { decrement destination reference counter }
  529. new(r);
  530. reset_reference(r^);
  531. r^.symbol:=p^.left^.resulttype^.get_inittable_label;
  532. emitpushreferenceaddr(r^);
  533. emitpushreferenceaddr(p^.left^.location.reference);
  534. exprasmlist^.concat(new(pai386,
  535. op_sym(A_CALL,S_NO,newasmsymbol('FPC_DECREF'))));
  536. end;
  537. {$ifdef regallocfix}
  538. concatcopy(p^.right^.location.reference,
  539. p^.left^.location.reference,p^.left^.resulttype^.size,true,false);
  540. ungetiftemp(p^.right^.location.reference);
  541. {$Else regallocfix}
  542. concatcopy(p^.right^.location.reference,
  543. p^.left^.location.reference,p^.left^.resulttype^.size,false,false);
  544. ungetiftemp(p^.right^.location.reference);
  545. {$endif regallocfix}
  546. end;
  547. end;
  548. {$ifdef SUPPORT_MMX}
  549. LOC_CMMXREGISTER,
  550. LOC_MMXREGISTER:
  551. begin
  552. if loc=LOC_CMMXREGISTER then
  553. exprasmlist^.concat(new(pai386,op_reg_reg(A_MOVQ,S_NO,
  554. p^.right^.location.register,p^.left^.location.register)))
  555. else
  556. exprasmlist^.concat(new(pai386,op_reg_ref(A_MOVQ,S_NO,
  557. p^.right^.location.register,newreference(p^.left^.location.reference))));
  558. end;
  559. {$endif SUPPORT_MMX}
  560. LOC_REGISTER,
  561. LOC_CREGISTER : begin
  562. case p^.right^.resulttype^.size of
  563. 1 : opsize:=S_B;
  564. 2 : opsize:=S_W;
  565. 4 : opsize:=S_L;
  566. 8 : opsize:=S_L;
  567. end;
  568. { simplified with op_reg_loc }
  569. if loc=LOC_CREGISTER then
  570. begin
  571. exprasmlist^.concat(new(pai386,op_reg_reg(A_MOV,opsize,
  572. p^.right^.location.register,
  573. p^.left^.location.register)));
  574. {$IfDef regallocfix}
  575. ungetregister(p^.right^.location.register);
  576. {$EndIf regallocfix}
  577. end
  578. else
  579. Begin
  580. exprasmlist^.concat(new(pai386,op_reg_ref(A_MOV,opsize,
  581. p^.right^.location.register,
  582. newreference(p^.left^.location.reference))));
  583. {$IfDef regallocfix}
  584. ungetregister(p^.right^.location.register);
  585. del_reference(p^.left^.location.reference);
  586. {$EndIf regallocfix}
  587. end;
  588. if is_64bitint(p^.right^.resulttype) then
  589. begin
  590. { simplified with op_reg_loc }
  591. if loc=LOC_CREGISTER then
  592. exprasmlist^.concat(new(pai386,op_reg_reg(A_MOV,opsize,
  593. p^.right^.location.registerhigh,
  594. p^.left^.location.registerhigh)))
  595. else
  596. begin
  597. r:=newreference(p^.left^.location.reference);
  598. inc(r^.offset,4);
  599. exprasmlist^.concat(new(pai386,op_reg_ref(A_MOV,opsize,
  600. p^.right^.location.registerhigh,r)));
  601. end;
  602. end;
  603. {exprasmlist^.concat(new(pai386,op_reg_loc(A_MOV,opsize,
  604. p^.right^.location.register,
  605. p^.left^.location))); }
  606. end;
  607. LOC_FPU : begin
  608. if (p^.left^.resulttype^.deftype=floatdef) then
  609. fputyp:=pfloatdef(p^.left^.resulttype)^.typ
  610. else
  611. if (p^.right^.resulttype^.deftype=floatdef) then
  612. fputyp:=pfloatdef(p^.right^.resulttype)^.typ
  613. else
  614. if (p^.right^.treetype=typeconvn) and
  615. (p^.right^.left^.resulttype^.deftype=floatdef) then
  616. fputyp:=pfloatdef(p^.right^.left^.resulttype)^.typ
  617. else
  618. fputyp:=s32real;
  619. case loc of
  620. LOC_CFPUREGISTER:
  621. begin
  622. exprasmlist^.concat(new(pai386,op_reg(A_FSTP,S_NO,
  623. correct_fpuregister(p^.left^.location.register,fpuvaroffset))));
  624. dec(fpuvaroffset);
  625. end;
  626. LOC_REFERENCE:
  627. floatstore(fputyp,p^.left^.location.reference);
  628. else
  629. internalerror(48991);
  630. end;
  631. end;
  632. LOC_CFPUREGISTER: begin
  633. if (p^.left^.resulttype^.deftype=floatdef) then
  634. fputyp:=pfloatdef(p^.left^.resulttype)^.typ
  635. else
  636. if (p^.right^.resulttype^.deftype=floatdef) then
  637. fputyp:=pfloatdef(p^.right^.resulttype)^.typ
  638. else
  639. if (p^.right^.treetype=typeconvn) and
  640. (p^.right^.left^.resulttype^.deftype=floatdef) then
  641. fputyp:=pfloatdef(p^.right^.left^.resulttype)^.typ
  642. else
  643. fputyp:=s32real;
  644. exprasmlist^.concat(new(pai386,op_reg(A_FLD,S_NO,
  645. correct_fpuregister(p^.right^.location.register,fpuvaroffset))));
  646. inc(fpuvaroffset);
  647. case loc of
  648. LOC_CFPUREGISTER:
  649. begin
  650. exprasmlist^.concat(new(pai386,op_reg(A_FSTP,S_NO,
  651. correct_fpuregister(p^.right^.location.register,fpuvaroffset))));
  652. dec(fpuvaroffset);
  653. end;
  654. LOC_REFERENCE:
  655. floatstore(fputyp,p^.left^.location.reference);
  656. else
  657. internalerror(48992);
  658. end;
  659. end;
  660. LOC_JUMP : begin
  661. getlabel(hlabel);
  662. emitlab(truelabel);
  663. if loc=LOC_CREGISTER then
  664. exprasmlist^.concat(new(pai386,op_const_reg(A_MOV,S_B,
  665. 1,p^.left^.location.register)))
  666. else
  667. exprasmlist^.concat(new(pai386,op_const_ref(A_MOV,S_B,
  668. 1,newreference(p^.left^.location.reference))));
  669. {exprasmlist^.concat(new(pai386,op_const_loc(A_MOV,S_B,
  670. 1,p^.left^.location)));}
  671. emitjmp(C_None,hlabel);
  672. emitlab(falselabel);
  673. if loc=LOC_CREGISTER then
  674. exprasmlist^.concat(new(pai386,op_reg_reg(A_XOR,S_B,
  675. p^.left^.location.register,
  676. p^.left^.location.register)))
  677. else
  678. begin
  679. exprasmlist^.concat(new(pai386,op_const_ref(A_MOV,S_B,
  680. 0,newreference(p^.left^.location.reference))));
  681. {$IfDef regallocfix}
  682. del_reference(p^.left^.location.reference);
  683. {$EndIf regallocfix}
  684. end;
  685. emitlab(hlabel);
  686. end;
  687. LOC_FLAGS : begin
  688. if loc=LOC_CREGISTER then
  689. emit_flag2reg(p^.right^.location.resflags,p^.left^.location.register)
  690. else
  691. begin
  692. ai:=new(pai386,op_ref(A_Setcc,S_B,newreference(p^.left^.location.reference)));
  693. ai^.SetCondition(flag_2_cond[p^.right^.location.resflags]);
  694. exprasmlist^.concat(ai);
  695. end;
  696. {$IfDef regallocfix}
  697. del_reference(p^.left^.location.reference);
  698. {$EndIf regallocfix}
  699. end;
  700. end;
  701. {$endif dummy}
  702. end;
  703. end.
  704. {
  705. $Log$
  706. Revision 1.8 1999-08-06 15:53:51 florian
  707. * made the alpha version compilable
  708. Revision 1.7 1999/08/05 17:10:57 florian
  709. * some more additions, especially procedure
  710. exit code generation
  711. Revision 1.6 1999/08/05 14:58:13 florian
  712. * some fixes for the floating point registers
  713. * more things for the new code generator
  714. Revision 1.5 1999/08/04 00:23:56 florian
  715. * renamed i386asm and i386base to cpuasm and cpubase
  716. Revision 1.4 1999/08/03 17:09:45 florian
  717. * the alpha compiler can be compiled now
  718. Revision 1.3 1999/08/02 17:14:08 florian
  719. + changed the temp. generator to an object
  720. Revision 1.2 1999/08/01 18:22:35 florian
  721. * made it again compilable
  722. Revision 1.1 1999/01/24 22:32:36 florian
  723. * well, more changes, especially parts of secondload ported
  724. }