InstEmitAluHelper.cs 6.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221
  1. using ChocolArm64.Decoders;
  2. using ChocolArm64.State;
  3. using ChocolArm64.Translation;
  4. using System.Reflection.Emit;
  5. namespace ChocolArm64.Instructions
  6. {
  7. static class InstEmitAluHelper
  8. {
  9. public static void EmitAdcsCCheck(ILEmitterCtx context)
  10. {
  11. //C = (Rd == Rn && CIn) || Rd < Rn
  12. context.EmitSttmp();
  13. context.EmitLdtmp();
  14. context.EmitLdtmp();
  15. EmitDataLoadRn(context);
  16. context.Emit(OpCodes.Ceq);
  17. context.EmitLdflg((int)PState.CBit);
  18. context.Emit(OpCodes.And);
  19. context.EmitLdtmp();
  20. EmitDataLoadRn(context);
  21. context.Emit(OpCodes.Clt_Un);
  22. context.Emit(OpCodes.Or);
  23. context.EmitStflg((int)PState.CBit);
  24. }
  25. public static void EmitAddsCCheck(ILEmitterCtx context)
  26. {
  27. //C = Rd < Rn
  28. context.Emit(OpCodes.Dup);
  29. EmitDataLoadRn(context);
  30. context.Emit(OpCodes.Clt_Un);
  31. context.EmitStflg((int)PState.CBit);
  32. }
  33. public static void EmitAddsVCheck(ILEmitterCtx context)
  34. {
  35. //V = (Rd ^ Rn) & ~(Rn ^ Rm) < 0
  36. context.Emit(OpCodes.Dup);
  37. EmitDataLoadRn(context);
  38. context.Emit(OpCodes.Xor);
  39. EmitDataLoadOpers(context);
  40. context.Emit(OpCodes.Xor);
  41. context.Emit(OpCodes.Not);
  42. context.Emit(OpCodes.And);
  43. context.EmitLdc_I(0);
  44. context.Emit(OpCodes.Clt);
  45. context.EmitStflg((int)PState.VBit);
  46. }
  47. public static void EmitSbcsCCheck(ILEmitterCtx context)
  48. {
  49. //C = (Rn == Rm && CIn) || Rn > Rm
  50. EmitDataLoadOpers(context);
  51. context.Emit(OpCodes.Ceq);
  52. context.EmitLdflg((int)PState.CBit);
  53. context.Emit(OpCodes.And);
  54. EmitDataLoadOpers(context);
  55. context.Emit(OpCodes.Cgt_Un);
  56. context.Emit(OpCodes.Or);
  57. context.EmitStflg((int)PState.CBit);
  58. }
  59. public static void EmitSubsCCheck(ILEmitterCtx context)
  60. {
  61. //C = Rn == Rm || Rn > Rm = !(Rn < Rm)
  62. EmitDataLoadOpers(context);
  63. context.Emit(OpCodes.Clt_Un);
  64. context.EmitLdc_I4(1);
  65. context.Emit(OpCodes.Xor);
  66. context.EmitStflg((int)PState.CBit);
  67. }
  68. public static void EmitSubsVCheck(ILEmitterCtx context)
  69. {
  70. //V = (Rd ^ Rn) & (Rn ^ Rm) < 0
  71. context.Emit(OpCodes.Dup);
  72. EmitDataLoadRn(context);
  73. context.Emit(OpCodes.Xor);
  74. EmitDataLoadOpers(context);
  75. context.Emit(OpCodes.Xor);
  76. context.Emit(OpCodes.And);
  77. context.EmitLdc_I(0);
  78. context.Emit(OpCodes.Clt);
  79. context.EmitStflg((int)PState.VBit);
  80. }
  81. public static void EmitDataLoadRm(ILEmitterCtx context)
  82. {
  83. context.EmitLdintzr(((IOpCodeAluRs64)context.CurrOp).Rm);
  84. }
  85. public static void EmitDataLoadOpers(ILEmitterCtx context)
  86. {
  87. EmitDataLoadRn(context);
  88. EmitDataLoadOper2(context);
  89. }
  90. public static void EmitDataLoadRn(ILEmitterCtx context)
  91. {
  92. IOpCodeAlu64 op = (IOpCodeAlu64)context.CurrOp;
  93. if (op.DataOp == DataOp.Logical || op is IOpCodeAluRs64)
  94. {
  95. context.EmitLdintzr(op.Rn);
  96. }
  97. else
  98. {
  99. context.EmitLdint(op.Rn);
  100. }
  101. }
  102. public static void EmitDataLoadOper2(ILEmitterCtx context)
  103. {
  104. switch (context.CurrOp)
  105. {
  106. case IOpCodeAluImm64 op:
  107. context.EmitLdc_I(op.Imm);
  108. break;
  109. case IOpCodeAluRs64 op:
  110. context.EmitLdintzr(op.Rm);
  111. switch (op.ShiftType)
  112. {
  113. case ShiftType.Lsl: context.EmitLsl(op.Shift); break;
  114. case ShiftType.Lsr: context.EmitLsr(op.Shift); break;
  115. case ShiftType.Asr: context.EmitAsr(op.Shift); break;
  116. case ShiftType.Ror: context.EmitRor(op.Shift); break;
  117. }
  118. break;
  119. case IOpCodeAluRx64 op:
  120. context.EmitLdintzr(op.Rm);
  121. context.EmitCast(op.IntType);
  122. context.EmitLsl(op.Shift);
  123. break;
  124. }
  125. }
  126. public static void EmitDataStore(ILEmitterCtx context) => EmitDataStore(context, false);
  127. public static void EmitDataStoreS(ILEmitterCtx context) => EmitDataStore(context, true);
  128. public static void EmitDataStore(ILEmitterCtx context, bool setFlags)
  129. {
  130. IOpCodeAlu64 op = (IOpCodeAlu64)context.CurrOp;
  131. if (setFlags || op is IOpCodeAluRs64)
  132. {
  133. context.EmitStintzr(op.Rd);
  134. }
  135. else
  136. {
  137. context.EmitStint(op.Rd);
  138. }
  139. }
  140. public static void EmitSetNzcv(ILEmitterCtx context)
  141. {
  142. context.Emit(OpCodes.Dup);
  143. context.Emit(OpCodes.Ldc_I4_1);
  144. context.Emit(OpCodes.And);
  145. context.EmitStflg((int)PState.VBit);
  146. context.Emit(OpCodes.Ldc_I4_1);
  147. context.Emit(OpCodes.Shr);
  148. context.Emit(OpCodes.Dup);
  149. context.Emit(OpCodes.Ldc_I4_1);
  150. context.Emit(OpCodes.And);
  151. context.EmitStflg((int)PState.CBit);
  152. context.Emit(OpCodes.Ldc_I4_1);
  153. context.Emit(OpCodes.Shr);
  154. context.Emit(OpCodes.Dup);
  155. context.Emit(OpCodes.Ldc_I4_1);
  156. context.Emit(OpCodes.And);
  157. context.EmitStflg((int)PState.ZBit);
  158. context.Emit(OpCodes.Ldc_I4_1);
  159. context.Emit(OpCodes.Shr);
  160. context.Emit(OpCodes.Ldc_I4_1);
  161. context.Emit(OpCodes.And);
  162. context.EmitStflg((int)PState.NBit);
  163. }
  164. }
  165. }