aasmllvm.pas 36 KB

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