aasmllvm.pas 32 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073
  1. {
  2. Copyright (c) 2010, 2013 by Jonas Maebe
  3. Contains the assembler object for the LLVM target
  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 aasmllvm;
  18. {$i fpcdefs.inc}
  19. interface
  20. uses
  21. globtype,verbose,cclasses,
  22. aasmbase,aasmtai,aasmdata,aasmsym,
  23. cpubase,cgbase,cgutils,
  24. symtype,symdef,symsym,
  25. llvmbase;
  26. type
  27. { taillvm }
  28. taillvm = class(tai_cpu_abstract_sym)
  29. llvmopcode: tllvmop;
  30. constructor create_llvm(op: tllvmop);
  31. { e.g. ret void }
  32. constructor op_size(op : tllvmop; size: tdef);
  33. { e.g. dst = alloca size }
  34. constructor op_reg_size(op:tllvmop;dst:tregister;size:tdef);
  35. { e.g. dst = alloca size }
  36. constructor op_ref_size(op:tllvmop;const dst:treference;size:tdef);
  37. { e.g. dst = add size src1, src2 }
  38. constructor op_reg_size_reg_reg(op:tllvmop;dst:tregister;size:tdef;src1,src2:tregister);
  39. { e.g. dst = shl size src1, 1 ( = src1 shl 1) }
  40. constructor op_reg_size_reg_const(op:tllvmop;dst:tregister;size:tdef;src1:tregister;src2:int64);
  41. { e.g. dst = sub size 0, src2 ( = 0 - src2) }
  42. constructor op_reg_size_const_reg(op:tllvmop;dst:tregister;size:tdef;src1:int64;src2:tregister);
  43. { e.g. dst = bitcast size1 src to tosize }
  44. constructor op_reg_size_reg_size(op:tllvmop;dst:tregister;fromsize:tdef;src:tregister;tosize:tdef);
  45. { e.g. dst = bitcast fromsize 255 to tosize }
  46. constructor op_reg_size_const_size(op:tllvmop;dst:tregister;fromsize:tdef;src:int64;tosize:tdef);
  47. { e.g. dst = bitcast fromsize double to tosize }
  48. constructor op_reg_size_fpconst_size(op:tllvmop;dst:tregister;fromsize:tdef;src:double;tosize:tdef);
  49. {$ifdef cpuextended}
  50. { e.g. dst = bitcast fromsize extended to tosize }
  51. constructor op_reg_size_fpconst80_size(op:tllvmop;dst:tregister;fromsize:tdef;src:extended;tosize:tdef);
  52. {$endif cpuextended}
  53. { e.g. dst = bitcast fromsize @globalvar to tosize }
  54. constructor op_reg_size_sym_size(op:tllvmop;dst:tregister;fromsize:tdef;src:TAsmSymbol;tosize:tdef);
  55. { e.g. dst = bitcast fromsize <abstracttaidata> to tosize }
  56. constructor op_reg_tai_size(op:tllvmop;dst:tregister;src:tai;tosize:tdef);
  57. { dst = bitcast size undef to size }
  58. constructor op_reg_size_undef(op: tllvmop; dst: tregister; size: tdef);
  59. { return size undef }
  60. constructor op_size_undef(op: tllvmop; size: tdef);
  61. { e.g. dst = bitcast fromsize src to tosize }
  62. constructor op_reg_size_ref_size(op:tllvmop;dst:tregister;fromsize:tdef;const src:treference;tosize:tdef);
  63. { e.g. store fromsize src, ptrsize toref}
  64. constructor op_size_reg_size_ref(op:tllvmop;fromsize:tdef;src:tregister;ptrsize:tdef;const toref:treference);
  65. { e.g. store fromsize srcref, ptrsize toref (with srcref.refaddr=full) }
  66. constructor op_size_ref_size_ref(op:tllvmop;fromsize:tdef;const src:treference;ptrsize:tdef;const toref:treference);
  67. { e.g. store fromsize const, ptrsize toref}
  68. constructor op_size_const_size_ref(op:tllvmop;fromsize:tdef;src:int64;ptrsize:tdef;const toref:treference);
  69. { e.g. dst = load fromsize fromref }
  70. constructor op_reg_size_ref(op:tllvmop;dst:tregister;fromsize:tdef;const fromref:treference);
  71. { e.g. dst = icmp cmpcond size reg1, reg2 }
  72. constructor op_reg_cond_size_reg_reg(op:tllvmop;dst:tregister;cmpcond:topcmp;size:tdef;reg1,reg2:tregister);
  73. { e.g. dst = icmp cmpcond size reg1, constant }
  74. constructor op_reg_cond_size_reg_const(op:tllvmop;dst:tregister;cmpcond:topcmp;size:tdef;reg1:tregister;cnst:int64);
  75. { e.g. dst = fcmp cmpcond size reg1, reg2 }
  76. constructor op_reg_fpcond_size_reg_reg(op:tllvmop;dst:tregister;cmpcond:tllvmfpcmp;size:tdef;reg1,reg2:tregister);
  77. { e.g. br label lab }
  78. constructor op_lab(op:tllvmop;lab:tasmlabel);
  79. { e.g. br i1 condreg, label iftrue, label iffalse }
  80. constructor op_size_reg_lab_lab(op:tllvmop;fromsize:tdef;condreg:tregister;labtrue,labfalse: tasmlabel);
  81. { e.g. la_ret retdef retval }
  82. constructor op_size_reg(op:tllvmop;def: tdef;reg: tregister);
  83. { e.g. dst = getelementptr ptrsize ref, i32 0 (if indirect), index1type index1 }
  84. constructor getelementptr_reg_size_ref_size_reg(dst:tregister;ptrsize:tdef;const ref:treference;indextype:tdef;index1:tregister;indirect:boolean);
  85. constructor getelementptr_reg_size_ref_size_const(dst:tregister;ptrsize:tdef;const ref:treference;indextype:tdef;index1:ptrint;indirect:boolean);
  86. constructor getelementptr_reg_tai_size_const(dst:tregister;const ai:tai;indextype:tdef;index1:ptrint;indirect:boolean);
  87. constructor blockaddress(fun, lab: tasmsymbol);
  88. { e.g. dst = call retsize name (paras) }
  89. constructor call_size_name_paras(callpd: tdef; dst: tregister;retsize: tdef;name:tasmsymbol;paras: tfplist);
  90. { e.g. dst = call retsize reg (paras) }
  91. constructor call_size_reg_paras(callpd: tdef; dst: tregister;retsize: tdef;reg:tregister;paras: tfplist);
  92. { inline function-level assembler code and parameters }
  93. constructor asm_paras(asmlist: tasmlist; paras: tfplist);
  94. procedure loadoper(opidx: longint; o: toper); override;
  95. procedure clearop(opidx: longint); override;
  96. procedure loadtai(opidx: longint; _ai: tai);
  97. procedure loaddef(opidx: longint; _def: tdef);
  98. procedure loadundef(opidx: longint);
  99. procedure loadsingle(opidx: longint; _sval: single);
  100. procedure loaddouble(opidx: longint; _dval: double);
  101. {$ifdef cpuextended}
  102. procedure loadextended(opidx: longint; _eval: extended);
  103. {$endif cpuextended}
  104. procedure loadcond(opidx: longint; _cond: topcmp);
  105. procedure loadfpcond(opidx: longint; _fpcond: tllvmfpcmp);
  106. procedure loadparas(opidx: longint; _paras: tfplist);
  107. procedure loadasmlist(opidx: longint; _asmlist: tasmlist);
  108. { register spilling code }
  109. function spilling_get_operation_type(opnr: longint): topertype;override;
  110. function spilling_get_reg_type(opnr: longint): tdef;
  111. end;
  112. tllvmvisibility = (llv_default, llv_hidden, llv_protected);
  113. tllvmlinkage = (
  114. { llvm 2.5 }
  115. lll_default { = externally visible/global },
  116. lll_private, lll_internal, lll_linkonce, lll_common,
  117. lll_weak, lll_appending, lll_extern_weak,
  118. lll_dllimport, lll_dllexport,
  119. { llvm 2.6+ }
  120. lll_linker_private, lll_private_weak, lll_private_weak_def_auto,
  121. lll_available_externally,lll_linkonce_odr, lll_weak_odr
  122. );
  123. taillvmalias = class(tailineinfo)
  124. bind: tasmsymbind;
  125. oldsym, newsym: TAsmSymbol;
  126. def: tdef;
  127. constructor create(_oldsym: tasmsymbol; const newname: TSymStr; _def: tdef; _bind: tasmsymbind);
  128. end;
  129. taillvmdeclflag =
  130. (
  131. ldf_definition, { definition as opposed to (an external) declaration }
  132. ldf_tls, { tls definition }
  133. ldf_unnamed_addr, { address doesn't matter, only content }
  134. ldf_vectorized, { vectorized, dead-strippable data }
  135. ldf_weak { weak definition }
  136. );
  137. taillvmdeclflags = set of taillvmdeclflag;
  138. { declarations/definitions of symbols (procedures, variables), both defined
  139. here and external }
  140. taillvmdecl = class(tai)
  141. { initialisation data, if any }
  142. initdata: tasmlist;
  143. namesym: tasmsymbol;
  144. def: tdef;
  145. sec: TAsmSectiontype;
  146. alignment: shortint;
  147. flags: taillvmdeclflags;
  148. secname: TSymStr;
  149. constructor createdecl(_namesym: tasmsymbol; _def: tdef; _initdata: tasmlist; _sec: tasmsectiontype; _alignment: shortint);
  150. constructor createdef(_namesym: tasmsymbol; _def: tdef; _initdata: tasmlist; _sec: tasmsectiontype; _alignment: shortint);
  151. constructor createtls(_namesym: tasmsymbol; _def: tdef; _alignment: shortint);
  152. procedure setsecname(const name: TSymStr);
  153. destructor destroy; override;
  154. end;
  155. { parameter to an llvm call instruction }
  156. pllvmcallpara = ^tllvmcallpara;
  157. tllvmcallpara = record
  158. def: tdef;
  159. valueext: tllvmvalueextension;
  160. byval,
  161. sret: boolean;
  162. case loc: tcgloc of
  163. LOC_REFERENCE,
  164. LOC_REGISTER,
  165. LOC_FPUREGISTER,
  166. LOC_MMREGISTER: (reg: tregister);
  167. LOC_CONSTANT: (value: tcgint);
  168. end;
  169. implementation
  170. uses
  171. cutils, strings,
  172. symconst,
  173. aasmcnst,aasmcpu;
  174. { taillvmprocdecl }
  175. constructor taillvmdecl.createdecl(_namesym: tasmsymbol; _def: tdef; _initdata: tasmlist; _sec: tasmsectiontype; _alignment: shortint);
  176. begin
  177. inherited create;
  178. typ:=ait_llvmdecl;
  179. namesym:=_namesym;
  180. def:=_def;
  181. initdata:=_initdata;
  182. sec:=_sec;
  183. alignment:=_alignment;
  184. _namesym.declared:=true;
  185. flags:=[];
  186. end;
  187. constructor taillvmdecl.createdef(_namesym: tasmsymbol; _def: tdef; _initdata: tasmlist; _sec: tasmsectiontype; _alignment: shortint);
  188. begin
  189. createdecl(_namesym,_def,_initdata,_sec,_alignment);
  190. include(flags,ldf_definition);
  191. end;
  192. constructor taillvmdecl.createtls(_namesym: tasmsymbol; _def: tdef; _alignment: shortint);
  193. begin
  194. createdef(_namesym,_def,nil,sec_data,_alignment);
  195. include(flags,ldf_tls);
  196. end;
  197. procedure taillvmdecl.setsecname(const name: TSymStr);
  198. begin
  199. if sec<>sec_user then
  200. internalerror(2015111501);
  201. secname:=name;
  202. end;
  203. destructor taillvmdecl.destroy;
  204. begin
  205. initdata.free;
  206. inherited destroy;
  207. end;
  208. { taillvmalias }
  209. constructor taillvmalias.create(_oldsym: tasmsymbol; const newname: TSymStr; _def: tdef; _bind: tasmsymbind);
  210. begin
  211. inherited Create;
  212. typ:=ait_llvmalias;
  213. oldsym:=_oldsym;
  214. newsym:=current_asmdata.DefineAsmSymbol(newname,AB_GLOBAL,AT_FUNCTION,_def);
  215. newsym.declared:=true;
  216. def:=_def;
  217. { alias cannot be external }
  218. case _bind of
  219. { weak external should actually become weak, but we don't support that
  220. yet }
  221. AB_WEAK_EXTERNAL:
  222. internalerror(2016071203);
  223. AB_EXTERNAL:
  224. _bind:=AB_GLOBAL;
  225. AB_EXTERNAL_INDIRECT:
  226. _bind:=AB_INDIRECT;
  227. end;
  228. bind:=_bind;
  229. end;
  230. {*****************************************************************************
  231. taicpu Constructors
  232. *****************************************************************************}
  233. constructor taillvm.create_llvm(op: tllvmop);
  234. begin
  235. create(a_none);
  236. llvmopcode:=op;
  237. typ:=ait_llvmins;
  238. end;
  239. procedure taillvm.loadoper(opidx: longint; o: toper);
  240. var
  241. i: longint;
  242. callpara: pllvmcallpara;
  243. begin
  244. inherited;
  245. if o.typ=top_para then
  246. begin
  247. oper[opidx]^.paras:=tfplist.create;
  248. for i:=0 to o.paras.count-1 do
  249. begin
  250. new(callpara);
  251. callpara^:=pllvmcallpara(o.paras[i])^;
  252. oper[opidx]^.paras.add(callpara);
  253. if (callpara^.loc in [LOC_REGISTER,LOC_FPUREGISTER,LOC_MMREGISTER]) and
  254. assigned(add_reg_instruction_hook) then
  255. add_reg_instruction_hook(self,callpara^.reg);
  256. end;
  257. end;
  258. end;
  259. procedure taillvm.clearop(opidx: longint);
  260. var
  261. i: longint;
  262. begin
  263. case oper[opidx]^.typ of
  264. top_para:
  265. begin
  266. for i:=0 to oper[opidx]^.paras.count-1 do
  267. dispose(pllvmcallpara(oper[opidx]^.paras[i]));
  268. oper[opidx]^.paras.free;
  269. end;
  270. top_tai:
  271. oper[opidx]^.ai.free;
  272. top_asmlist:
  273. oper[opidx]^.asmlist.free;
  274. end;
  275. inherited;
  276. end;
  277. procedure taillvm.loadtai(opidx: longint; _ai: tai);
  278. begin
  279. allocate_oper(opidx+1);
  280. with oper[opidx]^ do
  281. begin
  282. clearop(opidx);
  283. ai:=_ai;
  284. typ:=top_tai;
  285. end;
  286. end;
  287. procedure taillvm.loaddef(opidx:longint;_def: tdef);
  288. begin
  289. allocate_oper(opidx+1);
  290. with oper[opidx]^ do
  291. begin
  292. if typ<>top_def then
  293. clearop(opidx);
  294. def:=_def;
  295. typ:=top_def;
  296. end;
  297. end;
  298. procedure taillvm.loadundef(opidx: longint);
  299. begin
  300. allocate_oper(opidx+1);
  301. with oper[opidx]^ do
  302. typ:=top_undef
  303. end;
  304. procedure taillvm.loadsingle(opidx: longint; _sval: single);
  305. begin
  306. allocate_oper(opidx+1);
  307. with oper[opidx]^ do
  308. begin
  309. if typ<>top_single then
  310. clearop(opidx);
  311. sval:=_sval;
  312. typ:=top_single;
  313. end;
  314. end;
  315. procedure taillvm.loaddouble(opidx: longint; _dval: double);
  316. begin
  317. allocate_oper(opidx+1);
  318. with oper[opidx]^ do
  319. begin
  320. if typ<>top_double then
  321. clearop(opidx);
  322. dval:=_dval;
  323. typ:=top_double;
  324. end;
  325. end;
  326. {$ifdef cpuextended}
  327. procedure taillvm.loadextended(opidx: longint; _eval: extended);
  328. begin
  329. allocate_oper(opidx+1);
  330. with oper[opidx]^ do
  331. begin
  332. if typ<>top_extended80 then
  333. clearop(opidx);
  334. eval:=_eval;
  335. typ:=top_extended80;
  336. end;
  337. end;
  338. {$endif cpuextended}
  339. procedure taillvm.loadcond(opidx: longint; _cond: topcmp);
  340. begin
  341. allocate_oper(opidx+1);
  342. with oper[opidx]^ do
  343. begin
  344. if typ<>top_cond then
  345. clearop(opidx);
  346. cond:=_cond;
  347. typ:=top_cond;
  348. end;
  349. end;
  350. procedure taillvm.loadfpcond(opidx: longint; _fpcond: tllvmfpcmp);
  351. begin
  352. allocate_oper(opidx+1);
  353. with oper[opidx]^ do
  354. begin
  355. if typ<>top_fpcond then
  356. clearop(opidx);
  357. fpcond:=_fpcond;
  358. typ:=top_fpcond;
  359. end;
  360. end;
  361. procedure taillvm.loadparas(opidx: longint; _paras: tfplist);
  362. var
  363. callpara: pllvmcallpara;
  364. i: longint;
  365. begin
  366. allocate_oper(opidx+1);
  367. with oper[opidx]^ do
  368. begin
  369. clearop(opidx);
  370. paras:=_paras;
  371. for i:=0 to _paras.count-1 do
  372. begin
  373. callpara:=pllvmcallpara(_paras[i]);
  374. if (callpara^.loc in [LOC_REGISTER,LOC_FPUREGISTER,LOC_MMREGISTER]) and
  375. assigned(add_reg_instruction_hook) then
  376. add_reg_instruction_hook(self,callpara^.reg);
  377. end;
  378. typ:=top_para;
  379. end;
  380. end;
  381. procedure taillvm.loadasmlist(opidx: longint; _asmlist: tasmlist);
  382. begin
  383. allocate_oper(opidx+1);
  384. with oper[opidx]^ do
  385. begin
  386. clearop(opidx);
  387. asmlist:=_asmlist;
  388. typ:=top_asmlist;
  389. end;
  390. end;
  391. function taillvm.spilling_get_operation_type(opnr: longint): topertype;
  392. begin
  393. case llvmopcode of
  394. la_ret, la_br, la_switch, la_indirectbr,
  395. la_resume,
  396. la_unreachable,
  397. la_store,
  398. la_fence,
  399. la_cmpxchg,
  400. la_atomicrmw:
  401. begin
  402. { instructions that never have a result }
  403. result:=operand_read;
  404. end;
  405. la_alloca,
  406. la_trunc, la_zext, la_sext, la_fptrunc, la_fpext,
  407. la_fptoui, la_fptosi, la_uitofp, la_sitofp,
  408. la_ptrtoint, la_inttoptr,
  409. la_bitcast,
  410. la_add, la_fadd, la_sub, la_fsub, la_mul, la_fmul,
  411. la_udiv,la_sdiv, la_fdiv, la_urem, la_srem, la_frem,
  412. la_shl, la_lshr, la_ashr, la_and, la_or, la_xor,
  413. la_extractelement, la_insertelement, la_shufflevector,
  414. la_extractvalue, la_insertvalue,
  415. la_getelementptr,
  416. la_load,
  417. la_icmp, la_fcmp,
  418. la_phi, la_select,
  419. la_va_arg, la_landingpad:
  420. begin
  421. if opnr=0 then
  422. result:=operand_write
  423. else
  424. result:=operand_read;
  425. end;
  426. la_invoke, la_call:
  427. begin
  428. if opnr=1 then
  429. result:=operand_write
  430. else
  431. result:=operand_read;
  432. end;
  433. la_blockaddress:
  434. case opnr of
  435. 0: result:=operand_write
  436. else
  437. result:=operand_read;
  438. end
  439. else
  440. internalerror(2013103101)
  441. end;
  442. end;
  443. function taillvm.spilling_get_reg_type(opnr: longint): tdef;
  444. begin
  445. case llvmopcode of
  446. la_trunc, la_zext, la_sext, la_fptrunc, la_fpext,
  447. la_fptoui, la_fptosi, la_uitofp, la_sitofp,
  448. la_ptrtoint, la_inttoptr,
  449. la_bitcast:
  450. begin
  451. { toreg = bitcast fromsize fromreg to tosize }
  452. case opnr of
  453. 0: result:=oper[3]^.def;
  454. 2: result:=oper[1]^.def
  455. else
  456. internalerror(2013103102);
  457. end;
  458. end;
  459. la_ret, la_switch, la_indirectbr,
  460. la_resume:
  461. begin
  462. { ret size reg }
  463. if opnr=1 then
  464. result:=oper[0]^.def
  465. else
  466. internalerror(2013110101);
  467. end;
  468. la_invoke, la_call:
  469. begin
  470. case opnr of
  471. 1: result:=oper[0]^.def;
  472. 3:
  473. begin
  474. if oper[3]^.typ=top_reg then
  475. result:=oper[2]^.def
  476. else
  477. internalerror(2015112001)
  478. end
  479. else
  480. internalerror(2013110102);
  481. end;
  482. end;
  483. la_br,
  484. la_unreachable:
  485. internalerror(2013110103);
  486. la_store:
  487. begin
  488. case opnr of
  489. 1: result:=oper[0]^.def;
  490. { type of the register in the reference }
  491. 3: result:=oper[2]^.def;
  492. else
  493. internalerror(2013110104);
  494. end;
  495. end;
  496. la_load:
  497. begin
  498. { dst = load ptrdef srcref }
  499. case opnr of
  500. 0: result:=tpointerdef(oper[1]^.def).pointeddef;
  501. 2: result:=oper[1]^.def;
  502. else
  503. internalerror(2013110105);
  504. end;
  505. end;
  506. la_getelementptr:
  507. begin
  508. { dst = getelementptr ref ... }
  509. case opnr of
  510. 0:
  511. begin
  512. case oper[1]^.typ of
  513. top_def:
  514. result:=oper[1]^.def;
  515. top_tai:
  516. begin
  517. case oper[1]^.ai.typ of
  518. ait_llvmins:
  519. result:=taillvm(oper[1]^.ai).spilling_get_reg_type(0);
  520. ait_typedconst:
  521. result:=tai_abstracttypedconst(oper[1]^.ai).def
  522. else
  523. internalerror(2016071202);
  524. end
  525. end
  526. else
  527. internalerror(2016071201);
  528. end
  529. end;
  530. 2:
  531. result:=oper[1]^.def;
  532. else
  533. internalerror(2013110105);
  534. end;
  535. end;
  536. la_fence,
  537. la_cmpxchg,
  538. la_atomicrmw:
  539. begin
  540. internalerror(2013110610);
  541. end;
  542. la_add, la_fadd, la_sub, la_fsub, la_mul, la_fmul,
  543. la_udiv,la_sdiv, la_fdiv, la_urem, la_srem, la_frem,
  544. la_shl, la_lshr, la_ashr, la_and, la_or, la_xor:
  545. begin
  546. case opnr of
  547. 0,2,3:
  548. result:=oper[1]^.def;
  549. else
  550. internalerror(2013110106);
  551. end;
  552. end;
  553. la_extractelement, la_insertelement, la_shufflevector,
  554. la_extractvalue:
  555. begin
  556. { todo }
  557. internalerror(2013110107);
  558. end;
  559. la_insertvalue:
  560. begin
  561. case opnr of
  562. 0,2: result:=oper[1]^.def;
  563. else
  564. internalerror(2013110108);
  565. end;
  566. end;
  567. la_icmp, la_fcmp:
  568. begin
  569. case opnr of
  570. 0: result:=llvmbool1type;
  571. 3,4: result:=oper[2]^.def;
  572. else
  573. internalerror(2013110801);
  574. end
  575. end;
  576. la_alloca:
  577. begin
  578. { shouldn't be spilled, the result of alloca should be read-only }
  579. internalerror(2013110109);
  580. end;
  581. la_select:
  582. begin
  583. case opnr of
  584. 0,4,6: result:=oper[3]^.def;
  585. 2: result:=oper[1]^.def;
  586. else
  587. internalerror(2013110110);
  588. end;
  589. end;
  590. la_blockaddress:
  591. case opnr of
  592. 0: result:=voidcodepointertype
  593. else
  594. internalerror(2015111904);
  595. end
  596. else
  597. internalerror(2013103101)
  598. end;
  599. end;
  600. constructor taillvm.op_size(op : tllvmop; size: tdef);
  601. begin
  602. create_llvm(op);
  603. ops:=1;
  604. loaddef(0,size);
  605. end;
  606. constructor taillvm.op_reg_size(op: tllvmop; dst: tregister; size: tdef);
  607. begin
  608. create_llvm(op);
  609. ops:=2;
  610. loadreg(0,dst);
  611. loaddef(1,size);
  612. end;
  613. constructor taillvm.op_ref_size(op: tllvmop; const dst: treference; size: tdef);
  614. begin
  615. create_llvm(op);
  616. ops:=2;
  617. loadref(0,dst);
  618. loaddef(1,size);
  619. end;
  620. { %dst = add i32 %src1, %src2 }
  621. constructor taillvm.op_reg_size_reg_reg(op: tllvmop; dst: tregister;size: tdef; src1, src2: tregister);
  622. begin
  623. create_llvm(op);
  624. ops:=4;
  625. loadreg(0,dst);
  626. loaddef(1,size);
  627. loadreg(2,src1);
  628. loadreg(3,src2);
  629. end;
  630. { %dst = shl i32 %reg, 1 (= %reg shl 1) }
  631. constructor taillvm.op_reg_size_reg_const(op: tllvmop; dst: tregister; size: tdef; src1: tregister; src2: int64);
  632. begin
  633. create_llvm(op);
  634. ops:=4;
  635. loadreg(0,dst);
  636. loaddef(1,size);
  637. loadreg(2,src1);
  638. loadconst(3,src2);
  639. end;
  640. { %dst = sub i32 1, %src (= 1 - %src) }
  641. constructor taillvm.op_reg_size_const_reg(op: tllvmop; dst: tregister; size: tdef; src1: int64; src2: tregister);
  642. begin
  643. create_llvm(op);
  644. ops:=4;
  645. loadreg(0,dst);
  646. loaddef(1,size);
  647. loadconst(2,src1);
  648. loadreg(3,src2);
  649. end;
  650. { %dst = bitcast i32 %src to i8 }
  651. constructor taillvm.op_reg_size_reg_size(op: tllvmop; dst: tregister; fromsize: tdef; src: tregister; tosize: tdef);
  652. begin
  653. create_llvm(op);
  654. ops:=4;
  655. loadreg(0,dst);
  656. loaddef(1,fromsize);
  657. loadreg(2,src);
  658. loaddef(3,tosize);
  659. end;
  660. { %dst = bitcast i32 -1 to i8 }
  661. constructor taillvm.op_reg_size_const_size(op: tllvmop; dst: tregister; fromsize: tdef; src: int64; tosize: tdef);
  662. begin
  663. create_llvm(op);
  664. ops:=4;
  665. loadreg(0,dst);
  666. loaddef(1,fromsize);
  667. loadconst(2,src);
  668. loaddef(3,tosize);
  669. end;
  670. constructor taillvm.op_reg_size_fpconst_size(op: tllvmop; dst: tregister; fromsize: tdef; src: double; tosize: tdef);
  671. begin
  672. create_llvm(op);
  673. ops:=4;
  674. loadreg(0,dst);
  675. loaddef(1,fromsize);
  676. if fromsize.typ<>floatdef then
  677. internalerror(2014012214);
  678. case tfloatdef(fromsize).floattype of
  679. s32real:
  680. loadsingle(2,src);
  681. s64real:
  682. loaddouble(2,src);
  683. else
  684. internalerror(2014012215);
  685. end;
  686. loaddef(3,tosize);
  687. end;
  688. {$ifdef cpuextended}
  689. constructor taillvm.op_reg_size_fpconst80_size(op: tllvmop; dst: tregister; fromsize: tdef; src: extended; tosize: tdef);
  690. begin
  691. create_llvm(op);
  692. ops:=4;
  693. loadreg(0,dst);
  694. loaddef(1,fromsize);
  695. loadextended(2,src);
  696. loaddef(3,tosize);
  697. end;
  698. {$endif cpuextended}
  699. constructor taillvm.op_reg_size_sym_size(op: tllvmop; dst: tregister; fromsize: tdef; src: TAsmSymbol; tosize: tdef);
  700. begin
  701. create_llvm(op);
  702. ops:=4;
  703. loadreg(0,dst);
  704. loaddef(1,fromsize);
  705. loadsymbol(2,src,0);
  706. loaddef(3,tosize);
  707. end;
  708. constructor taillvm.op_reg_tai_size(op:tllvmop;dst:tregister;src:tai;tosize:tdef);
  709. begin
  710. create_llvm(op);
  711. ops:=3;
  712. loadreg(0,dst);
  713. loadtai(1,src);
  714. loaddef(2,tosize);
  715. end;
  716. constructor taillvm.op_reg_size_undef(op: tllvmop; dst: tregister; size: tdef);
  717. begin
  718. create_llvm(op);
  719. ops:=4;
  720. loadreg(0,dst);
  721. loaddef(1,size);
  722. loadundef(2);
  723. loaddef(3,size);
  724. end;
  725. constructor taillvm.op_size_undef(op: tllvmop; size: tdef);
  726. begin
  727. create_llvm(op);
  728. ops:=2;
  729. loaddef(0,size);
  730. loadundef(1);
  731. end;
  732. constructor taillvm.op_reg_size_ref_size(op: tllvmop; dst: tregister; fromsize: tdef; const src: treference; tosize: tdef);
  733. begin
  734. create_llvm(op);
  735. ops:=4;
  736. loadreg(0,dst);
  737. loaddef(1,fromsize);
  738. loadref(2,src);
  739. loaddef(3,tosize);
  740. end;
  741. { store i32 3, i32* %ptr }
  742. constructor taillvm.op_size_reg_size_ref(op: tllvmop; fromsize: tdef; src: tregister; ptrsize: tdef; const toref: treference);
  743. begin
  744. create_llvm(op);
  745. ops:=4;
  746. loaddef(0,fromsize);
  747. loadreg(1,src);
  748. loaddef(2,ptrsize);
  749. loadref(3,toref);
  750. end;
  751. constructor taillvm.op_size_ref_size_ref(op: tllvmop; fromsize: tdef; const src: treference; ptrsize: tdef; const toref: treference);
  752. begin
  753. create_llvm(op);
  754. ops:=4;
  755. loaddef(0,fromsize);
  756. loadref(1,src);
  757. loaddef(2,ptrsize);
  758. loadref(3,toref);
  759. end;
  760. constructor taillvm.op_size_const_size_ref(op: tllvmop; fromsize: tdef; src: int64; ptrsize: tdef; const toref: treference);
  761. begin
  762. create_llvm(op);
  763. ops:=4;
  764. loaddef(0,fromsize);
  765. loadconst(1,src);
  766. loaddef(2,ptrsize);
  767. loadref(3,toref);
  768. end;
  769. constructor taillvm.op_reg_size_ref(op: tllvmop; dst: tregister; fromsize: tdef; const fromref: treference);
  770. begin
  771. create_llvm(op);
  772. ops:=3;
  773. loadreg(0,dst);
  774. loaddef(1,fromsize);
  775. loadref(2,fromref);
  776. end;
  777. constructor taillvm.op_reg_cond_size_reg_reg(op: tllvmop; dst: tregister; cmpcond: topcmp; size: tdef; reg1, reg2: tregister);
  778. begin
  779. create_llvm(op);
  780. ops:=5;
  781. loadreg(0,dst);
  782. loadcond(1,cmpcond);
  783. loaddef(2,size);
  784. loadreg(3,reg1);
  785. loadreg(4,reg2);
  786. end;
  787. constructor taillvm.op_reg_cond_size_reg_const(op: tllvmop; dst: tregister; cmpcond: topcmp; size: tdef; reg1: tregister; cnst: int64);
  788. begin
  789. create_llvm(op);
  790. ops:=5;
  791. loadreg(0,dst);
  792. loadcond(1,cmpcond);
  793. loaddef(2,size);
  794. loadreg(3,reg1);
  795. loadconst(4,cnst);
  796. end;
  797. constructor taillvm.op_reg_fpcond_size_reg_reg(op: tllvmop; dst: tregister; cmpcond: tllvmfpcmp; size: tdef; reg1, reg2: tregister);
  798. begin
  799. create_llvm(op);
  800. ops:=5;
  801. loadreg(0,dst);
  802. loadfpcond(1,cmpcond);
  803. loaddef(2,size);
  804. loadreg(3,reg1);
  805. loadreg(4,reg2);
  806. end;
  807. constructor taillvm.op_lab(op: tllvmop; lab: tasmlabel);
  808. begin
  809. create_llvm(op);
  810. ops:=1;
  811. loadsymbol(0,lab,0);
  812. end;
  813. constructor taillvm.op_size_reg_lab_lab(op: tllvmop; fromsize: tdef; condreg: tregister; labtrue, labfalse: tasmlabel);
  814. begin
  815. create_llvm(op);
  816. ops:=4;
  817. loaddef(0,fromsize);
  818. loadreg(1,condreg);
  819. loadsymbol(2,labtrue,0);
  820. loadsymbol(3,labfalse,0);
  821. end;
  822. constructor taillvm.op_size_reg(op: tllvmop; def: tdef; reg: tregister);
  823. begin
  824. create_llvm(op);
  825. ops:=2;
  826. loaddef(0,def);
  827. loadreg(1,reg);
  828. end;
  829. constructor taillvm.getelementptr_reg_size_ref_size_reg(dst: tregister; ptrsize: tdef; const ref: treference; indextype: tdef; index1: tregister; indirect: boolean);
  830. var
  831. index: longint;
  832. begin
  833. create_llvm(la_getelementptr);
  834. if indirect then
  835. ops:=7
  836. else
  837. ops:=5;
  838. loadreg(0,dst);
  839. loaddef(1,ptrsize);
  840. loadref(2,ref);
  841. if indirect then
  842. begin
  843. loaddef(3,s32inttype);
  844. loadconst(4,0);
  845. index:=5;
  846. end
  847. else
  848. index:=3;
  849. loaddef(index,indextype);
  850. loadreg(index+1,index1);
  851. end;
  852. constructor taillvm.getelementptr_reg_size_ref_size_const(dst: tregister; ptrsize: tdef; const ref: treference; indextype: tdef; index1: ptrint; indirect: boolean);
  853. var
  854. index: longint;
  855. begin
  856. create_llvm(la_getelementptr);
  857. if indirect then
  858. ops:=7
  859. else
  860. ops:=5;
  861. loadreg(0,dst);
  862. loaddef(1,ptrsize);
  863. loadref(2,ref);
  864. if indirect then
  865. begin
  866. loaddef(3,s32inttype);
  867. loadconst(4,0);
  868. index:=5;
  869. end
  870. else
  871. index:=3;
  872. loaddef(index,indextype);
  873. loadconst(index+1,index1);
  874. end;
  875. constructor taillvm.getelementptr_reg_tai_size_const(dst: tregister; const ai: tai; indextype: tdef; index1: ptrint; indirect: boolean);
  876. var
  877. index: longint;
  878. begin
  879. create_llvm(la_getelementptr);
  880. if indirect then
  881. ops:=6
  882. else
  883. ops:=4;
  884. loadreg(0,dst);
  885. loadtai(1,ai);
  886. if indirect then
  887. begin
  888. loaddef(2,s32inttype);
  889. loadconst(3,0);
  890. index:=4;
  891. end
  892. else
  893. index:=2;
  894. loaddef(index,indextype);
  895. loadconst(index+1,index1);
  896. end;
  897. constructor taillvm.blockaddress(fun, lab: tasmsymbol);
  898. begin
  899. create_llvm(la_blockaddress);
  900. ops:=2;
  901. loadsymbol(0,fun,0);
  902. loadsymbol(1,lab,0);
  903. end;
  904. constructor taillvm.call_size_name_paras(callpd: tdef; dst: tregister; retsize: tdef; name:tasmsymbol; paras: tfplist);
  905. begin
  906. create_llvm(la_call);
  907. ops:=5;
  908. { we need this in case the call symbol is an alias for a symbol with a
  909. different def in the same module (via "external"), because then we
  910. have to insert a type conversion later from the alias def to the
  911. call def here; we can't always do that at the point the call itself
  912. is generated, because the alias declaration may occur anywhere }
  913. loaddef(0,retsize);
  914. loadreg(1,dst);
  915. loaddef(2,callpd);
  916. loadsymbol(3,name,0);
  917. loadparas(4,paras);
  918. end;
  919. constructor taillvm.call_size_reg_paras(callpd: tdef; dst: tregister; retsize: tdef; reg: tregister; paras: tfplist);
  920. begin
  921. create_llvm(la_call);
  922. ops:=5;
  923. loaddef(0,retsize);
  924. loadreg(1,dst);
  925. loaddef(2,callpd);
  926. loadreg(3,reg);
  927. loadparas(4,paras);
  928. end;
  929. constructor taillvm.asm_paras(asmlist: tasmlist; paras: tfplist);
  930. begin
  931. create_llvm(la_asmblock);
  932. ops:=2;
  933. loadasmlist(0,asmlist);
  934. loadparas(1,paras);
  935. end;
  936. end.