cpubase.pas 33 KB

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