aasmllvm.pas 30 KB

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