aasmllvm.pas 33 KB

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