2
0

aasmllvm.pas 30 KB

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