2
0

aasmllvm.pas 29 KB

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