aasmllvm.pas 36 KB

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