ILEmitterCtx.cs 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554
  1. using ChocolArm64.Decoders;
  2. using ChocolArm64.Instructions;
  3. using ChocolArm64.State;
  4. using System;
  5. using System.Collections.Generic;
  6. using System.Reflection;
  7. using System.Reflection.Emit;
  8. namespace ChocolArm64.Translation
  9. {
  10. class ILEmitterCtx
  11. {
  12. private TranslatorCache _cache;
  13. private Dictionary<long, ILLabel> _labels;
  14. private int _blkIndex;
  15. private int _opcIndex;
  16. private Block[] _graph;
  17. private Block _root;
  18. public Block CurrBlock => _graph[_blkIndex];
  19. public OpCode64 CurrOp => _graph[_blkIndex].OpCodes[_opcIndex];
  20. private ILEmitter _emitter;
  21. private ILBlock _ilBlock;
  22. private OpCode64 _optOpLastCompare;
  23. private OpCode64 _optOpLastFlagSet;
  24. //This is the index of the temporary register, used to store temporary
  25. //values needed by some functions, since IL doesn't have a swap instruction.
  26. //You can use any value here as long it doesn't conflict with the indices
  27. //for the other registers. Any value >= 64 or < 0 will do.
  28. private const int Tmp1Index = -1;
  29. private const int Tmp2Index = -2;
  30. private const int Tmp3Index = -3;
  31. private const int Tmp4Index = -4;
  32. private const int Tmp5Index = -5;
  33. private const int Tmp6Index = -6;
  34. public ILEmitterCtx(
  35. TranslatorCache cache,
  36. Block[] graph,
  37. Block root,
  38. string subName)
  39. {
  40. _cache = cache ?? throw new ArgumentNullException(nameof(cache));
  41. _graph = graph ?? throw new ArgumentNullException(nameof(graph));
  42. _root = root ?? throw new ArgumentNullException(nameof(root));
  43. _labels = new Dictionary<long, ILLabel>();
  44. _emitter = new ILEmitter(graph, root, subName);
  45. _ilBlock = _emitter.GetIlBlock(0);
  46. _opcIndex = -1;
  47. if (graph.Length == 0 || !AdvanceOpCode())
  48. {
  49. throw new ArgumentException(nameof(graph));
  50. }
  51. }
  52. public TranslatedSub GetSubroutine()
  53. {
  54. return _emitter.GetSubroutine();
  55. }
  56. public bool AdvanceOpCode()
  57. {
  58. if (_opcIndex + 1 == CurrBlock.OpCodes.Count &&
  59. _blkIndex + 1 == _graph.Length)
  60. {
  61. return false;
  62. }
  63. while (++_opcIndex >= (CurrBlock?.OpCodes.Count ?? 0))
  64. {
  65. _blkIndex++;
  66. _opcIndex = -1;
  67. _optOpLastFlagSet = null;
  68. _optOpLastCompare = null;
  69. _ilBlock = _emitter.GetIlBlock(_blkIndex);
  70. }
  71. return true;
  72. }
  73. public void EmitOpCode()
  74. {
  75. if (_opcIndex == 0)
  76. {
  77. MarkLabel(GetLabel(CurrBlock.Position));
  78. EmitSynchronization();
  79. }
  80. CurrOp.Emitter(this);
  81. _ilBlock.Add(new ILBarrier());
  82. }
  83. private void EmitSynchronization()
  84. {
  85. EmitLdarg(TranslatedSub.StateArgIdx);
  86. EmitLdc_I4(CurrBlock.OpCodes.Count);
  87. EmitPrivateCall(typeof(CpuThreadState), nameof(CpuThreadState.Synchronize));
  88. EmitLdc_I4(0);
  89. ILLabel lblContinue = new ILLabel();
  90. Emit(OpCodes.Bne_Un_S, lblContinue);
  91. EmitLdc_I8(0);
  92. Emit(OpCodes.Ret);
  93. MarkLabel(lblContinue);
  94. }
  95. public bool TryOptEmitSubroutineCall()
  96. {
  97. if (CurrBlock.Next == null)
  98. {
  99. return false;
  100. }
  101. if (CurrOp.Emitter != InstEmit.Bl)
  102. {
  103. return false;
  104. }
  105. if (!_cache.TryGetSubroutine(((OpCodeBImmAl64)CurrOp).Imm, out TranslatedSub subroutine))
  106. {
  107. return false;
  108. }
  109. for (int index = 0; index < TranslatedSub.FixedArgTypes.Length; index++)
  110. {
  111. EmitLdarg(index);
  112. }
  113. foreach (Register reg in subroutine.Params)
  114. {
  115. switch (reg.Type)
  116. {
  117. case RegisterType.Flag: Ldloc(reg.Index, IoType.Flag); break;
  118. case RegisterType.Int: Ldloc(reg.Index, IoType.Int); break;
  119. case RegisterType.Vector: Ldloc(reg.Index, IoType.Vector); break;
  120. }
  121. }
  122. EmitCall(subroutine.Method);
  123. subroutine.AddCaller(_root.Position);
  124. return true;
  125. }
  126. public void TryOptMarkCondWithoutCmp()
  127. {
  128. _optOpLastCompare = CurrOp;
  129. InstEmitAluHelper.EmitDataLoadOpers(this);
  130. Stloc(Tmp4Index, IoType.Int);
  131. Stloc(Tmp3Index, IoType.Int);
  132. }
  133. private Dictionary<Cond, System.Reflection.Emit.OpCode> _branchOps = new Dictionary<Cond, System.Reflection.Emit.OpCode>()
  134. {
  135. { Cond.Eq, OpCodes.Beq },
  136. { Cond.Ne, OpCodes.Bne_Un },
  137. { Cond.GeUn, OpCodes.Bge_Un },
  138. { Cond.LtUn, OpCodes.Blt_Un },
  139. { Cond.GtUn, OpCodes.Bgt_Un },
  140. { Cond.LeUn, OpCodes.Ble_Un },
  141. { Cond.Ge, OpCodes.Bge },
  142. { Cond.Lt, OpCodes.Blt },
  143. { Cond.Gt, OpCodes.Bgt },
  144. { Cond.Le, OpCodes.Ble }
  145. };
  146. public void EmitCondBranch(ILLabel target, Cond cond)
  147. {
  148. System.Reflection.Emit.OpCode ilOp;
  149. int intCond = (int)cond;
  150. if (_optOpLastCompare != null &&
  151. _optOpLastCompare == _optOpLastFlagSet && _branchOps.ContainsKey(cond))
  152. {
  153. Ldloc(Tmp3Index, IoType.Int, _optOpLastCompare.RegisterSize);
  154. Ldloc(Tmp4Index, IoType.Int, _optOpLastCompare.RegisterSize);
  155. ilOp = _branchOps[cond];
  156. }
  157. else if (intCond < 14)
  158. {
  159. int condTrue = intCond >> 1;
  160. switch (condTrue)
  161. {
  162. case 0: EmitLdflg((int)PState.ZBit); break;
  163. case 1: EmitLdflg((int)PState.CBit); break;
  164. case 2: EmitLdflg((int)PState.NBit); break;
  165. case 3: EmitLdflg((int)PState.VBit); break;
  166. case 4:
  167. EmitLdflg((int)PState.CBit);
  168. EmitLdflg((int)PState.ZBit);
  169. Emit(OpCodes.Not);
  170. Emit(OpCodes.And);
  171. break;
  172. case 5:
  173. case 6:
  174. EmitLdflg((int)PState.NBit);
  175. EmitLdflg((int)PState.VBit);
  176. Emit(OpCodes.Ceq);
  177. if (condTrue == 6)
  178. {
  179. EmitLdflg((int)PState.ZBit);
  180. Emit(OpCodes.Not);
  181. Emit(OpCodes.And);
  182. }
  183. break;
  184. }
  185. ilOp = (intCond & 1) != 0
  186. ? OpCodes.Brfalse
  187. : OpCodes.Brtrue;
  188. }
  189. else
  190. {
  191. ilOp = OpCodes.Br;
  192. }
  193. Emit(ilOp, target);
  194. }
  195. public void EmitCast(IntType intType)
  196. {
  197. switch (intType)
  198. {
  199. case IntType.UInt8: Emit(OpCodes.Conv_U1); break;
  200. case IntType.UInt16: Emit(OpCodes.Conv_U2); break;
  201. case IntType.UInt32: Emit(OpCodes.Conv_U4); break;
  202. case IntType.UInt64: Emit(OpCodes.Conv_U8); break;
  203. case IntType.Int8: Emit(OpCodes.Conv_I1); break;
  204. case IntType.Int16: Emit(OpCodes.Conv_I2); break;
  205. case IntType.Int32: Emit(OpCodes.Conv_I4); break;
  206. case IntType.Int64: Emit(OpCodes.Conv_I8); break;
  207. }
  208. bool sz64 = CurrOp.RegisterSize != RegisterSize.Int32;
  209. if (sz64 == (intType == IntType.UInt64 ||
  210. intType == IntType.Int64))
  211. {
  212. return;
  213. }
  214. if (sz64)
  215. {
  216. Emit(intType >= IntType.Int8
  217. ? OpCodes.Conv_I8
  218. : OpCodes.Conv_U8);
  219. }
  220. else
  221. {
  222. Emit(OpCodes.Conv_U4);
  223. }
  224. }
  225. public void EmitLsl(int amount) => EmitIlShift(amount, OpCodes.Shl);
  226. public void EmitLsr(int amount) => EmitIlShift(amount, OpCodes.Shr_Un);
  227. public void EmitAsr(int amount) => EmitIlShift(amount, OpCodes.Shr);
  228. private void EmitIlShift(int amount, System.Reflection.Emit.OpCode ilOp)
  229. {
  230. if (amount > 0)
  231. {
  232. EmitLdc_I4(amount);
  233. Emit(ilOp);
  234. }
  235. }
  236. public void EmitRor(int amount)
  237. {
  238. if (amount > 0)
  239. {
  240. Stloc(Tmp2Index, IoType.Int);
  241. Ldloc(Tmp2Index, IoType.Int);
  242. EmitLdc_I4(amount);
  243. Emit(OpCodes.Shr_Un);
  244. Ldloc(Tmp2Index, IoType.Int);
  245. EmitLdc_I4(CurrOp.GetBitsCount() - amount);
  246. Emit(OpCodes.Shl);
  247. Emit(OpCodes.Or);
  248. }
  249. }
  250. public ILLabel GetLabel(long position)
  251. {
  252. if (!_labels.TryGetValue(position, out ILLabel output))
  253. {
  254. output = new ILLabel();
  255. _labels.Add(position, output);
  256. }
  257. return output;
  258. }
  259. public void MarkLabel(ILLabel label)
  260. {
  261. _ilBlock.Add(label);
  262. }
  263. public void Emit(System.Reflection.Emit.OpCode ilOp)
  264. {
  265. _ilBlock.Add(new ILOpCode(ilOp));
  266. }
  267. public void Emit(System.Reflection.Emit.OpCode ilOp, ILLabel label)
  268. {
  269. _ilBlock.Add(new ILOpCodeBranch(ilOp, label));
  270. }
  271. public void Emit(string text)
  272. {
  273. _ilBlock.Add(new ILOpCodeLog(text));
  274. }
  275. public void EmitLdarg(int index)
  276. {
  277. _ilBlock.Add(new IlOpCodeLoad(index, IoType.Arg));
  278. }
  279. public void EmitLdintzr(int index)
  280. {
  281. if (index != CpuThreadState.ZrIndex)
  282. {
  283. EmitLdint(index);
  284. }
  285. else
  286. {
  287. EmitLdc_I(0);
  288. }
  289. }
  290. public void EmitStintzr(int index)
  291. {
  292. if (index != CpuThreadState.ZrIndex)
  293. {
  294. EmitStint(index);
  295. }
  296. else
  297. {
  298. Emit(OpCodes.Pop);
  299. }
  300. }
  301. public void EmitLoadState(Block retBlk)
  302. {
  303. _ilBlock.Add(new IlOpCodeLoad(Array.IndexOf(_graph, retBlk), IoType.Fields));
  304. }
  305. public void EmitStoreState()
  306. {
  307. _ilBlock.Add(new IlOpCodeStore(Array.IndexOf(_graph, CurrBlock), IoType.Fields));
  308. }
  309. public void EmitLdtmp() => EmitLdint(Tmp1Index);
  310. public void EmitSttmp() => EmitStint(Tmp1Index);
  311. public void EmitLdvectmp() => EmitLdvec(Tmp5Index);
  312. public void EmitStvectmp() => EmitStvec(Tmp5Index);
  313. public void EmitLdvectmp2() => EmitLdvec(Tmp6Index);
  314. public void EmitStvectmp2() => EmitStvec(Tmp6Index);
  315. public void EmitLdint(int index) => Ldloc(index, IoType.Int);
  316. public void EmitStint(int index) => Stloc(index, IoType.Int);
  317. public void EmitLdvec(int index) => Ldloc(index, IoType.Vector);
  318. public void EmitStvec(int index) => Stloc(index, IoType.Vector);
  319. public void EmitLdflg(int index) => Ldloc(index, IoType.Flag);
  320. public void EmitStflg(int index)
  321. {
  322. _optOpLastFlagSet = CurrOp;
  323. Stloc(index, IoType.Flag);
  324. }
  325. private void Ldloc(int index, IoType ioType)
  326. {
  327. _ilBlock.Add(new IlOpCodeLoad(index, ioType, CurrOp.RegisterSize));
  328. }
  329. private void Ldloc(int index, IoType ioType, RegisterSize registerSize)
  330. {
  331. _ilBlock.Add(new IlOpCodeLoad(index, ioType, registerSize));
  332. }
  333. private void Stloc(int index, IoType ioType)
  334. {
  335. _ilBlock.Add(new IlOpCodeStore(index, ioType, CurrOp.RegisterSize));
  336. }
  337. public void EmitCallPropGet(Type objType, string propName)
  338. {
  339. if (objType == null)
  340. {
  341. throw new ArgumentNullException(nameof(objType));
  342. }
  343. if (propName == null)
  344. {
  345. throw new ArgumentNullException(nameof(propName));
  346. }
  347. EmitCall(objType.GetMethod($"get_{propName}"));
  348. }
  349. public void EmitCallPropSet(Type objType, string propName)
  350. {
  351. if (objType == null)
  352. {
  353. throw new ArgumentNullException(nameof(objType));
  354. }
  355. if (propName == null)
  356. {
  357. throw new ArgumentNullException(nameof(propName));
  358. }
  359. EmitCall(objType.GetMethod($"set_{propName}"));
  360. }
  361. public void EmitCall(Type objType, string mthdName)
  362. {
  363. if (objType == null)
  364. {
  365. throw new ArgumentNullException(nameof(objType));
  366. }
  367. if (mthdName == null)
  368. {
  369. throw new ArgumentNullException(nameof(mthdName));
  370. }
  371. EmitCall(objType.GetMethod(mthdName));
  372. }
  373. public void EmitPrivateCall(Type objType, string mthdName)
  374. {
  375. if (objType == null)
  376. {
  377. throw new ArgumentNullException(nameof(objType));
  378. }
  379. if (mthdName == null)
  380. {
  381. throw new ArgumentNullException(nameof(mthdName));
  382. }
  383. EmitCall(objType.GetMethod(mthdName, BindingFlags.Instance | BindingFlags.NonPublic));
  384. }
  385. public void EmitCall(MethodInfo mthdInfo)
  386. {
  387. if (mthdInfo == null)
  388. {
  389. throw new ArgumentNullException(nameof(mthdInfo));
  390. }
  391. _ilBlock.Add(new ILOpCodeCall(mthdInfo));
  392. }
  393. public void EmitLdc_I(long value)
  394. {
  395. if (CurrOp.RegisterSize == RegisterSize.Int32)
  396. {
  397. EmitLdc_I4((int)value);
  398. }
  399. else
  400. {
  401. EmitLdc_I8(value);
  402. }
  403. }
  404. public void EmitLdc_I4(int value)
  405. {
  406. _ilBlock.Add(new ILOpCodeConst(value));
  407. }
  408. public void EmitLdc_I8(long value)
  409. {
  410. _ilBlock.Add(new ILOpCodeConst(value));
  411. }
  412. public void EmitLdc_R4(float value)
  413. {
  414. _ilBlock.Add(new ILOpCodeConst(value));
  415. }
  416. public void EmitLdc_R8(double value)
  417. {
  418. _ilBlock.Add(new ILOpCodeConst(value));
  419. }
  420. public void EmitZnFlagCheck()
  421. {
  422. EmitZnCheck(OpCodes.Ceq, (int)PState.ZBit);
  423. EmitZnCheck(OpCodes.Clt, (int)PState.NBit);
  424. }
  425. private void EmitZnCheck(System.Reflection.Emit.OpCode ilCmpOp, int flag)
  426. {
  427. Emit(OpCodes.Dup);
  428. Emit(OpCodes.Ldc_I4_0);
  429. if (CurrOp.RegisterSize != RegisterSize.Int32)
  430. {
  431. Emit(OpCodes.Conv_I8);
  432. }
  433. Emit(ilCmpOp);
  434. EmitStflg(flag);
  435. }
  436. }
  437. }