nx86inl.pas 21 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597
  1. {
  2. Copyright (c) 1998-2002 by Florian Klaempfl
  3. Generate x86 inline nodes
  4. This program is free software; you can redistribute it and/or modify
  5. it under the terms of the GNU General Public License as published by
  6. the Free Software Foundation; either version 2 of the License, or
  7. (at your option) any later version.
  8. This program is distributed in the hope that it will be useful,
  9. but WITHOUT ANY WARRANTY; without even the implied warranty of
  10. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  11. GNU General Public License for more details.
  12. You should have received a copy of the GNU General Public License
  13. along with this program; if not, write to the Free Software
  14. Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  15. ****************************************************************************
  16. }
  17. unit nx86inl;
  18. {$i fpcdefs.inc}
  19. interface
  20. uses
  21. node,ninl,ncginl;
  22. type
  23. tx86inlinenode = class(tcginlinenode)
  24. { first pass override
  25. so that the code generator will actually generate
  26. these nodes.
  27. }
  28. function first_pi: tnode ; override;
  29. function first_arctan_real: tnode; override;
  30. function first_abs_real: tnode; override;
  31. function first_sqr_real: tnode; override;
  32. function first_sqrt_real: tnode; override;
  33. function first_ln_real: tnode; override;
  34. function first_cos_real: tnode; override;
  35. function first_sin_real: tnode; override;
  36. function first_round_real: tnode; override;
  37. function first_trunc_real: tnode; override;
  38. function first_popcnt: tnode; override;
  39. { second pass override to generate these nodes }
  40. procedure second_IncludeExclude;override;
  41. procedure second_pi; override;
  42. procedure second_arctan_real; override;
  43. procedure second_abs_real; override;
  44. procedure second_round_real; override;
  45. procedure second_sqr_real; override;
  46. procedure second_sqrt_real; override;
  47. procedure second_ln_real; override;
  48. procedure second_cos_real; override;
  49. procedure second_sin_real; override;
  50. procedure second_trunc_real; override;
  51. procedure second_prefetch;override;
  52. {$ifndef i8086}
  53. procedure second_abs_long;override;
  54. {$endif not i8086}
  55. procedure second_popcnt;override;
  56. private
  57. procedure load_fpu_location;
  58. end;
  59. implementation
  60. uses
  61. systems,
  62. globtype,globals,
  63. cutils,verbose,
  64. symconst,
  65. defutil,
  66. aasmbase,aasmtai,aasmdata,aasmcpu,
  67. symtype,symdef,
  68. cgbase,pass_2,
  69. cpuinfo,cpubase,paramgr,
  70. nbas,ncon,ncal,ncnv,nld,ncgutil,
  71. tgobj,
  72. cga,cgutils,cgx86,cgobj,hlcgobj;
  73. {*****************************************************************************
  74. TX86INLINENODE
  75. *****************************************************************************}
  76. function tx86inlinenode.first_pi : tnode;
  77. begin
  78. expectloc:=LOC_FPUREGISTER;
  79. first_pi := nil;
  80. end;
  81. function tx86inlinenode.first_arctan_real : tnode;
  82. begin
  83. expectloc:=LOC_FPUREGISTER;
  84. first_arctan_real := nil;
  85. end;
  86. function tx86inlinenode.first_abs_real : tnode;
  87. begin
  88. if use_vectorfpu(resultdef) then
  89. expectloc:=LOC_MMREGISTER
  90. else
  91. expectloc:=LOC_FPUREGISTER;
  92. first_abs_real := nil;
  93. end;
  94. function tx86inlinenode.first_sqr_real : tnode;
  95. begin
  96. expectloc:=LOC_FPUREGISTER;
  97. first_sqr_real := nil;
  98. end;
  99. function tx86inlinenode.first_sqrt_real : tnode;
  100. begin
  101. expectloc:=LOC_FPUREGISTER;
  102. first_sqrt_real := nil;
  103. end;
  104. function tx86inlinenode.first_ln_real : tnode;
  105. begin
  106. expectloc:=LOC_FPUREGISTER;
  107. first_ln_real := nil;
  108. end;
  109. function tx86inlinenode.first_cos_real : tnode;
  110. begin
  111. expectloc:=LOC_FPUREGISTER;
  112. first_cos_real := nil;
  113. end;
  114. function tx86inlinenode.first_sin_real : tnode;
  115. begin
  116. expectloc:=LOC_FPUREGISTER;
  117. first_sin_real := nil;
  118. end;
  119. function tx86inlinenode.first_round_real : tnode;
  120. begin
  121. {$ifdef x86_64}
  122. if use_vectorfpu(left.resultdef) then
  123. expectloc:=LOC_REGISTER
  124. else
  125. {$endif x86_64}
  126. expectloc:=LOC_REFERENCE;
  127. result:=nil;
  128. end;
  129. function tx86inlinenode.first_trunc_real: tnode;
  130. begin
  131. if (cs_opt_size in current_settings.optimizerswitches)
  132. {$ifdef x86_64}
  133. and not(use_vectorfpu(left.resultdef))
  134. {$endif x86_64}
  135. then
  136. result:=inherited
  137. else
  138. begin
  139. {$ifdef x86_64}
  140. if use_vectorfpu(left.resultdef) then
  141. expectloc:=LOC_REGISTER
  142. else
  143. {$endif x86_64}
  144. expectloc:=LOC_REFERENCE;
  145. result:=nil;
  146. end;
  147. end;
  148. function tx86inlinenode.first_popcnt: tnode;
  149. begin
  150. Result:=nil;
  151. if (current_settings.fputype<fpu_sse42)
  152. {$ifdef i386}
  153. or is_64bit(left.resultdef)
  154. {$endif i386}
  155. then
  156. Result:=inherited first_popcnt
  157. else
  158. expectloc:=LOC_REGISTER;
  159. end;
  160. procedure tx86inlinenode.second_Pi;
  161. begin
  162. location_reset(location,LOC_FPUREGISTER,def_cgsize(resultdef));
  163. emit_none(A_FLDPI,S_NO);
  164. tcgx86(cg).inc_fpu_stack;
  165. location.register:=NR_FPU_RESULT_REG;
  166. end;
  167. { load the FPU into the an fpu register }
  168. procedure tx86inlinenode.load_fpu_location;
  169. var
  170. lnode: tnode;
  171. begin
  172. location_reset(location,LOC_FPUREGISTER,def_cgsize(resultdef));
  173. location.register:=NR_FPU_RESULT_REG;
  174. {$ifdef i8086}
  175. if left.nodetype <> callparan then
  176. internalerror(2013031501);
  177. lnode := tcallparanode(left).left;
  178. {$else i8086}
  179. lnode := left;
  180. {$endif i8086}
  181. secondpass(lnode);
  182. case lnode.location.loc of
  183. LOC_FPUREGISTER:
  184. ;
  185. LOC_CFPUREGISTER:
  186. begin
  187. cg.a_loadfpu_reg_reg(current_asmdata.CurrAsmList,lnode.location.size,
  188. lnode.location.size,lnode.location.register,location.register);
  189. end;
  190. LOC_REFERENCE,LOC_CREFERENCE:
  191. begin
  192. cg.a_loadfpu_ref_reg(current_asmdata.CurrAsmList,
  193. lnode.location.size,lnode.location.size,
  194. lnode.location.reference,location.register);
  195. end;
  196. LOC_MMREGISTER,LOC_CMMREGISTER:
  197. begin
  198. location:=lnode.location;
  199. location_force_fpureg(current_asmdata.CurrAsmList,location,false);
  200. end;
  201. else
  202. internalerror(309991);
  203. end;
  204. end;
  205. procedure tx86inlinenode.second_arctan_real;
  206. begin
  207. load_fpu_location;
  208. emit_none(A_FLD1,S_NO);
  209. emit_none(A_FPATAN,S_NO);
  210. end;
  211. procedure tx86inlinenode.second_abs_real;
  212. var
  213. href : treference;
  214. begin
  215. if use_vectorfpu(resultdef) then
  216. begin
  217. secondpass(left);
  218. location_force_mmregscalar(current_asmdata.CurrAsmList,left.location,false);
  219. location:=left.location;
  220. case tfloatdef(resultdef).floattype of
  221. s32real:
  222. reference_reset_symbol(href,current_asmdata.RefAsmSymbol('FPC_ABSMASK_SINGLE'),0,4);
  223. s64real:
  224. reference_reset_symbol(href,current_asmdata.RefAsmSymbol('FPC_ABSMASK_DOUBLE'),0,4);
  225. else
  226. internalerror(200506081);
  227. end;
  228. tcgx86(cg).make_simple_ref(current_asmdata.CurrAsmList, href);
  229. current_asmdata.CurrAsmList.concat(taicpu.op_ref_reg(A_ANDPS,S_XMM,href,location.register))
  230. end
  231. else
  232. begin
  233. load_fpu_location;
  234. emit_none(A_FABS,S_NO);
  235. end;
  236. end;
  237. procedure tx86inlinenode.second_round_real;
  238. begin
  239. {$ifdef x86_64}
  240. if use_vectorfpu(left.resultdef) then
  241. begin
  242. secondpass(left);
  243. location_force_mmregscalar(current_asmdata.CurrAsmList,left.location,false);
  244. location_reset(location,LOC_REGISTER,OS_S64);
  245. location.register:=cg.getintregister(current_asmdata.CurrAsmList,OS_S64);
  246. case left.location.size of
  247. OS_F32:
  248. current_asmdata.CurrAsmList.concat(taicpu.op_reg_reg(A_CVTSS2SI,S_Q,left.location.register,location.register));
  249. OS_F64:
  250. current_asmdata.CurrAsmList.concat(taicpu.op_reg_reg(A_CVTSD2SI,S_Q,left.location.register,location.register));
  251. else
  252. internalerror(2007031402);
  253. end;
  254. end
  255. else
  256. {$endif x86_64}
  257. begin
  258. load_fpu_location;
  259. location_reset_ref(location,LOC_REFERENCE,OS_S64,0);
  260. tg.GetTemp(current_asmdata.CurrAsmList,resultdef.size,resultdef.alignment,tt_normal,location.reference);
  261. emit_ref(A_FISTP,S_IQ,location.reference);
  262. tcgx86(cg).dec_fpu_stack;
  263. emit_none(A_FWAIT,S_NO);
  264. end;
  265. end;
  266. procedure tx86inlinenode.second_trunc_real;
  267. var
  268. oldcw,newcw : treference;
  269. begin
  270. {$ifdef x86_64}
  271. if use_vectorfpu(left.resultdef) and
  272. not((left.location.loc=LOC_FPUREGISTER) and (current_settings.fputype>=fpu_sse3)) then
  273. begin
  274. secondpass(left);
  275. location_force_mmregscalar(current_asmdata.CurrAsmList,left.location,false);
  276. location_reset(location,LOC_REGISTER,OS_S64);
  277. location.register:=cg.getintregister(current_asmdata.CurrAsmList,OS_S64);
  278. case left.location.size of
  279. OS_F32:
  280. current_asmdata.CurrAsmList.concat(taicpu.op_reg_reg(A_CVTTSS2SI,S_Q,left.location.register,location.register));
  281. OS_F64:
  282. current_asmdata.CurrAsmList.concat(taicpu.op_reg_reg(A_CVTTSD2SI,S_Q,left.location.register,location.register));
  283. else
  284. internalerror(2007031401);
  285. end;
  286. end
  287. else
  288. {$endif x86_64}
  289. begin
  290. if (current_settings.fputype>=fpu_sse3) then
  291. begin
  292. load_fpu_location;
  293. location_reset_ref(location,LOC_REFERENCE,OS_S64,0);
  294. tg.GetTemp(current_asmdata.CurrAsmList,resultdef.size,resultdef.alignment,tt_normal,location.reference);
  295. emit_ref(A_FISTTP,S_IQ,location.reference);
  296. tcgx86(cg).dec_fpu_stack;
  297. end
  298. else
  299. begin
  300. tg.GetTemp(current_asmdata.CurrAsmList,2,2,tt_normal,oldcw);
  301. tg.GetTemp(current_asmdata.CurrAsmList,2,2,tt_normal,newcw);
  302. emit_ref(A_FNSTCW,S_NO,newcw);
  303. emit_ref(A_FNSTCW,S_NO,oldcw);
  304. emit_const_ref(A_OR,S_W,$0f00,newcw);
  305. load_fpu_location;
  306. emit_ref(A_FLDCW,S_NO,newcw);
  307. location_reset_ref(location,LOC_REFERENCE,OS_S64,0);
  308. tg.GetTemp(current_asmdata.CurrAsmList,resultdef.size,resultdef.alignment,tt_normal,location.reference);
  309. emit_ref(A_FISTP,S_IQ,location.reference);
  310. tcgx86(cg).dec_fpu_stack;
  311. emit_ref(A_FLDCW,S_NO,oldcw);
  312. emit_none(A_FWAIT,S_NO);
  313. tg.UnGetTemp(current_asmdata.CurrAsmList,oldcw);
  314. tg.UnGetTemp(current_asmdata.CurrAsmList,newcw);
  315. end;
  316. end;
  317. end;
  318. procedure tx86inlinenode.second_sqr_real;
  319. begin
  320. if use_vectorfpu(resultdef) then
  321. begin
  322. secondpass(left);
  323. location_force_mmregscalar(current_asmdata.CurrAsmList,left.location,false);
  324. location:=left.location;
  325. cg.a_opmm_loc_reg(current_asmdata.CurrAsmList,OP_MUL,left.location.size,left.location,left.location.register,mms_movescalar);
  326. end
  327. else
  328. begin
  329. load_fpu_location;
  330. emit_reg_reg(A_FMUL,S_NO,NR_ST0,NR_ST0);
  331. end;
  332. end;
  333. procedure tx86inlinenode.second_sqrt_real;
  334. begin
  335. if use_vectorfpu(resultdef) then
  336. begin
  337. secondpass(left);
  338. location_force_mmregscalar(current_asmdata.CurrAsmList,left.location,false);
  339. location:=left.location;
  340. case tfloatdef(resultdef).floattype of
  341. s32real:
  342. current_asmdata.CurrAsmList.concat(taicpu.op_reg_reg(A_SQRTSS,S_XMM,location.register,location.register));
  343. s64real:
  344. current_asmdata.CurrAsmList.concat(taicpu.op_reg_reg(A_SQRTSD,S_XMM,location.register,location.register));
  345. else
  346. internalerror(200510031);
  347. end;
  348. end
  349. else
  350. begin
  351. load_fpu_location;
  352. emit_none(A_FSQRT,S_NO);
  353. end;
  354. end;
  355. procedure tx86inlinenode.second_ln_real;
  356. begin
  357. load_fpu_location;
  358. emit_none(A_FLDLN2,S_NO);
  359. emit_none(A_FXCH,S_NO);
  360. emit_none(A_FYL2X,S_NO);
  361. end;
  362. procedure tx86inlinenode.second_cos_real;
  363. begin
  364. load_fpu_location;
  365. emit_none(A_FCOS,S_NO);
  366. end;
  367. procedure tx86inlinenode.second_sin_real;
  368. begin
  369. load_fpu_location;
  370. emit_none(A_FSIN,S_NO)
  371. end;
  372. procedure tx86inlinenode.second_prefetch;
  373. var
  374. ref : treference;
  375. r : tregister;
  376. begin
  377. {$if defined(i386) or defined(i8086)}
  378. if current_settings.cputype>=cpu_Pentium3 then
  379. {$endif i386 or i8086}
  380. begin
  381. secondpass(left);
  382. case left.location.loc of
  383. LOC_CREFERENCE,
  384. LOC_REFERENCE:
  385. begin
  386. r:=cg.getintregister(current_asmdata.CurrAsmList,OS_ADDR);
  387. cg.a_loadaddr_ref_reg(current_asmdata.CurrAsmList,left.location.reference,r);
  388. reference_reset_base(ref,r,0,left.location.reference.alignment);
  389. current_asmdata.CurrAsmList.concat(taicpu.op_ref(A_PREFETCHNTA,S_NO,ref));
  390. end;
  391. else
  392. internalerror(200402021);
  393. end;
  394. end;
  395. end;
  396. {$ifndef i8086}
  397. procedure tx86inlinenode.second_abs_long;
  398. var
  399. hregister : tregister;
  400. opsize : tcgsize;
  401. hp : taicpu;
  402. begin
  403. {$ifdef i386}
  404. if current_settings.cputype<cpu_Pentium2 then
  405. begin
  406. opsize:=def_cgsize(left.resultdef);
  407. secondpass(left);
  408. hlcg.location_force_reg(current_asmdata.CurrAsmList,left.location,left.resultdef,left.resultdef,false);
  409. location:=left.location;
  410. location.register:=cg.getintregister(current_asmdata.CurrAsmList,opsize);
  411. emit_reg_reg(A_MOV,S_L,left.location.register,location.register);
  412. emit_const_reg(A_SAR,tcgsize2opsize[opsize],31,left.location.register);
  413. emit_reg_reg(A_XOR,S_L,left.location.register,location.register);
  414. emit_reg_reg(A_SUB,S_L,left.location.register,location.register);
  415. end
  416. else
  417. {$endif i386}
  418. begin
  419. opsize:=def_cgsize(left.resultdef);
  420. secondpass(left);
  421. hlcg.location_force_reg(current_asmdata.CurrAsmList,left.location,left.resultdef,left.resultdef,true);
  422. hregister:=cg.getintregister(current_asmdata.CurrAsmList,opsize);
  423. location:=left.location;
  424. location.register:=cg.getintregister(current_asmdata.CurrAsmList,opsize);
  425. cg.a_load_reg_reg(current_asmdata.CurrAsmList,opsize,opsize,left.location.register,hregister);
  426. cg.a_load_reg_reg(current_asmdata.CurrAsmList,opsize,opsize,left.location.register,location.register);
  427. emit_reg(A_NEG,tcgsize2opsize[opsize],hregister);
  428. hp:=taicpu.op_reg_reg(A_CMOVcc,tcgsize2opsize[opsize],hregister,location.register);
  429. hp.condition:=C_NS;
  430. current_asmdata.CurrAsmList.concat(hp);
  431. end;
  432. end;
  433. {$endif not i8086}
  434. {*****************************************************************************
  435. INCLUDE/EXCLUDE GENERIC HANDLING
  436. *****************************************************************************}
  437. procedure tx86inlinenode.second_IncludeExclude;
  438. var
  439. hregister,
  440. hregister2: tregister;
  441. setbase : aint;
  442. bitsperop,l : longint;
  443. cgop : topcg;
  444. asmop : tasmop;
  445. opdef : tdef;
  446. opsize,
  447. orgsize: tcgsize;
  448. begin
  449. if is_smallset(tcallparanode(left).resultdef) then
  450. begin
  451. opdef:=tcallparanode(left).resultdef;
  452. opsize:=int_cgsize(opdef.size)
  453. end
  454. else
  455. begin
  456. opdef:=u32inttype;
  457. opsize:=OS_32;
  458. end;
  459. bitsperop:=(8*tcgsize2size[opsize]);
  460. secondpass(tcallparanode(left).left);
  461. secondpass(tcallparanode(tcallparanode(left).right).left);
  462. setbase:=tsetdef(tcallparanode(left).left.resultdef).setbase;
  463. if tcallparanode(tcallparanode(left).right).left.location.loc=LOC_CONSTANT then
  464. begin
  465. { calculate bit position }
  466. l:=1 shl ((tcallparanode(tcallparanode(left).right).left.location.value-setbase) mod bitsperop);
  467. { determine operator }
  468. if inlinenumber=in_include_x_y then
  469. cgop:=OP_OR
  470. else
  471. begin
  472. cgop:=OP_AND;
  473. l:=not(l);
  474. end;
  475. case tcallparanode(left).left.location.loc of
  476. LOC_REFERENCE :
  477. begin
  478. inc(tcallparanode(left).left.location.reference.offset,
  479. ((tcallparanode(tcallparanode(left).right).left.location.value-setbase) div bitsperop)*tcgsize2size[opsize]);
  480. cg.a_op_const_ref(current_asmdata.CurrAsmList,cgop,opsize,l,tcallparanode(left).left.location.reference);
  481. end;
  482. LOC_CREGISTER :
  483. cg.a_op_const_reg(current_asmdata.CurrAsmList,cgop,tcallparanode(left).left.location.size,l,tcallparanode(left).left.location.register);
  484. else
  485. internalerror(200405022);
  486. end;
  487. end
  488. else
  489. begin
  490. orgsize:=opsize;
  491. if opsize in [OS_8,OS_S8] then
  492. begin
  493. opdef:=u32inttype;
  494. opsize:=OS_32;
  495. end;
  496. { determine asm operator }
  497. if inlinenumber=in_include_x_y then
  498. asmop:=A_BTS
  499. else
  500. asmop:=A_BTR;
  501. hlcg.location_force_reg(current_asmdata.CurrAsmList,tcallparanode(tcallparanode(left).right).left.location,tcallparanode(tcallparanode(left).right).left.resultdef,opdef,true);
  502. register_maybe_adjust_setbase(current_asmdata.CurrAsmList,tcallparanode(tcallparanode(left).right).left.location,setbase);
  503. hregister:=tcallparanode(tcallparanode(left).right).left.location.register;
  504. if (tcallparanode(left).left.location.loc=LOC_REFERENCE) then
  505. emit_reg_ref(asmop,tcgsize2opsize[opsize],hregister,tcallparanode(left).left.location.reference)
  506. else
  507. begin
  508. { second argument can't be an 8 bit register either }
  509. hregister2:=tcallparanode(left).left.location.register;
  510. if (orgsize in [OS_8,OS_S8]) then
  511. hregister2:=cg.makeregsize(current_asmdata.CurrAsmList,hregister2,opsize);
  512. emit_reg_reg(asmop,tcgsize2opsize[opsize],hregister,hregister2);
  513. end;
  514. end;
  515. end;
  516. procedure tx86inlinenode.second_popcnt;
  517. var
  518. opsize: tcgsize;
  519. begin
  520. secondpass(left);
  521. opsize:=tcgsize2unsigned[left.location.size];
  522. { no 8 Bit popcont }
  523. if opsize=OS_8 then
  524. opsize:=OS_16;
  525. if not(left.location.loc in [LOC_REGISTER,LOC_CREGISTER,LOC_REFERENCE,LOC_CREFERENCE]) or
  526. (left.location.size<>opsize) then
  527. hlcg.location_force_reg(current_asmdata.CurrAsmList,left.location,left.resultdef,hlcg.tcgsize2orddef(opsize),true);
  528. location_reset(location,LOC_REGISTER,opsize);
  529. location.register:=cg.getintregister(current_asmdata.CurrAsmList,opsize);
  530. if left.location.loc in [LOC_REGISTER,LOC_CREGISTER] then
  531. current_asmdata.CurrAsmList.concat(taicpu.op_reg_reg(A_POPCNT,TCGSize2OpSize[opsize],left.location.register,location.register))
  532. else
  533. current_asmdata.CurrAsmList.concat(taicpu.op_ref_reg(A_POPCNT,TCGSize2OpSize[opsize],left.location.reference,location.register));
  534. end;
  535. end.