cpubase.pas 25 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761
  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_cond(c: TAsmCond;var r : TAsmCond);
  414. function flags_to_cond(const f: TResFlags) : TAsmCond;
  415. procedure create_cond_imm(BO,BI:byte;var r : TAsmCond);
  416. procedure create_cond_norm(cond: TAsmCondFlag; cr: byte;var r : TasmCond);
  417. procedure clear_location(var loc : tlocation);
  418. procedure set_location(var destloc,sourceloc : tlocation);
  419. procedure swap_location(var destloc,sourceloc : tlocation);
  420. {*****************************************************************************
  421. Init/Done
  422. *****************************************************************************}
  423. procedure InitCpu;
  424. procedure DoneCpu;
  425. implementation
  426. uses
  427. verbose
  428. {$ifdef heaptrc}
  429. ,ppheap
  430. {$endif heaptrc}
  431. ;
  432. {*****************************************************************************
  433. Helpers
  434. *****************************************************************************}
  435. function is_calljmp(o:tasmop):boolean;
  436. begin
  437. is_calljmp:=false;
  438. case o of
  439. A_B,A_BA,A_BL,A_BLA,A_BC,A_BCA,A_BCL,A_BCLA,A_BCCTR,A_BCCTRL,A_BCLR,
  440. A_BCLRL,A_TW,A_TWI: is_calljmp:=true;
  441. end;
  442. end;
  443. procedure disposereference(var r : preference);
  444. begin
  445. dispose(r);
  446. r:=nil;
  447. end;
  448. function newreference(const r : treference) : preference;
  449. var
  450. p : preference;
  451. begin
  452. new(p);
  453. p^:=r;
  454. newreference:=p;
  455. end;
  456. procedure reset_reference(var ref : treference);
  457. begin
  458. FillChar(ref,sizeof(treference),0)
  459. end;
  460. function new_reference(base : tregister;offset : longint) : preference;
  461. var
  462. r : preference;
  463. begin
  464. new(r);
  465. FillChar(r^,sizeof(treference),0);
  466. r^.base:=base;
  467. r^.offset:=offset;
  468. new_reference:=r;
  469. end;
  470. procedure inverse_cond(c: TAsmCond;var r : TAsmCond);
  471. const
  472. inv_condflags:array[TAsmCondFlag] of TAsmCondFlag=(C_None,
  473. C_GE,C_GT,C_NE,C_LT,C_LE,C_LT,C_EQ,C_GT,C_NS,C_SO,C_NU,C_UN,
  474. C_F,C_T,C_DNZ,C_DNZF,C_DNZT,C_DZ,C_DZF,C_DZT);
  475. begin
  476. c.cond := inv_condflags[c.cond];
  477. r := c;
  478. end;
  479. function flags_to_cond(const f: TResFlags) : TAsmCond;
  480. const
  481. flag_2_cond: array[F_EQ..F_SO] of TAsmCondFlag =
  482. (C_EQ,C_NE,C_LT,C_LE,C_GT,C_GE,C_SO);
  483. begin
  484. if f.flag > high(flag_2_cond) then
  485. internalerror(200112301);
  486. result.simple := true;
  487. result.cr := f.cr;
  488. result.cond := flag_2_cond[f.flag];
  489. end;
  490. procedure create_cond_imm(BO,BI:byte;var r : TAsmCond);
  491. begin
  492. r.simple := false;
  493. r.bo := bo;
  494. r.bi := bi;
  495. end;
  496. procedure create_cond_norm(cond: TAsmCondFlag; cr: byte;var r : TasmCond);
  497. const cr2reg: array[0..7] of tregister =
  498. (R_CR0,R_CR1,R_CR2,R_CR3,R_CR4,R_CR5,R_CR6,R_CR7);
  499. begin
  500. r.simple := true;
  501. r.cond := cond;
  502. case cond of
  503. C_NONE:;
  504. C_T..C_DZF: r.crbit := cr
  505. else r.cr := cr2reg[cr];
  506. end;
  507. end;
  508. procedure clear_location(var loc : tlocation);
  509. begin
  510. loc.loc:=LOC_INVALID;
  511. end;
  512. {This is needed if you want to be able to delete the string with the nodes !!}
  513. procedure set_location(var destloc,sourceloc : tlocation);
  514. begin
  515. destloc:= sourceloc;
  516. end;
  517. procedure swap_location(var destloc,sourceloc : tlocation);
  518. var
  519. swapl : tlocation;
  520. begin
  521. swapl := destloc;
  522. destloc := sourceloc;
  523. sourceloc := swapl;
  524. end;
  525. {*****************************************************************************
  526. Init/Done
  527. *****************************************************************************}
  528. procedure InitCpu;
  529. begin
  530. end;
  531. procedure DoneCpu;
  532. begin
  533. end;
  534. end.
  535. {
  536. $Log$
  537. Revision 1.9 2002-04-21 15:48:39 carl
  538. * some small updates according to i386 version
  539. Revision 1.8 2002/04/20 21:41:51 carl
  540. * renamed some constants
  541. Revision 1.7 2002/04/06 18:13:02 jonas
  542. * several powerpc-related additions and fixes
  543. Revision 1.6 2001/12/30 17:24:48 jonas
  544. * range checking is now processor independent (part in cgobj, part in
  545. cg64f32) and should work correctly again (it needed some changes after
  546. the changes of the low and high of tordef's to int64)
  547. * maketojumpbool() is now processor independent (in ncgutil)
  548. * getregister32 is now called getregisterint
  549. Revision 1.5 2001/12/29 15:28:58 jonas
  550. * powerpc/cgcpu.pas compiles :)
  551. * several powerpc-related fixes
  552. * cpuasm unit is now based on common tainst unit
  553. + nppcmat unit for powerpc (almost complete)
  554. Revision 1.4 2001/09/28 20:40:05 jonas
  555. * several additions, almost complete (only some problems with resflags left)
  556. Revision 1.3 2001/09/06 15:25:56 jonas
  557. * changed type of tcg from object to class -> abstract methods are now
  558. a lot cleaner :)
  559. + more updates: load_*_loc methods, op_*_* methods, g_flags2reg method
  560. (if possible with geenric implementation and necessary ppc
  561. implementations)
  562. * worked a bit further on cgflw, now working on exitnode
  563. Revision 1.2 2001/08/26 13:31:04 florian
  564. * some cg reorganisation
  565. * some PPC updates
  566. Revision 1.2 2001/08/26 13:29:34 florian
  567. * some cg reorganisation
  568. * some PPC updates
  569. Revision 1.1 2000/07/13 06:30:12 michael
  570. + Initial import
  571. Revision 1.15 2000/05/01 11:04:49 jonas
  572. * changed NOT to A_NOP
  573. Revision 1.14 2000/04/29 09:01:06 jonas
  574. * nmem compiles again (at least for powerpc)
  575. Revision 1.13 2000/03/26 16:38:06 jonas
  576. * frame_pointer = stackpointer instead of R_NO
  577. Revision 1.12 2000/01/07 01:14:58 peter
  578. * updated copyright to 2000
  579. Revision 1.11 1999/12/24 22:48:10 jonas
  580. * compiles again
  581. Revision 1.10 1999/11/09 22:57:09 peter
  582. * compiles again both i386,alpha both with optimizer
  583. Revision 1.9 1999/10/20 12:21:34 jonas
  584. * changed scratch_registers to (R_11,_R12,R_30) because R_0 is a special
  585. case and R_31 is used as some kind of frame pointer under LinuxPPC
  586. Revision 1.8 1999/10/14 14:57:55 florian
  587. - removed the hcodegen use in the new cg, use cgbase instead
  588. Revision 1.7 1999/09/15 20:35:47 florian
  589. * small fix to operator overloading when in MMX mode
  590. + the compiler uses now fldz and fld1 if possible
  591. + some fixes to floating point registers
  592. + some math. functions (arctan, ln, sin, cos, sqrt, sqr, pi) are now inlined
  593. * .... ???
  594. Revision 1.6 1999/09/03 13:11:59 jonas
  595. * several changes to the way conditional branches are handled\n * some typos fixed
  596. Revision 1.5 1999/08/23 23:27:54 pierre
  597. + dummy InitCpu/DoneCpu
  598. Revision 1.4 1999/08/06 16:41:12 jonas
  599. * PowerPC compiles again, several routines implemented in cgcpu.pas
  600. * added constant to cpubase of alpha and powerpc for maximum
  601. number of operands
  602. Revision 1.3 1999/08/05 14:58:18 florian
  603. * some fixes for the floating point registers
  604. * more things for the new code generator
  605. Revision 1.2 1999/08/04 12:59:25 jonas
  606. * all tokes now start with an underscore
  607. * PowerPC compiles!!
  608. Revision 1.1 1999/08/03 23:37:53 jonas
  609. + initial implementation for PowerPC based on the Alpha stuff
  610. }