cgppc.pas 47 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234
  1. {
  2. Copyright (c) 2006 by Florian Klaempfl
  3. This unit implements the common part of the code generator for the PowerPC
  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. unit cgppc;
  18. {$i fpcdefs.inc}
  19. interface
  20. uses
  21. globtype,symtype,symdef,
  22. cgbase,cgobj,
  23. aasmbase,aasmdef,aasmcpu,aasmtai,aasmdata,
  24. cpubase,cpuinfo,cgutils,rgcpu,
  25. parabase;
  26. type
  27. tcgppcgen = class(tcg)
  28. procedure a_loadaddr_ref_cgpara(list : TAsmList;const r : treference;const paraloc : tcgpara); override;
  29. procedure a_bit_scan_reg_reg(list: TAsmList; reverse: boolean; srcsize, dstsize: tcgsize; src, dst: TRegister); override;
  30. procedure a_call_reg(list : TAsmList;reg: tregister); override;
  31. { stores the contents of register reg to the memory location described by
  32. ref }
  33. procedure a_load_reg_ref(list: TAsmList; fromsize, tosize: TCGSize;
  34. reg: tregister; const ref: treference); override;
  35. procedure a_loadaddr_ref_reg(list : TAsmList;const ref : treference;r : tregister);override;
  36. { fpu move instructions }
  37. procedure a_loadfpu_reg_reg(list: TAsmList; fromsize, tosize: tcgsize; reg1, reg2: tregister); override;
  38. procedure a_loadfpu_ref_reg(list: TAsmList; fromsize, tosize: tcgsize; const ref: treference; reg: tregister); override;
  39. procedure a_loadfpu_reg_ref(list: TAsmList; fromsize, tosize: tcgsize; reg: tregister; const ref: treference); override;
  40. { overflow checking }
  41. procedure g_overflowcheck(list: TAsmList; const l: tlocation; def: tdef);override;
  42. { entry code }
  43. procedure g_profilecode(list: TAsmList); override;
  44. procedure a_jmp_flags(list: TAsmList; const f: TResFlags; l: tasmlabel); override;
  45. procedure a_jmp_cond(list : TAsmList;cond : TOpCmp;l: tasmlabel);
  46. procedure g_maybe_got_init(list: TAsmList); override;
  47. procedure get_aix_toc_sym(list: TAsmList; const symname: string; const flags: tindsymflags; out ref: treference; force_direct_toc: boolean);
  48. procedure g_load_check_simple(list: TAsmList; const ref: treference; size: aint);
  49. procedure g_flags2reg(list: TAsmList; size: TCgSize; const f: TResFlags; reg: TRegister); override;
  50. { returns true if the offset of the given reference can not be }
  51. { represented by a 16 bit immediate as required by some PowerPC }
  52. { instructions }
  53. function hasLargeOffset(const ref : TReference) : Boolean; inline;
  54. function get_darwin_call_stub(const s: string; weak: boolean): tasmsymbol;
  55. protected
  56. function g_indirect_sym_load(list:TAsmList;const symname: string; const flags: tindsymflags): tregister; override;
  57. { Make sure ref is a valid reference for the PowerPC and sets the }
  58. { base to the value of the index if (base = R_NO). }
  59. { Returns true if the reference contained a base, index and an }
  60. { offset or symbol, in which case the base will have been changed }
  61. { to a tempreg (which has to be freed by the caller) containing }
  62. { the sum of part of the original reference }
  63. function fixref(list: TAsmList; var ref: treference): boolean;
  64. { contains the common code of a_load_reg_ref and a_load_ref_reg }
  65. procedure a_load_store(list:TAsmList;op: tasmop;reg:tregister;ref: treference);virtual;
  66. { creates the correct branch instruction for a given combination }
  67. { of asmcondflags and destination addressing mode }
  68. procedure a_jmp(list: TAsmList; op: tasmop;
  69. c: tasmcondflag; crval: longint; l: tasmlabel);
  70. function save_lr_in_prologue: boolean;
  71. function load_got_symbol(list : TAsmList; const symbol : string; const flags: tindsymflags) : tregister;
  72. end;
  73. TPPCAsmData = class(TAsmDataDef)
  74. private
  75. { number of entries in the TOC }
  76. fdirecttocentries,
  77. { number of fake TOC subsections we have created }
  78. ftocsections,
  79. { number of fake TOC entries in the current TOC subsection }
  80. fcurrenttocentries: longint;
  81. public
  82. procedure GetNextSmallTocEntry(out tocnr, entrynr: longint);
  83. property DirectTOCEntries: longint read fdirecttocentries write fdirecttocentries;
  84. end;
  85. TTOCAsmSymbol = class(TAsmSymbol)
  86. private
  87. { we split the toc into several sections of 32KB each, this number
  88. indicates which subsection this symbol is defined in }
  89. ftocsecnr: longint;
  90. public
  91. property TocSecNr: longint read ftocsecnr;
  92. end;
  93. const
  94. TOpCmp2AsmCond: Array[topcmp] of TAsmCondFlag = (C_NONE,C_EQ,C_GT,
  95. C_LT,C_GE,C_LE,C_NE,C_LE,C_LT,C_GE,C_GT);
  96. TocSecBaseName = 'toc_table';
  97. {$ifdef extdebug}
  98. function ref2string(const ref : treference) : string;
  99. function cgsize2string(const size : TCgSize) : string;
  100. function cgop2string(const op : TOpCg) : String;
  101. {$endif extdebug}
  102. implementation
  103. uses
  104. {$ifdef extdebug}sysutils,{$endif}
  105. globals,verbose,systems,cutils,
  106. symconst,symsym,symtable,fmodule,
  107. rgobj,tgobj,cpupi,procinfo,paramgr;
  108. { We know that macos_direct_globals is a const boolean
  109. but we don't care about this warning }
  110. {$NOTE Is macos_direct_globals still useful?}
  111. {$WARN 6018 OFF}
  112. {$ifdef extdebug}
  113. function ref2string(const ref : treference) : string;
  114. begin
  115. result := 'base : ' + inttostr(ord(ref.base)) + ' index : ' + inttostr(ord(ref.index)) + ' refaddr : ' + inttostr(ord(ref.refaddr)) + ' offset : ' + inttostr(ref.offset) + ' symbol : ';
  116. if (assigned(ref.symbol)) then
  117. result := result + ref.symbol.name;
  118. end;
  119. function cgsize2string(const size : TCgSize) : string;
  120. const
  121. (* TCgSize = (OS_NO,
  122. OS_8, OS_16, OS_32, OS_64, OS_128,
  123. OS_S8, OS_S16, OS_S32, OS_S64, OS_S128,
  124. { single, double, extended, comp, float128 }
  125. OS_F32, OS_F64, OS_F80, OS_C64, OS_F128,
  126. { multi-media sizes: split in byte, word, dword, ... }
  127. { entities, then the signed counterparts }
  128. OS_M8, OS_M16, OS_M32, OS_M64, OS_M128, OS_M256, OS_M512,
  129. OS_MS8, OS_MS16, OS_MS32, OS_MS64, OS_MS128, OS_MS256, OS_MS512,
  130. { multi-media sizes: single-precision floating-point }
  131. OS_MF32, OS_MF128, OS_MF256, OS_MF512,
  132. { multi-media sizes: double-precision floating-point }
  133. OS_MD64, OS_MD128, OS_MD256, OS_MD512); *)
  134. cgsize_strings : array[TCgSize] of string[8] = (
  135. 'OS_NO',
  136. 'OS_8', 'OS_16', 'OS_32', 'OS_64', 'OS_128',
  137. 'OS_S8', 'OS_S16', 'OS_S32', 'OS_S64', 'OS_S128',
  138. 'OS_F32', 'OS_F64', 'OS_F80', 'OS_C64', 'OS_F128',
  139. 'OS_M8', 'OS_M16', 'OS_M32', 'OS_M64', 'OS_M128', 'OS_M256', 'OS_M512',
  140. 'OS_MS8', 'OS_MS16', 'OS_MS32', 'OS_MS64', 'OS_MS128', 'OS_MS256', 'OS_MS512',
  141. 'OS_MF32', 'OS_MF128', 'OS_MF256', 'OS_MF512',
  142. 'OS_MD64', 'OS_MD128', 'OS_MD256', 'OS_MD512');
  143. begin
  144. result := cgsize_strings[size];
  145. end;
  146. function cgop2string(const op : TOpCg) : String;
  147. const
  148. opcg_strings : array[TOpCg] of string[6] = (
  149. 'None', 'Move', 'Add', 'And', 'Div', 'IDiv', 'IMul', 'Mul',
  150. 'Neg', 'Not', 'Or', 'Sar', 'Shl', 'Shr', 'Sub', 'Xor', 'Rol', 'Ror'
  151. );
  152. begin
  153. result := opcg_strings[op];
  154. end;
  155. {$endif extdebug}
  156. function tcgppcgen.hasLargeOffset(const ref : TReference) : Boolean;
  157. begin
  158. result := aword(ref.offset-low(smallint)) > high(smallint)-low(smallint);
  159. end;
  160. function tcgppcgen.save_lr_in_prologue: boolean;
  161. begin
  162. result:=
  163. (not (po_assembler in current_procinfo.procdef.procoptions) and
  164. ((pi_do_call in current_procinfo.flags) or
  165. (cs_profile in init_settings.moduleswitches))) or
  166. ([cs_lineinfo,cs_debuginfo] * current_settings.moduleswitches <> []);
  167. end;
  168. procedure tcgppcgen.a_loadaddr_ref_cgpara(list : TAsmList;const r : treference;const paraloc : tcgpara);
  169. var
  170. ref: treference;
  171. tmpreg: tregister;
  172. begin
  173. paraloc.check_simple_location;
  174. paramanager.allocparaloc(list,paraloc.location);
  175. case paraloc.location^.loc of
  176. LOC_REGISTER,LOC_CREGISTER:
  177. a_loadaddr_ref_reg(list,r,paraloc.location^.register);
  178. LOC_REFERENCE:
  179. begin
  180. reference_reset(ref,paraloc.alignment,[]);
  181. ref.base := paraloc.location^.reference.index;
  182. ref.offset := paraloc.location^.reference.offset;
  183. tmpreg := rg[R_INTREGISTER].getregister(list,R_SUBWHOLE);
  184. a_loadaddr_ref_reg(list,r,tmpreg);
  185. a_load_reg_ref(list,OS_ADDR,OS_ADDR,tmpreg,ref);
  186. end;
  187. else
  188. internalerror(2002080701);
  189. end;
  190. end;
  191. procedure tcgppcgen.a_bit_scan_reg_reg(list: TAsmList; reverse: boolean; srcsize, dstsize: tcgsize; src, dst: TRegister);
  192. var
  193. tmpreg: tregister;
  194. cntlzop: tasmop;
  195. bitsizem1: longint;
  196. begin
  197. { we only have a cntlz(w|d) instruction, which corresponds to bsr(x)
  198. (well, regsize_in_bits - bsr(x), as x86 numbers bits in reverse).
  199. Fortunately, bsf(x) can be calculated easily based on that, see
  200. "Figure 5-13. Number of Powers of 2 Code Sequence" in the PowerPC
  201. Compiler Writer's Guide
  202. }
  203. if srcsize in [OS_64,OS_S64] then
  204. begin
  205. {$ifdef powerpc64}
  206. cntlzop:=A_CNTLZD;
  207. {$else}
  208. internalerror(2015022601);
  209. {$endif}
  210. bitsizem1:=63;
  211. end
  212. else
  213. begin
  214. cntlzop:=A_CNTLZW;
  215. bitsizem1:=31;
  216. end;
  217. if not reverse then
  218. begin
  219. { cntlzw(src and -src) }
  220. tmpreg:=getintregister(list,srcsize);
  221. { don't use a_op_reg_reg, as this will adjust the result
  222. after the neg in case of a non-32/64 bit operation, which
  223. is not necessary since we're only using it as an
  224. AND-mask }
  225. list.concat(taicpu.op_reg_reg(A_NEG,tmpreg,src));
  226. a_op_reg_reg(list,OP_AND,srcsize,src,tmpreg);
  227. end
  228. else
  229. tmpreg:=src;
  230. { count leading zeroes }
  231. list.concat(taicpu.op_reg_reg(cntlzop,dst,tmpreg));
  232. { (bitsize-1) - cntlz (which is 32/64 in case src was 0) }
  233. list.concat(taicpu.op_reg_reg_const(A_SUBFIC,dst,dst,bitsizem1));
  234. { set to 255 is source was 0 }
  235. a_op_const_reg(list,OP_AND,dstsize,255,dst);
  236. end;
  237. procedure tcgppcgen.g_maybe_got_init(list: TAsmList);
  238. var
  239. instr: taicpu;
  240. cond: tasmcond;
  241. savedlr: boolean;
  242. begin
  243. if not(po_assembler in current_procinfo.procdef.procoptions) then
  244. begin
  245. if (cs_create_pic in current_settings.moduleswitches) and
  246. (pi_needs_got in current_procinfo.flags) then
  247. case target_info.system of
  248. system_powerpc_darwin,
  249. system_powerpc64_darwin:
  250. begin
  251. savedlr:=save_lr_in_prologue;
  252. if not savedlr then
  253. list.concat(taicpu.op_reg_reg(A_MFSPR,NR_R0,NR_LR));
  254. fillchar(cond,sizeof(cond),0);
  255. cond.simple:=false;
  256. cond.bo:=20;
  257. cond.bi:=31;
  258. instr:=taicpu.op_sym(A_BCL,current_procinfo.CurrGOTLabel);
  259. instr.setcondition(cond);
  260. list.concat(instr);
  261. a_label(list,current_procinfo.CurrGOTLabel);
  262. a_reg_alloc(list,current_procinfo.got);
  263. list.concat(taicpu.op_reg_reg(A_MFSPR,current_procinfo.got,NR_LR));
  264. if not savedlr or
  265. { in the following case lr is saved, but not restored }
  266. { (happens e.g. when generating debug info for leaf }
  267. { procedures) }
  268. not(pi_do_call in current_procinfo.flags) then
  269. list.concat(taicpu.op_reg_reg(A_MTSPR,NR_LR,NR_R0));
  270. end;
  271. end;
  272. end;
  273. end;
  274. function tcgppcgen.g_indirect_sym_load(list: TAsmList; const symname: string; const flags: tindsymflags): tregister;
  275. begin
  276. case target_info.system of
  277. system_powerpc_aix,
  278. system_powerpc64_aix:
  279. result:=load_got_symbol(list,symname,flags);
  280. else
  281. result:=inherited;
  282. end;
  283. end;
  284. function tcgppcgen.get_darwin_call_stub(const s: string; weak: boolean): tasmsymbol;
  285. var
  286. stubname: string;
  287. instr: taicpu;
  288. href: treference;
  289. l1: tasmsymbol;
  290. localgotlab: tasmlabel;
  291. cond: tasmcond;
  292. stubalign: byte;
  293. begin
  294. { function declared in the current unit? }
  295. { doesn't work correctly, because this will also return a hit if we }
  296. { previously took the address of an external procedure. It doesn't }
  297. { really matter, the linker will remove all unnecessary stubs. }
  298. stubname := 'L'+s+'$stub';
  299. result := current_asmdata.getasmsymbol(stubname);
  300. if assigned(result) then
  301. exit;
  302. if current_asmdata.asmlists[al_imports]=nil then
  303. current_asmdata.asmlists[al_imports]:=TAsmList.create;
  304. if (cs_create_pic in current_settings.moduleswitches) then
  305. stubalign:=32
  306. else
  307. stubalign:=16;
  308. new_section(current_asmdata.asmlists[al_imports],sec_stub,'',stubalign);
  309. result := current_asmdata.DefineAsmSymbol(stubname,AB_LOCAL,AT_FUNCTION,voidcodepointertype);
  310. current_asmdata.asmlists[al_imports].concat(Tai_symbol.Create(result,0));
  311. { register as a weak symbol if necessary }
  312. if weak then
  313. current_asmdata.weakrefasmsymbol(s,AT_FUNCTION);
  314. current_asmdata.asmlists[al_imports].concat(tai_directive.create(asd_indirect_symbol,s));
  315. l1 := current_asmdata.DefineAsmSymbol('L'+s+'$lazy_ptr',AB_LOCAL,AT_DATA,voidpointertype);
  316. reference_reset_symbol(href,l1,0,sizeof(pint),[]);
  317. href.refaddr := addr_higha;
  318. if (cs_create_pic in current_settings.moduleswitches) then
  319. begin
  320. current_asmdata.getjumplabel(localgotlab);
  321. href.relsymbol:=localgotlab;
  322. fillchar(cond,sizeof(cond),0);
  323. cond.simple:=false;
  324. cond.bo:=20;
  325. cond.bi:=31;
  326. current_asmdata.asmlists[al_imports].concat(taicpu.op_reg(A_MFLR,NR_R0));
  327. instr:=taicpu.op_sym(A_BCL,localgotlab);
  328. instr.setcondition(cond);
  329. current_asmdata.asmlists[al_imports].concat(instr);
  330. a_label(current_asmdata.asmlists[al_imports],localgotlab);
  331. current_asmdata.asmlists[al_imports].concat(taicpu.op_reg(A_MFLR,NR_R11));
  332. current_asmdata.asmlists[al_imports].concat(taicpu.op_reg_reg_ref(A_ADDIS,NR_R11,NR_R11,href));
  333. current_asmdata.asmlists[al_imports].concat(taicpu.op_reg(A_MTLR,NR_R0));
  334. end
  335. else
  336. current_asmdata.asmlists[al_imports].concat(taicpu.op_reg_ref(A_LIS,NR_R11,href));
  337. href.refaddr := addr_low;
  338. href.base := NR_R11;
  339. {$ifndef cpu64bitaddr}
  340. current_asmdata.asmlists[al_imports].concat(taicpu.op_reg_ref(A_LWZU,NR_R12,href));
  341. {$else cpu64bitaddr}
  342. { darwin/ppc64 uses a 32 bit absolute address here, strange... }
  343. current_asmdata.asmlists[al_imports].concat(taicpu.op_reg_ref(A_LDU,NR_R12,href));
  344. {$endif cpu64bitaddr}
  345. current_asmdata.asmlists[al_imports].concat(taicpu.op_reg(A_MTCTR,NR_R12));
  346. current_asmdata.asmlists[al_imports].concat(taicpu.op_none(A_BCTR));
  347. new_section(current_asmdata.asmlists[al_imports],sec_data_lazy,'',sizeof(pint));
  348. current_asmdata.asmlists[al_imports].concat(Tai_symbol.Create(l1,0));
  349. current_asmdata.asmlists[al_imports].concat(tai_directive.create(asd_indirect_symbol,s));
  350. current_asmdata.asmlists[al_imports].concat(tai_const.createname('dyld_stub_binding_helper',0));
  351. end;
  352. procedure tcgppcgen.a_loadaddr_ref_reg(list : TAsmList;const ref : treference;r : tregister);
  353. var
  354. ref2, tmpref: treference;
  355. begin
  356. ref2 := ref;
  357. fixref(list,ref2);
  358. if assigned(ref2.symbol) then
  359. begin
  360. if target_info.system = system_powerpc_macos then
  361. begin
  362. if macos_direct_globals then
  363. begin
  364. reference_reset(tmpref,ref2.alignment,ref2.volatility);
  365. tmpref.offset := ref2.offset;
  366. tmpref.symbol := ref2.symbol;
  367. tmpref.base := NR_NO;
  368. list.concat(taicpu.op_reg_reg_ref(A_ADDI,r,NR_RTOC,tmpref));
  369. end
  370. else
  371. begin
  372. reference_reset(tmpref,ref2.alignment,ref2.volatility);
  373. tmpref.symbol := ref2.symbol;
  374. tmpref.offset := 0;
  375. tmpref.base := NR_RTOC;
  376. list.concat(taicpu.op_reg_ref(A_LWZ,r,tmpref));
  377. if ref2.offset<>0 then
  378. a_op_const_reg(list,OP_ADD,OS_ADDR,ref2.offset,r);
  379. end;
  380. if ref2.base <> NR_NO then
  381. list.concat(taicpu.op_reg_reg_reg(A_ADD,r,r,ref2.base));
  382. //list.concat(tai_comment.create(strpnew('*** a_loadaddr_ref_reg')));
  383. end
  384. else
  385. begin
  386. { add the symbol's value to the base of the reference, and if the }
  387. { reference doesn't have a base, create one }
  388. reference_reset(tmpref,ref2.alignment,ref2.volatility);
  389. tmpref.offset := ref2.offset;
  390. tmpref.symbol := ref2.symbol;
  391. tmpref.relsymbol := ref2.relsymbol;
  392. tmpref.refaddr := addr_higha;
  393. if ref2.base<> NR_NO then
  394. begin
  395. list.concat(taicpu.op_reg_reg_ref(A_ADDIS,r,
  396. ref2.base,tmpref));
  397. end
  398. else
  399. list.concat(taicpu.op_reg_ref(A_LIS,r,tmpref));
  400. tmpref.base := NR_NO;
  401. tmpref.refaddr := addr_low;
  402. { can be folded with one of the next instructions by the }
  403. { optimizer probably }
  404. list.concat(taicpu.op_reg_reg_ref(A_ADDI,r,r,tmpref));
  405. end
  406. end
  407. else if ref2.offset <> 0 Then
  408. if ref2.base <> NR_NO then
  409. a_op_const_reg_reg(list,OP_ADD,OS_ADDR,ref2.offset,ref2.base,r)
  410. { FixRef makes sure that "(ref.index <> R_NO) and (ref.offset <> 0)" never}
  411. { occurs, so now only ref.offset has to be loaded }
  412. else
  413. a_load_const_reg(list,OS_ADDR,ref2.offset,r)
  414. else if ref2.index <> NR_NO Then
  415. list.concat(taicpu.op_reg_reg_reg(A_ADD,r,ref2.base,ref2.index))
  416. else if (ref2.base <> NR_NO) and
  417. (r <> ref2.base) then
  418. a_load_reg_reg(list,OS_ADDR,OS_ADDR,ref2.base,r)
  419. else
  420. list.concat(taicpu.op_reg_const(A_LI,r,0));
  421. end;
  422. { calling a procedure by address }
  423. procedure tcgppcgen.a_call_reg(list : TAsmList;reg: tregister);
  424. var
  425. tmpref: treference;
  426. tmpreg: tregister;
  427. toc_offset: longint;
  428. begin
  429. tmpreg:=NR_NO;
  430. if target_info.system in systems_aix then
  431. begin
  432. { load function address in R0, and swap "reg" for R0 }
  433. reference_reset_base(tmpref,reg,0,ctempposinvalid,sizeof(pint),[]);
  434. a_load_ref_reg(list,OS_ADDR,OS_ADDR,tmpref,NR_R0);
  435. tmpreg:=reg;
  436. { no need to allocate/free R0, is already allocated by call node
  437. because it's a volatile register }
  438. reg:=NR_R0;
  439. { save current TOC }
  440. reference_reset_base(tmpref,NR_STACK_POINTER_REG,LA_RTOC_AIX,ctempposinvalid,sizeof(pint),[]);
  441. a_load_reg_ref(list,OS_ADDR,OS_ADDR,NR_RTOC,tmpref);
  442. end;
  443. list.concat(taicpu.op_reg(A_MTCTR,reg));
  444. if target_info.system in systems_aix then
  445. begin
  446. { load target TOC and possible link register }
  447. reference_reset_base(tmpref,tmpreg,sizeof(pint),ctempposinvalid,sizeof(pint),[]);
  448. a_load_ref_reg(list,OS_ADDR,OS_ADDR,tmpref,NR_RTOC);
  449. tmpref.offset:=2*sizeof(pint);
  450. a_load_ref_reg(list,OS_ADDR,OS_ADDR,tmpref,NR_R11);
  451. end
  452. else if target_info.abi=abi_powerpc_elfv2 then
  453. begin
  454. { save current TOC }
  455. reference_reset_base(tmpref,NR_STACK_POINTER_REG,LA_RTOC_ELFV2,ctempposinvalid,sizeof(pint),[]);
  456. a_load_reg_ref(list,OS_ADDR,OS_ADDR,NR_RTOC,tmpref);
  457. { functions must be called via R12 for this ABI }
  458. if reg<>NR_R12 then
  459. begin
  460. getcpuregister(list,NR_R12);
  461. a_load_reg_reg(list,OS_ADDR,OS_ADDR,reg,NR_R12)
  462. end;
  463. end;
  464. list.concat(taicpu.op_none(A_BCTRL));
  465. if (target_info.system in systems_aix) or
  466. (target_info.abi=abi_powerpc_elfv2) then
  467. begin
  468. if (target_info.abi=abi_powerpc_elfv2) and
  469. (reg<>NR_R12) then
  470. ungetcpuregister(list,NR_R12);
  471. { restore our TOC }
  472. if target_info.system in systems_aix then
  473. toc_offset:=LA_RTOC_AIX
  474. else
  475. toc_offset:=LA_RTOC_ELFV2;
  476. reference_reset_base(tmpref,NR_STACK_POINTER_REG,toc_offset,ctempposinvalid,sizeof(pint),[]);
  477. a_load_ref_reg(list,OS_ADDR,OS_ADDR,tmpref,NR_RTOC);
  478. end;
  479. include(current_procinfo.flags,pi_do_call);
  480. end;
  481. procedure tcgppcgen.a_load_reg_ref(list: TAsmList; fromsize, tosize: TCGSize;
  482. reg: tregister; const ref: treference);
  483. const
  484. StoreInstr: array[OS_8..OS_INT, boolean, boolean] of TAsmOp =
  485. { indexed? updating?}
  486. (((A_STB, A_STBU), (A_STBX, A_STBUX)),
  487. ((A_STH, A_STHU), (A_STHX, A_STHUX)),
  488. ((A_STW, A_STWU), (A_STWX, A_STWUX))
  489. {$ifdef cpu64bitalu}
  490. ,
  491. ((A_STD, A_STDU), (A_STDX, A_STDUX))
  492. {$endif cpu64bitalu}
  493. );
  494. var
  495. ref2: TReference;
  496. tmpreg: tregister;
  497. op: TAsmOp;
  498. begin
  499. if not (fromsize in [OS_8..OS_INT,OS_S8..OS_SINT]) then
  500. internalerror(2002090904);
  501. if not (tosize in [OS_8..OS_INT,OS_S8..OS_SINT]) then
  502. internalerror(2002090905);
  503. if tosize in [OS_S8..OS_SINT] then
  504. { storing is the same for signed and unsigned values }
  505. tosize := tcgsize(ord(tosize) - (ord(OS_S8) - ord(OS_8)));
  506. ref2 := ref;
  507. fixref(list, ref2);
  508. op := storeinstr[tcgsize2unsigned[tosize], ref2.index <> NR_NO, false];
  509. a_load_store(list, op, reg, ref2);
  510. end;
  511. procedure tcgppcgen.a_loadfpu_reg_reg(list: TAsmList; fromsize, tosize: tcgsize; reg1, reg2: tregister);
  512. var
  513. op: tasmop;
  514. instr: taicpu;
  515. begin
  516. if not(fromsize in [OS_F32,OS_F64]) or
  517. not(tosize in [OS_F32,OS_F64]) then
  518. internalerror(2006123110);
  519. if (tosize < fromsize) then
  520. op:=A_FRSP
  521. else
  522. op:=A_FMR;
  523. instr := taicpu.op_reg_reg(op,reg2,reg1);
  524. list.concat(instr);
  525. if (op = A_FMR) then
  526. rg[R_FPUREGISTER].add_move_instruction(instr);
  527. end;
  528. procedure tcgppcgen.a_loadfpu_ref_reg(list: TAsmList; fromsize, tosize: tcgsize; const ref: treference; reg: tregister);
  529. const
  530. FpuLoadInstr: Array[OS_F32..OS_F64,boolean, boolean] of TAsmOp =
  531. { indexed? updating?}
  532. (((A_LFS,A_LFSU),(A_LFSX,A_LFSUX)),
  533. ((A_LFD,A_LFDU),(A_LFDX,A_LFDUX)));
  534. var
  535. op: tasmop;
  536. ref2: treference;
  537. begin
  538. if target_info.system in systems_aix then
  539. g_load_check_simple(list,ref,65536);
  540. if not(fromsize in [OS_F32,OS_F64]) or
  541. not(tosize in [OS_F32,OS_F64]) then
  542. internalerror(200201121);
  543. ref2 := ref;
  544. fixref(list,ref2);
  545. op := fpuloadinstr[fromsize,ref2.index <> NR_NO,false];
  546. a_load_store(list,op,reg,ref2);
  547. if (fromsize > tosize) then
  548. a_loadfpu_reg_reg(list,fromsize,tosize,reg,reg);
  549. end;
  550. procedure tcgppcgen.a_loadfpu_reg_ref(list: TAsmList; fromsize, tosize: tcgsize; reg: tregister; const ref: treference);
  551. const
  552. FpuStoreInstr: Array[OS_F32..OS_F64,boolean, boolean] of TAsmOp =
  553. { indexed? updating?}
  554. (((A_STFS,A_STFSU),(A_STFSX,A_STFSUX)),
  555. ((A_STFD,A_STFDU),(A_STFDX,A_STFDUX)));
  556. var
  557. op: tasmop;
  558. ref2: treference;
  559. reg2: tregister;
  560. begin
  561. if not(fromsize in [OS_F32,OS_F64]) or
  562. not(tosize in [OS_F32,OS_F64]) then
  563. internalerror(200201122);
  564. ref2 := ref;
  565. fixref(list,ref2);
  566. op := fpustoreinstr[tosize,ref2.index <> NR_NO,false];
  567. { some PPCs have a bug whereby storing a double to memory }
  568. { as single corrupts the value -> convert double to single }
  569. { first (bug confirmed on some G4s, but not on G5s) }
  570. if (tosize < fromsize) and
  571. (current_settings.cputype < cpu_PPC970) then
  572. begin
  573. reg2:=getfpuregister(list,tosize);
  574. a_loadfpu_reg_reg(list,fromsize,tosize,reg,reg2);
  575. reg:=reg2;
  576. end;
  577. a_load_store(list,op,reg,ref2);
  578. end;
  579. procedure tcgppcgen.g_overflowcheck(list: TAsmList; const l: tlocation; def: tdef);
  580. var
  581. hl : tasmlabel;
  582. flags : TResFlags;
  583. begin
  584. if not(cs_check_overflow in current_settings.localswitches) then
  585. exit;
  586. current_asmdata.getjumplabel(hl);
  587. if not ((def.typ=pointerdef) or
  588. ((def.typ=orddef) and
  589. (torddef(def).ordtype in [u64bit,u16bit,u32bit,u8bit,uchar,
  590. pasbool1,pasbool8,pasbool16,pasbool32,pasbool64]))) then
  591. begin
  592. if (current_settings.optimizecputype >= cpu_ppc970) or
  593. (current_settings.cputype >= cpu_ppc970) then
  594. begin
  595. { ... instructions setting overflow flag ...
  596. mfxerf R0
  597. mtcrf 128, R0
  598. ble cr0, label }
  599. list.concat(taicpu.op_reg(A_MFXER, NR_R0));
  600. list.concat(taicpu.op_const_reg(A_MTCRF, 128, NR_R0));
  601. flags.cr := RS_CR0;
  602. flags.flag := F_LE;
  603. a_jmp_flags(list, flags, hl);
  604. end
  605. else
  606. begin
  607. list.concat(taicpu.op_reg(A_MCRXR,NR_CR7));
  608. a_jmp(list,A_BC,C_NO,7,hl)
  609. end;
  610. end
  611. else
  612. a_jmp_cond(list,OC_AE,hl);
  613. a_call_name(list,'FPC_OVERFLOW',false);
  614. a_label(list,hl);
  615. end;
  616. procedure tcgppcgen.g_profilecode(list: TAsmList);
  617. var
  618. paraloc1 : tcgpara;
  619. pd : tprocdef;
  620. begin
  621. if (target_info.system in [system_powerpc_darwin]) then
  622. begin
  623. pd:=search_system_proc('mcount');
  624. paraloc1.init;
  625. paramanager.getintparaloc(list,pd,1,paraloc1);
  626. a_load_reg_cgpara(list,OS_ADDR,NR_R0,paraloc1);
  627. paramanager.freecgpara(list,paraloc1);
  628. paraloc1.done;
  629. allocallcpuregisters(list);
  630. a_call_name(list,'mcount',false);
  631. deallocallcpuregisters(list);
  632. a_reg_dealloc(list,NR_R0);
  633. end;
  634. end;
  635. procedure tcgppcgen.a_jmp_flags(list: TAsmList; const f: TResFlags; l: tasmlabel);
  636. var
  637. c: tasmcond;
  638. f2: TResFlags;
  639. testbit: longint;
  640. begin
  641. f2:=f;
  642. testbit:=(f.cr-RS_CR0)*4;
  643. case f.flag of
  644. F_FA:
  645. f2.flag:=F_GT;
  646. F_FAE:
  647. begin
  648. list.concat(taicpu.op_const_const_const(A_CROR,testbit+1,testbit+1,testbit+2));
  649. f2.flag:=F_GT;
  650. end;
  651. F_FB:
  652. f2.flag:=F_LT;
  653. F_FBE:
  654. begin
  655. list.concat(taicpu.op_const_const_const(A_CROR,testbit,testbit,testbit+2));
  656. f2.flag:=F_LT;
  657. end;
  658. end;
  659. c := flags_to_cond(f2);
  660. a_jmp(list,A_BC,c.cond,c.cr-RS_CR0,l);
  661. end;
  662. procedure tcgppcgen.a_jmp_cond(list : TAsmList;cond : TOpCmp; l: tasmlabel);
  663. begin
  664. a_jmp(list,A_BC,TOpCmp2AsmCond[cond],0,l);
  665. end;
  666. procedure tcgppcgen.a_jmp(list: TAsmList; op: tasmop; c: tasmcondflag;
  667. crval: longint; l: tasmlabel);
  668. var
  669. p: taicpu;
  670. begin
  671. p := taicpu.op_sym(op,l);
  672. if op <> A_B then
  673. create_cond_norm(c,crval,p.condition);
  674. p.is_jmp := true;
  675. list.concat(p)
  676. end;
  677. function tcgppcgen.load_got_symbol(list: TAsmList; const symbol : string; const flags: tindsymflags) : tregister;
  678. var
  679. l: tasmsymbol;
  680. ref: treference;
  681. begin
  682. if target_info.system=system_powerpc64_linux then
  683. begin
  684. l:=current_asmdata.getasmsymbol(symbol);
  685. reference_reset_symbol(ref,l,0,sizeof(pint),[]);
  686. ref.base:=NR_RTOC;
  687. ref.refaddr:=addr_pic;
  688. end
  689. else if target_info.system in systems_aix then
  690. get_aix_toc_sym(list,symbol,flags,ref,false)
  691. else
  692. internalerror(2007102010);
  693. result := getaddressregister(list);
  694. {$ifdef cpu64bitaddr}
  695. list.concat(taicpu.op_reg_ref(A_LD, result, ref));
  696. {$else cpu64bitaddr}
  697. list.concat(taicpu.op_reg_ref(A_LWZ, result, ref));
  698. {$endif cpu64bitaddr}
  699. end;
  700. procedure tcgppcgen.get_aix_toc_sym(list: TAsmList; const symname: string; const flags: tindsymflags; out ref: treference; force_direct_toc: boolean);
  701. const
  702. { The TOC on AIX is limited to 32KB worth of entries on AIX. If you need
  703. more entries, you have to add a level of indirection. In some cases,
  704. it's not possible to do this (e.g. assembler code). So by default, we
  705. use direct TOC entries until we're 500 from the maximum, and then start
  706. using indirect TOC entries. }
  707. AutoDirectTOCLimit = (high(smallint) div sizeof(pint)) - 500;
  708. var
  709. tmpref: treference;
  710. { can have more than 16384 (32 bit) or 8192 (64 bit) toc entries and, as
  711. as consequence, toc subsections -> 5 extra characters for the number}
  712. tocsecname: string[length('tocsubtable')+5];
  713. nlsymname: string;
  714. newsymname: ansistring;
  715. sym: TAsmSymbol;
  716. tocsym: TTOCAsmSymbol;
  717. tocnr,
  718. entrynr: longint;
  719. tmpreg: tregister;
  720. begin
  721. { all global symbol accesses always must be done via the TOC }
  722. nlsymname:='LC..'+symname;
  723. reference_reset_symbol(ref,current_asmdata.getasmsymbol(nlsymname),0,sizeof(pint),[]);
  724. if (assigned(ref.symbol) and
  725. not(ref.symbol is TTOCAsmSymbol)) or
  726. (not(ts_small_toc in current_settings.targetswitches) and
  727. (TPPCAsmData(current_asmdata).DirectTOCEntries<AutoDirectTOCLimit)) or
  728. force_direct_toc then
  729. begin
  730. ref.refaddr:=addr_pic_no_got;
  731. ref.base:=NR_RTOC;
  732. if not assigned(ref.symbol) then
  733. begin
  734. TPPCAsmData(current_asmdata).DirectTOCEntries:=TPPCAsmData(current_asmdata).DirectTOCEntries+1;
  735. new_section(current_asmdata.AsmLists[al_picdata],sec_toc,'',sizeof(pint));
  736. ref.symbol:=current_asmdata.DefineAsmSymbol(nlsymname,AB_LOCAL,AT_DATA,voidpointertype);
  737. current_asmdata.asmlists[al_picdata].concat(tai_symbol.create(ref.symbol,0));
  738. { do not assign the result of these statements to ref.symbol: the
  739. access must be done via the LC..symname symbol; these are just
  740. to define the symbol that's being accessed as either weak or
  741. not }
  742. if not(is_weak in flags) then
  743. current_asmdata.RefAsmSymbol(symname,AT_DATA)
  744. else if is_data in flags then
  745. current_asmdata.WeakRefAsmSymbol(symname,AT_DATA)
  746. else
  747. current_asmdata.WeakRefAsmSymbol('.'+symname,AT_DATA);
  748. newsymname:=ReplaceForbiddenAsmSymbolChars(symname);
  749. current_asmdata.asmlists[al_picdata].concat(tai_directive.Create(asd_toc_entry,newsymname+'[TC],'+newsymname));
  750. end;
  751. end
  752. else
  753. begin
  754. if not assigned(ref.symbol) then
  755. begin
  756. TPPCAsmData(current_asmdata).GetNextSmallTocEntry(tocnr,entrynr);
  757. { new TOC entry? }
  758. if entrynr=0 then
  759. begin
  760. { create new toc entry that contains the address of the next
  761. table of addresses }
  762. get_aix_toc_sym(list,'tocsubtable'+tostr(tocnr),[is_data],tmpref,true);
  763. sym:=tmpref.symbol;
  764. { base address for this batch of toc table entries that we'll
  765. put in a data block instead }
  766. new_section(current_asmdata.AsmLists[al_indirectpicdata],sec_rodata,'',sizeof(pint));
  767. sym:=current_asmdata.DefineAsmSymbol('tocsubtable'+tostr(tocnr),AB_LOCAL,AT_DATA,voidpointertype);
  768. current_asmdata.asmlists[al_indirectpicdata].concat(tai_symbol.create(sym,0));
  769. end;
  770. { add the reference to the actual symbol inside the tocsubtable }
  771. if not(is_weak in flags) then
  772. current_asmdata.RefAsmSymbol(symname,AT_DATA)
  773. else if is_data in flags then
  774. current_asmdata.WeakRefAsmSymbol(symname,AT_DATA)
  775. else
  776. current_asmdata.WeakRefAsmSymbol('.'+symname,AT_DATA);
  777. tocsym:=TTOCAsmSymbol(current_asmdata.DefineAsmSymbolByClass(TTOCAsmSymbol,nlsymname,AB_LOCAL,AT_DATA,voidpointertype));
  778. ref.symbol:=tocsym;
  779. tocsym.ftocsecnr:=tocnr;
  780. current_asmdata.asmlists[al_indirectpicdata].concat(tai_symbol.create(tocsym,0));
  781. newsymname:=ReplaceForbiddenAsmSymbolChars(symname);
  782. sym:=current_asmdata.RefAsmSymbol(newsymname,AT_DATA);
  783. current_asmdata.asmlists[al_indirectpicdata].concat(tai_const.Create_sym(sym));
  784. end;
  785. { first load the address of the table from the TOC }
  786. get_aix_toc_sym(list,'tocsubtable'+tostr(TTOCAsmSymbol(ref.symbol).ftocsecnr),[is_data],tmpref,true);
  787. tmpreg:=getaddressregister(list);
  788. a_load_ref_reg(list,OS_ADDR,OS_ADDR,tmpref,tmpreg);
  789. { and now set up the address of the entry, relative to the start of
  790. the table }
  791. ref.base:=tmpreg;
  792. ref.refaddr:=addr_pic;
  793. ref.relsymbol:=current_asmdata.GetAsmSymbol('tocsubtable'+tostr(TTOCAsmSymbol(ref.symbol).ftocsecnr));
  794. end;
  795. end;
  796. procedure tcgppcgen.g_load_check_simple(list: TAsmList; const ref: treference; size: aint);
  797. var
  798. reg: tregister;
  799. lab: tasmlabel;
  800. begin
  801. if not(cs_check_low_addr_load in current_settings.localswitches) then
  802. exit;
  803. { this is mainly for AIX, which does not trap loads from address 0. A
  804. global symbol (if not weak) will always map to a proper address, and
  805. the same goes for stack addresses -> skip }
  806. if assigned(ref.symbol) and
  807. (ref.symbol.bind<>AB_WEAK_EXTERNAL) then
  808. exit;
  809. if (ref.base=NR_STACK_POINTER_REG) or
  810. (ref.index=NR_STACK_POINTER_REG) or
  811. (assigned(current_procinfo) and
  812. ((ref.base=current_procinfo.framepointer) or
  813. (ref.index=current_procinfo.framepointer))) then
  814. exit;
  815. if assigned(ref.symbol) or
  816. (ref.offset<>0) or
  817. ((ref.base<>NR_NO) and (ref.index<>NR_NO)) then
  818. begin
  819. { can't allocate register, also used in wrappers and the like }
  820. reg:=NR_R0;
  821. a_reg_alloc(list,reg);
  822. a_loadaddr_ref_reg(list,ref,reg);
  823. end
  824. else if ref.base<>NR_NO then
  825. reg:=ref.base
  826. else
  827. reg:=ref.index;
  828. current_asmdata.getjumplabel(lab);
  829. if reg=NR_R0 then
  830. a_reg_dealloc(list,reg);
  831. a_cmp_const_reg_label(list,OS_ADDR,OC_A,size-1,reg,lab);
  832. a_call_name(list,'FPC_INVALIDPOINTER',false);
  833. a_label(list,lab);
  834. end;
  835. procedure tcgppcgen.g_flags2reg(list: TAsmList; size: TCgSize; const f: TResFlags; reg: TRegister);
  836. var
  837. testbit: byte;
  838. bitvalue: boolean;
  839. hreg: tregister;
  840. needsecondreg: boolean;
  841. begin
  842. hreg:=NR_NO;
  843. needsecondreg:=false;
  844. { get the bit to extract from the conditional register + its requested value (0 or 1) }
  845. testbit := ((f.cr - RS_CR0) * 4);
  846. case f.flag of
  847. F_EQ, F_NE:
  848. begin
  849. inc(testbit, 2);
  850. bitvalue := f.flag = F_EQ;
  851. end;
  852. F_LT, F_GE, F_FB:
  853. begin
  854. bitvalue := f.flag in [F_LT,F_FB];
  855. end;
  856. F_GT, F_LE, F_FA:
  857. begin
  858. inc(testbit);
  859. bitvalue := f.flag in [F_GT,F_FA];
  860. end;
  861. F_FAE:
  862. begin
  863. inc(testbit);
  864. bitvalue:=true;
  865. needsecondreg:=true;
  866. end;
  867. F_FBE:
  868. begin
  869. bitvalue:=true;
  870. needsecondreg:=true;
  871. end;
  872. else
  873. internalerror(200112261);
  874. end;
  875. { load the conditional register in the destination reg }
  876. list.concat(taicpu.op_reg(A_MFCR, reg));
  877. { we will move the bit that has to be tested to bit 0 by rotating left }
  878. testbit := (testbit + 1) and 31;
  879. { for floating-point >= and <=, extract equality bit first }
  880. if needsecondreg then
  881. begin
  882. hreg:=getintregister(list,OS_INT);
  883. list.concat(taicpu.op_reg_reg_const_const_const(
  884. A_RLWINM,hreg,reg,(((f.cr-RS_CR0)*4)+3) and 31,31,31));
  885. end;
  886. { extract bit }
  887. list.concat(taicpu.op_reg_reg_const_const_const(
  888. A_RLWINM,reg,reg,testbit,31,31));
  889. if needsecondreg then
  890. list.concat(taicpu.op_reg_reg_reg(A_OR,reg,hreg,reg))
  891. { if we need the inverse, xor with 1 }
  892. else if not bitvalue then
  893. list.concat(taicpu.op_reg_reg_const(A_XORI, reg, reg, 1));
  894. end;
  895. function tcgppcgen.fixref(list: TAsmList; var ref: treference): boolean;
  896. var
  897. tmpreg: tregister;
  898. begin
  899. result := false;
  900. { Avoid recursion. }
  901. if (ref.refaddr in [addr_pic,addr_pic_no_got]) then
  902. exit;
  903. {$IFDEF EXTDEBUG}
  904. list.concat(tai_comment.create(strpnew('fixref0 ' + ref2string(ref))));
  905. {$ENDIF EXTDEBUG}
  906. if (target_info.system in [system_powerpc_darwin,system_powerpc64_darwin]) and
  907. assigned(ref.symbol) and
  908. not assigned(ref.relsymbol) and
  909. ((ref.symbol.bind in [AB_EXTERNAL,AB_WEAK_EXTERNAL,AB_PRIVATE_EXTERN,AB_COMMON]) or
  910. (cs_create_pic in current_settings.moduleswitches))then
  911. begin
  912. if (ref.symbol.bind in [AB_EXTERNAL,AB_WEAK_EXTERNAL,AB_PRIVATE_EXTERN,AB_COMMON]) or
  913. ((target_info.system=system_powerpc64_darwin) and
  914. (ref.symbol.bind=AB_GLOBAL)) then
  915. begin
  916. tmpreg := g_indirect_sym_load(list,ref.symbol.name,asmsym2indsymflags(ref.symbol));
  917. ref.symbol:=nil;
  918. end
  919. else
  920. begin
  921. include(current_procinfo.flags,pi_needs_got);
  922. tmpreg := getaddressregister(list);
  923. a_load_reg_reg(list,OS_ADDR,OS_ADDR,current_procinfo.got,tmpreg);
  924. if assigned(ref.relsymbol) then
  925. internalerror(2007093501);
  926. ref.relsymbol := current_procinfo.CurrGOTLabel;
  927. end;
  928. if (ref.base = NR_NO) then
  929. ref.base := tmpreg
  930. else if (ref.index = NR_NO) then
  931. ref.index := tmpreg
  932. else
  933. begin
  934. list.concat(taicpu.op_reg_reg_reg(A_ADD,tmpreg,ref.base,tmpreg));
  935. ref.base := tmpreg;
  936. end;
  937. end;
  938. { if we have to create PIC, add the symbol to the TOC/GOT }
  939. if (((target_info.system = system_powerpc64_linux) and
  940. (cs_create_pic in current_settings.moduleswitches)) or
  941. (target_info.system in systems_aix)) and
  942. (assigned(ref.symbol) and
  943. not assigned(ref.relsymbol)) then
  944. begin
  945. tmpreg := load_got_symbol(list, ref.symbol.name, asmsym2indsymflags(ref.symbol));
  946. if (ref.base = NR_NO) then
  947. ref.base := tmpreg
  948. else if (ref.index = NR_NO) then
  949. ref.index := tmpreg
  950. else begin
  951. a_op_reg_reg_reg(list, OP_ADD, OS_ADDR, ref.base, tmpreg, tmpreg);
  952. ref.base := tmpreg;
  953. end;
  954. ref.symbol := nil;
  955. {$IFDEF EXTDEBUG}
  956. list.concat(tai_comment.create(strpnew('fixref-pic ' + ref2string(ref))));
  957. {$ENDIF EXTDEBUG}
  958. end;
  959. if (ref.base = NR_NO) then
  960. begin
  961. ref.base := ref.index;
  962. ref.index := NR_NO;
  963. end;
  964. if (ref.base <> NR_NO) then
  965. begin
  966. if (ref.index <> NR_NO) and
  967. ((ref.offset <> 0) or assigned(ref.symbol)) then
  968. begin
  969. result := true;
  970. tmpreg := rg[R_INTREGISTER].getregister(list,R_SUBWHOLE);
  971. list.concat(taicpu.op_reg_reg_reg(
  972. A_ADD,tmpreg,ref.base,ref.index));
  973. ref.index := NR_NO;
  974. ref.base := tmpreg;
  975. end
  976. end;
  977. if (ref.index <> NR_NO) and
  978. (assigned(ref.symbol) or
  979. (ref.offset <> 0)) then
  980. internalerror(200208102);
  981. {$IFDEF EXTDEBUG}
  982. list.concat(tai_comment.create(strpnew('fixref1 ' + ref2string(ref))));
  983. {$ENDIF EXTDEBUG}
  984. end;
  985. procedure tcgppcgen.a_load_store(list:TAsmList;op: tasmop;reg:tregister;
  986. ref: treference);
  987. var
  988. tmpreg: tregister;
  989. {$ifdef cpu64bitaddr}
  990. tmpreg2: tregister;
  991. {$endif cpu64bitaddr}
  992. tmpref: treference;
  993. largeOffset: Boolean;
  994. begin
  995. tmpreg := NR_NO;
  996. largeOffset:= hasLargeOffset(ref);
  997. if target_info.system in ([system_powerpc_macos]+systems_aix) then
  998. begin
  999. if assigned(ref.symbol) and
  1000. (ref.refaddr<>addr_pic_no_got) then
  1001. begin {Load symbol's value}
  1002. tmpreg := rg[R_INTREGISTER].getregister(list,R_SUBWHOLE);
  1003. reference_reset(tmpref,sizeof(pint),[]);
  1004. tmpref.symbol := ref.symbol;
  1005. tmpref.base := NR_RTOC;
  1006. tmpref.refaddr := addr_pic_no_got;
  1007. if macos_direct_globals then
  1008. list.concat(taicpu.op_reg_ref(A_LA,tmpreg,tmpref))
  1009. else
  1010. {$ifdef cpu64bitaddr}
  1011. list.concat(taicpu.op_reg_ref(A_LD,tmpreg,tmpref));
  1012. {$else cpu64bitaddr}
  1013. list.concat(taicpu.op_reg_ref(A_LWZ,tmpreg,tmpref));
  1014. {$endif cpu64bitaddr}
  1015. end;
  1016. if largeOffset then
  1017. begin {Add hi part of offset}
  1018. reference_reset(tmpref,ref.alignment,[]);
  1019. {$ifdef cpu64bitaddr}
  1020. if (ref.offset < low(longint)) or
  1021. (ref.offset > high(longint)) then
  1022. begin
  1023. { load upper 32 bits of the offset, adjusted for adding
  1024. the lower 32 bits later }
  1025. tmpreg2:=getintregister(list,OS_ADDR);
  1026. a_load_const_reg(list,OS_ADDR,(ref.offset and $ffffffff00000000) + ord(longint(ref.offset)<0),tmpreg2);
  1027. if tmpreg=NR_NO then
  1028. tmpreg:=tmpreg2
  1029. else
  1030. a_op_reg_reg(list,OP_ADD,OS_ADDR,tmpreg2,tmpreg);
  1031. ref.offset:=longint(ref.offset);
  1032. end;
  1033. {$endif cpu64bitaddr}
  1034. {Compensate when lo part is negative}
  1035. tmpref.offset := Smallint(ref.offset >> 16) + ord(Smallint(ref.offset) < 0);
  1036. if (tmpreg <> NR_NO) then
  1037. list.concat(taicpu.op_reg_reg_const(A_ADDIS,tmpreg, tmpreg,tmpref.offset))
  1038. else
  1039. begin
  1040. tmpreg := getintregister(list,OS_ADDR);
  1041. list.concat(taicpu.op_reg_const(A_LIS,tmpreg,tmpref.offset));
  1042. end;
  1043. end;
  1044. if (tmpreg <> NR_NO) then
  1045. begin
  1046. {Add content of base register}
  1047. if ref.base <> NR_NO then
  1048. list.concat(taicpu.op_reg_reg_reg(A_ADD,tmpreg,
  1049. ref.base,tmpreg));
  1050. {Make ref ready to be used by op}
  1051. ref.symbol:= nil;
  1052. ref.base:= tmpreg;
  1053. if largeOffset then
  1054. ref.offset := Smallint(ref.offset);
  1055. list.concat(taicpu.op_reg_ref(op,reg,ref));
  1056. //list.concat(tai_comment.create(strpnew('*** a_load_store indirect global')));
  1057. end
  1058. else
  1059. list.concat(taicpu.op_reg_ref(op,reg,ref));
  1060. end
  1061. else {if target_info.system <> system_powerpc_macos}
  1062. begin
  1063. if assigned(ref.symbol) or
  1064. largeOffset then
  1065. begin
  1066. // TODO: offsets > 32 bit
  1067. tmpreg := rg[R_INTREGISTER].getregister(list,R_SUBWHOLE);
  1068. reference_reset(tmpref,ref.alignment,[]);
  1069. tmpref.symbol := ref.symbol;
  1070. tmpref.relsymbol := ref.relsymbol;
  1071. tmpref.offset := ref.offset;
  1072. tmpref.refaddr := addr_higha;
  1073. if ref.base <> NR_NO then
  1074. list.concat(taicpu.op_reg_reg_ref(A_ADDIS,tmpreg,
  1075. ref.base,tmpref))
  1076. else
  1077. list.concat(taicpu.op_reg_ref(A_LIS,tmpreg,tmpref));
  1078. ref.base := tmpreg;
  1079. ref.refaddr := addr_low;
  1080. list.concat(taicpu.op_reg_ref(op,reg,ref));
  1081. end
  1082. else
  1083. list.concat(taicpu.op_reg_ref(op,reg,ref));
  1084. end;
  1085. end;
  1086. { TPPCAsmData }
  1087. procedure TPPCAsmData.GetNextSmallTocEntry(out tocnr, entrynr: longint);
  1088. begin
  1089. if fcurrenttocentries>(high(word) div sizeof(pint)) then
  1090. begin
  1091. fcurrenttocentries:=0;
  1092. inc(ftocsections);
  1093. end;
  1094. tocnr:=ftocsections;
  1095. entrynr:=fcurrenttocentries;
  1096. inc(fcurrenttocentries);
  1097. end;
  1098. begin
  1099. casmdata:=TPPCAsmData;
  1100. end.