cg386mat.pas 29 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734
  1. {
  2. $Id$
  3. Copyright (c) 1993-98 by Florian Klaempfl
  4. Generate i386 assembler for math nodes
  5. This program is free software; you can redistribute it and/or modify
  6. it under the terms of the GNU General Public License as published by
  7. the Free Software Foundation; either version 2 of the License, or
  8. (at your option) any later version.
  9. This program is distributed in the hope that it will be useful,
  10. but WITHOUT ANY WARRANTY; without even the implied warranty of
  11. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  12. GNU General Public License for more details.
  13. You should have received a copy of the GNU General Public License
  14. along with this program; if not, write to the Free Software
  15. Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  16. ****************************************************************************
  17. }
  18. unit cg386mat;
  19. interface
  20. uses
  21. tree;
  22. procedure secondmoddiv(var p : ptree);
  23. procedure secondshlshr(var p : ptree);
  24. procedure secondumminus(var p : ptree);
  25. procedure secondnot(var p : ptree);
  26. implementation
  27. uses
  28. globtype,systems,
  29. cobjects,verbose,globals,
  30. symtable,aasm,types,
  31. hcodegen,temp_gen,pass_2,
  32. i386,cgai386,tgeni386;
  33. {*****************************************************************************
  34. SecondModDiv
  35. *****************************************************************************}
  36. procedure secondmoddiv(var p : ptree);
  37. var
  38. hreg1 : tregister;
  39. pushed,popeax,popedx : boolean;
  40. power : longint;
  41. hl : plabel;
  42. begin
  43. secondpass(p^.left);
  44. set_location(p^.location,p^.left^.location);
  45. pushed:=maybe_push(p^.right^.registers32,p);
  46. secondpass(p^.right);
  47. if pushed then restore(p);
  48. { put numerator in register }
  49. if p^.left^.location.loc<>LOC_REGISTER then
  50. begin
  51. if p^.left^.location.loc=LOC_CREGISTER then
  52. begin
  53. hreg1:=getregister32;
  54. emit_reg_reg(A_MOV,S_L,p^.left^.location.register,hreg1);
  55. end
  56. else
  57. begin
  58. del_reference(p^.left^.location.reference);
  59. hreg1:=getregister32;
  60. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,newreference(p^.left^.location.reference),
  61. hreg1)));
  62. end;
  63. clear_location(p^.left^.location);
  64. p^.left^.location.loc:=LOC_REGISTER;
  65. p^.left^.location.register:=hreg1;
  66. end
  67. else hreg1:=p^.left^.location.register;
  68. if (p^.treetype=divn) and (p^.right^.treetype=ordconstn) and
  69. ispowerof2(p^.right^.value,power) then
  70. begin
  71. exprasmlist^.concat(new(pai386,op_reg_reg(A_OR,S_L,hreg1,hreg1)));
  72. getlabel(hl);
  73. emitl(A_JNS,hl);
  74. if power=1 then
  75. exprasmlist^.concat(new(pai386,op_reg(A_INC,S_L,hreg1)))
  76. else exprasmlist^.concat(new(pai386,op_const_reg(A_ADD,S_L,p^.right^.value-1,hreg1)));
  77. emitl(A_LABEL,hl);
  78. exprasmlist^.concat(new(pai386,op_const_reg(A_SAR,S_L,power,hreg1)));
  79. end
  80. else
  81. begin
  82. { bring denominator to EDI }
  83. { EDI is always free, it's }
  84. { only used for temporary }
  85. { purposes }
  86. if (p^.right^.location.loc<>LOC_REGISTER) and
  87. (p^.right^.location.loc<>LOC_CREGISTER) then
  88. begin
  89. del_reference(p^.right^.location.reference);
  90. p^.left^.location.loc:=LOC_REGISTER;
  91. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,newreference(p^.right^.location.reference),R_EDI)));
  92. end
  93. else
  94. begin
  95. ungetregister32(p^.right^.location.register);
  96. emit_reg_reg(A_MOV,S_L,p^.right^.location.register,R_EDI);
  97. end;
  98. popedx:=false;
  99. popeax:=false;
  100. if hreg1=R_EDX then
  101. begin
  102. if not(R_EAX in unused) then
  103. begin
  104. exprasmlist^.concat(new(pai386,op_reg(A_PUSH,S_L,R_EAX)));
  105. popeax:=true;
  106. end;
  107. emit_reg_reg(A_MOV,S_L,R_EDX,R_EAX);
  108. end
  109. else
  110. begin
  111. if not(R_EDX in unused) then
  112. begin
  113. exprasmlist^.concat(new(pai386,op_reg(A_PUSH,S_L,R_EDX)));
  114. popedx:=true;
  115. end;
  116. if hreg1<>R_EAX then
  117. begin
  118. if not(R_EAX in unused) then
  119. begin
  120. exprasmlist^.concat(new(pai386,op_reg(A_PUSH,S_L,R_EAX)));
  121. popeax:=true;
  122. end;
  123. emit_reg_reg(A_MOV,S_L,hreg1,R_EAX);
  124. end;
  125. end;
  126. { sign extension depends on the left type }
  127. if porddef(p^.left^.resulttype)^.typ=u32bit then
  128. exprasmlist^.concat(new(pai386,op_reg_reg(A_XOR,S_L,R_EDX,R_EDX)))
  129. else
  130. exprasmlist^.concat(new(pai386,op_none(A_CDQ,S_NO)));
  131. { division depends on the right type }
  132. if porddef(p^.right^.resulttype)^.typ=u32bit then
  133. exprasmlist^.concat(new(pai386,op_reg(A_DIV,S_L,R_EDI)))
  134. else
  135. exprasmlist^.concat(new(pai386,op_reg(A_IDIV,S_L,R_EDI)));
  136. if p^.treetype=divn then
  137. begin
  138. { if result register is busy then copy }
  139. if popeax then
  140. begin
  141. if hreg1=R_EAX then
  142. internalerror(112);
  143. emit_reg_reg(A_MOV,S_L,R_EAX,hreg1)
  144. end
  145. else
  146. if hreg1<>R_EAX then
  147. emit_reg_reg(A_MOV,S_L,R_EAX,hreg1);
  148. end
  149. else
  150. emit_reg_reg(A_MOV,S_L,R_EDX,hreg1);
  151. if popeax then
  152. exprasmlist^.concat(new(pai386,op_reg(A_POP,S_L,R_EAX)));
  153. if popedx then
  154. exprasmlist^.concat(new(pai386,op_reg(A_POP,S_L,R_EDX)));
  155. end;
  156. { this registers are always used when div/mod are present }
  157. usedinproc:=usedinproc or ($80 shr byte(R_EAX));
  158. usedinproc:=usedinproc or ($80 shr byte(R_EDX));
  159. clear_location(p^.location);
  160. p^.location.loc:=LOC_REGISTER;
  161. p^.location.register:=hreg1;
  162. end;
  163. {*****************************************************************************
  164. SecondShlShr
  165. *****************************************************************************}
  166. procedure secondshlshr(var p : ptree);
  167. var
  168. hregister1,hregister2,hregister3,
  169. hregisterhigh,hregisterlow : tregister;
  170. pushed,popecx : boolean;
  171. op,op2 : tasmop;
  172. hr : preference;
  173. begin
  174. popecx:=false;
  175. secondpass(p^.left);
  176. pushed:=maybe_push(p^.right^.registers32,p);
  177. secondpass(p^.right);
  178. if pushed then
  179. restore(p);
  180. if is_64bitint(p^.left^.resulttype) then
  181. begin
  182. { load left operators in a register }
  183. if p^.left^.location.loc<>LOC_REGISTER then
  184. begin
  185. if p^.left^.location.loc=LOC_CREGISTER then
  186. begin
  187. hregisterlow:=getregister32;
  188. hregisterhigh:=getregister32;
  189. emit_reg_reg(A_MOV,S_L,p^.left^.location.registerlow,
  190. hregisterlow);
  191. emit_reg_reg(A_MOV,S_L,p^.left^.location.registerhigh,
  192. hregisterlow);
  193. end
  194. else
  195. begin
  196. del_reference(p^.left^.location.reference);
  197. hregisterlow:=getregister32;
  198. hregisterhigh:=getregister32;
  199. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,newreference(p^.left^.location.reference),
  200. hregisterlow)));
  201. hr:=newreference(p^.left^.location.reference);
  202. inc(hr^.offset,4);
  203. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,hr,
  204. hregisterhigh)));
  205. end;
  206. end
  207. else
  208. begin
  209. hregisterlow:=p^.left^.location.registerlow;
  210. hregisterhigh:=p^.left^.location.registerhigh;
  211. end;
  212. { shifting by a constant directly coded: }
  213. if (p^.right^.treetype=ordconstn) then
  214. begin
  215. if p^.treetype=shln then
  216. begin
  217. exprasmlist^.concat(new(pai386,op_const_reg_reg(A_SHLD,S_L,p^.right^.location.reference.offset and 31,
  218. hregisterlow,hregisterhigh)));
  219. exprasmlist^.concat(new(pai386,op_const_reg(A_SHL,S_L,p^.right^.location.reference.offset and 31,
  220. hregisterlow)));
  221. end
  222. else
  223. begin
  224. exprasmlist^.concat(new(pai386,op_const_reg_reg(A_SHRD,S_L,p^.right^.location.reference.offset and 31,
  225. hregisterhigh,hregisterlow)));
  226. exprasmlist^.concat(new(pai386,op_const_reg(A_SHR,S_L,p^.right^.location.reference.offset and 31,
  227. hregisterhigh)));
  228. end;
  229. p^.location.loc:=LOC_REGISTER;
  230. p^.location.registerlow:=hregisterlow;
  231. p^.location.registerhigh:=hregisterhigh;
  232. end
  233. else
  234. begin
  235. { load right operators in a register }
  236. if p^.right^.location.loc<>LOC_REGISTER then
  237. begin
  238. if p^.right^.location.loc=LOC_CREGISTER then
  239. begin
  240. hregister2:=getexplicitregister32(R_ECX);
  241. emit_reg_reg(A_MOV,S_L,p^.right^.location.register,
  242. hregister2);
  243. end
  244. else
  245. begin
  246. del_reference(p^.right^.location.reference);
  247. hregister2:=getexplicitregister32(R_ECX);
  248. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,newreference(p^.right^.location.reference),
  249. hregister2)));
  250. end;
  251. end
  252. else
  253. hregister2:=p^.right^.location.register;
  254. { left operator is already in a register }
  255. { hence are both in a register }
  256. { is it in the case ECX ? }
  257. if (hregisterlow=R_ECX) then
  258. begin
  259. { then only swap }
  260. emit_reg_reg(A_XCHG,S_L,hregisterlow,hregister2);
  261. hregister3:=hregisterlow;
  262. hregisterlow:=hregister2;
  263. hregister2:=hregister3;
  264. end
  265. else if (hregisterhigh=R_ECX) then
  266. begin
  267. { then only swap }
  268. emit_reg_reg(A_XCHG,S_L,hregisterhigh,hregister2);
  269. hregister3:=hregisterhigh;
  270. hregisterhigh:=hregister2;
  271. hregister2:=hregister3;
  272. end
  273. { if second operator not in ECX ? }
  274. else if (hregister2<>R_ECX) then
  275. begin
  276. { ECX occupied then push it }
  277. if not (R_ECX in unused) then
  278. begin
  279. popecx:=true;
  280. exprasmlist^.concat(new(pai386,op_reg(A_PUSH,S_L,R_ECX)));
  281. end;
  282. emit_reg_reg(A_MOV,S_L,hregister2,R_ECX);
  283. end;
  284. ungetregister32(hregister2);
  285. if p^.treetype=shln then
  286. begin
  287. exprasmlist^.concat(new(pai386,op_reg_reg_reg(A_SHLD,S_L,R_CL,
  288. hregisterlow,hregisterhigh)));
  289. exprasmlist^.concat(new(pai386,op_reg_reg(A_SHL,S_L,R_CL,
  290. hregisterlow)));
  291. end
  292. else
  293. begin
  294. exprasmlist^.concat(new(pai386,op_reg_reg_reg(A_SHRD,S_L,R_CL,
  295. hregisterhigh,hregisterlow)));
  296. exprasmlist^.concat(new(pai386,op_reg_reg(A_SHR,S_L,R_CL,
  297. hregisterhigh)));
  298. end;
  299. { maybe put ECX back }
  300. if popecx then
  301. exprasmlist^.concat(new(pai386,op_reg(A_POP,S_L,R_ECX)));
  302. p^.location.registerlow:=hregisterlow;
  303. p^.location.registerhigh:=hregisterhigh;
  304. end;
  305. end
  306. else
  307. begin
  308. { load left operators in a register }
  309. if p^.left^.location.loc<>LOC_REGISTER then
  310. begin
  311. if p^.left^.location.loc=LOC_CREGISTER then
  312. begin
  313. hregister1:=getregister32;
  314. emit_reg_reg(A_MOV,S_L,p^.left^.location.register,
  315. hregister1);
  316. end
  317. else
  318. begin
  319. del_reference(p^.left^.location.reference);
  320. hregister1:=getregister32;
  321. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,newreference(p^.left^.location.reference),
  322. hregister1)));
  323. end;
  324. end
  325. else
  326. hregister1:=p^.left^.location.register;
  327. { determine operator }
  328. if p^.treetype=shln then
  329. op:=A_SHL
  330. else
  331. op:=A_SHR;
  332. { shifting by a constant directly coded: }
  333. if (p^.right^.treetype=ordconstn) then
  334. begin
  335. exprasmlist^.concat(new(pai386,op_const_reg(op,S_L,p^.right^.location.reference.offset and 31,
  336. hregister1)));
  337. p^.location.loc:=LOC_REGISTER;
  338. p^.location.register:=hregister1;
  339. end
  340. else
  341. begin
  342. { load right operators in a register }
  343. if p^.right^.location.loc<>LOC_REGISTER then
  344. begin
  345. if p^.right^.location.loc=LOC_CREGISTER then
  346. begin
  347. hregister2:=getexplicitregister32(R_ECX);
  348. emit_reg_reg(A_MOV,S_L,p^.right^.location.register,
  349. hregister2);
  350. end
  351. else
  352. begin
  353. del_reference(p^.right^.location.reference);
  354. hregister2:=getexplicitregister32(R_ECX);
  355. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,newreference(p^.right^.location.reference),
  356. hregister2)));
  357. end;
  358. end
  359. else
  360. hregister2:=p^.right^.location.register;
  361. { left operator is already in a register }
  362. { hence are both in a register }
  363. { is it in the case ECX ? }
  364. if (hregister1=R_ECX) then
  365. begin
  366. { then only swap }
  367. emit_reg_reg(A_XCHG,S_L,hregister1,hregister2);
  368. hregister3:=hregister1;
  369. hregister1:=hregister2;
  370. hregister2:=hregister3;
  371. end
  372. { if second operator not in ECX ? }
  373. else if (hregister2<>R_ECX) then
  374. begin
  375. { ECX occupied then push it }
  376. if not (R_ECX in unused) then
  377. begin
  378. popecx:=true;
  379. exprasmlist^.concat(new(pai386,op_reg(A_PUSH,S_L,R_ECX)));
  380. end;
  381. emit_reg_reg(A_MOV,S_L,hregister2,R_ECX);
  382. end;
  383. ungetregister32(hregister2);
  384. { right operand is in ECX }
  385. emit_reg_reg(op,S_L,R_CL,hregister1);
  386. { maybe ECX back }
  387. if popecx then
  388. exprasmlist^.concat(new(pai386,op_reg(A_POP,S_L,R_ECX)));
  389. p^.location.register:=hregister1;
  390. end;
  391. end;
  392. end;
  393. {*****************************************************************************
  394. SecondUmMinus
  395. *****************************************************************************}
  396. procedure secondumminus(var p : ptree);
  397. {$ifdef SUPPORT_MMX}
  398. procedure do_mmx_neg;
  399. var
  400. op : tasmop;
  401. begin
  402. p^.location.loc:=LOC_MMXREGISTER;
  403. if cs_mmx_saturation in aktlocalswitches then
  404. case mmx_type(p^.resulttype) of
  405. mmxs8bit:
  406. op:=A_PSUBSB;
  407. mmxu8bit:
  408. op:=A_PSUBUSB;
  409. mmxs16bit,mmxfixed16:
  410. op:=A_PSUBSW;
  411. mmxu16bit:
  412. op:=A_PSUBUSW;
  413. end
  414. else
  415. case mmx_type(p^.resulttype) of
  416. mmxs8bit,mmxu8bit:
  417. op:=A_PSUBB;
  418. mmxs16bit,mmxu16bit,mmxfixed16:
  419. op:=A_PSUBW;
  420. mmxs32bit,mmxu32bit:
  421. op:=A_PSUBD;
  422. end;
  423. emit_reg_reg(op,S_NO,p^.location.register,R_MM7);
  424. emit_reg_reg(A_MOVQ,S_NO,R_MM7,p^.location.register);
  425. end;
  426. {$endif}
  427. begin
  428. secondpass(p^.left);
  429. p^.location.loc:=LOC_REGISTER;
  430. case p^.left^.location.loc of
  431. LOC_REGISTER:
  432. begin
  433. p^.location.register:=p^.left^.location.register;
  434. exprasmlist^.concat(new(pai386,op_reg(A_NEG,S_L,p^.location.register)));
  435. end;
  436. LOC_CREGISTER:
  437. begin
  438. p^.location.register:=getregister32;
  439. emit_reg_reg(A_MOV,S_L,p^.location.register,
  440. p^.location.register);
  441. exprasmlist^.concat(new(pai386,op_reg(A_NEG,S_L,p^.location.register)));
  442. end;
  443. {$ifdef SUPPORT_MMX}
  444. LOC_MMXREGISTER:
  445. begin
  446. set_location(p^.location,p^.left^.location);
  447. emit_reg_reg(A_PXOR,S_NO,R_MM7,R_MM7);
  448. do_mmx_neg;
  449. end;
  450. LOC_CMMXREGISTER:
  451. begin
  452. p^.location.register:=getregistermmx;
  453. emit_reg_reg(A_PXOR,S_NO,R_MM7,R_MM7);
  454. emit_reg_reg(A_MOVQ,S_NO,p^.left^.location.register,
  455. p^.location.register);
  456. do_mmx_neg;
  457. end;
  458. {$endif SUPPORT_MMX}
  459. LOC_REFERENCE,LOC_MEM:
  460. begin
  461. del_reference(p^.left^.location.reference);
  462. if (p^.left^.resulttype^.deftype=floatdef) and
  463. (pfloatdef(p^.left^.resulttype)^.typ<>f32bit) then
  464. begin
  465. p^.location.loc:=LOC_FPU;
  466. floatload(pfloatdef(p^.left^.resulttype)^.typ,
  467. p^.left^.location.reference);
  468. exprasmlist^.concat(new(pai386,op_none(A_FCHS,S_NO)));
  469. end
  470. {$ifdef SUPPORT_MMX}
  471. else if (cs_mmx in aktlocalswitches) and is_mmx_able_array(p^.left^.resulttype) then
  472. begin
  473. p^.location.register:=getregistermmx;
  474. emit_reg_reg(A_PXOR,S_NO,R_MM7,R_MM7);
  475. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOVQ,S_NO,
  476. newreference(p^.left^.location.reference),
  477. p^.location.register)));
  478. do_mmx_neg;
  479. end
  480. {$endif SUPPORT_MMX}
  481. else
  482. begin
  483. p^.location.register:=getregister32;
  484. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,
  485. newreference(p^.left^.location.reference),
  486. p^.location.register)));
  487. exprasmlist^.concat(new(pai386,op_reg(A_NEG,S_L,p^.location.register)));
  488. end;
  489. end;
  490. LOC_FPU:
  491. begin
  492. p^.location.loc:=LOC_FPU;
  493. exprasmlist^.concat(new(pai386,op_none(A_FCHS,S_NO)));
  494. end;
  495. end;
  496. { Here was a problem... }
  497. { Operand to be negated always }
  498. { seems to be converted to signed }
  499. { 32-bit before doing neg!! }
  500. { So this is useless... }
  501. { emitoverflowcheck(p);}
  502. end;
  503. {*****************************************************************************
  504. SecondNot
  505. *****************************************************************************}
  506. procedure secondnot(var p : ptree);
  507. const
  508. flagsinvers : array[F_E..F_BE] of tresflags =
  509. (F_NE,F_E,F_LE,F_GE,F_L,F_G,F_NC,F_C,
  510. F_A,F_AE,F_B,F_BE);
  511. var
  512. hl : plabel;
  513. opsize : topsize;
  514. begin
  515. if is_boolean(p^.resulttype) then
  516. begin
  517. opsize:=def_opsize(p^.resulttype);
  518. case p^.left^.location.loc of
  519. LOC_JUMP :
  520. begin
  521. hl:=truelabel;
  522. truelabel:=falselabel;
  523. falselabel:=hl;
  524. secondpass(p^.left);
  525. maketojumpbool(p^.left);
  526. hl:=truelabel;
  527. truelabel:=falselabel;
  528. falselabel:=hl;
  529. end;
  530. LOC_FLAGS :
  531. begin
  532. secondpass(p^.left);
  533. p^.location.resflags:=flagsinvers[p^.left^.location.resflags];
  534. end;
  535. LOC_REGISTER :
  536. begin
  537. secondpass(p^.left);
  538. p^.location.register:=p^.left^.location.register;
  539. exprasmlist^.concat(new(pai386,op_const_reg(A_XOR,opsize,1,p^.location.register)));
  540. end;
  541. LOC_CREGISTER :
  542. begin
  543. secondpass(p^.left);
  544. clear_location(p^.location);
  545. p^.location.loc:=LOC_REGISTER;
  546. p^.location.register:=def_getreg(p^.resulttype);
  547. emit_reg_reg(A_MOV,opsize,p^.left^.location.register,p^.location.register);
  548. exprasmlist^.concat(new(pai386,op_const_reg(A_XOR,opsize,1,p^.location.register)));
  549. end;
  550. LOC_REFERENCE,
  551. LOC_MEM :
  552. begin
  553. secondpass(p^.left);
  554. clear_location(p^.location);
  555. p^.location.loc:=LOC_REGISTER;
  556. p^.location.register:=def_getreg(p^.resulttype);
  557. del_reference(p^.left^.location.reference);
  558. if p^.left^.location.loc=LOC_CREGISTER then
  559. emit_reg_reg(A_MOV,opsize,p^.left^.location.register,p^.location.register)
  560. else
  561. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,opsize,
  562. newreference(p^.left^.location.reference),p^.location.register)));
  563. exprasmlist^.concat(new(pai386,op_const_reg(A_XOR,opsize,1,p^.location.register)));
  564. end;
  565. end;
  566. end
  567. {$ifdef SUPPORT_MMX}
  568. else
  569. if (cs_mmx in aktlocalswitches) and is_mmx_able_array(p^.left^.resulttype) then
  570. begin
  571. secondpass(p^.left);
  572. p^.location.loc:=LOC_MMXREGISTER;
  573. { prepare EDI }
  574. exprasmlist^.concat(new(pai386,op_const_reg(A_MOV,S_L,$ffffffff,R_EDI)));
  575. { load operand }
  576. case p^.left^.location.loc of
  577. LOC_MMXREGISTER:
  578. set_location(p^.location,p^.left^.location);
  579. LOC_CMMXREGISTER:
  580. begin
  581. p^.location.register:=getregistermmx;
  582. emit_reg_reg(A_MOVQ,S_NO,p^.left^.location.register,p^.location.register);
  583. end;
  584. LOC_REFERENCE,LOC_MEM:
  585. begin
  586. del_reference(p^.left^.location.reference);
  587. p^.location.register:=getregistermmx;
  588. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOVQ,S_NO,
  589. newreference(p^.left^.location.reference),p^.location.register)));
  590. end;
  591. end;
  592. { load mask }
  593. emit_reg_reg(A_MOV,S_D,R_EDI,R_MM7);
  594. { lower 32 bit }
  595. emit_reg_reg(A_PXOR,S_D,R_MM7,p^.location.register);
  596. { shift mask }
  597. exprasmlist^.concat(new(pai386,op_const_reg(A_PSLLQ,S_NO,32,R_MM7)));
  598. { higher 32 bit }
  599. emit_reg_reg(A_PXOR,S_D,R_MM7,p^.location.register);
  600. end
  601. {$endif SUPPORT_MMX}
  602. else
  603. begin
  604. secondpass(p^.left);
  605. clear_location(p^.location);
  606. p^.location.loc:=LOC_REGISTER;
  607. case p^.left^.location.loc of
  608. LOC_REGISTER :
  609. begin
  610. p^.location.register:=p^.left^.location.register;
  611. exprasmlist^.concat(new(pai386,op_reg(A_NOT,S_L,p^.location.register)));
  612. end;
  613. LOC_CREGISTER :
  614. begin
  615. p^.location.register:=getregister32;
  616. emit_reg_reg(A_MOV,S_L,p^.left^.location.register,p^.location.register);
  617. exprasmlist^.concat(new(pai386,op_reg(A_NOT,S_L,p^.location.register)));
  618. end;
  619. LOC_REFERENCE,LOC_MEM :
  620. begin
  621. del_reference(p^.left^.location.reference);
  622. p^.location.register:=getregister32;
  623. exprasmlist^.concat(new(pai386,op_ref_reg(A_MOV,S_L,
  624. newreference(p^.left^.location.reference),p^.location.register)));
  625. exprasmlist^.concat(new(pai386,op_reg(A_NOT,S_L,p^.location.register)));
  626. end;
  627. end;
  628. end;
  629. end;
  630. end.
  631. {
  632. $Log$
  633. Revision 1.14 1998-12-11 16:10:07 florian
  634. + shifting for 64 bit ints added
  635. * bug in getexplicitregister32 fixed: usableregs wasn't decremented !!
  636. Revision 1.13 1998/12/11 00:02:52 peter
  637. + globtype,tokens,version unit splitted from globals
  638. Revision 1.12 1998/11/26 21:45:29 jonas
  639. - removed A_CLTD opcode (use A_CDQ instead)
  640. * changed cbw, cwde and cwd to cbtw, cwtl and cwtd in att_op2str array
  641. * in daopt386: adapted AsmInstr array to reflect changes + fixed line too long
  642. Revision 1.11 1998/11/05 14:26:02 peter
  643. * fixed shlshr which would push ecx when not needed
  644. Revision 1.10 1998/10/20 13:12:38 peter
  645. * fixed 'not not boolean', the location was not set to register
  646. Revision 1.9 1998/10/20 08:06:42 pierre
  647. * several memory corruptions due to double freemem solved
  648. => never use p^.loc.location:=p^.left^.loc.location;
  649. + finally I added now by default
  650. that ra386dir translates global and unit symbols
  651. + added a first field in tsymtable and
  652. a nextsym field in tsym
  653. (this allows to obtain ordered type info for
  654. records and objects in gdb !)
  655. Revision 1.8 1998/10/09 08:56:24 pierre
  656. * several memory leaks fixed
  657. Revision 1.7 1998/09/17 09:42:17 peter
  658. + pass_2 for cg386
  659. * Message() -> CGMessage() for pass_1/pass_2
  660. Revision 1.6 1998/09/09 14:37:37 florian
  661. * mod/div for cardinal type fixed
  662. Revision 1.5 1998/08/23 16:07:20 florian
  663. * internalerror with mod/div fixed
  664. Revision 1.4 1998/08/18 09:24:38 pierre
  665. * small warning position bug fixed
  666. * support_mmx switches splitting was missing
  667. * rhide error and warning output corrected
  668. Revision 1.3 1998/06/05 17:44:12 peter
  669. * splitted cgi386
  670. Revision 1.2 1998/06/02 17:02:59 pierre
  671. * with node corrected for objects
  672. * small bugs for SUPPORT_MMX fixed
  673. Revision 1.1 1998/06/01 16:50:18 peter
  674. + boolean -> ord conversion
  675. * fixed ord -> boolean conversion
  676. }