aasmllvm.pas 32 KB

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