aasmllvm.pas 30 KB

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