nx86inl.pas 19 KB

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