ncgmat.pas 26 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683
  1. {
  2. Copyright (c) 1998-2002 by Florian Klaempfl
  3. Generate generic mathematical 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 ncgmat;
  18. {$i fpcdefs.inc}
  19. interface
  20. uses
  21. symtype,
  22. node,nmat,cpubase,cgbase;
  23. type
  24. tcgunaryminusnode = class(tunaryminusnode)
  25. protected
  26. { This routine is called to change the sign of the
  27. floating point value in the floating point
  28. register r.
  29. This routine should be overridden, since
  30. the generic version is not optimal at all. The
  31. generic version assumes that floating
  32. point values are stored in the register
  33. in IEEE-754 format.
  34. }
  35. procedure emit_float_sign_change(r: tregister; _size : tdef);virtual;
  36. {$ifdef SUPPORT_MMX}
  37. procedure second_mmx;virtual;abstract;
  38. {$endif SUPPORT_MMX}
  39. {$if not defined(cpu64bitalu) and not defined(cpuhighleveltarget)}
  40. procedure second_64bit;virtual;
  41. {$endif not cpu64bitalu and not cpuhighleveltarget}
  42. procedure second_integer;virtual;
  43. procedure second_float;virtual;
  44. procedure second_float_emulated;virtual;
  45. public
  46. procedure pass_generate_code;override;
  47. end;
  48. tcgmoddivnode = class(tmoddivnode)
  49. procedure pass_generate_code;override;
  50. protected
  51. { This routine must do an actual 32-bit division, be it
  52. signed or unsigned. The result must set into the the
  53. @var(num) register.
  54. @param(signed Indicates if the division must be signed)
  55. @param(denum Register containing the denominator
  56. @param(num Register containing the numerator, will also receive result)
  57. The actual optimizations regarding shifts have already
  58. been done and emitted, so this should really a do a divide.
  59. }
  60. procedure emit_div_reg_reg(signed: boolean;denum,num : tregister);virtual;abstract;
  61. { This routine must do an actual 32-bit modulo, be it
  62. signed or unsigned. The result must set into the the
  63. @var(num) register.
  64. @param(signed Indicates if the modulo must be signed)
  65. @param(denum Register containing the denominator
  66. @param(num Register containing the numerator, will also receive result)
  67. The actual optimizations regarding shifts have already
  68. been done and emitted, so this should really a do a modulo.
  69. }
  70. procedure emit_mod_reg_reg(signed: boolean;denum,num : tregister);virtual;abstract;
  71. {$if not defined(cpu64bitalu) and not defined(cpuhighleveltarget)}
  72. { This routine must do an actual 64-bit division, be it
  73. signed or unsigned. The result must set into the the
  74. @var(num) register.
  75. @param(signed Indicates if the division must be signed)
  76. @param(denum Register containing the denominator
  77. @param(num Register containing the numerator, will also receive result)
  78. The actual optimizations regarding shifts have already
  79. been done and emitted, so this should really a do a divide.
  80. Currently, this routine should only be implemented on
  81. 64-bit systems, otherwise a helper is called in 1st pass.
  82. }
  83. procedure emit64_div_reg_reg(signed: boolean;denum,num : tregister64);virtual;
  84. {$endif not cpu64bitalu and not cpuhighleveltarget}
  85. end;
  86. tcgshlshrnode = class(tshlshrnode)
  87. {$ifdef SUPPORT_MMX}
  88. procedure second_mmx;virtual;abstract;
  89. {$endif SUPPORT_MMX}
  90. {$if not defined(cpu64bitalu) and not defined(cpuhighleveltarget)}
  91. procedure second_64bit;virtual;
  92. {$endif not cpu64bitalu and not cpuhighleveltarget}
  93. procedure second_integer;virtual;
  94. procedure pass_generate_code;override;
  95. end;
  96. tcgnotnode = class(tnotnode)
  97. protected
  98. function handle_locjump: boolean;
  99. procedure second_boolean;virtual;abstract;
  100. {$ifdef SUPPORT_MMX}
  101. procedure second_mmx;virtual;abstract;
  102. {$endif SUPPORT_MMX}
  103. {$if not defined(cpu64bitalu) and not defined(cpuhighleveltarget)}
  104. procedure second_64bit;virtual;
  105. {$endif not cpu64bitalu and not cpuhighleveltarget}
  106. procedure second_integer;virtual;
  107. public
  108. procedure pass_generate_code;override;
  109. end;
  110. implementation
  111. uses
  112. globtype,systems,
  113. cutils,verbose,globals,
  114. symtable,symconst,symdef,aasmbase,aasmdata,aasmcpu,defutil,
  115. parabase,
  116. pass_2,
  117. ncon,
  118. tgobj,cgobj,cgutils,paramgr,hlcgobj;
  119. {*****************************************************************************
  120. TCGUNARYMINUSNODE
  121. *****************************************************************************}
  122. procedure tcgunaryminusnode.emit_float_sign_change(r: tregister; _size : tdef);
  123. var
  124. href,
  125. href2 : treference;
  126. begin
  127. { get a temporary memory reference to store the floating
  128. point value
  129. }
  130. tg.gethltemp(current_asmdata.CurrAsmList,_size,_size.size,tt_normal,href);
  131. { store the floating point value in the temporary memory area }
  132. case getregtype(r) of
  133. R_FPUREGISTER:
  134. hlcg.a_loadfpu_reg_ref(current_asmdata.CurrAsmList,_size,_size,r,href);
  135. R_MMREGISTER:
  136. hlcg.a_loadmm_reg_ref(current_asmdata.CurrAsmList,_size,_size,r,href,mms_movescalar);
  137. else
  138. internalerror(2015091005);
  139. end;
  140. { only single and double ieee are supported, for little endian
  141. the signed bit is in the second dword }
  142. href2:=href;
  143. if _size.typ<>floatdef then
  144. internalerror(2014012211);
  145. case tfloatdef(_size).floattype of
  146. s64real,
  147. s64comp,
  148. s64currency:
  149. if target_info.endian = endian_little then
  150. inc(href2.offset,4);
  151. s32real :
  152. ;
  153. else
  154. internalerror(200406021);
  155. end;
  156. { flip sign-bit (bit 31/63) of single/double }
  157. hlcg.a_op_const_ref(current_asmdata.CurrAsmList,OP_XOR,u32inttype,
  158. {$ifdef cpu64bitalu}
  159. aint($80000000),
  160. {$else cpu64bitalu}
  161. longint($80000000),
  162. {$endif cpu64bitalu}
  163. href2);
  164. case getregtype(r) of
  165. R_FPUREGISTER:
  166. hlcg.a_loadfpu_ref_reg(current_asmdata.CurrAsmList,_size,_size,href,r);
  167. R_MMREGISTER:
  168. hlcg.a_loadmm_ref_reg(current_asmdata.CurrAsmList,_size,_size,href,r,mms_movescalar);
  169. else
  170. internalerror(2015091006);
  171. end;
  172. tg.ungetiftemp(current_asmdata.CurrAsmList,href);
  173. end;
  174. {$if not defined(cpu64bitalu) and not defined(cpuhighleveltarget)}
  175. procedure tcgunaryminusnode.second_64bit;
  176. var
  177. tr: tregister;
  178. hl: tasmlabel;
  179. begin
  180. secondpass(left);
  181. location_reset(location,LOC_REGISTER,left.location.size);
  182. location.register64.reglo:=cg.getintregister(current_asmdata.CurrAsmList,OS_32);
  183. location.register64.reghi:=cg.getintregister(current_asmdata.CurrAsmList,OS_32);
  184. cg64.a_op64_loc_reg(current_asmdata.CurrAsmList,OP_NEG,OS_S64,
  185. left.location,joinreg64(location.register64.reglo,location.register64.reghi));
  186. { there's only overflow in case left was low(int64) -> -left = left }
  187. if (cs_check_overflow in current_settings.localswitches) then
  188. begin
  189. tr:=cg.getintregister(current_asmdata.CurrAsmList,OS_32);
  190. cg.a_op_const_reg_reg(current_asmdata.CurrAsmList,OP_XOR,OS_32,
  191. longint($80000000),location.register64.reghi,tr);
  192. cg.a_op_reg_reg(current_asmdata.CurrAsmList,OP_OR,OS_32,
  193. location.register64.reglo,tr);
  194. current_asmdata.getjumplabel(hl);
  195. cg.a_cmp_const_reg_label(current_asmdata.CurrAsmList,OS_32,OC_NE,0,tr,hl);
  196. cg.a_call_name(current_asmdata.CurrAsmList,'FPC_OVERFLOW',false);
  197. cg.a_label(current_asmdata.CurrAsmList,hl);
  198. end;
  199. end;
  200. {$endif not cpu64bitalu and not cpuhighleveltarget}
  201. procedure tcgunaryminusnode.second_float_emulated;
  202. begin
  203. secondpass(left);
  204. hlcg.location_force_reg(current_asmdata.CurrAsmList,left.location,left.resultdef,left.resultdef,false);
  205. location:=left.location;
  206. case location.size of
  207. OS_32:
  208. cg.a_op_const_reg(current_asmdata.CurrAsmList,OP_XOR,OS_32,tcgint($80000000),location.register);
  209. OS_64:
  210. {$ifdef cpu64bitalu}
  211. cg.a_op_const_reg(current_asmdata.CurrAsmList,OP_XOR,OS_64,tcgint($80000000),location.register);
  212. {$else cpu64bitalu}
  213. cg.a_op_const_reg(current_asmdata.CurrAsmList,OP_XOR,OS_32,tcgint($80000000),location.registerhi);
  214. {$endif cpu64bitalu}
  215. else
  216. internalerror(2014033101);
  217. end;
  218. end;
  219. procedure tcgunaryminusnode.second_float;
  220. begin
  221. secondpass(left);
  222. location_reset(location,LOC_FPUREGISTER,def_cgsize(resultdef));
  223. case left.location.loc of
  224. LOC_REFERENCE,
  225. LOC_CREFERENCE :
  226. begin
  227. location.register:=hlcg.getregisterfordef(current_asmdata.CurrAsmList,resultdef);
  228. case getregtype(location.register) of
  229. R_FPUREGISTER:
  230. hlcg.a_loadfpu_ref_reg(current_asmdata.CurrAsmList,
  231. left.resultdef,resultdef,
  232. left.location.reference,location.register);
  233. R_MMREGISTER:
  234. hlcg.a_loadmm_ref_reg(current_asmdata.CurrAsmList,
  235. left.resultdef,resultdef,
  236. left.location.reference,location.register,mms_movescalar);
  237. else
  238. internalerror(2015091004);
  239. end;
  240. emit_float_sign_change(location.register,left.resultdef);
  241. end;
  242. LOC_FPUREGISTER,
  243. LOC_CFPUREGISTER:
  244. begin
  245. location.register:=hlcg.getfpuregister(current_asmdata.CurrAsmList,resultdef);
  246. hlcg.a_loadfpu_reg_reg(current_asmdata.CurrAsmList,left.resultdef,resultdef,left.location.register,location.register);
  247. emit_float_sign_change(location.register,left.resultdef);
  248. end;
  249. LOC_MMREGISTER,
  250. LOC_CMMREGISTER:
  251. begin
  252. location.register:=hlcg.getmmregister(current_asmdata.CurrAsmList,resultdef);
  253. hlcg.a_loadmm_reg_reg(current_asmdata.CurrAsmList,left.resultdef,resultdef,left.location.register,location.register,mms_movescalar);
  254. emit_float_sign_change(location.register,left.resultdef);
  255. end
  256. else
  257. internalerror(200306021);
  258. end;
  259. end;
  260. procedure tcgunaryminusnode.second_integer;
  261. var
  262. hl: tasmlabel;
  263. begin
  264. secondpass(left);
  265. if not(left.location.loc in [LOC_REGISTER,LOC_CREGISTER]) then
  266. hlcg.location_force_reg(current_asmdata.CurrAsmList,left.location,left.resultdef,resultdef,false);
  267. location_reset(location,LOC_REGISTER,def_cgsize(resultdef));
  268. location.register:=cg.getintregister(current_asmdata.CurrAsmList,location.size);
  269. hlcg.a_op_reg_reg(current_asmdata.CurrAsmList,OP_NEG,resultdef,left.location.register,location.register);
  270. if (cs_check_overflow in current_settings.localswitches) then
  271. begin
  272. current_asmdata.getjumplabel(hl);
  273. hlcg.a_cmp_const_reg_label(current_asmdata.CurrAsmList,resultdef,OC_NE,torddef(resultdef).low.svalue,location.register,hl);
  274. hlcg.g_call_system_proc(current_asmdata.CurrAsmList,'fpc_overflow',[],nil).resetiftemp;
  275. hlcg.a_label(current_asmdata.CurrAsmList,hl);
  276. end;
  277. end;
  278. procedure tcgunaryminusnode.pass_generate_code;
  279. begin
  280. {$if not defined(cpu64bitalu) and not defined(cpuhighleveltarget)}
  281. if is_64bit(left.resultdef) then
  282. second_64bit
  283. else
  284. {$endif not cpu64bitalu and not cpuhighleveltarget}
  285. {$ifdef SUPPORT_MMX}
  286. if (cs_mmx in current_settings.localswitches) and is_mmx_able_array(left.resultdef) then
  287. second_mmx
  288. else
  289. {$endif SUPPORT_MMX}
  290. if (left.resultdef.typ=floatdef) then
  291. begin
  292. if (cs_fp_emulation in current_settings.moduleswitches) then
  293. second_float_emulated
  294. else
  295. second_float;
  296. end
  297. else
  298. second_integer;
  299. end;
  300. {*****************************************************************************
  301. TCGMODDIVNODE
  302. *****************************************************************************}
  303. {$if not defined(cpu64bitalu) and not defined(cpuhighleveltarget)}
  304. procedure tcgmoddivnode.emit64_div_reg_reg(signed: boolean; denum,num:tregister64);
  305. begin
  306. { handled in pass_1 already, unless pass_1 is
  307. overridden
  308. }
  309. { should be handled in pass_1 (JM) }
  310. internalerror(200109052);
  311. end;
  312. {$endif not cpu64bitalu and not cpuhighleveltarget}
  313. procedure tcgmoddivnode.pass_generate_code;
  314. var
  315. hreg1 : tregister;
  316. hdenom : tregister;
  317. power : longint;
  318. hl : tasmlabel;
  319. paraloc1 : tcgpara;
  320. opsize : tcgsize;
  321. opdef : tdef;
  322. pd: tprocdef;
  323. begin
  324. secondpass(left);
  325. if codegenerror then
  326. exit;
  327. secondpass(right);
  328. if codegenerror then
  329. exit;
  330. location_copy(location,left.location);
  331. {$if not defined(cpu64bitalu) and not defined(cpuhighleveltarget)}
  332. if is_64bit(resultdef) then
  333. begin
  334. if is_signed(left.resultdef) then
  335. opdef:=s64inttype
  336. else
  337. opdef:=u64inttype;
  338. { this code valid for 64-bit cpu's only ,
  339. otherwise helpers are called in pass_1
  340. }
  341. hlcg.location_force_reg(current_asmdata.CurrAsmList,location,left.resultdef,opdef,false);
  342. location_copy(location,left.location);
  343. hlcg.location_force_reg(current_asmdata.CurrAsmList,right.location,right.resultdef,opdef,false);
  344. emit64_div_reg_reg(is_signed(left.resultdef),
  345. joinreg64(right.location.register64.reglo,right.location.register64.reghi),
  346. joinreg64(location.register64.reglo,location.register64.reghi));
  347. end
  348. else
  349. {$endif not cpu64bitalu and not cpuhighleveltarget}
  350. begin
  351. if is_signed(left.resultdef) then
  352. begin
  353. opsize:=OS_SINT;
  354. opdef:=ossinttype;
  355. end
  356. else
  357. begin
  358. opsize:=OS_INT;
  359. opdef:=osuinttype;
  360. end;
  361. { put numerator in register }
  362. hlcg.location_force_reg(current_asmdata.CurrAsmList,left.location,left.resultdef,opdef,false);
  363. hreg1:=left.location.register;
  364. if (nodetype=divn) and
  365. (right.nodetype=ordconstn) and
  366. ispowerof2(tordconstnode(right).value.svalue,power) then
  367. Begin
  368. { for signed numbers, the numerator must be adjusted before the
  369. shift instruction, but not wih unsigned numbers! Otherwise,
  370. "Cardinal($ffffffff) div 16" overflows! (JM) }
  371. If is_signed(left.resultdef) Then
  372. Begin
  373. current_asmdata.getjumplabel(hl);
  374. cg.a_cmp_const_reg_label(current_asmdata.CurrAsmList,OS_INT,OC_GT,0,hreg1,hl);
  375. if power=1 then
  376. cg.a_op_const_reg(current_asmdata.CurrAsmList,OP_ADD,OS_INT,1,hreg1)
  377. else
  378. cg.a_op_const_reg(current_asmdata.CurrAsmList,OP_ADD,OS_INT,Tordconstnode(right).value.svalue-1,hreg1);
  379. cg.a_label(current_asmdata.CurrAsmList,hl);
  380. cg.a_op_const_reg(current_asmdata.CurrAsmList,OP_SAR,OS_INT,power,hreg1);
  381. End
  382. Else { not signed }
  383. cg.a_op_const_reg(current_asmdata.CurrAsmList,OP_SHR,OS_INT,power,hreg1);
  384. End
  385. else
  386. begin
  387. { bring denominator to hdenom }
  388. { hdenom is always free, it's }
  389. { only used for temporary }
  390. { purposes }
  391. hdenom := cg.getintregister(current_asmdata.CurrAsmList,OS_INT);
  392. hlcg.a_load_loc_reg(current_asmdata.CurrAsmList,right.resultdef,osuinttype,right.location,hdenom);
  393. { verify if the divisor is zero, if so return an error immediately,
  394. except if we have a const node, where we don't need this, because
  395. then zero check was done earlier.
  396. }
  397. if (right.nodetype <> ordconstn) then
  398. begin
  399. current_asmdata.getjumplabel(hl);
  400. cg.a_cmp_const_reg_label(current_asmdata.CurrAsmList,OS_INT,OC_NE,0,hdenom,hl);
  401. paraloc1.init;
  402. pd:=search_system_proc('fpc_handleerror');
  403. paramanager.getcgtempparaloc(current_asmdata.CurrAsmList,pd,1,paraloc1);
  404. cg.a_load_const_cgpara(current_asmdata.CurrAsmList,OS_S32,aint(200),paraloc1);
  405. paramanager.freecgpara(current_asmdata.CurrAsmList,paraloc1);
  406. cg.a_call_name(current_asmdata.CurrAsmList,'FPC_HANDLEERROR',false);
  407. paraloc1.done;
  408. cg.a_label(current_asmdata.CurrAsmList,hl);
  409. end;
  410. if nodetype = modn then
  411. emit_mod_reg_reg(is_signed(left.resultdef),hdenom,hreg1)
  412. else
  413. emit_div_reg_reg(is_signed(left.resultdef),hdenom,hreg1);
  414. end;
  415. location_reset(location,LOC_REGISTER,opsize);
  416. location.register:=hreg1;
  417. end;
  418. cg.g_overflowcheck(current_asmdata.CurrAsmList,location,resultdef);
  419. end;
  420. {*****************************************************************************
  421. TCGSHLRSHRNODE
  422. *****************************************************************************}
  423. {$if not defined(cpu64bitalu) and not defined(cpuhighleveltarget)}
  424. procedure tcgshlshrnode.second_64bit;
  425. begin
  426. { already hanled in 1st pass }
  427. internalerror(2002081501);
  428. end;
  429. {$endif not cpu64bitalu and not cpuhighleveltarget}
  430. procedure tcgshlshrnode.second_integer;
  431. var
  432. op : topcg;
  433. opdef,shiftcountdef: tdef;
  434. hcountreg : tregister;
  435. opsize : tcgsize;
  436. shiftval : longint;
  437. begin
  438. { determine operator }
  439. case nodetype of
  440. shln: op:=OP_SHL;
  441. shrn: op:=OP_SHR;
  442. else
  443. internalerror(2013120102);
  444. end;
  445. {$ifdef cpunodefaultint}
  446. opsize:=left.location.size;
  447. opdef:=left.resultdef;
  448. shiftcountdef:=opdef;
  449. {$else cpunodefaultint}
  450. if left.resultdef.size<=4 then
  451. begin
  452. if is_signed(left.resultdef) then
  453. begin
  454. if (sizeof(aint)<4) and
  455. (left.resultdef.size<=sizeof(aint)) then
  456. begin
  457. opsize:=OS_SINT;
  458. opdef:=sinttype;
  459. end
  460. else
  461. begin
  462. opdef:=s32inttype;
  463. opsize:=OS_S32;
  464. end;
  465. {$ifdef cpu16bitalu}
  466. shiftcountdef:=s16inttype;
  467. {$else cpu16bitalu}
  468. shiftcountdef:=opdef;
  469. {$endif cpu16bitalu}
  470. end
  471. else
  472. begin
  473. if (sizeof(aint)<4) and
  474. (left.resultdef.size<=sizeof(aint)) then
  475. begin
  476. opsize:=OS_INT;
  477. opdef:=uinttype;
  478. end
  479. else
  480. begin
  481. opdef:=u32inttype;
  482. opsize:=OS_32;
  483. end;
  484. {$ifdef cpu16bitalu}
  485. shiftcountdef:=u16inttype;
  486. {$else cpu16bitalu}
  487. shiftcountdef:=opdef;
  488. {$endif cpu16bitalu}
  489. end
  490. end
  491. else
  492. begin
  493. if is_signed(left.resultdef) then
  494. begin
  495. opdef:=s64inttype;
  496. opsize:=OS_S64;
  497. end
  498. else
  499. begin
  500. opdef:=u64inttype;
  501. opsize:=OS_64;
  502. end;
  503. shiftcountdef:=opdef;
  504. end;
  505. {$endif cpunodefaultint}
  506. if not(left.location.loc in [LOC_CREGISTER,LOC_REGISTER]) or
  507. { location_force_reg can be also used to change the size of a register }
  508. (left.location.size<>opsize) then
  509. hlcg.location_force_reg(current_asmdata.CurrAsmList,left.location,left.resultdef,opdef,true);
  510. location_reset(location,LOC_REGISTER,opsize);
  511. location.register:=hlcg.getintregister(current_asmdata.CurrAsmList,resultdef);
  512. { shifting by a constant directly coded: }
  513. if (right.nodetype=ordconstn) then
  514. begin
  515. { shl/shr must "wrap around", so use ... and 31 }
  516. { In TP, "byte/word shl 16 = 0", so no "and 15" in case of
  517. a 16 bit ALU }
  518. if tcgsize2size[opsize]<=4 then
  519. shiftval:=tordconstnode(right).value.uvalue and 31
  520. else
  521. shiftval:=tordconstnode(right).value.uvalue and 63;
  522. hlcg.a_op_const_reg_reg(current_asmdata.CurrAsmList,op,opdef,
  523. shiftval,left.location.register,location.register);
  524. end
  525. else
  526. begin
  527. { load right operators in a register - this
  528. is done since most target cpu which will use this
  529. node do not support a shift count in a mem. location (cec)
  530. }
  531. hlcg.location_force_reg(current_asmdata.CurrAsmList,right.location,right.resultdef,shiftcountdef,true);
  532. hlcg.a_op_reg_reg_reg(current_asmdata.CurrAsmList,op,opdef,right.location.register,left.location.register,location.register);
  533. end;
  534. { shl/shr nodes return the same type as left, which can be different
  535. from opdef }
  536. if opdef<>resultdef then
  537. begin
  538. hcountreg:=hlcg.getintregister(current_asmdata.CurrAsmList,resultdef);
  539. hlcg.a_load_reg_reg(current_asmdata.CurrAsmList,opdef,resultdef,location.register,hcountreg);
  540. location.register:=hcountreg;
  541. end;
  542. end;
  543. procedure tcgshlshrnode.pass_generate_code;
  544. begin
  545. secondpass(left);
  546. secondpass(right);
  547. {$ifdef SUPPORT_MMX}
  548. if (cs_mmx in current_settings.localswitches) and is_mmx_able_array(left.resultdef) then
  549. second_mmx
  550. else
  551. {$endif SUPPORT_MMX}
  552. {$if not defined(cpu64bitalu) and not defined(cpuhighleveltarget)}
  553. if is_64bit(left.resultdef) then
  554. second_64bit
  555. else
  556. {$endif not cpu64bitalu and not cpuhighleveltarget}
  557. second_integer;
  558. end;
  559. {*****************************************************************************
  560. TCGNOTNODE
  561. *****************************************************************************}
  562. {$if not defined(cpu64bitalu) and not defined(cpuhighleveltarget)}
  563. procedure tcgnotnode.second_64bit;
  564. begin
  565. secondpass(left);
  566. if not(left.location.loc in [LOC_REGISTER,LOC_CREGISTER]) then
  567. hlcg.location_force_reg(current_asmdata.CurrAsmList,left.location,left.resultdef,left.resultdef,false);
  568. location_reset(location,LOC_REGISTER,left.location.size);
  569. location.register64.reglo:=cg.getintregister(current_asmdata.CurrAsmList,OS_32);
  570. location.register64.reghi:=cg.getintregister(current_asmdata.CurrAsmList,OS_32);
  571. { perform the NOT operation }
  572. cg64.a_op64_reg_reg(current_asmdata.CurrAsmList,OP_NOT,location.size,left.location.register64,location.register64);
  573. end;
  574. {$endif not cpu64bitalu and not cpuhighleveltarget}
  575. procedure tcgnotnode.second_integer;
  576. begin
  577. secondpass(left);
  578. if not(left.location.loc in [LOC_REGISTER,LOC_CREGISTER]) then
  579. hlcg.location_force_reg(current_asmdata.CurrAsmList,left.location,left.resultdef,left.resultdef,false);
  580. location_reset(location,LOC_REGISTER,left.location.size);
  581. location.register:=cg.getintregister(current_asmdata.CurrAsmList,location.size);
  582. { perform the NOT operation }
  583. hlcg.a_op_reg_reg(current_asmdata.CurrAsmList,OP_NOT,left.resultdef,left.location.register,location.register);
  584. end;
  585. function tcgnotnode.handle_locjump: boolean;
  586. begin
  587. result:=left.location.loc=LOC_JUMP;
  588. if result then
  589. begin
  590. if is_constboolnode(left) then
  591. internalerror(2014010101);
  592. if left.location.loc<>LOC_JUMP then
  593. internalerror(2012081306);
  594. { switch true and false labels to invert result }
  595. location_reset_jump(location,left.location.falselabel,left.location.truelabel);
  596. end;
  597. end;
  598. procedure tcgnotnode.pass_generate_code;
  599. begin
  600. if is_boolean(resultdef) then
  601. second_boolean
  602. {$ifdef SUPPORT_MMX}
  603. else if (cs_mmx in current_settings.localswitches) and is_mmx_able_array(left.resultdef) then
  604. second_mmx
  605. {$endif SUPPORT_MMX}
  606. {$if not defined(cpu64bitalu) and not defined(cpuhighleveltarget)}
  607. else if is_64bit(left.resultdef) then
  608. second_64bit
  609. {$endif not cpu64bitalu and not cpuhighleveltarget}
  610. else
  611. second_integer;
  612. end;
  613. begin
  614. cmoddivnode:=tcgmoddivnode;
  615. cunaryminusnode:=tcgunaryminusnode;
  616. cshlshrnode:=tcgshlshrnode;
  617. cnotnode:=tcgnotnode;
  618. end.