aasmllvm.pas 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507
  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,
  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 src to tosize }
  56. constructor op_reg_size_ref_size(op:tllvmop;dst:tregister;fromsize:tdef;const src:treference;tosize:tdef);
  57. { e.g. store fromsize src, ptrsize toref}
  58. constructor op_size_reg_size_ref(op:tllvmop;fromsize:tdef;src:tregister;ptrsize:tdef;const toref:treference);
  59. { e.g. store fromsize const, ptrsize toref}
  60. constructor op_size_const_size_ref(op:tllvmop;fromsize:tdef;src:int64;ptrsize:tdef;const toref:treference);
  61. { e.g. dst = load fromsize fromref }
  62. constructor op_reg_size_ref(op:tllvmop;dst:tregister;fromsize:tdef;const fromref:treference);
  63. { e.g. dst = icmp cmpcond size reg1, reg2 }
  64. constructor op_reg_cond_size_reg_reg(op:tllvmop;dst:tregister;cmpcond:topcmp;size:tdef;reg1,reg2:tregister);
  65. { e.g. dst = icmp cmpcond size reg1, constant }
  66. constructor op_reg_cond_size_reg_const(op:tllvmop;dst:tregister;cmpcond:topcmp;size:tdef;reg1:tregister;cnst:int64);
  67. { e.g. dst = fcmp cmpcond size reg1, reg2 }
  68. constructor op_reg_fpcond_size_reg_reg(op:tllvmop;dst:tregister;cmpcond:tllvmfpcmp;size:tdef;reg1,reg2:tregister);
  69. { e.g. br label lab }
  70. constructor op_lab(op:tllvmop;lab:tasmlabel);
  71. { e.g. br i1 condreg, label iftrue, label iffalse }
  72. constructor op_size_reg_lab_lab(op:tllvmop;fromsize:tdef;condreg:tregister;labtrue,labfalse: tasmlabel);
  73. { e.g. la_ret retdef retval }
  74. constructor op_size_reg(op:tllvmop;def: tdef;reg: tregister);
  75. { e.g. dst = getelementptr ptrsize ref, i32 0 (implicit), index1type index1 }
  76. constructor getelementptr_reg_size_ref_size_reg(dst:tregister;ptrsize:tdef;const ref:treference;indextype: tdef;index1:tregister);
  77. constructor getelementptr_reg_size_ref_size_const(dst:tregister;ptrsize:tdef;const ref:treference;indextype: tdef;index1:ptrint);
  78. procedure loaddef(opidx: longint; _def: tdef);
  79. procedure loaddouble(opidx: longint; _dval: double);
  80. {$ifdef cpuextended}
  81. procedure loadextended(opidx: longint; _eval: extended);
  82. {$endif cpuextended}
  83. procedure loadcond(opidx: longint; _cond: topcmp);
  84. procedure loadfpcond(opidx: longint; _fpcond: tllvmfpcmp);
  85. end;
  86. tllvmvisibility = (llv_default, llv_hidden, llv_protected);
  87. tllvmlinkage = (
  88. { llvm 2.5 }
  89. lll_default { = externally visible/global },
  90. lll_private, lll_internal, lll_linkonce, lll_common,
  91. lll_weak, lll_appending, lll_extern_weak,
  92. lll_dllimport, lll_dllexport,
  93. { llvm 2.6+ }
  94. lll_linker_private, lll_private_weak, lll_private_weak_def_auto,
  95. lll_available_externally,lll_linkonce_odr, lll_weak_odr
  96. );
  97. taillvmalias = class(tailineinfo)
  98. vis: tllvmvisibility;
  99. linkage: tllvmlinkage;
  100. oldsym, newsym: TAsmSymbol;
  101. def: tdef;
  102. constructor Create(const oldname, newname: TSymStr; _def: tdef; _vis: tllvmvisibility; _linkage: tllvmlinkage);
  103. end;
  104. { start of a procedure }
  105. taillvmprocdef = class(tailineinfo)
  106. procdef: tprocdef;
  107. constructor create(_procdef: tprocdef);
  108. end;
  109. { global variable definition }
  110. taillvmvarsym = class(tailineinfo)
  111. varsym: tstaticvarsym;
  112. constructor create(_varsym: tstaticvarsym);
  113. end;
  114. implementation
  115. uses
  116. cutils, cclasses, strings, aasmcpu;
  117. { taillvmvarsym }
  118. constructor taillvmvarsym.create(_varsym: tstaticvarsym);
  119. begin
  120. inherited create;
  121. typ:=ait_llvmvarsym;
  122. varsym:=_varsym;
  123. end;
  124. { taillvmalias }
  125. constructor taillvmalias.Create(const oldname, newname: TSymStr; _def: tdef; _vis: tllvmvisibility; _linkage: tllvmlinkage);
  126. begin
  127. inherited Create;
  128. oldsym:=current_asmdata.RefAsmSymbol(oldname,AT_FUNCTION);
  129. newsym:=current_asmdata.DefineAsmSymbol(newname,AB_GLOBAL,AT_FUNCTION);
  130. def:=_def;
  131. vis:=_vis;
  132. linkage:=_linkage;
  133. end;
  134. { taillvmprocdef }
  135. constructor taillvmprocdef.create(_procdef: tprocdef);
  136. begin
  137. inherited create;
  138. typ:=ait_llvmprocdef;
  139. procdef:=_procdef;
  140. end;
  141. {*****************************************************************************
  142. taicpu Constructors
  143. *****************************************************************************}
  144. constructor taillvm.create_llvm(op: tllvmop);
  145. begin
  146. create(a_none);
  147. llvmopcode:=op;
  148. typ:=ait_llvmins;
  149. end;
  150. procedure taillvm.loaddef(opidx:longint;_def: tdef);
  151. begin
  152. allocate_oper(opidx+1);
  153. with oper[opidx]^ do
  154. begin
  155. if typ<>top_def then
  156. clearop(opidx);
  157. def:=_def;
  158. typ:=top_def;
  159. end;
  160. end;
  161. procedure taillvm.loaddouble(opidx: longint; _dval: double);
  162. begin
  163. allocate_oper(opidx+1);
  164. with oper[opidx]^ do
  165. begin
  166. if typ<>top_double then
  167. clearop(opidx);
  168. dval:=_dval;
  169. typ:=top_double;
  170. end;
  171. end;
  172. {$ifdef cpuextended}
  173. procedure taillvm.loadextended(opidx: longint; _eval: extended);
  174. begin
  175. allocate_oper(opidx+1);
  176. with oper[opidx]^ do
  177. begin
  178. if typ<>top_extended80 then
  179. clearop(opidx);
  180. eval:=_eval;
  181. typ:=top_extended80;
  182. end;
  183. end;
  184. {$endif cpuextended}
  185. procedure taillvm.loadcond(opidx: longint; _cond: topcmp);
  186. begin
  187. allocate_oper(opidx+1);
  188. with oper[opidx]^ do
  189. begin
  190. if typ<>top_cond then
  191. clearop(opidx);
  192. cond:=_cond;
  193. typ:=top_cond;
  194. end;
  195. end;
  196. procedure taillvm.loadfpcond(opidx: longint; _fpcond: tllvmfpcmp);
  197. begin
  198. allocate_oper(opidx+1);
  199. with oper[opidx]^ do
  200. begin
  201. if typ<>top_fpcond then
  202. clearop(opidx);
  203. fpcond:=_fpcond;
  204. typ:=top_fpcond;
  205. end;
  206. end;
  207. constructor taillvm.op_size(op : tllvmop; size: tdef);
  208. begin
  209. create_llvm(op);
  210. ops:=1;
  211. loaddef(0,size);
  212. end;
  213. constructor taillvm.op_reg_size(op: tllvmop; dst: tregister; size: tdef);
  214. begin
  215. create_llvm(op);
  216. ops:=2;
  217. loadreg(0,dst);
  218. loaddef(1,size);
  219. end;
  220. constructor taillvm.op_ref_size(op: tllvmop; const dst: treference; size: tdef);
  221. begin
  222. create_llvm(op);
  223. ops:=2;
  224. loadref(0,dst);
  225. loaddef(1,size);
  226. end;
  227. { %dst = add i32 %src1, %src2 }
  228. constructor taillvm.op_reg_size_reg_reg(op: tllvmop; dst: tregister;size: tdef; src1, src2: tregister);
  229. begin
  230. create_llvm(op);
  231. ops:=4;
  232. loadreg(0,dst);
  233. loaddef(1,size);
  234. loadreg(2,src1);
  235. loadreg(3,src2);
  236. end;
  237. { %dst = shl i32 %reg, 1 (= %reg shl 1) }
  238. constructor taillvm.op_reg_size_reg_const(op: tllvmop; dst: tregister; size: tdef; src1: tregister; src2: int64);
  239. begin
  240. create_llvm(op);
  241. ops:=4;
  242. loadreg(0,dst);
  243. loaddef(1,size);
  244. loadreg(2,src1);
  245. loadconst(3,src2);
  246. end;
  247. { %dst = sub i32 1, %src (= 1 - %src) }
  248. constructor taillvm.op_reg_size_const_reg(op: tllvmop; dst: tregister; size: tdef; src1: int64; src2: tregister);
  249. begin
  250. create_llvm(op);
  251. ops:=4;
  252. loadreg(0,dst);
  253. loaddef(1,size);
  254. loadconst(2,src1);
  255. loadreg(3,src2);
  256. end;
  257. { %dst = bitcast i32 %src to i8 }
  258. constructor taillvm.op_reg_size_reg_size(op: tllvmop; dst: tregister; fromsize: tdef; src: tregister; tosize: tdef);
  259. begin
  260. create_llvm(op);
  261. ops:=4;
  262. loadreg(0,dst);
  263. loaddef(1,fromsize);
  264. loadreg(2,src);
  265. loaddef(3,tosize);
  266. end;
  267. { %dst = bitcast i32 -1 to i8 }
  268. constructor taillvm.op_reg_size_const_size(op: tllvmop; dst: tregister; fromsize: tdef; src: int64; tosize: tdef);
  269. begin
  270. create_llvm(op);
  271. ops:=4;
  272. loadreg(0,dst);
  273. loaddef(1,fromsize);
  274. loadconst(2,src);
  275. loaddef(3,tosize);
  276. end;
  277. constructor taillvm.op_reg_size_fpconst_size(op: tllvmop; dst: tregister; fromsize: tdef; src: double; tosize: tdef);
  278. begin
  279. create_llvm(op);
  280. ops:=4;
  281. loadreg(0,dst);
  282. loaddef(1,fromsize);
  283. loaddouble(2,src);
  284. loaddef(3,tosize);
  285. end;
  286. {$ifdef cpuextended}
  287. constructor taillvm.op_reg_size_fpconst80_size(op: tllvmop; dst: tregister; fromsize: tdef; src: extended; tosize: tdef);
  288. begin
  289. create_llvm(op);
  290. ops:=4;
  291. loadreg(0,dst);
  292. loaddef(1,fromsize);
  293. loadextended(2,src);
  294. loaddef(3,tosize);
  295. end;
  296. {$endif cpuextended}
  297. constructor taillvm.op_reg_size_sym_size(op: tllvmop; dst: tregister; fromsize: tdef; src: TAsmSymbol; tosize: tdef);
  298. begin
  299. create_llvm(op);
  300. ops:=4;
  301. loadreg(0,dst);
  302. loaddef(1,fromsize);
  303. loadsymbol(2,src,0);
  304. loaddef(3,tosize);
  305. end;
  306. { store i32 3, i32* %ptr }
  307. constructor taillvm.op_reg_size_ref_size(op: tllvmop; dst: tregister; fromsize: tdef; const src: treference; tosize: tdef);
  308. begin
  309. create_llvm(op);
  310. ops:=4;
  311. loadreg(0,dst);
  312. loaddef(1,fromsize);
  313. loadref(2,src);
  314. loaddef(3,tosize);
  315. end;
  316. constructor taillvm.op_size_reg_size_ref(op: tllvmop; fromsize: tdef; src: tregister; ptrsize: tdef; const toref: treference);
  317. begin
  318. create_llvm(op);
  319. ops:=4;
  320. loaddef(0,fromsize);
  321. loadreg(1,src);
  322. loaddef(2,ptrsize);
  323. loadref(3,toref);
  324. end;
  325. constructor taillvm.op_size_const_size_ref(op: tllvmop; fromsize: tdef; src: int64; ptrsize: tdef; const toref: treference);
  326. begin
  327. create_llvm(op);
  328. ops:=4;
  329. loaddef(0,fromsize);
  330. loadconst(1,src);
  331. loaddef(2,ptrsize);
  332. loadref(3,toref);
  333. end;
  334. constructor taillvm.op_reg_size_ref(op: tllvmop; dst: tregister; fromsize: tdef; const fromref: treference);
  335. begin
  336. create_llvm(op);
  337. ops:=3;
  338. loadreg(0,dst);
  339. loaddef(1,fromsize);
  340. loadref(2,fromref);
  341. end;
  342. constructor taillvm.op_reg_cond_size_reg_reg(op: tllvmop; dst: tregister; cmpcond: topcmp; size: tdef; reg1, reg2: tregister);
  343. begin
  344. create_llvm(op);
  345. ops:=5;
  346. loadreg(0,dst);
  347. loadcond(1,cmpcond);
  348. loaddef(2,size);
  349. loadreg(3,reg1);
  350. loadreg(4,reg2);
  351. end;
  352. constructor taillvm.op_reg_cond_size_reg_const(op: tllvmop; dst: tregister; cmpcond: topcmp; size: tdef; reg1: tregister; cnst: int64);
  353. begin
  354. create_llvm(op);
  355. ops:=5;
  356. loadreg(0,dst);
  357. loadcond(1,cmpcond);
  358. loaddef(2,size);
  359. loadreg(3,reg1);
  360. loadconst(4,cnst);
  361. end;
  362. constructor taillvm.op_reg_fpcond_size_reg_reg(op: tllvmop; dst: tregister; cmpcond: tllvmfpcmp; size: tdef; reg1, reg2: tregister);
  363. begin
  364. create_llvm(op);
  365. ops:=5;
  366. loadreg(0,dst);
  367. loadfpcond(1,cmpcond);
  368. loaddef(2,size);
  369. loadreg(3,reg1);
  370. loadreg(4,reg2);
  371. end;
  372. constructor taillvm.op_lab(op: tllvmop; lab: tasmlabel);
  373. begin
  374. create_llvm(op);
  375. ops:=1;
  376. loadsymbol(0,lab,0);
  377. end;
  378. constructor taillvm.op_size_reg_lab_lab(op: tllvmop; fromsize: tdef; condreg: tregister; labtrue, labfalse: tasmlabel);
  379. begin
  380. create_llvm(op);
  381. ops:=4;
  382. loaddef(0,fromsize);
  383. loadreg(1,condreg);
  384. loadsymbol(2,labtrue,0);
  385. loadsymbol(3,labfalse,0);
  386. end;
  387. constructor taillvm.op_size_reg(op: tllvmop; def: tdef; reg: tregister);
  388. begin
  389. create_llvm(op);
  390. ops:=2;
  391. loaddef(0,def);
  392. loadreg(1,reg);
  393. end;
  394. constructor taillvm.getelementptr_reg_size_ref_size_reg(dst: tregister; ptrsize: tdef; const ref: treference; indextype: tdef; index1: tregister);
  395. begin
  396. create_llvm(la_getelementptr);
  397. ops:=7;
  398. loadreg(0,dst);
  399. loaddef(1,ptrsize);
  400. loadref(2,ref);
  401. loaddef(3,s32inttype);
  402. loadconst(4,0);
  403. loaddef(5,indextype);
  404. loadreg(6,index1);
  405. end;
  406. constructor taillvm.getelementptr_reg_size_ref_size_const(dst: tregister; ptrsize: tdef; const ref: treference; indextype: tdef; index1: ptrint);
  407. begin
  408. create_llvm(la_getelementptr);
  409. ops:=7;
  410. loadreg(0,dst);
  411. loaddef(1,ptrsize);
  412. loadref(2,ref);
  413. loaddef(3,s32inttype);
  414. loadconst(4,0);
  415. loaddef(5,indextype);
  416. loadconst(6,index1);
  417. end;
  418. end.