aasmllvm.pas 36 KB

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