aasmllvm.pas 35 KB

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