aasmllvm.pas 28 KB

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