cpubase.pas 34 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924
  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_dcbtst, a_dcbz, 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_mtcrf, a_mtfsb0, 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_stwcx_, 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. maxvarregs = 32-6; { 32 int registers - r0 - stackpointer - r2 - 3 scratch registers }
  93. maxfpuvarregs = 28; { 32 fpuregisters - some scratch registers (minimally 2) }
  94. { Available Superregisters }
  95. {$i rppcsup.inc}
  96. { No Subregisters }
  97. R_SUBWHOLE=R_SUBNONE;
  98. { Available Registers }
  99. {$i rppccon.inc}
  100. { Integer Super registers first and last }
  101. first_int_imreg = $20;
  102. { Float Super register first and last }
  103. first_fpu_imreg = $20;
  104. { MM Super register first and last }
  105. first_mm_imreg = $20;
  106. {$warning TODO Calculate bsstart}
  107. regnumber_count_bsstart = 64;
  108. regnumber_table : array[tregisterindex] of tregister = (
  109. {$i rppcnum.inc}
  110. );
  111. regstabs_table : array[tregisterindex] of shortint = (
  112. {$i rppcstab.inc}
  113. );
  114. { registers which may be destroyed by calls }
  115. VOLATILE_INTREGISTERS = [RS_R3..RS_R12];
  116. {$warning FIXME!!}
  117. { FIXME: only R_F1..R_F8 under the SYSV ABI -> has to become a }
  118. { typed const (JM) }
  119. VOLATILE_FPUREGISTERS = [RS_F3..RS_F13];
  120. {*****************************************************************************
  121. Conditions
  122. *****************************************************************************}
  123. type
  124. TAsmCondFlag = (C_None { unconditional jumps },
  125. { conditions when not using ctr decrement etc }
  126. C_LT,C_LE,C_EQ,C_GE,C_GT,C_NL,C_NE,C_NG,C_SO,C_NS,C_UN,C_NU,
  127. { conditions when using ctr decrement etc }
  128. C_T,C_F,C_DNZ,C_DNZT,C_DNZF,C_DZ,C_DZT,C_DZF);
  129. TDirHint = (DH_None,DH_Minus,DH_Plus);
  130. const
  131. { these are in the XER, but when moved to CR_x they correspond with the }
  132. { bits below }
  133. C_OV = C_GT;
  134. C_CA = C_EQ;
  135. C_NO = C_NG;
  136. C_NC = C_NE;
  137. type
  138. TAsmCond = packed record
  139. dirhint : tdirhint;
  140. case simple: boolean of
  141. false: (BO, BI: byte);
  142. true: (
  143. cond: TAsmCondFlag;
  144. case byte of
  145. 0: ();
  146. { specifies in which part of the cr the bit has to be }
  147. { tested for blt,bgt,beq,..,bnu }
  148. 1: (cr: RS_CR0..RS_CR7);
  149. { specifies the bit to test for bt,bf,bdz,..,bdzf }
  150. 2: (crbit: byte)
  151. );
  152. end;
  153. const
  154. AsmCondFlag2BO: Array[C_T..C_DZF] of Byte =
  155. (12,4,16,8,0,18,10,2);
  156. AsmCondFlag2BOLT_NU: Array[C_LT..C_NU] of Byte =
  157. (12,4,12,4,12,4,4,4,12,4,12,4);
  158. AsmCondFlag2BI: Array[C_LT..C_NU] of Byte =
  159. (0,1,2,0,1,0,2,1,3,3,3,3);
  160. AsmCondFlagTF: Array[TAsmCondFlag] of Boolean =
  161. (false,true,false,true,false,true,false,false,false,true,false,true,false,
  162. true,false,false,true,false,false,true,false);
  163. AsmCondFlag2Str: Array[TAsmCondFlag] of string[4] = ({cf_none}'',
  164. { conditions when not using ctr decrement etc}
  165. 'lt','le','eq','ge','gt','nl','ne','ng','so','ns','un','nu',
  166. 't','f','dnz','dnzt','dnzf','dz','dzt','dzf');
  167. UpperAsmCondFlag2Str: Array[TAsmCondFlag] of string[4] = ({cf_none}'',
  168. { conditions when not using ctr decrement etc}
  169. 'LT','LE','EQ','GE','GT','NL','NE','NG','SO','NS','UN','NU',
  170. 'T','F','DNZ','DNZT','DNZF','DZ','DZT','DZF');
  171. const
  172. CondAsmOps=3;
  173. CondAsmOp:array[0..CondAsmOps-1] of TasmOp=(
  174. A_BC, A_TW, A_TWI
  175. );
  176. {*****************************************************************************
  177. Flags
  178. *****************************************************************************}
  179. type
  180. TResFlagsEnum = (F_EQ,F_NE,F_LT,F_LE,F_GT,F_GE,F_SO,F_FX,F_FEX,F_VX,F_OX);
  181. TResFlags = record
  182. cr: RS_CR0..RS_CR7;
  183. flag: TResFlagsEnum;
  184. end;
  185. (*
  186. const
  187. { arrays for boolean location conversions }
  188. flag_2_cond : array[TResFlags] of TAsmCond =
  189. (C_E,C_NE,C_LT,C_LE,C_GT,C_GE,???????????????);
  190. *)
  191. {*****************************************************************************
  192. Reference
  193. *****************************************************************************}
  194. type
  195. trefoptions=(ref_none,ref_parafixup,ref_localfixup,ref_selffixup);
  196. { since we have only 16 offsets, we need to be able to specify the high }
  197. { and low 16 bits of the address of a symbol }
  198. trefsymaddr = (refs_full,refs_ha,refs_l);
  199. { reference record }
  200. preference = ^treference;
  201. treference = packed record
  202. { base register, R_NO if none }
  203. base,
  204. { index register, R_NO if none }
  205. index : tregister;
  206. { offset, 0 if none }
  207. offset : longint;
  208. { symbol this reference refers to, nil if none }
  209. symbol : tasmsymbol;
  210. { used in conjunction with symbols and offsets: refs_full means }
  211. { means a full 32bit reference, refs_ha means the upper 16 bits }
  212. { and refs_l the lower 16 bits of the address }
  213. symaddr : trefsymaddr;
  214. { changed when inlining and possibly in other cases, don't }
  215. { set manually }
  216. offsetfixup : longint;
  217. { used in conjunction with the previous field }
  218. options : trefoptions;
  219. { alignment this reference is guaranteed to have }
  220. alignment : byte;
  221. end;
  222. { reference record }
  223. pparareference = ^tparareference;
  224. tparareference = packed record
  225. index : tregister;
  226. offset : aword;
  227. end;
  228. const
  229. symaddr2str: array[trefsymaddr] of string[3] = ('','@ha','@l');
  230. const
  231. { MacOS only. Whether the direct data area (TOC) directly contain
  232. global variables. Otherwise it contains pointers to global variables. }
  233. macos_direct_globals = false;
  234. {*****************************************************************************
  235. Operand Sizes
  236. *****************************************************************************}
  237. {*****************************************************************************
  238. Generic Location
  239. *****************************************************************************}
  240. type
  241. { tparamlocation describes where a parameter for a procedure is stored.
  242. References are given from the caller's point of view. The usual
  243. TLocation isn't used, because contains a lot of unnessary fields.
  244. }
  245. tparalocation = packed record
  246. size : TCGSize;
  247. { The location type where the parameter is passed, usually
  248. LOC_REFERENCE,LOC_REGISTER or LOC_FPUREGISTER
  249. }
  250. loc : TCGLoc;
  251. lochigh : TCGLoc;
  252. { Word alignment on stack 4 --> 32 bit }
  253. Alignment:Byte;
  254. case TCGLoc of
  255. LOC_REFERENCE : (reference : tparareference);
  256. LOC_FPUREGISTER, LOC_CFPUREGISTER, LOC_MMREGISTER, LOC_CMMREGISTER,
  257. LOC_REGISTER,LOC_CREGISTER : (
  258. case longint of
  259. 1 : (register,registerhigh : tregister);
  260. { overlay a registerlow }
  261. 2 : (registerlow : tregister);
  262. { overlay a 64 Bit register type }
  263. 3 : (reg64 : tregister64);
  264. 4 : (register64 : tregister64);
  265. );
  266. end;
  267. treglocation = packed record
  268. case longint of
  269. 1 : (register,registerhigh : tregister);
  270. { overlay a registerlow }
  271. 2 : (registerlow : tregister);
  272. { overlay a 64 Bit register type }
  273. 3 : (reg64 : tregister64);
  274. 4 : (register64 : tregister64);
  275. end;
  276. tlocation = packed record
  277. size : TCGSize;
  278. loc : tcgloc;
  279. case tcgloc of
  280. LOC_CREFERENCE,LOC_REFERENCE : (reference : treference);
  281. LOC_CONSTANT : (
  282. case longint of
  283. {$ifdef FPC_BIG_ENDIAN}
  284. 1 : (_valuedummy,value : AWord);
  285. {$else FPC_BIG_ENDIAN}
  286. 1 : (value : AWord);
  287. {$endif FPC_BIG_ENDIAN}
  288. { can't do this, this layout depends on the host cpu. Use }
  289. { lo(valueqword)/hi(valueqword) instead (JM) }
  290. { 2 : (valuelow, valuehigh:AWord); }
  291. { overlay a complete 64 Bit value }
  292. 3 : (valueqword : qword);
  293. );
  294. LOC_FPUREGISTER, LOC_CFPUREGISTER, LOC_MMREGISTER, LOC_CMMREGISTER,
  295. LOC_REGISTER,LOC_CREGISTER : (
  296. case longint of
  297. 1 : (registerlow,registerhigh : tregister);
  298. 2 : (register : tregister);
  299. { overlay a 64 Bit register type }
  300. 3 : (reg64 : tregister64);
  301. 4 : (register64 : tregister64);
  302. );
  303. LOC_FLAGS : (resflags : tresflags);
  304. end;
  305. {*****************************************************************************
  306. Constants
  307. *****************************************************************************}
  308. const
  309. max_operands = 5;
  310. {*****************************************************************************
  311. Default generic sizes
  312. *****************************************************************************}
  313. {# Defines the default address size for a processor, }
  314. OS_ADDR = OS_32;
  315. {# the natural int size for a processor, }
  316. OS_INT = OS_32;
  317. {# the maximum float size for a processor, }
  318. OS_FLOAT = OS_F64;
  319. {# the size of a vector register for a processor }
  320. OS_VECTOR = OS_M128;
  321. {*****************************************************************************
  322. GDB Information
  323. *****************************************************************************}
  324. {# Register indexes for stabs information, when some
  325. parameters or variables are stored in registers.
  326. Taken from rs6000.h (DBX_REGISTER_NUMBER)
  327. from GCC 3.x source code. PowerPC has 1:1 mapping
  328. according to the order of the registers defined
  329. in GCC
  330. }
  331. stab_regindex : array[tregisterindex] of shortint = (
  332. {$i rppcstab.inc}
  333. );
  334. {*****************************************************************************
  335. Generic Register names
  336. *****************************************************************************}
  337. {# Stack pointer register }
  338. NR_STACK_POINTER_REG = NR_R1;
  339. RS_STACK_POINTER_REG = RS_R1;
  340. {# Frame pointer register }
  341. NR_FRAME_POINTER_REG = NR_STACK_POINTER_REG;
  342. RS_FRAME_POINTER_REG = RS_STACK_POINTER_REG;
  343. {# Register for addressing absolute data in a position independant way,
  344. such as in PIC code. The exact meaning is ABI specific. For
  345. further information look at GCC source : PIC_OFFSET_TABLE_REGNUM
  346. Taken from GCC rs6000.h
  347. }
  348. {$warning As indicated in rs6000.h, but can't find it anywhere else!}
  349. NR_PIC_OFFSET_REG = NR_R30;
  350. { Results are returned in this register (32-bit values) }
  351. NR_FUNCTION_RETURN_REG = NR_R3;
  352. RS_FUNCTION_RETURN_REG = RS_R3;
  353. { Low part of 64bit return value }
  354. NR_FUNCTION_RETURN64_LOW_REG = NR_R4;
  355. RS_FUNCTION_RETURN64_LOW_REG = RS_R4;
  356. { High part of 64bit return value }
  357. NR_FUNCTION_RETURN64_HIGH_REG = NR_R3;
  358. RS_FUNCTION_RETURN64_HIGH_REG = RS_R3;
  359. { The value returned from a function is available in this register }
  360. NR_FUNCTION_RESULT_REG = NR_FUNCTION_RETURN_REG;
  361. RS_FUNCTION_RESULT_REG = RS_FUNCTION_RETURN_REG;
  362. { The lowh part of 64bit value returned from a function }
  363. NR_FUNCTION_RESULT64_LOW_REG = NR_FUNCTION_RETURN64_LOW_REG;
  364. RS_FUNCTION_RESULT64_LOW_REG = RS_FUNCTION_RETURN64_LOW_REG;
  365. { The high part of 64bit value returned from a function }
  366. NR_FUNCTION_RESULT64_HIGH_REG = NR_FUNCTION_RETURN64_HIGH_REG;
  367. RS_FUNCTION_RESULT64_HIGH_REG = RS_FUNCTION_RETURN64_HIGH_REG;
  368. NR_FPU_RESULT_REG = NR_F1;
  369. NR_MM_RESULT_REG = NR_M0;
  370. {*****************************************************************************
  371. GCC /ABI linking information
  372. *****************************************************************************}
  373. {# Registers which must be saved when calling a routine declared as
  374. cppdecl, cdecl, stdcall, safecall, palmossyscall. The registers
  375. saved should be the ones as defined in the target ABI and / or GCC.
  376. This value can be deduced from CALLED_USED_REGISTERS array in the
  377. GCC source.
  378. }
  379. std_saved_registers = [RS_R13..RS_R29];
  380. {# Required parameter alignment when calling a routine declared as
  381. stdcall and cdecl. The alignment value should be the one defined
  382. by GCC or the target ABI.
  383. The value of this constant is equal to the constant
  384. PARM_BOUNDARY / BITS_PER_UNIT in the GCC source.
  385. }
  386. std_param_align = 4; { for 32-bit version only }
  387. {*****************************************************************************
  388. CPU Dependent Constants
  389. *****************************************************************************}
  390. LinkageAreaSizeAIX = 24;
  391. LinkageAreaSizeSYSV = 8;
  392. { offset in the linkage area for the saved stack pointer }
  393. LA_SP = 0;
  394. { offset in the linkage area for the saved conditional register}
  395. LA_CR_AIX = 4;
  396. { offset in the linkage area for the saved link register}
  397. LA_LR_AIX = 8;
  398. LA_LR_SYSV = 4;
  399. { offset in the linkage area for the saved RTOC register}
  400. LA_RTOC_AIX = 20;
  401. PARENT_FRAMEPOINTER_OFFSET = 12;
  402. NR_RTOC = NR_R2;
  403. {*****************************************************************************
  404. Helpers
  405. *****************************************************************************}
  406. function is_calljmp(o:tasmop):boolean;
  407. procedure inverse_flags(var r : TResFlags);
  408. procedure inverse_cond(const c: TAsmCond;var r : TAsmCond);
  409. function flags_to_cond(const f: TResFlags) : TAsmCond;
  410. procedure create_cond_imm(BO,BI:byte;var r : TAsmCond);
  411. procedure create_cond_norm(cond: TAsmCondFlag; cr: byte;var r : TasmCond);
  412. function cgsize2subreg(s:Tcgsize):Tsubregister;
  413. function findreg_by_number(r:Tregister):tregisterindex;
  414. function std_regnum_search(const s:string):Tregister;
  415. function std_regname(r:Tregister):string;
  416. function is_condreg(r : tregister):boolean;
  417. implementation
  418. uses
  419. rgBase,verbose;
  420. const
  421. std_regname_table : array[tregisterindex] of string[7] = (
  422. {$i rppcstd.inc}
  423. );
  424. regnumber_index : array[tregisterindex] of tregisterindex = (
  425. {$i rppcrni.inc}
  426. );
  427. std_regname_index : array[tregisterindex] of tregisterindex = (
  428. {$i rppcsri.inc}
  429. );
  430. {*****************************************************************************
  431. Helpers
  432. *****************************************************************************}
  433. function is_calljmp(o:tasmop):boolean;
  434. begin
  435. is_calljmp:=false;
  436. case o of
  437. A_B,A_BA,A_BL,A_BLA,A_BC,A_BCA,A_BCL,A_BCLA,A_BCCTR,A_BCCTRL,A_BCLR,
  438. A_BCLRL,A_TW,A_TWI: is_calljmp:=true;
  439. end;
  440. end;
  441. procedure inverse_flags(var r: TResFlags);
  442. const
  443. inv_flags: array[F_EQ..F_GE] of TResFlagsEnum =
  444. (F_NE,F_EQ,F_GE,F_GE,F_LE,F_LT);
  445. begin
  446. r.flag := inv_flags[r.flag];
  447. end;
  448. procedure inverse_cond(const c: TAsmCond;var r : TAsmCond);
  449. const
  450. inv_condflags:array[TAsmCondFlag] of TAsmCondFlag=(C_None,
  451. C_GE,C_GT,C_NE,C_LT,C_LE,C_LT,C_EQ,C_GT,C_NS,C_SO,C_NU,C_UN,
  452. C_F,C_T,C_DNZ,C_DNZF,C_DNZT,C_DZ,C_DZF,C_DZT);
  453. begin
  454. r := c;
  455. r.cond := inv_condflags[c.cond];
  456. end;
  457. function flags_to_cond(const f: TResFlags) : TAsmCond;
  458. const
  459. flag_2_cond: array[F_EQ..F_SO] of TAsmCondFlag =
  460. (C_EQ,C_NE,C_LT,C_LE,C_GT,C_GE,C_SO);
  461. begin
  462. if f.flag > high(flag_2_cond) then
  463. internalerror(200112301);
  464. result.simple := true;
  465. result.cr := f.cr;
  466. result.cond := flag_2_cond[f.flag];
  467. end;
  468. procedure create_cond_imm(BO,BI:byte;var r : TAsmCond);
  469. begin
  470. r.simple := false;
  471. r.bo := bo;
  472. r.bi := bi;
  473. end;
  474. procedure create_cond_norm(cond: TAsmCondFlag; cr: byte;var r : TasmCond);
  475. begin
  476. r.simple := true;
  477. r.cond := cond;
  478. case cond of
  479. C_NONE:;
  480. C_T..C_DZF: r.crbit := cr
  481. else r.cr := RS_CR0+cr;
  482. end;
  483. end;
  484. function is_condreg(r : tregister):boolean;
  485. var
  486. supreg: tsuperregister;
  487. begin
  488. result := false;
  489. if (getregtype(r) = R_SPECIALREGISTER) then
  490. begin
  491. supreg := getsupreg(r);
  492. result := (supreg >= RS_CR0) and (supreg <= RS_CR7);
  493. end;
  494. end;
  495. function cgsize2subreg(s:Tcgsize):Tsubregister;
  496. begin
  497. cgsize2subreg:=R_SUBWHOLE;
  498. end;
  499. function findreg_by_number(r:Tregister):tregisterindex;
  500. begin
  501. result:=rgBase.findreg_by_number_table(r,regnumber_index);
  502. end;
  503. function std_regnum_search(const s:string):Tregister;
  504. begin
  505. result:=regnumber_table[findreg_by_name_table(s,std_regname_table,std_regname_index)];
  506. end;
  507. function std_regname(r:Tregister):string;
  508. var
  509. p : tregisterindex;
  510. begin
  511. p:=findreg_by_number_table(r,regnumber_index);
  512. if p<>0 then
  513. result:=std_regname_table[p]
  514. else
  515. result:=generic_regname(r);
  516. end;
  517. end.
  518. {
  519. $Log$
  520. Revision 1.85 2004-02-09 22:45:49 florian
  521. * compilation fixed
  522. Revision 1.84 2004/02/08 18:08:59 jonas
  523. * fixed regvars support. Needs -doldregvars to activate. Only tested with
  524. ppc, other processors should however only require maxregvars and
  525. maxfpuregvars constants in cpubase.pas. Remember to take scratch-
  526. registers into account when defining that value.
  527. Revision 1.83 2004/01/30 13:42:03 florian
  528. * fixed more alignment issues
  529. Revision 1.82 2004/01/10 00:16:21 jonas
  530. * fixed mtfsb0 instruction for assembler reader/writer
  531. * fixed initialisation of fpscr register to avoid spurious SIGPFE's
  532. (uses mtfsb0 instruction, so added extra define in options.pas to avoid
  533. requiring to start with a cross compiler)
  534. Revision 1.81 2003/12/16 21:49:47 florian
  535. * fixed ppc compilation
  536. Revision 1.80 2003/12/09 20:39:43 jonas
  537. * forgot call to cg.g_overflowcheck() in nppcadd
  538. * fixed overflow flag definition
  539. * fixed cg.g_overflowcheck() for signed numbers (jump over call to
  540. FPC_OVERFLOW if *no* overflow instead of if overflow :)
  541. Revision 1.79 2003/11/29 16:27:19 jonas
  542. * fixed several ppc assembler reader related problems
  543. * local vars in assembler procedures now start at offset 4
  544. * fixed second_int_to_bool (apparently an integer can be in LOC_JUMP??)
  545. Revision 1.78 2003/11/23 20:00:39 jonas
  546. * fixed is_condreg
  547. * fixed branch condition parsing in assembler reader
  548. Revision 1.77 2003/11/15 19:00:10 florian
  549. * fixed ppc assembler reader
  550. Revision 1.76 2003/11/12 16:05:40 florian
  551. * assembler readers OOPed
  552. + typed currency constants
  553. + typed 128 bit float constants if the CPU supports it
  554. Revision 1.75 2003/10/31 08:42:28 mazen
  555. * rgHelper renamed to rgBase
  556. * using findreg_by_<name|number>_table directly to decrease heap overheading
  557. Revision 1.74 2003/10/30 15:03:18 mazen
  558. * now uses standard routines in rgBase unit to search registers by number and by name
  559. Revision 1.73 2003/10/19 01:34:31 florian
  560. * some ppc stuff fixed
  561. * memory leak fixed
  562. Revision 1.72 2003/10/17 15:08:34 peter
  563. * commented out more obsolete constants
  564. Revision 1.71 2003/10/11 16:06:42 florian
  565. * fixed some MMX<->SSE
  566. * started to fix ppc, needs an overhaul
  567. + stabs info improve for spilling, not sure if it works correctly/completly
  568. - MMX_SUPPORT removed from Makefile.fpc
  569. Revision 1.70 2003/10/08 14:11:36 mazen
  570. + Alignement field added to TParaLocation (=4 as 32 bits archs)
  571. Revision 1.69 2003/10/01 20:34:49 peter
  572. * procinfo unit contains tprocinfo
  573. * cginfo renamed to cgbase
  574. * moved cgmessage to verbose
  575. * fixed ppc and sparc compiles
  576. Revision 1.68 2003/09/14 16:37:20 jonas
  577. * fixed some ppc problems
  578. Revision 1.67 2003/09/03 21:04:14 peter
  579. * some fixes for ppc
  580. Revision 1.66 2003/09/03 19:35:24 peter
  581. * powerpc compiles again
  582. Revision 1.65 2003/09/03 11:18:37 florian
  583. * fixed arm concatcopy
  584. + arm support in the common compiler sources added
  585. * moved some generic cg code around
  586. + tfputype added
  587. * ...
  588. Revision 1.64 2003/08/17 16:59:20 jonas
  589. * fixed regvars so they work with newra (at least for ppc)
  590. * fixed some volatile register bugs
  591. + -dnotranslation option for -dnewra, which causes the registers not to
  592. be translated from virtual to normal registers. Requires support in
  593. the assembler writer as well, which is only implemented in aggas/
  594. agppcgas currently
  595. Revision 1.63 2003/08/08 15:51:16 olle
  596. * merged macos entry/exit code generation into the general one.
  597. Revision 1.62 2003/07/23 11:00:09 jonas
  598. * "lastsaveintreg" is RS_R31 instead of RS_R27 with -dnewra, because
  599. there are no scratch regs anymore
  600. Revision 1.61 2003/07/06 20:25:03 jonas
  601. * fixed ppc compiler
  602. Revision 1.60 2003/07/06 15:28:24 jonas
  603. * VOLATILE_REGISTERS was wrong (it was more or less the inverted set
  604. of what it had to be :/ )
  605. Revision 1.59 2003/06/17 16:34:44 jonas
  606. * lots of newra fixes (need getfuncretparaloc implementation for i386)!
  607. * renamed all_intregisters to volatile_intregisters and made it
  608. processor dependent
  609. Revision 1.58 2003/06/14 22:32:43 jonas
  610. * ppc compiles with -dnewra, haven't tried to compile anything with it
  611. yet though
  612. Revision 1.57 2003/06/13 17:44:44 jonas
  613. + added supreg_name function
  614. Revision 1.56 2003/06/12 19:11:34 jonas
  615. - removed ALL_INTREGISTERS (only the one in rgobj is valid)
  616. Revision 1.55 2003/05/31 15:05:28 peter
  617. * FUNCTION_RESULT64_LOW/HIGH_REG added for int64 results
  618. Revision 1.54 2003/05/30 23:57:08 peter
  619. * more sparc cleanup
  620. * accumulator removed, splitted in function_return_reg (called) and
  621. function_result_reg (caller)
  622. Revision 1.53 2003/05/30 18:49:59 jonas
  623. * changed scratchregs from r28-r30 to r29-r31
  624. * made sure the regvar registers don't overlap with the scratchregs
  625. anymore
  626. Revision 1.52 2003/05/24 16:02:01 jonas
  627. * fixed endian problem with tlocation.value/valueqword fields
  628. Revision 1.51 2003/05/16 16:26:05 jonas
  629. * adapted for Peter's regvar fixes
  630. Revision 1.50 2003/05/15 22:14:43 florian
  631. * fixed last commit, changing lastsaveintreg to r31 caused some strange problems
  632. Revision 1.49 2003/05/15 21:37:00 florian
  633. * sysv entry code saves r13 now as well
  634. Revision 1.48 2003/04/23 12:35:35 florian
  635. * fixed several issues with powerpc
  636. + applied a patch from Jonas for nested function calls (PowerPC only)
  637. * ...
  638. Revision 1.47 2003/04/22 11:27:48 florian
  639. + added first_ and last_imreg
  640. Revision 1.46 2003/03/19 14:26:26 jonas
  641. * fixed R_TOC bugs introduced by new register allocator conversion
  642. Revision 1.45 2003/03/11 21:46:24 jonas
  643. * lots of new regallocator fixes, both in generic and ppc-specific code
  644. (ppc compiler still can't compile the linux system unit though)
  645. Revision 1.44 2003/02/19 22:00:16 daniel
  646. * Code generator converted to new register notation
  647. - Horribily outdated todo.txt removed
  648. Revision 1.43 2003/02/02 19:25:54 carl
  649. * Several bugfixes for m68k target (register alloc., opcode emission)
  650. + VIS target
  651. + Generic add more complete (still not verified)
  652. Revision 1.42 2003/01/16 11:31:28 olle
  653. + added new register constants
  654. + implemented register convertion proc
  655. Revision 1.41 2003/01/13 17:17:50 olle
  656. * changed global var access, TOC now contain pointers to globals
  657. * fixed handling of function pointers
  658. Revision 1.40 2003/01/09 15:49:56 daniel
  659. * Added register conversion
  660. Revision 1.39 2003/01/08 18:43:58 daniel
  661. * Tregister changed into a record
  662. Revision 1.38 2002/11/25 17:43:27 peter
  663. * splitted defbase in defutil,symutil,defcmp
  664. * merged isconvertable and is_equal into compare_defs(_ext)
  665. * made operator search faster by walking the list only once
  666. Revision 1.37 2002/11/24 14:28:56 jonas
  667. + some comments describing the fields of treference
  668. Revision 1.36 2002/11/17 18:26:16 mazen
  669. * fixed a compilation bug accmulator-->FUNCTION_RETURN_REG, in definition of return_result_reg
  670. Revision 1.35 2002/11/17 17:49:09 mazen
  671. + 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
  672. Revision 1.34 2002/09/17 18:54:06 jonas
  673. * a_load_reg_reg() now has two size parameters: source and dest. This
  674. allows some optimizations on architectures that don't encode the
  675. register size in the register name.
  676. Revision 1.33 2002/09/07 17:54:59 florian
  677. * first part of PowerPC fixes
  678. Revision 1.32 2002/09/07 15:25:14 peter
  679. * old logs removed and tabs fixed
  680. Revision 1.31 2002/09/01 21:04:49 florian
  681. * several powerpc related stuff fixed
  682. Revision 1.30 2002/08/18 22:16:15 florian
  683. + the ppc gas assembler writer adds now registers aliases
  684. to the assembler file
  685. Revision 1.29 2002/08/18 21:36:42 florian
  686. + handling of local variables in direct reader implemented
  687. Revision 1.28 2002/08/14 18:41:47 jonas
  688. - remove valuelow/valuehigh fields from tlocation, because they depend
  689. on the endianess of the host operating system -> difficult to get
  690. right. Use lo/hi(location.valueqword) instead (remember to use
  691. valueqword and not value!!)
  692. Revision 1.27 2002/08/13 21:40:58 florian
  693. * more fixes for ppc calling conventions
  694. Revision 1.26 2002/08/12 15:08:44 carl
  695. + stab register indexes for powerpc (moved from gdb to cpubase)
  696. + tprocessor enumeration moved to cpuinfo
  697. + linker in target_info is now a class
  698. * many many updates for m68k (will soon start to compile)
  699. - removed some ifdef or correct them for correct cpu
  700. Revision 1.25 2002/08/10 17:15:06 jonas
  701. * endianess fix
  702. Revision 1.24 2002/08/06 20:55:24 florian
  703. * first part of ppc calling conventions fix
  704. Revision 1.23 2002/08/04 12:57:56 jonas
  705. * more misc. fixes, mostly constant-related
  706. Revision 1.22 2002/07/27 19:57:18 jonas
  707. * some typo corrections in the instruction tables
  708. * renamed the m* registers to v*
  709. Revision 1.21 2002/07/26 12:30:51 jonas
  710. * fixed typo in instruction table (_subco_ -> a_subco)
  711. Revision 1.20 2002/07/25 18:04:10 carl
  712. + FPURESULTREG -> FPU_RESULT_REG
  713. Revision 1.19 2002/07/13 19:38:44 florian
  714. * some more generic calling stuff fixed
  715. Revision 1.18 2002/07/11 14:41:34 florian
  716. * start of the new generic parameter handling
  717. Revision 1.17 2002/07/11 07:35:36 jonas
  718. * some available registers fixes
  719. Revision 1.16 2002/07/09 19:45:01 jonas
  720. * unarynminus and shlshr node fixed for 32bit and smaller ordinals
  721. * small fixes in the assembler writer
  722. * changed scratch registers, because they were used by the linker (r11
  723. and r12) and by the abi under linux (r31)
  724. Revision 1.15 2002/07/07 09:44:31 florian
  725. * powerpc target fixed, very simple units can be compiled
  726. Revision 1.14 2002/05/18 13:34:26 peter
  727. * readded missing revisions
  728. Revision 1.12 2002/05/14 19:35:01 peter
  729. * removed old logs and updated copyright year
  730. Revision 1.11 2002/05/14 17:28:10 peter
  731. * synchronized cpubase between powerpc and i386
  732. * moved more tables from cpubase to cpuasm
  733. * tai_align_abstract moved to tainst, cpuasm must define
  734. the tai_align class now, which may be empty
  735. }