cpubase.pas 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479
  1. {
  2. $Id$
  3. Copyright (c) 1998-2002 by Florian Klaempfl
  4. Contains the base types for the SPARC
  5. This program is free software; you can redistribute it and/or modify
  6. it under the terms of the GNU General Public License as published by
  7. the Free Software Foundation; either version 2 of the License, or
  8. (at your option) any later version.
  9. This program is distributed in the hope that it will be useful,
  10. but WITHOUT ANY WARRANTY; without even the implied warranty of
  11. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  12. GNU General Public License for more details.
  13. You should have received a copy of the GNU General Public License
  14. along with this program; if not, write to the Free Software
  15. Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  16. ****************************************************************************
  17. }
  18. unit cpubase;
  19. {$i fpcdefs.inc}
  20. interface
  21. uses
  22. globtype,strings,cutils,cclasses,aasmbase,cpuinfo,cgbase;
  23. {*****************************************************************************
  24. Assembler Opcodes
  25. *****************************************************************************}
  26. type
  27. {$WARNING CPU32 opcodes do not fully include the Ultra SPRAC instruction set.}
  28. { don't change the order of these opcodes! }
  29. TAsmOp=({$i opcode.inc});
  30. {# This should define the array of instructions as string }
  31. op2strtable=array[tasmop] of string[11];
  32. Const
  33. {# First value of opcode enumeration }
  34. firstop = low(tasmop);
  35. {# Last value of opcode enumeration }
  36. lastop = high(tasmop);
  37. std_op2str:op2strtable=({$i strinst.inc});
  38. {*****************************************************************************
  39. Registers
  40. *****************************************************************************}
  41. type
  42. { Number of registers used for indexing in tables }
  43. tregisterindex=0..{$i rspnor.inc}-1;
  44. totherregisterset = set of tregisterindex;
  45. const
  46. { Available Superregisters }
  47. {$i rspsup.inc}
  48. { No Subregisters }
  49. R_SUBWHOLE = R_SUBD;
  50. { Available Registers }
  51. {$i rspcon.inc}
  52. first_int_imreg = $20;
  53. first_fpu_imreg = $20;
  54. { MM Super register first and last }
  55. first_mm_supreg = 0;
  56. first_mm_imreg = 0;
  57. {$warning TODO Calculate bsstart}
  58. regnumber_count_bsstart = 128;
  59. regnumber_table : array[tregisterindex] of tregister = (
  60. {$i rspnum.inc}
  61. );
  62. regstabs_table : array[tregisterindex] of ShortInt = (
  63. {$i rspstab.inc}
  64. );
  65. regdwarf_table : array[tregisterindex] of ShortInt = (
  66. {$i rspdwrf.inc}
  67. );
  68. {*****************************************************************************
  69. Conditions
  70. *****************************************************************************}
  71. type
  72. TAsmCond=(C_None,
  73. C_A,C_AE,C_B,C_BE,C_C,C_E,C_G,C_GE,C_L,C_LE,C_NA,C_NAE,
  74. C_NB,C_NBE,C_NC,C_NE,C_NG,C_NGE,C_NL,C_NLE,C_NO,C_NP,
  75. C_NS,C_NZ,C_O,C_P,C_PE,C_PO,C_S,C_Z,
  76. C_FE,C_FG,C_FL,C_FGE,C_FLE,C_FNE
  77. );
  78. const
  79. cond2str:array[TAsmCond] of string[3]=('',
  80. 'gu','cc','cs','leu','cs','e','g','ge','l','le','leu','cs',
  81. 'cc','gu','cc','ne','le','l','ge','g','vc','XX',
  82. 'pos','ne','vs','XX','XX','XX','vs','e',
  83. 'e','g','l','ge','le','ne'
  84. );
  85. const
  86. CondAsmOps=2;
  87. CondAsmOp:array[0..CondAsmOps-1] of TAsmOp=(
  88. A_Bxx,A_FBxx
  89. );
  90. CondAsmOpStr:array[0..CondAsmOps-1] of string[7]=(
  91. 'B','FB'
  92. );
  93. {*****************************************************************************
  94. Flags
  95. *****************************************************************************}
  96. type
  97. TResFlags=(
  98. { Integer results }
  99. F_E, {Equal}
  100. F_NE, {Not Equal}
  101. F_G, {Greater}
  102. F_L, {Less}
  103. F_GE, {Greater or Equal}
  104. F_LE, {Less or Equal}
  105. F_A, {Above}
  106. F_AE, {Above or Equal}
  107. F_B, {Below}
  108. F_BE, {Below or Equal}
  109. F_C, {Carry}
  110. F_NC, {Not Carry}
  111. { Floating point results }
  112. F_FE, {Equal}
  113. F_FNE, {Not Equal}
  114. F_FG, {Greater}
  115. F_FL, {Less}
  116. F_FGE, {Greater or Equal}
  117. F_FLE {Less or Equal}
  118. );
  119. {*****************************************************************************
  120. Operand Sizes
  121. *****************************************************************************}
  122. {*****************************************************************************
  123. Constants
  124. *****************************************************************************}
  125. const
  126. max_operands = 3;
  127. {# Constant defining possibly all registers which might require saving }
  128. ALL_OTHERREGISTERS = [];
  129. general_superregisters = [RS_O0..RS_I7];
  130. {# Table of registers which can be allocated by the code generator
  131. internally, when generating the code.
  132. }
  133. { legend: }
  134. { xxxregs = set of all possibly used registers of that type in the code }
  135. { generator }
  136. { usableregsxxx = set of all 32bit components of registers that can be }
  137. { possible allocated to a regvar or using getregisterxxx (this }
  138. { excludes registers which can be only used for parameter }
  139. { passing on ABI's that define this) }
  140. { c_countusableregsxxx = amount of registers in the usableregsxxx set }
  141. maxintregs = 8;
  142. { to determine how many registers to use for regvars }
  143. maxintscratchregs = 3;
  144. usableregsint = [RS_L0..RS_L7];
  145. c_countusableregsint = 8;
  146. maxfpuregs = 8;
  147. usableregsfpu=[RS_F0..RS_F31];
  148. c_countusableregsfpu=32;
  149. mmregs = [];
  150. usableregsmm = [];
  151. c_countusableregsmm = 0;
  152. { no distinction on this platform }
  153. maxaddrregs = 0;
  154. addrregs = [];
  155. usableregsaddr = [];
  156. c_countusableregsaddr = 0;
  157. {$warning firstsaveintreg shall be RS_NO}
  158. firstsaveintreg = RS_L0; { Temporary, having RS_NO is broken }
  159. lastsaveintreg = RS_L0; { L0..L7 are already saved, I0..O7 are parameter }
  160. firstsavefpureg = RS_F2; { F0..F1 is used for return value }
  161. lastsavefpureg = RS_F31;
  162. firstsavemmreg = RS_INVALID;
  163. lastsavemmreg = RS_INVALID;
  164. maxvarregs = 8;
  165. varregs : Array [1..maxvarregs] of Tsuperregister =
  166. (RS_L0,RS_L1,RS_L2,RS_L3,RS_L4,RS_L5,RS_L6,RS_L7);
  167. maxfpuvarregs = 1;
  168. fpuvarregs : Array [1..maxfpuvarregs] of TsuperRegister =
  169. (RS_F2);
  170. {
  171. max_param_regs_int = 6;
  172. param_regs_int: Array[1..max_param_regs_int] of TCpuRegister =
  173. (R_3,R_4,R_5,R_6,R_7,R_8,R_9,R_10);
  174. max_param_regs_fpu = 13;
  175. param_regs_fpu: Array[1..max_param_regs_fpu] of TCpuRegister =
  176. (R_F1,R_F2,R_F3,R_F4,R_F5,R_F6,R_F7,R_F8,R_F9,R_F10,R_F11,R_F12,R_F13);
  177. max_param_regs_mm = 13;
  178. param_regs_mm: Array[1..max_param_regs_mm] of TCpuRegister =
  179. (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);
  180. }
  181. {*****************************************************************************
  182. Default generic sizes
  183. *****************************************************************************}
  184. {# Defines the default address size for a processor, }
  185. OS_ADDR = OS_32;
  186. {# the natural int size for a processor, }
  187. OS_INT = OS_32;
  188. {# the maximum float size for a processor, }
  189. OS_FLOAT = OS_F64;
  190. {# the size of a vector register for a processor }
  191. OS_VECTOR = OS_M64;
  192. {*****************************************************************************
  193. Generic Register names
  194. *****************************************************************************}
  195. {# Stack pointer register }
  196. NR_STACK_POINTER_REG = NR_O6;
  197. RS_STACK_POINTER_REG = RS_O6;
  198. {# Frame pointer register }
  199. NR_FRAME_POINTER_REG = NR_I6;
  200. RS_FRAME_POINTER_REG = RS_I6;
  201. {# Register for addressing absolute data in a position independant way,
  202. such as in PIC code. The exact meaning is ABI specific. For
  203. further information look at GCC source : PIC_OFFSET_TABLE_REGNUM
  204. Taken from GCC rs6000.h
  205. }
  206. {$warning As indicated in rs6000.h, but can't find it anywhere else!}
  207. {PIC_OFFSET_REG = R_30;}
  208. { Return address for DWARF }
  209. NR_RETURN_ADDRESS_REG = NR_I7;
  210. { the return_result_reg, is used inside the called function to store its return
  211. value when that is a scalar value otherwise a pointer to the address of the
  212. result is placed inside it }
  213. { Results are returned in this register (32-bit values) }
  214. NR_FUNCTION_RETURN_REG = NR_I0;
  215. RS_FUNCTION_RETURN_REG = RS_I0;
  216. { Low part of 64bit return value }
  217. NR_FUNCTION_RETURN64_LOW_REG = NR_I1;
  218. RS_FUNCTION_RETURN64_LOW_REG = RS_I1;
  219. { High part of 64bit return value }
  220. NR_FUNCTION_RETURN64_HIGH_REG = NR_I0;
  221. RS_FUNCTION_RETURN64_HIGH_REG = RS_I0;
  222. { The value returned from a function is available in this register }
  223. NR_FUNCTION_RESULT_REG = NR_O0;
  224. RS_FUNCTION_RESULT_REG = RS_O0;
  225. { The lowh part of 64bit value returned from a function }
  226. NR_FUNCTION_RESULT64_LOW_REG = NR_O1;
  227. RS_FUNCTION_RESULT64_LOW_REG = RS_O1;
  228. { The high part of 64bit value returned from a function }
  229. NR_FUNCTION_RESULT64_HIGH_REG = NR_O0;
  230. RS_FUNCTION_RESULT64_HIGH_REG = RS_O0;
  231. NR_FPU_RESULT_REG = NR_F0;
  232. NR_MM_RESULT_REG = NR_NO;
  233. PARENT_FRAMEPOINTER_OFFSET = 68; { o0 }
  234. {*****************************************************************************
  235. GCC /ABI linking information
  236. *****************************************************************************}
  237. {# Registers which must be saved when calling a routine declared as
  238. cppdecl, cdecl, stdcall, safecall, palmossyscall. The registers
  239. saved should be the ones as defined in the target ABI and / or GCC.
  240. This value can be deduced from CALLED_USED_REGISTERS array in the
  241. GCC source.
  242. }
  243. saved_standard_registers : array[0..0] of tsuperregister = (RS_NO);
  244. {# Required parameter alignment when calling a routine declared as
  245. stdcall and cdecl. The alignment value should be the one defined
  246. by GCC or the target ABI.
  247. The value of this constant is equal to the constant
  248. PARM_BOUNDARY / BITS_PER_UNIT in the GCC source.
  249. }
  250. std_param_align = 4; { for 32-bit version only }
  251. {*****************************************************************************
  252. CPU Dependent Constants
  253. *****************************************************************************}
  254. const
  255. simm13lo=-4096;
  256. simm13hi=4095;
  257. {*****************************************************************************
  258. Helpers
  259. *****************************************************************************}
  260. function is_calljmp(o:tasmop):boolean;
  261. procedure inverse_flags(var f: TResFlags);
  262. function inverse_cond(const c: TAsmCond): TAsmCond; {$ifdef USEINLINE}inline;{$endif USEINLINE}
  263. function conditions_equal(const c1, c2: TAsmCond): boolean; {$ifdef USEINLINE}inline;{$endif USEINLINE}
  264. function flags_to_cond(const f: TResFlags) : TAsmCond;
  265. function cgsize2subreg(s:Tcgsize):Tsubregister;
  266. function reg_cgsize(const reg: tregister): tcgsize;
  267. function std_regname(r:Tregister):string;
  268. function std_regnum_search(const s:string):Tregister;
  269. function findreg_by_number(r:Tregister):tregisterindex;
  270. implementation
  271. uses
  272. rgBase,verbose;
  273. const
  274. std_regname_table : TRegNameTAble = (
  275. {$i rspstd.inc}
  276. );
  277. regnumber_index : TRegisterIndexTable = (
  278. {$i rsprni.inc}
  279. );
  280. std_regname_index : TRegisterIndexTable = (
  281. {$i rspsri.inc}
  282. );
  283. {*****************************************************************************
  284. Helpers
  285. *****************************************************************************}
  286. function is_calljmp(o:tasmop):boolean;
  287. const
  288. CallJmpOp=[A_JMPL..A_CBccc];
  289. begin
  290. is_calljmp:=(o in CallJmpOp);
  291. end;
  292. procedure inverse_flags(var f: TResFlags);
  293. const
  294. inv_flags: array[TResFlags] of TResFlags =
  295. (F_NE,F_E,F_LE,F_GE,F_L,F_G,F_BE,F_B,F_AE,F_A,F_NC,F_C,
  296. F_FNE,F_FE,F_FLE,F_FGE,F_FL,F_FG);
  297. begin
  298. f:=inv_flags[f];
  299. end;
  300. function flags_to_cond(const f:TResFlags):TAsmCond;
  301. const
  302. flags_2_cond:array[TResFlags] of TAsmCond=
  303. (C_E,C_NE,C_G,C_L,C_GE,C_LE,C_A,C_AE,C_B,C_BE,C_C,C_NC,
  304. C_FE,C_FNE,C_FG,C_FL,C_FGE,C_FLE);
  305. begin
  306. result:=flags_2_cond[f];
  307. end;
  308. function cgsize2subreg(s:Tcgsize):Tsubregister;
  309. begin
  310. if s in [OS_64,OS_S64] then
  311. cgsize2subreg:=R_SUBQ
  312. else
  313. cgsize2subreg:=R_SUBWHOLE;
  314. end;
  315. function reg_cgsize(const reg: tregister): tcgsize;
  316. begin
  317. case getregtype(reg) of
  318. R_INTREGISTER :
  319. result:=OS_32;
  320. R_FPUREGISTER :
  321. begin
  322. if getsubreg(reg)=R_SUBFD then
  323. result:=OS_F64
  324. else
  325. result:=OS_F32;
  326. end;
  327. else
  328. internalerror(200303181);
  329. end;
  330. end;
  331. function findreg_by_number(r:Tregister):tregisterindex;
  332. begin
  333. result:=findreg_by_number_table(r,regnumber_index);
  334. end;
  335. function std_regname(r:Tregister):string;
  336. var
  337. p : tregisterindex;
  338. begin
  339. p:=findreg_by_number(r);
  340. if p<>0 then
  341. result:=std_regname_table[p]
  342. else
  343. result:=generic_regname(r);
  344. end;
  345. function std_regnum_search(const s:string):Tregister;
  346. begin
  347. result:=regnumber_table[findreg_by_name_table(s,std_regname_table,std_regname_index)];
  348. end;
  349. function inverse_cond(const c: TAsmCond): TAsmCond; {$ifdef USEINLINE}inline;{$endif USEINLINE}
  350. const
  351. inverse: array[TAsmCond] of TAsmCond=(C_None,
  352. C_NA,C_NAE,C_NB,C_NBE,C_NC,C_NE,C_NG,C_NGE,C_NL,C_NLE,C_A,C_AE,
  353. C_B,C_BE,C_C,C_E,C_G,C_GE,C_L,C_LE,C_O,C_P,
  354. C_S,C_Z,C_NO,C_NP,C_NP,C_P,C_NS,C_NZ,
  355. C_FNE,C_FLE,C_FGE,C_FL,C_FG,C_FE
  356. );
  357. begin
  358. result := inverse[c];
  359. end;
  360. function conditions_equal(const c1, c2: TAsmCond): boolean; {$ifdef USEINLINE}inline;{$endif USEINLINE}
  361. begin
  362. result := c1 = c2;
  363. end;
  364. end.
  365. {
  366. $Log$
  367. Revision 1.78 2005-02-26 01:27:00 jonas
  368. * fixed generic jumps optimizer and enabled it for ppc (the label table
  369. was not being initialised -> getfinaldestination always failed, which
  370. caused wrong optimizations in some cases)
  371. * changed the inverse_cond into a function, because tasmcond is a record
  372. on ppc
  373. + added a compare_conditions() function for the same reason
  374. Revision 1.77 2005/02/14 17:13:10 peter
  375. * truncate log
  376. Revision 1.76 2005/01/20 16:38:45 peter
  377. * load jmp_buf_size from system unit
  378. }