cpubase.pas 34 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930
  1. {
  2. $Id$
  3. Copyright (c) 1998-2002 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. { This Unit contains the base types for the PowerPC
  19. }
  20. unit cpubase;
  21. {$i fpcdefs.inc}
  22. interface
  23. uses
  24. strings,cutils,cclasses,aasmbase,cpuinfo,cgbase;
  25. {*****************************************************************************
  26. Assembler Opcodes
  27. *****************************************************************************}
  28. type
  29. TAsmOp=(A_None,
  30. { normal opcodes }
  31. a_add, a_add_, a_addo, a_addo_, a_addc, a_addc_, a_addco, a_addco_,
  32. a_adde, a_adde_, a_addeo, a_addeo_, a_addi, a_addic, a_addic_, a_addis,
  33. a_addme, a_addme_, a_addmeo, a_addmeo_, a_addze, a_addze_, a_addzeo,
  34. a_addzeo_, a_and, a_and_, a_andc, a_andc_, a_andi_, a_andis_, a_b,
  35. a_ba, a_bl, a_bla, a_bc, a_bca, a_bcl, a_bcla, a_bcctr, a_bcctrl, a_bclr,
  36. a_bclrl, a_cmp, a_cmpi, a_cmpl, a_cmpli, a_cntlzw, a_cntlzw_, a_crand,
  37. a_crandc, a_creqv, a_crnand, a_crnor, a_cror, a_crorc, a_crxor, a_dcba,
  38. a_dcbf, a_dcbi, a_dcbst, a_dcbt, a_divw, a_divw_, a_divwo, a_divwo_,
  39. a_divwu, a_divwu_, a_divwuo, a_divwuo_, a_eciwx, a_ecowx, a_eieio, a_eqv,
  40. a_eqv_, a_extsb, a_extsb_, a_extsh, a_extsh_, a_fabs, a_fabs_, a_fadd,
  41. a_fadd_, a_fadds, a_fadds_, a_fcmpo, a_fcmpu, a_fctiw, a_fctw_, a_fctwz,
  42. a_fctwz_, a_fdiv, a_fdiv_, a_fdivs, a_fdivs_, a_fmadd, a_fmadd_, a_fmadds,
  43. a_fmadds_, a_fmr, a_fmsub, a_fmsub_, a_fmsubs, a_fmsubs_, a_fmul, a_fmul_,
  44. a_fmuls, a_fmuls_, a_fnabs, a_fnabs_, a_fneg, a_fneg_, a_fnmadd,
  45. a_fnmadd_, a_fnmadds, a_fnmadds_, a_fnmsub, a_fnmsub_, a_fnmsubs,
  46. a_fnmsubs_, a_fres, a_fres_, a_frsp, a_frsp_, a_frsqrte, a_frsqrte_,
  47. a_fsel, a_fsel_, a_fsqrt, a_fsqrt_, a_fsqrts, a_fsqrts_, a_fsub, a_fsub_,
  48. a_fsubs, a_fsubs_, a_icbi, a_isync, a_lbz, a_lbzu, a_lbzux, a_lbzx,
  49. a_lfd, a_lfdu, a_lfdux, a_lfdx, a_lfs, a_lfsu, a_lfsux, a_lfsx, a_lha,
  50. a_lhau, a_lhaux, a_lhax, a_hbrx, a_lhz, a_lhzu, a_lhzux, a_lhzx, a_lmw,
  51. a_lswi, a_lswx, a_lwarx, a_lwbrx, a_lwz, a_lwzu, a_lwzux, a_lwzx, a_mcrf,
  52. a_mcrfs, a_mcrxr, a_lcrxe, a_mfcr, a_mffs, a_maffs_, a_mfmsr, a_mfspr, a_mfsr,
  53. a_mfsrin, a_mftb, a_mtfcrf, a_a_mtfd0, a_mtfsb1, a_mtfsf, a_mtfsf_,
  54. a_mtfsfi, a_mtfsfi_, a_mtmsr, a_mtspr, a_mtsr, a_mtsrin, a_mulhw,
  55. a_mulhw_, a_mulhwu, a_mulhwu_, a_mulli, a_mullw, a_mullw_, a_mullwo,
  56. a_mullwo_, a_nand, a_nand_, a_neg, a_neg_, a_nego, a_nego_, a_nor, a_nor_,
  57. a_or, a_or_, a_orc, a_orc_, a_ori, a_oris, a_rfi, a_rlwimi, a_rlwimi_,
  58. a_rlwinm, a_rlwinm_, a_rlwnm, a_sc, a_slw, a_slw_, a_sraw, a_sraw_,
  59. a_srawi, a_srawi_,a_srw, a_srw_, a_stb, a_stbu, a_stbux, a_stbx, a_stfd,
  60. a_stfdu, a_stfdux, a_stfdx, a_stfiwx, a_stfs, a_stfsu, a_stfsux, a_stfsx,
  61. a_sth, a_sthbrx, a_sthu, a_sthux, a_sthx, a_stmw, a_stswi, a_stswx, a_stw,
  62. a_stwbrx, a_stwx_, a_stwu, a_stwux, a_stwx, a_subf, a_subf_, a_subfo,
  63. a_subfo_, a_subfc, a_subfc_, a_subfco, a_subfco_, a_subfe, a_subfe_,
  64. a_subfeo, a_subfeo_, a_subfic, a_subfme, a_subfme_, a_subfmeo, a_subfmeo_,
  65. a_subfze, a_subfze_, a_subfzeo, a_subfzeo_, a_sync, a_tlbia, a_tlbie,
  66. a_tlbsync, a_tw, a_twi, a_xor, a_xor_, a_xori, a_xoris,
  67. { simplified mnemonics }
  68. a_subi, a_subis, a_subic, a_subic_, a_sub, a_sub_, a_subo, a_subo_,
  69. a_subc, a_subc_, a_subco, a_subco_, a_cmpwi, a_cmpw, a_cmplwi, a_cmplw,
  70. a_extlwi, a_extlwi_, a_extrwi, a_extrwi_, a_inslwi, a_inslwi_, a_insrwi,
  71. a_insrwi_, a_rotlwi, a_rotlwi_, a_rotlw, a_rotlw_, a_slwi, a_slwi_,
  72. a_srwi, a_srwi_, a_clrlwi, a_clrlwi_, a_clrrwi, a_clrrwi_, a_clrslwi,
  73. a_clrslwi_, a_blr, a_bctr, a_blrl, a_bctrl, a_crset, a_crclr, a_crmove,
  74. a_crnot, a_mt {move to special prupose reg}, a_mf {move from special purpose reg},
  75. a_nop, a_li, a_lis, a_la, a_mr, a_mr_, a_not, a_mtcr, a_mtlr, a_mflr,
  76. a_mtctr, a_mfctr);
  77. {# This should define the array of instructions as string }
  78. op2strtable=array[tasmop] of string[8];
  79. Const
  80. {# First value of opcode enumeration }
  81. firstop = low(tasmop);
  82. {# Last value of opcode enumeration }
  83. lastop = high(tasmop);
  84. {*****************************************************************************
  85. Registers
  86. *****************************************************************************}
  87. type
  88. { Number of registers used for indexing in tables }
  89. tregisterindex=0..{$i rppcnor.inc}-1;
  90. totherregisterset = set of tregisterindex;
  91. const
  92. { Available Superregisters }
  93. {$i rppcsup.inc}
  94. { No Subregisters }
  95. R_SUBWHOLE=R_SUBNONE;
  96. { Available Registers }
  97. {$i rppccon.inc}
  98. { Integer Super registers first and last }
  99. first_int_imreg = $20;
  100. { Float Super register first and last }
  101. first_fpu_imreg = $20;
  102. { MM Super register first and last }
  103. first_mm_imreg = $20;
  104. {$warning TODO Calculate bsstart}
  105. regnumber_count_bsstart = 64;
  106. regnumber_table : array[tregisterindex] of tregister = (
  107. {$i rppcnum.inc}
  108. );
  109. regstabs_table : array[tregisterindex] of tregister = (
  110. {$i rppcstab.inc}
  111. );
  112. { registers which may be destroyed by calls }
  113. VOLATILE_INTREGISTERS = [RS_R3..RS_R12];
  114. {$warning FIXME!!}
  115. { FIXME: only R_F1..R_F8 under the SYSV ABI -> has to become a }
  116. { typed const (JM) }
  117. VOLATILE_FPUREGISTERS = [RS_F3..RS_F13];
  118. {*****************************************************************************
  119. Conditions
  120. *****************************************************************************}
  121. type
  122. TAsmCondFlag = (C_None { unconditional jumps },
  123. { conditions when not using ctr decrement etc }
  124. C_LT,C_LE,C_EQ,C_GE,C_GT,C_NL,C_NE,C_NG,C_SO,C_NS,C_UN,C_NU,
  125. { conditions when using ctr decrement etc }
  126. C_T,C_F,C_DNZ,C_DNZT,C_DNZF,C_DZ,C_DZT,C_DZF);
  127. const
  128. { these are in the XER, but when moved to CR_x they correspond with the }
  129. { bits below (still needs to be verified!!!) }
  130. C_OV = C_EQ;
  131. C_CA = C_GT;
  132. type
  133. TAsmCond = packed record
  134. case simple: boolean of
  135. false: (BO, BI: byte);
  136. true: (
  137. cond: TAsmCondFlag;
  138. case byte of
  139. 0: ();
  140. { specifies in which part of the cr the bit has to be }
  141. { tested for blt,bgt,beq,..,bnu }
  142. 1: (cr: RS_CR0..RS_CR7);
  143. { specifies the bit to test for bt,bf,bdz,..,bdzf }
  144. 2: (crbit: byte)
  145. );
  146. end;
  147. const
  148. AsmCondFlag2BO: Array[C_T..C_DZF] of Byte =
  149. (12,4,16,8,0,18,10,2);
  150. AsmCondFlag2BI: Array[C_LT..C_NU] of Byte =
  151. (0,1,2,0,1,0,2,1,3,3,3,3);
  152. AsmCondFlagTF: Array[TAsmCondFlag] of Boolean =
  153. (false,true,false,true,false,true,false,false,false,true,false,true,false,
  154. true,false,false,true,false,false,true,false);
  155. AsmCondFlag2Str: Array[TAsmCondFlag] of string[4] = ({cf_none}'',
  156. { conditions when not using ctr decrement etc}
  157. 'lt','le','eq','ge','gt','nl','ne','ng','so','ns','un','nu',
  158. 't','f','dnz','dzt','dnzf','dz','dzt','dzf');
  159. const
  160. CondAsmOps=3;
  161. CondAsmOp:array[0..CondAsmOps-1] of TasmOp=(
  162. A_BC, A_TW, A_TWI
  163. );
  164. {*****************************************************************************
  165. Flags
  166. *****************************************************************************}
  167. type
  168. TResFlagsEnum = (F_EQ,F_NE,F_LT,F_LE,F_GT,F_GE,F_SO,F_FX,F_FEX,F_VX,F_OX);
  169. TResFlags = record
  170. cr: RS_CR0..RS_CR7;
  171. flag: TResFlagsEnum;
  172. end;
  173. (*
  174. const
  175. { arrays for boolean location conversions }
  176. flag_2_cond : array[TResFlags] of TAsmCond =
  177. (C_E,C_NE,C_LT,C_LE,C_GT,C_GE,???????????????);
  178. *)
  179. {*****************************************************************************
  180. Reference
  181. *****************************************************************************}
  182. type
  183. trefoptions=(ref_none,ref_parafixup,ref_localfixup,ref_selffixup);
  184. { since we have only 16 offsets, we need to be able to specify the high }
  185. { and low 16 bits of the address of a symbol }
  186. trefsymaddr = (refs_full,refs_ha,refs_l);
  187. { reference record }
  188. preference = ^treference;
  189. treference = packed record
  190. { base register, R_NO if none }
  191. base,
  192. { index register, R_NO if none }
  193. index : tregister;
  194. { offset, 0 if none }
  195. offset : longint;
  196. { symbol this reference refers to, nil if none }
  197. symbol : tasmsymbol;
  198. { used in conjunction with symbols and offsets: refs_full means }
  199. { means a full 32bit reference, refs_ha means the upper 16 bits }
  200. { and refs_l the lower 16 bits of the address }
  201. symaddr : trefsymaddr;
  202. { changed when inlining and possibly in other cases, don't }
  203. { set manually }
  204. offsetfixup : longint;
  205. { used in conjunction with the previous field }
  206. options : trefoptions;
  207. { alignment this reference is guaranteed to have }
  208. alignment : byte;
  209. end;
  210. { reference record }
  211. pparareference = ^tparareference;
  212. tparareference = packed record
  213. index : tregister;
  214. offset : aword;
  215. end;
  216. const
  217. symaddr2str: array[trefsymaddr] of string[3] = ('','@ha','@l');
  218. const
  219. { MacOS only. Whether the direct data area (TOC) directly contain
  220. global variables. Otherwise it contains pointers to global variables. }
  221. macos_direct_globals = false;
  222. {*****************************************************************************
  223. Operand Sizes
  224. *****************************************************************************}
  225. {*****************************************************************************
  226. Generic Location
  227. *****************************************************************************}
  228. type
  229. { tparamlocation describes where a parameter for a procedure is stored.
  230. References are given from the caller's point of view. The usual
  231. TLocation isn't used, because contains a lot of unnessary fields.
  232. }
  233. tparalocation = packed record
  234. size : TCGSize;
  235. { The location type where the parameter is passed, usually
  236. LOC_REFERENCE,LOC_REGISTER or LOC_FPUREGISTER
  237. }
  238. loc : TCGLoc;
  239. {Word alignment on stack 4 --> 32 bit}
  240. Alignment:Byte;
  241. case TCGLoc of
  242. LOC_REFERENCE : (reference : tparareference);
  243. LOC_FPUREGISTER, LOC_CFPUREGISTER, LOC_MMREGISTER, LOC_CMMREGISTER,
  244. LOC_REGISTER,LOC_CREGISTER : (
  245. case longint of
  246. 1 : (register,registerhigh : tregister);
  247. { overlay a registerlow }
  248. 2 : (registerlow : tregister);
  249. { overlay a 64 Bit register type }
  250. 3 : (reg64 : tregister64);
  251. 4 : (register64 : tregister64);
  252. );
  253. end;
  254. treglocation = packed record
  255. case longint of
  256. 1 : (register,registerhigh : tregister);
  257. { overlay a registerlow }
  258. 2 : (registerlow : tregister);
  259. { overlay a 64 Bit register type }
  260. 3 : (reg64 : tregister64);
  261. 4 : (register64 : tregister64);
  262. end;
  263. tlocation = packed record
  264. size : TCGSize;
  265. loc : tcgloc;
  266. case tcgloc of
  267. LOC_CREFERENCE,LOC_REFERENCE : (reference : treference);
  268. LOC_CONSTANT : (
  269. case longint of
  270. {$ifdef FPC_BIG_ENDIAN}
  271. 1 : (_valuedummy,value : AWord);
  272. {$else FPC_BIG_ENDIAN}
  273. 1 : (value : AWord);
  274. {$endif FPC_BIG_ENDIAN}
  275. { can't do this, this layout depends on the host cpu. Use }
  276. { lo(valueqword)/hi(valueqword) instead (JM) }
  277. { 2 : (valuelow, valuehigh:AWord); }
  278. { overlay a complete 64 Bit value }
  279. 3 : (valueqword : qword);
  280. );
  281. LOC_FPUREGISTER, LOC_CFPUREGISTER, LOC_MMREGISTER, LOC_CMMREGISTER,
  282. LOC_REGISTER,LOC_CREGISTER : (
  283. case longint of
  284. 1 : (registerlow,registerhigh : tregister);
  285. 2 : (register : tregister);
  286. { overlay a 64 Bit register type }
  287. 3 : (reg64 : tregister64);
  288. 4 : (register64 : tregister64);
  289. );
  290. LOC_FLAGS : (resflags : tresflags);
  291. end;
  292. {*****************************************************************************
  293. Constants
  294. *****************************************************************************}
  295. const
  296. max_operands = 5;
  297. (*
  298. {# Table of registers which can be allocated by the code generator
  299. internally, when generating the code.
  300. }
  301. { legend: }
  302. { xxxregs = set of all possibly used registers of that type in the code }
  303. { generator }
  304. { usableregsxxx = set of all 32bit components of registers that can be }
  305. { possible allocated to a regvar or using getregisterxxx (this }
  306. { excludes registers which can be only used for parameter }
  307. { passing on ABI's that define this) }
  308. { c_countusableregsxxx = amount of registers in the usableregsxxx set }
  309. maxintregs = 18;
  310. { to determine how many registers to use for regvars }
  311. maxintscratchregs = 3;
  312. usableregsint = [RS_R13..RS_R27];
  313. c_countusableregsint = 18;
  314. maxfpuregs = 31-14+1;
  315. usableregsfpu = [RS_F14..RS_F31];
  316. c_countusableregsfpu = 31-14+1;
  317. usableregsmm = [RS_M14..RS_M31];
  318. c_countusableregsmm = 31-14+1;
  319. { no distinction on this platform }
  320. maxaddrregs = 0;
  321. addrregs = [];
  322. usableregsaddr = [];
  323. c_countusableregsaddr = 0;
  324. firstsaveintreg = RS_R13;
  325. lastsaveintreg = RS_R31;
  326. firstsavefpureg = RS_F14;
  327. lastsavefpureg = RS_F31;
  328. { no altivec support yet. Need to override tcgobj.a_loadmm_* first in tcgppc }
  329. firstsavemmreg = RS_INVALID;
  330. lastsavemmreg = RS_INVALID;
  331. maxvarregs = 15;
  332. varregs : Array [1..maxvarregs] of Tsuperregister =
  333. (RS_R14,RS_R15,RS_R16,RS_R17,RS_R18,RS_R19,RS_R20,RS_R21,
  334. RS_R22,RS_R23,RS_R24,RS_R25,RS_R26,RS_R27,RS_R28);
  335. maxfpuvarregs = 31-14+1;
  336. fpuvarregs : Array [1..maxfpuvarregs] of Tsuperregister =
  337. (RS_F14,RS_F15,RS_F16,RS_F17,RS_F18,RS_F19,RS_F20,RS_F21,RS_F22,RS_F23,
  338. RS_F24,RS_F25,RS_F26,RS_F27,RS_F28,RS_F29,RS_F30,RS_F31);
  339. {
  340. // max_param_regs_int = 8;
  341. // param_regs_int: Array[1..max_param_regs_int] of Tsuperregister =
  342. // (R_3,R_4,R_5,R_6,R_7,R_8,R_9,R_10);
  343. // max_param_regs_fpu = 13;
  344. // param_regs_fpu: Array[1..max_param_regs_fpu] of Toldregister =
  345. // (RS_F1,RS_F2,RS_F3,RS_F4,RS_F5,RS_F6,RS_F7,RS_F8,RS_F9,RS_F10,RS_F11,RS_F12,RS_F13);
  346. max_param_regs_mm = 13;
  347. param_regs_mm: Array[1..max_param_regs_mm] of Toldregister =
  348. (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);
  349. }
  350. *)
  351. {*****************************************************************************
  352. Default generic sizes
  353. *****************************************************************************}
  354. {# Defines the default address size for a processor, }
  355. OS_ADDR = OS_32;
  356. {# the natural int size for a processor, }
  357. OS_INT = OS_32;
  358. {# the maximum float size for a processor, }
  359. OS_FLOAT = OS_F64;
  360. {# the size of a vector register for a processor }
  361. OS_VECTOR = OS_M128;
  362. {*****************************************************************************
  363. GDB Information
  364. *****************************************************************************}
  365. {# Register indexes for stabs information, when some
  366. parameters or variables are stored in registers.
  367. Taken from rs6000.h (DBX_REGISTER_NUMBER)
  368. from GCC 3.x source code. PowerPC has 1:1 mapping
  369. according to the order of the registers defined
  370. in GCC
  371. }
  372. stab_regindex : array[tregisterindex] of shortint = (
  373. {$i rppcstab.inc}
  374. );
  375. {*****************************************************************************
  376. Generic Register names
  377. *****************************************************************************}
  378. {# Stack pointer register }
  379. NR_STACK_POINTER_REG = NR_R1;
  380. RS_STACK_POINTER_REG = RS_R1;
  381. {# Frame pointer register }
  382. NR_FRAME_POINTER_REG = NR_STACK_POINTER_REG;
  383. RS_FRAME_POINTER_REG = RS_STACK_POINTER_REG;
  384. {# Register for addressing absolute data in a position independant way,
  385. such as in PIC code. The exact meaning is ABI specific. For
  386. further information look at GCC source : PIC_OFFSET_TABLE_REGNUM
  387. Taken from GCC rs6000.h
  388. }
  389. {$warning As indicated in rs6000.h, but can't find it anywhere else!}
  390. NR_PIC_OFFSET_REG = NR_R30;
  391. { Results are returned in this register (32-bit values) }
  392. NR_FUNCTION_RETURN_REG = NR_R3;
  393. RS_FUNCTION_RETURN_REG = RS_R3;
  394. { Low part of 64bit return value }
  395. NR_FUNCTION_RETURN64_LOW_REG = NR_R4;
  396. RS_FUNCTION_RETURN64_LOW_REG = RS_R4;
  397. { High part of 64bit return value }
  398. NR_FUNCTION_RETURN64_HIGH_REG = NR_R3;
  399. RS_FUNCTION_RETURN64_HIGH_REG = RS_R3;
  400. { The value returned from a function is available in this register }
  401. NR_FUNCTION_RESULT_REG = NR_FUNCTION_RETURN_REG;
  402. RS_FUNCTION_RESULT_REG = RS_FUNCTION_RETURN_REG;
  403. { The lowh part of 64bit value returned from a function }
  404. NR_FUNCTION_RESULT64_LOW_REG = NR_FUNCTION_RETURN64_LOW_REG;
  405. RS_FUNCTION_RESULT64_LOW_REG = RS_FUNCTION_RETURN64_LOW_REG;
  406. { The high part of 64bit value returned from a function }
  407. NR_FUNCTION_RESULT64_HIGH_REG = NR_FUNCTION_RETURN64_HIGH_REG;
  408. RS_FUNCTION_RESULT64_HIGH_REG = RS_FUNCTION_RETURN64_HIGH_REG;
  409. NR_FPU_RESULT_REG = NR_F1;
  410. NR_MM_RESULT_REG = NR_M0;
  411. {*****************************************************************************
  412. GCC /ABI linking information
  413. *****************************************************************************}
  414. {# Registers which must be saved when calling a routine declared as
  415. cppdecl, cdecl, stdcall, safecall, palmossyscall. The registers
  416. saved should be the ones as defined in the target ABI and / or GCC.
  417. This value can be deduced from CALLED_USED_REGISTERS array in the
  418. GCC source.
  419. }
  420. std_saved_registers = [RS_R13..RS_R29];
  421. {# Required parameter alignment when calling a routine declared as
  422. stdcall and cdecl. The alignment value should be the one defined
  423. by GCC or the target ABI.
  424. The value of this constant is equal to the constant
  425. PARM_BOUNDARY / BITS_PER_UNIT in the GCC source.
  426. }
  427. std_param_align = 4; { for 32-bit version only }
  428. {*****************************************************************************
  429. CPU Dependent Constants
  430. *****************************************************************************}
  431. LinkageAreaSizeAIX = 24;
  432. LinkageAreaSizeSYSV = 8;
  433. { offset in the linkage area for the saved stack pointer }
  434. LA_SP = 0;
  435. { offset in the linkage area for the saved conditional register}
  436. LA_CR_AIX = 4;
  437. { offset in the linkage area for the saved link register}
  438. LA_LR_AIX = 8;
  439. LA_LR_SYSV = 4;
  440. { offset in the linkage area for the saved RTOC register}
  441. LA_RTOC_AIX = 20;
  442. PARENT_FRAMEPOINTER_OFFSET = 12;
  443. NR_RTOC = NR_R2;
  444. {*****************************************************************************
  445. Helpers
  446. *****************************************************************************}
  447. function is_calljmp(o:tasmop):boolean;
  448. procedure inverse_flags(var r : TResFlags);
  449. procedure inverse_cond(const c: TAsmCond;var r : TAsmCond);
  450. function flags_to_cond(const f: TResFlags) : TAsmCond;
  451. procedure create_cond_imm(BO,BI:byte;var r : TAsmCond);
  452. procedure create_cond_norm(cond: TAsmCondFlag; cr: byte;var r : TasmCond);
  453. function cgsize2subreg(s:Tcgsize):Tsubregister;
  454. function findreg_by_number(r:Tregister):tregisterindex;
  455. function std_regnum_search(const s:string):Tregister;
  456. function std_regname(r:Tregister):string;
  457. function gas_regname(r:Tregister):string;
  458. implementation
  459. uses
  460. rgBase,verbose;
  461. const
  462. std_regname_table : array[tregisterindex] of string[7] = (
  463. {$i rppcstd.inc}
  464. );
  465. gas_regname_table : array[tregisterindex] of string[7] = (
  466. {$i rppcgas.inc}
  467. );
  468. regnumber_index : array[tregisterindex] of tregisterindex = (
  469. {$i rppcrni.inc}
  470. );
  471. std_regname_index : array[tregisterindex] of tregisterindex = (
  472. {$i rppcsri.inc}
  473. );
  474. {*****************************************************************************
  475. Helpers
  476. *****************************************************************************}
  477. function is_calljmp(o:tasmop):boolean;
  478. begin
  479. is_calljmp:=false;
  480. case o of
  481. A_B,A_BA,A_BL,A_BLA,A_BC,A_BCA,A_BCL,A_BCLA,A_BCCTR,A_BCCTRL,A_BCLR,
  482. A_BCLRL,A_TW,A_TWI: is_calljmp:=true;
  483. end;
  484. end;
  485. procedure inverse_flags(var r: TResFlags);
  486. const
  487. inv_flags: array[F_EQ..F_GE] of TResFlagsEnum =
  488. (F_NE,F_EQ,F_GE,F_GE,F_LE,F_LT);
  489. begin
  490. r.flag := inv_flags[r.flag];
  491. end;
  492. procedure inverse_cond(const c: TAsmCond;var r : TAsmCond);
  493. const
  494. inv_condflags:array[TAsmCondFlag] of TAsmCondFlag=(C_None,
  495. C_GE,C_GT,C_NE,C_LT,C_LE,C_LT,C_EQ,C_GT,C_NS,C_SO,C_NU,C_UN,
  496. C_F,C_T,C_DNZ,C_DNZF,C_DNZT,C_DZ,C_DZF,C_DZT);
  497. begin
  498. r := c;
  499. r.cond := inv_condflags[c.cond];
  500. end;
  501. function flags_to_cond(const f: TResFlags) : TAsmCond;
  502. const
  503. flag_2_cond: array[F_EQ..F_SO] of TAsmCondFlag =
  504. (C_EQ,C_NE,C_LT,C_LE,C_GT,C_GE,C_SO);
  505. begin
  506. if f.flag > high(flag_2_cond) then
  507. internalerror(200112301);
  508. result.simple := true;
  509. result.cr := f.cr;
  510. result.cond := flag_2_cond[f.flag];
  511. end;
  512. procedure create_cond_imm(BO,BI:byte;var r : TAsmCond);
  513. begin
  514. r.simple := false;
  515. r.bo := bo;
  516. r.bi := bi;
  517. end;
  518. procedure create_cond_norm(cond: TAsmCondFlag; cr: byte;var r : TasmCond);
  519. begin
  520. r.simple := true;
  521. r.cond := cond;
  522. case cond of
  523. C_NONE:;
  524. C_T..C_DZF: r.crbit := cr
  525. else r.cr := RS_CR0+cr;
  526. end;
  527. end;
  528. function cgsize2subreg(s:Tcgsize):Tsubregister;
  529. begin
  530. cgsize2subreg:=R_SUBWHOLE;
  531. end;
  532. function findreg_by_number(r:Tregister):tregisterindex;
  533. begin
  534. rgBase.findreg_by_number_table(r,regnumber_index);
  535. end;
  536. function std_regnum_search(const s:string):Tregister;
  537. begin
  538. result:=regnumber_table[findreg_by_name_table(s,std_regname_table,std_regname_index)];
  539. end;
  540. function std_regname(r:Tregister):string;
  541. var
  542. p : tregisterindex;
  543. begin
  544. p:=findreg_by_number_table(r,regnumber_index);
  545. if p<>0 then
  546. result:=std_regname_table[p]
  547. else
  548. result:=generic_regname(r);
  549. end;
  550. function gas_regname(r:Tregister):string;
  551. var
  552. p : tregisterindex;
  553. begin
  554. p:=findreg_by_number_table(r,regnumber_index);
  555. if p<>0 then
  556. result:=gas_regname_table[p]
  557. else
  558. result:=generic_regname(r);
  559. end;
  560. end.
  561. {
  562. $Log$
  563. Revision 1.75 2003-10-31 08:42:28 mazen
  564. * rgHelper renamed to rgBase
  565. * using findreg_by_<name|number>_table directly to decrease heap overheading
  566. Revision 1.74 2003/10/30 15:03:18 mazen
  567. * now uses standard routines in rgBase unit to search registers by number and by name
  568. Revision 1.73 2003/10/19 01:34:31 florian
  569. * some ppc stuff fixed
  570. * memory leak fixed
  571. Revision 1.72 2003/10/17 15:08:34 peter
  572. * commented out more obsolete constants
  573. Revision 1.71 2003/10/11 16:06:42 florian
  574. * fixed some MMX<->SSE
  575. * started to fix ppc, needs an overhaul
  576. + stabs info improve for spilling, not sure if it works correctly/completly
  577. - MMX_SUPPORT removed from Makefile.fpc
  578. Revision 1.70 2003/10/08 14:11:36 mazen
  579. + Alignement field added to TParaLocation (=4 as 32 bits archs)
  580. Revision 1.69 2003/10/01 20:34:49 peter
  581. * procinfo unit contains tprocinfo
  582. * cginfo renamed to cgbase
  583. * moved cgmessage to verbose
  584. * fixed ppc and sparc compiles
  585. Revision 1.68 2003/09/14 16:37:20 jonas
  586. * fixed some ppc problems
  587. Revision 1.67 2003/09/03 21:04:14 peter
  588. * some fixes for ppc
  589. Revision 1.66 2003/09/03 19:35:24 peter
  590. * powerpc compiles again
  591. Revision 1.65 2003/09/03 11:18:37 florian
  592. * fixed arm concatcopy
  593. + arm support in the common compiler sources added
  594. * moved some generic cg code around
  595. + tfputype added
  596. * ...
  597. Revision 1.64 2003/08/17 16:59:20 jonas
  598. * fixed regvars so they work with newra (at least for ppc)
  599. * fixed some volatile register bugs
  600. + -dnotranslation option for -dnewra, which causes the registers not to
  601. be translated from virtual to normal registers. Requires support in
  602. the assembler writer as well, which is only implemented in aggas/
  603. agppcgas currently
  604. Revision 1.63 2003/08/08 15:51:16 olle
  605. * merged macos entry/exit code generation into the general one.
  606. Revision 1.62 2003/07/23 11:00:09 jonas
  607. * "lastsaveintreg" is RS_R31 instead of RS_R27 with -dnewra, because
  608. there are no scratch regs anymore
  609. Revision 1.61 2003/07/06 20:25:03 jonas
  610. * fixed ppc compiler
  611. Revision 1.60 2003/07/06 15:28:24 jonas
  612. * VOLATILE_REGISTERS was wrong (it was more or less the inverted set
  613. of what it had to be :/ )
  614. Revision 1.59 2003/06/17 16:34:44 jonas
  615. * lots of newra fixes (need getfuncretparaloc implementation for i386)!
  616. * renamed all_intregisters to volatile_intregisters and made it
  617. processor dependent
  618. Revision 1.58 2003/06/14 22:32:43 jonas
  619. * ppc compiles with -dnewra, haven't tried to compile anything with it
  620. yet though
  621. Revision 1.57 2003/06/13 17:44:44 jonas
  622. + added supreg_name function
  623. Revision 1.56 2003/06/12 19:11:34 jonas
  624. - removed ALL_INTREGISTERS (only the one in rgobj is valid)
  625. Revision 1.55 2003/05/31 15:05:28 peter
  626. * FUNCTION_RESULT64_LOW/HIGH_REG added for int64 results
  627. Revision 1.54 2003/05/30 23:57:08 peter
  628. * more sparc cleanup
  629. * accumulator removed, splitted in function_return_reg (called) and
  630. function_result_reg (caller)
  631. Revision 1.53 2003/05/30 18:49:59 jonas
  632. * changed scratchregs from r28-r30 to r29-r31
  633. * made sure the regvar registers don't overlap with the scratchregs
  634. anymore
  635. Revision 1.52 2003/05/24 16:02:01 jonas
  636. * fixed endian problem with tlocation.value/valueqword fields
  637. Revision 1.51 2003/05/16 16:26:05 jonas
  638. * adapted for Peter's regvar fixes
  639. Revision 1.50 2003/05/15 22:14:43 florian
  640. * fixed last commit, changing lastsaveintreg to r31 caused some strange problems
  641. Revision 1.49 2003/05/15 21:37:00 florian
  642. * sysv entry code saves r13 now as well
  643. Revision 1.48 2003/04/23 12:35:35 florian
  644. * fixed several issues with powerpc
  645. + applied a patch from Jonas for nested function calls (PowerPC only)
  646. * ...
  647. Revision 1.47 2003/04/22 11:27:48 florian
  648. + added first_ and last_imreg
  649. Revision 1.46 2003/03/19 14:26:26 jonas
  650. * fixed R_TOC bugs introduced by new register allocator conversion
  651. Revision 1.45 2003/03/11 21:46:24 jonas
  652. * lots of new regallocator fixes, both in generic and ppc-specific code
  653. (ppc compiler still can't compile the linux system unit though)
  654. Revision 1.44 2003/02/19 22:00:16 daniel
  655. * Code generator converted to new register notation
  656. - Horribily outdated todo.txt removed
  657. Revision 1.43 2003/02/02 19:25:54 carl
  658. * Several bugfixes for m68k target (register alloc., opcode emission)
  659. + VIS target
  660. + Generic add more complete (still not verified)
  661. Revision 1.42 2003/01/16 11:31:28 olle
  662. + added new register constants
  663. + implemented register convertion proc
  664. Revision 1.41 2003/01/13 17:17:50 olle
  665. * changed global var access, TOC now contain pointers to globals
  666. * fixed handling of function pointers
  667. Revision 1.40 2003/01/09 15:49:56 daniel
  668. * Added register conversion
  669. Revision 1.39 2003/01/08 18:43:58 daniel
  670. * Tregister changed into a record
  671. Revision 1.38 2002/11/25 17:43:27 peter
  672. * splitted defbase in defutil,symutil,defcmp
  673. * merged isconvertable and is_equal into compare_defs(_ext)
  674. * made operator search faster by walking the list only once
  675. Revision 1.37 2002/11/24 14:28:56 jonas
  676. + some comments describing the fields of treference
  677. Revision 1.36 2002/11/17 18:26:16 mazen
  678. * fixed a compilation bug accmulator-->FUNCTION_RETURN_REG, in definition of return_result_reg
  679. Revision 1.35 2002/11/17 17:49:09 mazen
  680. + return_result_reg and FUNCTION_RESULT_REG are now used, in all plateforms, to pass functions result between called function and its caller. See the explanation of each one
  681. Revision 1.34 2002/09/17 18:54:06 jonas
  682. * a_load_reg_reg() now has two size parameters: source and dest. This
  683. allows some optimizations on architectures that don't encode the
  684. register size in the register name.
  685. Revision 1.33 2002/09/07 17:54:59 florian
  686. * first part of PowerPC fixes
  687. Revision 1.32 2002/09/07 15:25:14 peter
  688. * old logs removed and tabs fixed
  689. Revision 1.31 2002/09/01 21:04:49 florian
  690. * several powerpc related stuff fixed
  691. Revision 1.30 2002/08/18 22:16:15 florian
  692. + the ppc gas assembler writer adds now registers aliases
  693. to the assembler file
  694. Revision 1.29 2002/08/18 21:36:42 florian
  695. + handling of local variables in direct reader implemented
  696. Revision 1.28 2002/08/14 18:41:47 jonas
  697. - remove valuelow/valuehigh fields from tlocation, because they depend
  698. on the endianess of the host operating system -> difficult to get
  699. right. Use lo/hi(location.valueqword) instead (remember to use
  700. valueqword and not value!!)
  701. Revision 1.27 2002/08/13 21:40:58 florian
  702. * more fixes for ppc calling conventions
  703. Revision 1.26 2002/08/12 15:08:44 carl
  704. + stab register indexes for powerpc (moved from gdb to cpubase)
  705. + tprocessor enumeration moved to cpuinfo
  706. + linker in target_info is now a class
  707. * many many updates for m68k (will soon start to compile)
  708. - removed some ifdef or correct them for correct cpu
  709. Revision 1.25 2002/08/10 17:15:06 jonas
  710. * endianess fix
  711. Revision 1.24 2002/08/06 20:55:24 florian
  712. * first part of ppc calling conventions fix
  713. Revision 1.23 2002/08/04 12:57:56 jonas
  714. * more misc. fixes, mostly constant-related
  715. Revision 1.22 2002/07/27 19:57:18 jonas
  716. * some typo corrections in the instruction tables
  717. * renamed the m* registers to v*
  718. Revision 1.21 2002/07/26 12:30:51 jonas
  719. * fixed typo in instruction table (_subco_ -> a_subco)
  720. Revision 1.20 2002/07/25 18:04:10 carl
  721. + FPURESULTREG -> FPU_RESULT_REG
  722. Revision 1.19 2002/07/13 19:38:44 florian
  723. * some more generic calling stuff fixed
  724. Revision 1.18 2002/07/11 14:41:34 florian
  725. * start of the new generic parameter handling
  726. Revision 1.17 2002/07/11 07:35:36 jonas
  727. * some available registers fixes
  728. Revision 1.16 2002/07/09 19:45:01 jonas
  729. * unarynminus and shlshr node fixed for 32bit and smaller ordinals
  730. * small fixes in the assembler writer
  731. * changed scratch registers, because they were used by the linker (r11
  732. and r12) and by the abi under linux (r31)
  733. Revision 1.15 2002/07/07 09:44:31 florian
  734. * powerpc target fixed, very simple units can be compiled
  735. Revision 1.14 2002/05/18 13:34:26 peter
  736. * readded missing revisions
  737. Revision 1.12 2002/05/14 19:35:01 peter
  738. * removed old logs and updated copyright year
  739. Revision 1.11 2002/05/14 17:28:10 peter
  740. * synchronized cpubase between powerpc and i386
  741. * moved more tables from cpubase to cpuasm
  742. * tai_align_abstract moved to tainst, cpuasm must define
  743. the tai_align class now, which may be empty
  744. }