aasmllvm.pas 30 KB

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