cpubase.pas 25 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766
  1. {
  2. $Id$
  3. Copyright (c) 1998-2000 by Florian Klaempfl
  4. Contains the base types for the PowerPC
  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 cpubase;
  19. {$i defines.inc}
  20. interface
  21. uses
  22. strings,cutils,cclasses,aasm,cpuinfo,cginfo;
  23. {$ifndef NOOPT}
  24. Type
  25. {What an instruction can change}
  26. TInsChange = (Ch_None);
  27. {$endif}
  28. const
  29. { Size of the instruction table converted by nasmconv.pas }
  30. instabentries = 1103;
  31. maxinfolen = 7;
  32. { By default we want everything }
  33. {$define ATTOP}
  34. {$define ATTREG}
  35. {$define INTELOP}
  36. {$define ITTABLE}
  37. { For TP we can't use asmdebug due the table sizes }
  38. {$ifndef TP}
  39. {$define ASMDEBUG}
  40. {$endif}
  41. { We Don't need the intel style opcodes if we don't have a intel }
  42. { reader or generator }
  43. {$undef INTELOP}
  44. { We Don't need the AT&T style opcodes if we don't have a AT&T
  45. reader or generator }
  46. {$ifdef NORA386ATT}
  47. {$ifdef NOAG386ATT}
  48. {$undef ATTOP}
  49. {$ifdef NOAG386DIR}
  50. {$undef ATTREG}
  51. {$endif}
  52. {$endif}
  53. {$endif}
  54. type
  55. TAsmOp=(A_None,
  56. { normal opcodes }
  57. a_add, a_add_, a_addo, a_addo_, a_addc, a_addc_, a_addco, a_addco_,
  58. a_adde, a_adde_, a_addeo, a_addeo_, a_addi, a_addic, a_addic_, a_addis,
  59. a_addme, a_addme_, a_addmeo, a_addmeo_, a_addze, a_addze_, a_addzeo,
  60. a_addzeo_, a_and, a_and_, a_andc, a_andc_, a_andi_, a_andis_, a_b,
  61. a_ba, a_bl, a_bla, a_bc, a_bca, a_bcl, a_bcla, a_bcctr, a_bcctrl, a_bclr,
  62. a_bclrl, a_cmp, a_cmpi, a_cmpl, a_cmpli, a_cntlzw, a_cntlzw_, a_crand,
  63. a_crandc, a_creqv, a_crnand, a_crnor, a_cror, a_crorc, a_crxor, a_dcba,
  64. a_dcbf, a_dcbi, a_dcbst, a_dcbt, a_divw, a_divw_, a_divwo, a_divwo_,
  65. a_divwu, a_divwu_, a_divwuo, a_divwuo_, a_eciwx, a_ecowx, a_eieio, a_eqv,
  66. a_eqv_, a_extsb, a_extsb_, a_extsh, a_extsh_, a_fabs, a_fabs_, a_fadd,
  67. a_fadd_, a_fadds, a_fadds_, a_fcmpo, a_fcmpu, a_fctiw, a_fctw_, a_fctwz,
  68. a_fctwz_, a_fdiv, a_fdiv_, a_fdivs, a_fdivs_, a_fmadd, a_fmadd_, a_fmadds,
  69. a_fmadds_, a_fmr, a_fmsub, a_fmsub_, a_fmsubs, a_fmsubs_, a_fmul, a_fmul_,
  70. a_fmuls, a_fmuls_, a_fnabs, a_fnabs_, a_fneg, a_fneg_, a_fnmadd,
  71. a_fnmadd_, a_fnmadds, a_fnmadds_, a_fnmsub, a_fnmsub_, a_fnmsubs,
  72. a_fnmsubs_, a_fres, a_fres_, a_frsp, a_frsp_, a_frsqrte, a_frsqrte_,
  73. a_fsel, a_fsel_, a_fsqrt, a_fsqrt_, a_fsqrts, a_fsqrts_, a_fsub, a_fsub_,
  74. a_fsubs, a_fsubs_, a_icbi, a_isync, a_lbz, a_lbzu, a_lbzux, a_lbzx,
  75. a_lfd, a_lfdu, a_lfdux, a_lfdx, a_lfs, a_lfsu, a_lfsux, a_lfsx, a_lha,
  76. a_lhau, a_lhaux, a_lhax, a_hbrx, a_lhz, a_lhzu, a_lhzux, a_lhzx, a_lmw,
  77. a_lswi, a_lswx, a_lwarx, a_lwbrx, a_lwz, a_lwzu, a_lwzux, a_lwzx, a_mcrf,
  78. a_mcrfs, a_mcrxr, a_lcrxe, a_mfcr, a_mffs, a_maffs_, a_mfmsr, a_mfspr, a_mfsr,
  79. a_mfsrin, a_mftb, a_mtfcrf, a_a_mtfd0, a_mtfsb1, a_mtfsf, a_mtfsf_,
  80. a_mtfsfi, a_mtfsfi_, a_mtmsr, a_mtspr, a_mtsr, a_mtsrin, a_mulhw,
  81. a_mulhw_, a_mulhwu, a_mulhwu_, a_mulli, a_mullw, a_mullw_, a_mullwo,
  82. a_mullwo_, a_nand, a_nand_, a_neg, a_neg_, a_nego, a_nego_, a_nor, a_nor_,
  83. a_or, a_or_, a_orc, a_orc_, a_ori, a_oris, a_rfi, a_rlwimi, a_rlwimi_,
  84. a_rlwinm, a_tlwinm_, a_rlwnm, a_sc, a_slw, a_slw_, a_sraw, a_sraw_,
  85. a_srawi, a_srawi_,a_srw, a_srw_, a_stb, a_stbu, a_stbux, a_stbx, a_stfd,
  86. a_stfdu, a_stfdux, a_stfdx, a_stfiwx, a_stfs, a_stfsu, a_stfsux, a_stfsx,
  87. a_sth, a_sthbrx, a_sthu, a_sthux, a_sthx, a_stmw, a_stswi, a_stswx, a_stw,
  88. a_stwbrx, a_stwx_, a_stwu, a_stwux, a_stwx, a_subf, a_subf_, a_subfo,
  89. a_subfo_, a_subfc, a_subfc_, a_subfco, a_subfco_, a_subfe, a_subfe_,
  90. a_subfeo, a_subfeo_, a_subfic, a_subfme, a_subfme_, a_subfmeo, a_subfmeo_,
  91. a_subfze, a_subfze_, a_subfzeo, a_subfzeo_, a_sync, a_tlbia, a_tlbie,
  92. a_tlbsync, a_tw, a_twi, a_xor, a_xor_, a_xori, a_xoris,
  93. { simplified mnemonics }
  94. a_subi, a_subis, a_subic, a_subic_, a_sub, a_sub_, a_subo, a_subo_,
  95. a_subc, a_subc_, a_subco, _subco_, a_cmpwi, a_cmpw, a_cmplwi, a_cmplw,
  96. a_extlwi, a_extlwi_, a_extrwi, a_extrwi_, a_inslwi, a_inslwi_, a_insrwi,
  97. a_insrwi_, a_rotlwi, a_rotlwi_, a_rotlw, a_rotlw_, a_slwi, a_slwi_,
  98. a_srwi, a_srwi_, a_clrlwi, a_clrlwi_, a_clrrwi, a_clrrwi_, a_clrslwi,
  99. a_clrslwi_, a_blr, a_bctr, a_blrl, a_bctrl, a_crset, a_crclr, a_crmove,
  100. a_crnot, a_mt {move to special prupose reg}, a_mf {move from special purpose reg},
  101. a_nop, a_li, a_lis, a_la, a_mr, a_mr_, a_not, a_mtcr);
  102. op2strtable=array[tasmop] of string[8];
  103. const
  104. firstop = low(tasmop);
  105. lastop = high(tasmop);
  106. {*****************************************************************************
  107. Registers
  108. *****************************************************************************}
  109. type
  110. tregister = (R_NO,
  111. R_0,R_1,R_2,R_3,R_4,R_5,R_6,R_7,R_8,R_9,R_10,R_11,R_12,R_13,R_14,R_15,R_16,
  112. R_17,R_18,R_19,R_20,R_21,R_22,R_23,R_24,R_25,R_26,R_27,R_28,R_29,R_30,R_31,
  113. R_F0,R_F1,R_F2,R_F3,R_F4,R_F5,R_F6,R_F7,R_F8,R_F9,R_F10,R_F11,R_F12,
  114. R_F13,R_F14,R_F15,R_F16,R_F17, R_F18,R_F19,R_F20,R_F21,R_F22, R_F23,R_F24,
  115. R_F25,R_F26,R_F27,R_F28,R_F29,R_F30,R_F31,
  116. R_M0,R_M1,R_M2,R_M3,R_M4,R_M5,R_M6,R_M7,R_M8,R_M9,R_M10,R_M11,R_M12,
  117. R_M13,R_M14,R_M15,R_M16,R_M17,R_M18,R_M19,R_M20,R_M21,R_M22, R_M23,R_M24,
  118. R_M25,R_M26,R_M27,R_M28,R_M29,R_M30,R_M31,
  119. R_CR,R_CR0,R_CR1,R_CR2,R_CR3,R_CR4,R_CR5,R_CR6,R_CR7,
  120. R_XER,R_LR,R_CTR,R_FPSCR
  121. );
  122. tregisterset = set of tregister;
  123. reg2strtable = array[tregister] of string[5];
  124. Const
  125. R_SPR1 = R_XER;
  126. R_SPR8 = R_LR;
  127. R_SPR9 = R_CTR;
  128. R_TOC = R_2;
  129. { CR0 = 0;
  130. CR1 = 4;
  131. CR2 = 8;
  132. CR3 = 12;
  133. CR4 = 16;
  134. CR5 = 20;
  135. CR6 = 24;
  136. CR7 = 28;
  137. LT = 0;
  138. GT = 1;
  139. EQ = 2;
  140. SO = 3;
  141. FX = 4;
  142. FEX = 5;
  143. VX = 6;
  144. OX = 7;}
  145. firstreg = low(tregister);
  146. lastreg = high(tregister);
  147. att_reg2str : reg2strtable = ('',
  148. '0','1','2','3','4','5','6','7','8','9','10','11','12','13','14','15','16',
  149. '17','18','19','20','21','22','23','24','25','26','27','28','29','30','31',
  150. 'F0','F1','F2','F3','F4','F5','F6','F7', 'F8','F9','F10','F11','F12',
  151. 'F13','F14','F15','F16','F17', 'F18','F19','F20','F21','F22', 'F23','F24',
  152. 'F25','F26','F27','F28','F29','F30','F31',
  153. 'M0','M1','M2','M3','M4','M5','M6','M7','M8','M9','M10','M11','M12',
  154. 'M13','M14','M15','M16','M17','M18','M19','M20','M21','M22', 'M23','M24',
  155. 'M25','M26','M27','M28','M29','M30','M31',
  156. 'CR','CR0','CR1','CR2','CR3','CR4','CR5','CR6','CR7',
  157. 'XER','LR','CTR','FPSCR'
  158. );
  159. mot_reg2str : reg2strtable = ('',
  160. 'r0','r1','r2','r3','r4','r5','r6','r7','r8','r9','r10','r11','r12','r13',
  161. 'r14','r15','r16','r17','r18','r19','r20','r21','r22','r23','r24','r25',
  162. 'r26','r27','r28','r29','r30','r31',
  163. 'F0','F1','F2','F3','F4','F5','F6','F7', 'F8','F9','F10','F11','F12',
  164. 'F13','F14','F15','F16','F17', 'F18','F19','F20','F21','F22', 'F23','F24',
  165. 'F25','F26','F27','F28','F29','F30','F31',
  166. 'M0','M1','M2','M3','M4','M5','M6','M7','M8','M9','M10','M11','M12',
  167. 'M13','M14','M15','M16','M17','M18','M19','M20','M21','M22', 'M23','M24',
  168. 'M25','M26','M27','M28','M29','M30','M31',
  169. 'CR','CR0','CR1','CR2','CR3','CR4','CR5','CR6','CR7',
  170. 'XER','LR','CTR','FPSCR'
  171. );
  172. { FIX ME !!!!!!!!! }
  173. ALL_REGISTERS = [R_0..R_FPSCR];
  174. {*****************************************************************************
  175. Conditions
  176. *****************************************************************************}
  177. type
  178. {$ifndef tp}
  179. {$minenumsize 1}
  180. {$endif tp}
  181. TAsmCondFlag = (C_None { unconditional jumps },
  182. { conditions when not using ctr decrement etc }
  183. C_LT,C_LE,C_EQ,C_GE,C_GT,C_NL,C_NE,C_NG,C_SO,C_NS,C_UN,C_NU,
  184. { conditions when using ctr decrement etc }
  185. C_T,C_F,C_DNZ,C_DNZT,C_DNZF,C_DZ,C_DZT,C_DZF);
  186. const
  187. { these are in the XER, but when moved to CR_x they correspond with the }
  188. { bits below (still needs to be verified!!!) }
  189. C_OV = C_EQ;
  190. C_CA = C_GT;
  191. type
  192. {$ifndef tp}
  193. {$minenumsize default}
  194. {$endif tp}
  195. TAsmCond = packed record
  196. case simple: boolean of
  197. false: (BO, BI: byte);
  198. true: (
  199. cond: TAsmCondFlag;
  200. case byte of
  201. 0: ();
  202. { specifies in which part of the cr the bit has to be }
  203. { tested for blt,bgt,beq,..,bnu }
  204. 1: (cr: R_CR0..R_CR7);
  205. { specifies the bit to test for bt,bf,bdz,..,bdzf }
  206. 2: (crbit: byte)
  207. );
  208. end;
  209. const
  210. AsmCondFlag2BO: Array[C_T..C_DZF] of Byte =
  211. (12,4,16,8,0,18,10,2);
  212. AsmCondFlag2BI: Array[C_LT..C_NU] of Byte =
  213. (0,1,2,0,1,0,2,1,3,3,3,3);
  214. AsmCondFlagTF: Array[TAsmCondFlag] of Boolean =
  215. (false,true,false,true,false,true,false,false,false,true,false,true,false,
  216. true,false,false,true,false,false,true,false);
  217. AsmCondFlag2Str: Array[TAsmCondFlag] of string[4] = ({cf_none}'',
  218. { conditions when not using ctr decrement etc}
  219. 'lt','le','eq','ge','gt','nl','ne','ng','so','ns','un','nu',
  220. 't','f','dnz','dzt','dnzf','dz','dzt','dzf');
  221. const
  222. CondAsmOps=3;
  223. CondAsmOp:array[0..CondAsmOps-1] of TasmOp=(
  224. A_BC, A_TW, A_TWI
  225. );
  226. {*****************************************************************************
  227. Flags
  228. *****************************************************************************}
  229. type
  230. TResFlagsEnum = (F_EQ,F_NE,F_LT,F_LE,F_GT,F_GE,F_SO,F_FX,F_FEX,F_VX,F_OX);
  231. TResFlags = record
  232. cr: R_CR0..R_CR7;
  233. flag: TResFlagsEnum;
  234. end;
  235. (*
  236. const
  237. { arrays for boolean location conversions }
  238. flag_2_cond : array[TResFlags] of TAsmCond =
  239. (C_E,C_NE,C_LT,C_LE,C_GT,C_GE,???????????????);
  240. *)
  241. {*****************************************************************************
  242. Reference
  243. *****************************************************************************}
  244. type
  245. { since we have only 16 offsets, we need to be able to specify the high }
  246. { and low 16 bits of the address of a symbol }
  247. trefsymaddr = (refs_full,refs_ha,refs_l);
  248. { immediate/reference record }
  249. preference = ^treference;
  250. treference = packed record
  251. is_immediate: boolean; { is this used as reference or immediate }
  252. base, index : tregister;
  253. offset : longint;
  254. symbol : tasmsymbol;
  255. symaddr : trefsymaddr;
  256. offsetfixup : longint;
  257. alignment : byte;
  258. end;
  259. const symaddr2str: array[trefsymaddr] of string[3] = ('','@ha','@l');
  260. {*****************************************************************************
  261. Operand
  262. *****************************************************************************}
  263. type
  264. toptype=(top_none,top_reg,top_ref,top_const,top_symbol,top_bool);
  265. toper=record
  266. ot : longint;
  267. case typ : toptype of
  268. top_none : ();
  269. top_reg : (reg:tregister);
  270. top_ref : (ref:preference);
  271. top_const : (val:aword);
  272. top_symbol : (sym:tasmsymbol;symofs:longint);
  273. top_bool : (b: boolean);
  274. end;
  275. {*****************************************************************************
  276. Generic Location
  277. *****************************************************************************}
  278. type
  279. TLoc=(
  280. LOC_INVALID, { added for tracking problems}
  281. LOC_CONSTANT, { ordinal constant }
  282. LOC_REGISTER, { in a processor register }
  283. LOC_CREGISTER, { Constant register which shouldn't be modified }
  284. LOC_FPUREGISTER, { FPU register}
  285. LOC_CFPUREGISTER,{ Constant FPU register which shouldn't be modified }
  286. LOC_MMREGISTER, { multimedia register }
  287. LOC_CMMREGISTER, { Constant multimedia reg which shouldn't be modified }
  288. LOC_REFERENCE, { in memory }
  289. LOC_CREFERENCE, { in memory (constant) }
  290. LOC_JUMP, { boolean results only, jump to false or true label }
  291. LOC_FLAGS { boolean results only, flags are set }
  292. );
  293. plocation = ^tlocation;
  294. tlocation = packed record
  295. size : TCGSize;
  296. case loc : tloc of
  297. LOC_CREFERENCE,LOC_REFERENCE : (reference : treference);
  298. LOC_CONSTANT : (
  299. case longint of
  300. 1 : (value : AWord);
  301. 2 : (valuelow, valuehigh:AWord);
  302. );
  303. LOC_FPUREGISTER, LOC_CFPUREGISTER, LOC_MMREGISTER, LOC_CMMREGISTER,
  304. LOC_REGISTER,LOC_CREGISTER : (
  305. case longint of
  306. 1 : (registerlow,registerhigh : tregister);
  307. { overlay a registerlow }
  308. 2 : (register : tregister);
  309. );
  310. LOC_JUMP : ();
  311. LOC_FLAGS : (resflags : tresflags);
  312. LOC_INVALID : ();
  313. { segment in reference at the same place as in loc_register }
  314. end;
  315. {*****************************************************************************
  316. Constants
  317. *****************************************************************************}
  318. const
  319. usableregsint = [R_13..R_30];
  320. usableregsfpu = [R_F14..R_F31];
  321. usableregsmm = [R_M14..R_M31];
  322. firstsaveintreg = R_13;
  323. lastsaveintreg = R_30;
  324. firstsavefpureg = R_F14;
  325. lastsavefpureg = R_F31;
  326. { no altivec support yet. Need to override tcgobj.a_loadmm_* first in tcgppc }
  327. firstsavemmreg = R_NO;
  328. lastsavemmreg = R_NO;
  329. lvaluelocations = [LOC_REFERENCE, LOC_CREGISTER, LOC_CFPUREGISTER,
  330. LOC_CMMREGISTER];
  331. c_countusableregsint = 21;
  332. c_countusableregsfpu = 32;
  333. c_countusableregsmm = 32;
  334. max_operands = 5;
  335. maxvarregs = 18;
  336. varregs : Array [1..maxvarregs] of Tregister =
  337. (R_13,R_14,R_15,R_16,R_17,R_18,R_19,R_20,R_21,R_22,R_23,R_24,R_25,
  338. R_26,R_27,R_28,R_29,R_30);
  339. maxfpuvarregs = 31-14+1;
  340. fpuvarregs : Array [1..maxfpuvarregs] of Tregister =
  341. (R_F14,R_F15,R_F16,R_F17,R_F18,R_F19,R_F20,R_F21,R_F22,R_F23,
  342. R_F24,R_F25,R_F26,R_F27,R_F28,R_F29,R_F30,R_F31);
  343. max_param_regs_int = 8;
  344. param_regs_int: Array[1..max_param_regs_int] of tregister =
  345. (R_3,R_4,R_5,R_6,R_7,R_8,R_9,R_10);
  346. max_param_regs_fpu = 13;
  347. param_regs_fpu: Array[1..max_param_regs_fpu] of tregister =
  348. (R_F1,R_F2,R_F3,R_F4,R_F5,R_F6,R_F7,R_F8,R_F9,R_F10,R_F11,R_F12,R_F13);
  349. max_param_regs_mm = 13;
  350. param_regs_mm: Array[1..max_param_regs_mm] of tregister =
  351. (R_M1,R_M2,R_M3,R_M4,R_M5,R_M6,R_M7,R_M8,R_M9,R_M10,R_M11,R_M12,R_M13);
  352. general_registers = [R_0..R_31];
  353. intregs = [R_0..R_31];
  354. fpuregs = [R_F0..R_F31];
  355. mmregs = [R_M0..R_M31];
  356. { generic register names }
  357. stack_pointer_reg= R_1;
  358. R_RTOC = R_2;
  359. frame_pointer_reg = stack_pointer_reg;
  360. self_pointer_reg = R_9;
  361. accumulator = R_3;
  362. accumulatorhigh = R_4;
  363. max_scratch_regs = 3;
  364. scratch_regs: Array[1..max_scratch_regs] of TRegister = (R_11,R_12,R_31);
  365. maxintregs = maxvarregs;
  366. maxfpuregs = maxfpuvarregs;
  367. { low and high of the available maximum width integer general purpose }
  368. { registers }
  369. LoGPReg = R_0;
  370. HiGPReg = R_31;
  371. { low and high of every possible width general purpose register (same as }
  372. { above on most architctures apart from the 80x86) }
  373. LoReg = R_0;
  374. HiReg = R_31;
  375. { sizes }
  376. extended_size = 8;
  377. LinkageAreaSize = 24;
  378. { offset in the linkage area for the saved stack pointer }
  379. LA_SP = 0;
  380. { offset in the linkage area for the saved conditional register}
  381. LA_CR = 4;
  382. { offset in the linkage area for the saved link register}
  383. LA_LR = 8;
  384. { offset in the linkage area for the saved RTOC register}
  385. LA_RTOC = 20;
  386. {*****************************************************************************
  387. GCC /ABI linking information
  388. *****************************************************************************}
  389. {# Registers which must be saved when calling a routine declared as
  390. cppdecl, cdecl, stdcall, safecall, palmossyscall. The registers
  391. saved should be the ones as defined in the target ABI and / or GCC.
  392. This value can be deduced from CALLED_USED_REGISTERS array in the
  393. GCC source.
  394. }
  395. std_saved_registers = [R_13..R_29];
  396. {# Required parameter alignment when calling a routine declared as
  397. stdcall and cdecl. The alignment value should be the one defined
  398. by GCC or the target ABI.
  399. The value of this constant is equal to the constant
  400. PARM_BOUNDARY / BITS_PER_UNIT in the GCC source.
  401. }
  402. std_param_align = 4; { for 32-bit version only }
  403. {*****************************************************************************
  404. Helpers
  405. *****************************************************************************}
  406. { resets all values of ref to defaults }
  407. procedure reset_reference(var ref : treference);
  408. { set mostly used values of a new reference }
  409. function new_reference(base : tregister;offset : longint) : preference;
  410. function newreference(const r : treference) : preference;
  411. procedure disposereference(var r : preference);
  412. function is_calljmp(o:tasmop):boolean;
  413. procedure inverse_flags(var f: TResFlags);
  414. procedure inverse_cond(c: TAsmCond;var r : TAsmCond);
  415. function flags_to_cond(const f: TResFlags) : TAsmCond;
  416. procedure create_cond_imm(BO,BI:byte;var r : TAsmCond);
  417. procedure create_cond_norm(cond: TAsmCondFlag; cr: byte;var r : TasmCond);
  418. procedure clear_location(var loc : tlocation);
  419. procedure set_location(var destloc,sourceloc : tlocation);
  420. procedure swap_location(var destloc,sourceloc : tlocation);
  421. {*****************************************************************************
  422. Init/Done
  423. *****************************************************************************}
  424. procedure InitCpu;
  425. procedure DoneCpu;
  426. implementation
  427. uses
  428. verbose
  429. {$ifdef heaptrc}
  430. ,ppheap
  431. {$endif heaptrc}
  432. ;
  433. {*****************************************************************************
  434. Helpers
  435. *****************************************************************************}
  436. function is_calljmp(o:tasmop):boolean;
  437. begin
  438. is_calljmp:=false;
  439. case o of
  440. A_B,A_BA,A_BL,A_BLA,A_BC,A_BCA,A_BCL,A_BCLA,A_BCCTR,A_BCCTRL,A_BCLR,
  441. A_BCLRL,A_TW,A_TWI: is_calljmp:=true;
  442. end;
  443. end;
  444. procedure disposereference(var r : preference);
  445. begin
  446. dispose(r);
  447. r:=nil;
  448. end;
  449. function newreference(const r : treference) : preference;
  450. var
  451. p : preference;
  452. begin
  453. new(p);
  454. p^:=r;
  455. newreference:=p;
  456. end;
  457. procedure reset_reference(var ref : treference);
  458. begin
  459. FillChar(ref,sizeof(treference),0)
  460. end;
  461. function new_reference(base : tregister;offset : longint) : preference;
  462. var
  463. r : preference;
  464. begin
  465. new(r);
  466. FillChar(r^,sizeof(treference),0);
  467. r^.base:=base;
  468. r^.offset:=offset;
  469. new_reference:=r;
  470. end;
  471. procedure inverse_flags(var f: TResFlags);
  472. const
  473. flagsinvers : array[F_EQ..F_GE] of tresflagsenum =
  474. (F_NE,F_EQ,F_GE,F_GT,F_LE,F_LT);
  475. begin
  476. f.flag := flagsinvers[f.flag];
  477. end;
  478. procedure inverse_cond(c: TAsmCond;var r : TAsmCond);
  479. const
  480. inv_condflags:array[TAsmCondFlag] of TAsmCondFlag=(C_None,
  481. C_GE,C_GT,C_NE,C_LT,C_LE,C_LT,C_EQ,C_GT,C_NS,C_SO,C_NU,C_UN,
  482. C_F,C_T,C_DNZ,C_DNZF,C_DNZT,C_DZ,C_DZF,C_DZT);
  483. begin
  484. c.cond := inv_condflags[c.cond];
  485. r := c;
  486. end;
  487. function flags_to_cond(const f: TResFlags) : TAsmCond;
  488. const
  489. flag_2_cond: array[F_EQ..F_SO] of TAsmCondFlag =
  490. (C_EQ,C_NE,C_LT,C_LE,C_GT,C_GE,C_SO);
  491. begin
  492. if f.flag > high(flag_2_cond) then
  493. internalerror(200112301);
  494. result.simple := true;
  495. result.cr := f.cr;
  496. result.cond := flag_2_cond[f.flag];
  497. end;
  498. procedure create_cond_imm(BO,BI:byte;var r : TAsmCond);
  499. begin
  500. r.simple := false;
  501. r.bo := bo;
  502. r.bi := bi;
  503. end;
  504. procedure create_cond_norm(cond: TAsmCondFlag; cr: byte;var r : TasmCond);
  505. const cr2reg: array[0..7] of tregister =
  506. (R_CR0,R_CR1,R_CR2,R_CR3,R_CR4,R_CR5,R_CR6,R_CR7);
  507. begin
  508. r.simple := true;
  509. r.cond := cond;
  510. case cond of
  511. C_NONE:;
  512. C_T..C_DZF: r.crbit := cr
  513. else r.cr := cr2reg[cr];
  514. end;
  515. end;
  516. procedure clear_location(var loc : tlocation);
  517. begin
  518. loc.loc:=LOC_INVALID;
  519. end;
  520. {This is needed if you want to be able to delete the string with the nodes !!}
  521. procedure set_location(var destloc,sourceloc : tlocation);
  522. begin
  523. destloc:= sourceloc;
  524. end;
  525. procedure swap_location(var destloc,sourceloc : tlocation);
  526. var
  527. swapl : tlocation;
  528. begin
  529. swapl := destloc;
  530. destloc := sourceloc;
  531. sourceloc := swapl;
  532. end;
  533. {*****************************************************************************
  534. Init/Done
  535. *****************************************************************************}
  536. procedure InitCpu;
  537. begin
  538. end;
  539. procedure DoneCpu;
  540. begin
  541. end;
  542. end.
  543. {
  544. $Log$
  545. Revision 1.8 2002-04-20 21:41:51 carl
  546. * renamed some constants
  547. Revision 1.7 2002/04/06 18:13:02 jonas
  548. * several powerpc-related additions and fixes
  549. Revision 1.6 2001/12/30 17:24:48 jonas
  550. * range checking is now processor independent (part in cgobj, part in
  551. cg64f32) and should work correctly again (it needed some changes after
  552. the changes of the low and high of tordef's to int64)
  553. * maketojumpbool() is now processor independent (in ncgutil)
  554. * getregister32 is now called getregisterint
  555. Revision 1.5 2001/12/29 15:28:58 jonas
  556. * powerpc/cgcpu.pas compiles :)
  557. * several powerpc-related fixes
  558. * cpuasm unit is now based on common tainst unit
  559. + nppcmat unit for powerpc (almost complete)
  560. Revision 1.4 2001/09/28 20:40:05 jonas
  561. * several additions, almost complete (only some problems with resflags left)
  562. Revision 1.3 2001/09/06 15:25:56 jonas
  563. * changed type of tcg from object to class -> abstract methods are now
  564. a lot cleaner :)
  565. + more updates: load_*_loc methods, op_*_* methods, g_flags2reg method
  566. (if possible with geenric implementation and necessary ppc
  567. implementations)
  568. * worked a bit further on cgflw, now working on exitnode
  569. Revision 1.2 2001/08/26 13:31:04 florian
  570. * some cg reorganisation
  571. * some PPC updates
  572. Revision 1.2 2001/08/26 13:29:34 florian
  573. * some cg reorganisation
  574. * some PPC updates
  575. Revision 1.1 2000/07/13 06:30:12 michael
  576. + Initial import
  577. Revision 1.15 2000/05/01 11:04:49 jonas
  578. * changed NOT to A_NOP
  579. Revision 1.14 2000/04/29 09:01:06 jonas
  580. * nmem compiles again (at least for powerpc)
  581. Revision 1.13 2000/03/26 16:38:06 jonas
  582. * frame_pointer = stackpointer instead of R_NO
  583. Revision 1.12 2000/01/07 01:14:58 peter
  584. * updated copyright to 2000
  585. Revision 1.11 1999/12/24 22:48:10 jonas
  586. * compiles again
  587. Revision 1.10 1999/11/09 22:57:09 peter
  588. * compiles again both i386,alpha both with optimizer
  589. Revision 1.9 1999/10/20 12:21:34 jonas
  590. * changed scratch_registers to (R_11,_R12,R_30) because R_0 is a special
  591. case and R_31 is used as some kind of frame pointer under LinuxPPC
  592. Revision 1.8 1999/10/14 14:57:55 florian
  593. - removed the hcodegen use in the new cg, use cgbase instead
  594. Revision 1.7 1999/09/15 20:35:47 florian
  595. * small fix to operator overloading when in MMX mode
  596. + the compiler uses now fldz and fld1 if possible
  597. + some fixes to floating point registers
  598. + some math. functions (arctan, ln, sin, cos, sqrt, sqr, pi) are now inlined
  599. * .... ???
  600. Revision 1.6 1999/09/03 13:11:59 jonas
  601. * several changes to the way conditional branches are handled\n * some typos fixed
  602. Revision 1.5 1999/08/23 23:27:54 pierre
  603. + dummy InitCpu/DoneCpu
  604. Revision 1.4 1999/08/06 16:41:12 jonas
  605. * PowerPC compiles again, several routines implemented in cgcpu.pas
  606. * added constant to cpubase of alpha and powerpc for maximum
  607. number of operands
  608. Revision 1.3 1999/08/05 14:58:18 florian
  609. * some fixes for the floating point registers
  610. * more things for the new code generator
  611. Revision 1.2 1999/08/04 12:59:25 jonas
  612. * all tokes now start with an underscore
  613. * PowerPC compiles!!
  614. Revision 1.1 1999/08/03 23:37:53 jonas
  615. + initial implementation for PowerPC based on the Alpha stuff
  616. }