aasmllvm.pas 33 KB

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