nx86inl.pas 21 KB

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