aasmllvm.pas 29 KB

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