aasmllvm.pas 32 KB

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