aasmllvm.pas 33 KB

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