cpupi.pas 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281
  1. {
  2. Copyright (c) 2002 by Florian Klaempfl
  3. This unit contains the CPU specific part of tprocinfo
  4. This program is free software; you can redistribute it and/or modify
  5. it under the terms of the GNU General Public License as published by
  6. the Free Software Foundation; either version 2 of the License, or
  7. (at your option) any later version.
  8. This program is distributed in the hope that it will be useful,
  9. but WITHOUT ANY WARRANTY; without even the implied warranty of
  10. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  11. GNU General Public License for more details.
  12. You should have received a copy of the GNU General Public License
  13. along with this program; if not, write to the Free Software
  14. Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  15. ****************************************************************************
  16. }
  17. { This unit contains the CPU specific part of tprocinfo. }
  18. unit cpupi;
  19. {$i fpcdefs.inc}
  20. interface
  21. uses
  22. globtype,cutils,
  23. procinfo,cpuinfo,psub,cgbase,
  24. aasmdata;
  25. type
  26. tcpuprocinfo = class(tcgprocinfo)
  27. { for arm thumb, we need to know the stackframe size before
  28. starting procedure compilation, so this contains the stack frame size, the compiler
  29. should assume
  30. if this size is too little the procedure must be compiled again with a larger value }
  31. stackframesize,
  32. floatregstart : aint;
  33. stackpaddingreg: TSuperRegister;
  34. // procedure handle_body_start;override;
  35. // procedure after_pass1;override;
  36. procedure set_first_temp_offset;override;
  37. function calc_stackframe_size:longint;override;
  38. procedure init_framepointer; override;
  39. procedure generate_parameter_info;override;
  40. procedure allocate_got_register(list : TAsmList);override;
  41. procedure postprocess_code;override;
  42. end;
  43. implementation
  44. uses
  45. globals,systems,
  46. cpubase,
  47. tgobj,
  48. symconst,symtype,symsym,symcpu,paramgr,
  49. cgutils,
  50. cgobj,
  51. defutil,
  52. aasmcpu;
  53. procedure tcpuprocinfo.set_first_temp_offset;
  54. var
  55. localsize : aint;
  56. i : longint;
  57. begin
  58. { We allocate enough space to save all registers because we can't determine
  59. the necessary space because the used registers aren't known before
  60. secondpass is run. Even worse, patching
  61. the local offsets after generating the code could cause trouble because
  62. "shifter" constants could change to non-"shifter" constants. This
  63. is especially a problem when taking the address of a local. For now,
  64. this extra memory should hurt less than generating all local contants with offsets
  65. >256 as non shifter constants }
  66. if (po_nostackframe in procdef.procoptions) then
  67. begin
  68. { maxpushedparasize sghould be zero,
  69. if not we will get an error later. }
  70. tg.setfirsttemp(maxpushedparasize);
  71. exit;
  72. end;
  73. if tg.direction = -1 then
  74. begin
  75. if (target_info.system<>system_arm_ios) then
  76. { Non-Darwin, worst case: r4-r10,r11,r13,r14,r15 is saved -> -28-16, but we
  77. always adjust the frame pointer to point to the first stored
  78. register (= last register in list above) -> + 4 }
  79. tg.setfirsttemp(-28-16)
  80. else
  81. { on Darwin first r4-r7,r14 are saved, then r7 is adjusted to
  82. point to the saved r7, and next r8,r10,r11 gets saved -> -24
  83. (r4-r6 and r8,r10,r11) }
  84. tg.setfirsttemp(-24)
  85. end
  86. else
  87. tg.setfirsttemp(maxpushedparasize);
  88. { estimate stack frame size }
  89. if GenerateThumbCode or (pi_estimatestacksize in flags) then
  90. begin
  91. stackframesize:=maxpushedparasize+32;
  92. localsize:=0;
  93. for i:=0 to procdef.localst.SymList.Count-1 do
  94. if tsym(procdef.localst.SymList[i]).typ=localvarsym then
  95. inc(localsize,tabstractnormalvarsym(procdef.localst.SymList[i]).getsize);
  96. inc(stackframesize,localsize);
  97. localsize:=0;
  98. for i:=0 to procdef.parast.SymList.Count-1 do
  99. if tsym(procdef.parast.SymList[i]).typ=paravarsym then
  100. begin
  101. if tabstractnormalvarsym(procdef.parast.SymList[i]).varspez in [vs_var,vs_out,vs_constref] then
  102. inc(localsize,4)
  103. else if is_open_string(tabstractnormalvarsym(procdef.parast.SymList[i]).vardef) then
  104. inc(localsize,256)
  105. else
  106. inc(localsize,tabstractnormalvarsym(procdef.parast.SymList[i]).getsize);
  107. end;
  108. inc(stackframesize,localsize);
  109. if pi_needs_implicit_finally in flags then
  110. inc(stackframesize,40);
  111. if pi_uses_exceptions in flags then
  112. inc(stackframesize,40);
  113. if procdef.proctypeoption in [potype_constructor] then
  114. inc(stackframesize,40*2);
  115. inc(stackframesize,estimatedtempsize);
  116. stackframesize:=Align(stackframesize,8);
  117. end;
  118. end;
  119. function tcpuprocinfo.calc_stackframe_size:longint;
  120. var
  121. firstfloatreg,lastfloatreg,
  122. r : byte;
  123. floatsavesize : aword;
  124. regs: tcpuregisterset;
  125. begin
  126. if GenerateThumbCode or (pi_estimatestacksize in flags) then
  127. result:=stackframesize
  128. else
  129. begin
  130. maxpushedparasize:=align(maxpushedparasize,max(current_settings.alignment.localalignmin,4));
  131. floatsavesize:=0;
  132. case current_settings.fputype of
  133. fpu_fpa,
  134. fpu_fpa10,
  135. fpu_fpa11:
  136. begin
  137. { save floating point registers? }
  138. firstfloatreg:=RS_NO;
  139. lastfloatreg:=RS_NO;
  140. regs:=cg.rg[R_FPUREGISTER].used_in_proc-paramanager.get_volatile_registers_fpu(pocall_stdcall);
  141. for r:=RS_F0 to RS_F7 do
  142. if r in regs then
  143. begin
  144. if firstfloatreg=RS_NO then
  145. firstfloatreg:=r;
  146. lastfloatreg:=r;
  147. end;
  148. if firstfloatreg<>RS_NO then
  149. floatsavesize:=(lastfloatreg-firstfloatreg+1)*12;
  150. end;
  151. fpu_vfpv2,
  152. fpu_vfpv3,
  153. fpu_vfpv4,
  154. fpu_vfpv3_d16:
  155. begin
  156. floatsavesize:=0;
  157. regs:=cg.rg[R_MMREGISTER].used_in_proc-paramanager.get_volatile_registers_mm(pocall_stdcall);
  158. for r:=RS_D0 to RS_D31 do
  159. if r in regs then
  160. inc(floatsavesize,8);
  161. end;
  162. fpu_fpv4_s16:
  163. begin
  164. floatsavesize:=0;
  165. regs:=cg.rg[R_MMREGISTER].used_in_proc-paramanager.get_volatile_registers_mm(pocall_stdcall);
  166. for r:=RS_D0 to RS_D15 do
  167. if r in regs then
  168. inc(floatsavesize,8);
  169. end;
  170. end;
  171. floatsavesize:=align(floatsavesize,max(current_settings.alignment.localalignmin,4));
  172. result:=Align(tg.direction*tg.lasttemp,max(current_settings.alignment.localalignmin,4))+maxpushedparasize+aint(floatsavesize);
  173. { Note: in cgcpu "-floatregstart" is subtracted -> reason based on
  174. "adding floatregstart" to avoid double negation
  175. tg.direction=1 -> no framepointer ->
  176. 1) save used int registers
  177. 2) allocate stacksize (= subtracting result, which is positive,
  178. from the stackpointer)
  179. 3) add floatregstart to the stackpointer to get the offset where
  180. to store the floating point registers (-> floatregstart
  181. should be positive)
  182. 4) store the floating point registers from this offset with IA
  183. (i.e., this offset and higher addresses -> offset should
  184. point to lower end of area)
  185. -> newsp+(result) points to lower end of saved int registers area
  186. -> newsp+(result-floatsavesize) points to lower end of float reg
  187. saving area
  188. tg.direction=-1 -> with framepointer ->
  189. 1) save stack pointer in framepointer
  190. 2) save used int registers using stackpointer
  191. 3) allocate stacksize (= subtracting result, which is positive,
  192. from the stack pointer)
  193. 4) add floatregstart" to the framepointer to get the offset
  194. where to store the floating point registers (-> floatregstart
  195. should be negative)
  196. 5) store the floating point registers from this offset with IA
  197. (i.e., this offset and higher addresses -> offset should
  198. point to lower end of area)
  199. o in this case, firsttemp starts right after the saved int
  200. registers area (or a bit further, because it's calculated for
  201. the worst-case scenario, when all non-volative integer
  202. registers have to be saved) -> we store the floating point
  203. registers between the last temp and the parameter pushing area
  204. -> fp+(-result) points to the top of the stack (= end of
  205. parameter pushing area)
  206. -> fp+(-result+maxpushedparasize) points to the start of the
  207. parameter pushing area = lower end of float reg saving area
  208. }
  209. if tg.direction=1 then
  210. floatregstart:=result-aint(floatsavesize)
  211. else
  212. floatregstart:=-result+maxpushedparasize;
  213. end;
  214. end;
  215. procedure tcpuprocinfo.init_framepointer;
  216. begin
  217. if (target_info.system in systems_darwin) or GenerateThumbCode then
  218. begin
  219. RS_FRAME_POINTER_REG:=RS_R7;
  220. NR_FRAME_POINTER_REG:=NR_R7;
  221. end
  222. else
  223. begin
  224. RS_FRAME_POINTER_REG:=RS_R11;
  225. NR_FRAME_POINTER_REG:=NR_R11;
  226. end;
  227. end;
  228. procedure tcpuprocinfo.generate_parameter_info;
  229. begin
  230. tcpuprocdef(procdef).total_stackframe_size:=stackframesize;
  231. inherited generate_parameter_info;
  232. end;
  233. procedure tcpuprocinfo.allocate_got_register(list: TAsmList);
  234. begin
  235. { darwin doesn't use a got }
  236. if tf_pic_uses_got in target_info.flags then
  237. got := cg.getaddressregister(list);
  238. end;
  239. procedure tcpuprocinfo.postprocess_code;
  240. begin
  241. { because of the limited constant size of the arm, all data access is done pc relative }
  242. finalizearmcode(aktproccode,aktlocaldata);
  243. end;
  244. begin
  245. cprocinfo:=tcpuprocinfo;
  246. end.