CpuTestMov.cs 6.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189
  1. //#define Mov
  2. using ChocolArm64.State;
  3. using NUnit.Framework;
  4. namespace Ryujinx.Tests.Cpu
  5. {
  6. using Tester;
  7. using Tester.Types;
  8. [Category("Mov"), Ignore("Tested: first half of 2018.")]
  9. public sealed class CpuTestMov : CpuTest
  10. {
  11. #if Mov
  12. [SetUp]
  13. public void SetupTester()
  14. {
  15. AArch64.TakeReset(false);
  16. }
  17. [Test, Description("MOVK <Xd>, #<imm>{, LSL #<shift>}")]
  18. public void Movk_64bit([Values(0u, 31u)] uint Rd,
  19. [Random(12)] ulong _Xd,
  20. [Values(0u, 65535u)] [Random(0u, 65535u, 10)] uint imm,
  21. [Values(0u, 16u, 32u, 48u)] uint shift)
  22. {
  23. uint Opcode = 0xF2800000; // MOVK X0, #0, LSL #0
  24. Opcode |= ((Rd & 31) << 0);
  25. Opcode |= (((shift / 16) & 3) << 21) | ((imm & 65535) << 5);
  26. ulong _X31 = TestContext.CurrentContext.Random.NextULong();
  27. AThreadState ThreadState = SingleOpcode(Opcode, X0: _Xd, X31: _X31);
  28. if (Rd != 31)
  29. {
  30. Bits Op = new Bits(Opcode);
  31. AArch64.X((int)Rd, new Bits(_Xd));
  32. Base.Movk(Op[31], Op[22, 21], Op[20, 5], Op[4, 0]);
  33. ulong Xd = AArch64.X(64, (int)Rd).ToUInt64();
  34. Assert.That((ulong)ThreadState.X0, Is.EqualTo(Xd));
  35. }
  36. else
  37. {
  38. Assert.That((ulong)ThreadState.X31, Is.EqualTo(_X31));
  39. }
  40. }
  41. [Test, Description("MOVK <Wd>, #<imm>{, LSL #<shift>}")]
  42. public void Movk_32bit([Values(0u, 31u)] uint Rd,
  43. [Random(12)] uint _Wd,
  44. [Values(0u, 65535u)] [Random(0u, 65535u, 10)] uint imm,
  45. [Values(0u, 16u)] uint shift)
  46. {
  47. uint Opcode = 0x72800000; // MOVK W0, #0, LSL #0
  48. Opcode |= ((Rd & 31) << 0);
  49. Opcode |= (((shift / 16) & 3) << 21) | ((imm & 65535) << 5);
  50. uint _W31 = TestContext.CurrentContext.Random.NextUInt();
  51. AThreadState ThreadState = SingleOpcode(Opcode, X0: _Wd, X31: _W31);
  52. if (Rd != 31)
  53. {
  54. Bits Op = new Bits(Opcode);
  55. AArch64.X((int)Rd, new Bits(_Wd));
  56. Base.Movk(Op[31], Op[22, 21], Op[20, 5], Op[4, 0]);
  57. uint Wd = AArch64.X(32, (int)Rd).ToUInt32();
  58. Assert.That((uint)ThreadState.X0, Is.EqualTo(Wd));
  59. }
  60. else
  61. {
  62. Assert.That((uint)ThreadState.X31, Is.EqualTo(_W31));
  63. }
  64. }
  65. [Test, Description("MOVN <Xd>, #<imm>{, LSL #<shift>}")]
  66. public void Movn_64bit([Values(0u, 31u)] uint Rd,
  67. [Values(0u, 65535u)] [Random(0u, 65535u, 128)] uint imm,
  68. [Values(0u, 16u, 32u, 48u)] uint shift)
  69. {
  70. uint Opcode = 0x92800000; // MOVN X0, #0, LSL #0
  71. Opcode |= ((Rd & 31) << 0);
  72. Opcode |= (((shift / 16) & 3) << 21) | ((imm & 65535) << 5);
  73. ulong _X31 = TestContext.CurrentContext.Random.NextULong();
  74. AThreadState ThreadState = SingleOpcode(Opcode, X31: _X31);
  75. if (Rd != 31)
  76. {
  77. Bits Op = new Bits(Opcode);
  78. Base.Movn(Op[31], Op[22, 21], Op[20, 5], Op[4, 0]);
  79. ulong Xd = AArch64.X(64, (int)Rd).ToUInt64();
  80. Assert.That((ulong)ThreadState.X0, Is.EqualTo(Xd));
  81. }
  82. else
  83. {
  84. Assert.That((ulong)ThreadState.X31, Is.EqualTo(_X31));
  85. }
  86. }
  87. [Test, Description("MOVN <Wd>, #<imm>{, LSL #<shift>}")]
  88. public void Movn_32bit([Values(0u, 31u)] uint Rd,
  89. [Values(0u, 65535u)] [Random(0u, 65535u, 128)] uint imm,
  90. [Values(0u, 16u)] uint shift)
  91. {
  92. uint Opcode = 0x12800000; // MOVN W0, #0, LSL #0
  93. Opcode |= ((Rd & 31) << 0);
  94. Opcode |= (((shift / 16) & 3) << 21) | ((imm & 65535) << 5);
  95. uint _W31 = TestContext.CurrentContext.Random.NextUInt();
  96. AThreadState ThreadState = SingleOpcode(Opcode, X31: _W31);
  97. if (Rd != 31)
  98. {
  99. Bits Op = new Bits(Opcode);
  100. Base.Movn(Op[31], Op[22, 21], Op[20, 5], Op[4, 0]);
  101. uint Wd = AArch64.X(32, (int)Rd).ToUInt32();
  102. Assert.That((uint)ThreadState.X0, Is.EqualTo(Wd));
  103. }
  104. else
  105. {
  106. Assert.That((uint)ThreadState.X31, Is.EqualTo(_W31));
  107. }
  108. }
  109. [Test, Description("MOVZ <Xd>, #<imm>{, LSL #<shift>}")]
  110. public void Movz_64bit([Values(0u, 31u)] uint Rd,
  111. [Values(0u, 65535u)] [Random(0u, 65535u, 128)] uint imm,
  112. [Values(0u, 16u, 32u, 48u)] uint shift)
  113. {
  114. uint Opcode = 0xD2800000; // MOVZ X0, #0, LSL #0
  115. Opcode |= ((Rd & 31) << 0);
  116. Opcode |= (((shift / 16) & 3) << 21) | ((imm & 65535) << 5);
  117. ulong _X31 = TestContext.CurrentContext.Random.NextULong();
  118. AThreadState ThreadState = SingleOpcode(Opcode, X31: _X31);
  119. if (Rd != 31)
  120. {
  121. Bits Op = new Bits(Opcode);
  122. Base.Movz(Op[31], Op[22, 21], Op[20, 5], Op[4, 0]);
  123. ulong Xd = AArch64.X(64, (int)Rd).ToUInt64();
  124. Assert.That((ulong)ThreadState.X0, Is.EqualTo(Xd));
  125. }
  126. else
  127. {
  128. Assert.That((ulong)ThreadState.X31, Is.EqualTo(_X31));
  129. }
  130. }
  131. [Test, Description("MOVZ <Wd>, #<imm>{, LSL #<shift>}")]
  132. public void Movz_32bit([Values(0u, 31u)] uint Rd,
  133. [Values(0u, 65535u)] [Random(0u, 65535u, 128)] uint imm,
  134. [Values(0u, 16u)] uint shift)
  135. {
  136. uint Opcode = 0x52800000; // MOVZ W0, #0, LSL #0
  137. Opcode |= ((Rd & 31) << 0);
  138. Opcode |= (((shift / 16) & 3) << 21) | ((imm & 65535) << 5);
  139. uint _W31 = TestContext.CurrentContext.Random.NextUInt();
  140. AThreadState ThreadState = SingleOpcode(Opcode, X31: _W31);
  141. if (Rd != 31)
  142. {
  143. Bits Op = new Bits(Opcode);
  144. Base.Movz(Op[31], Op[22, 21], Op[20, 5], Op[4, 0]);
  145. uint Wd = AArch64.X(32, (int)Rd).ToUInt32();
  146. Assert.That((uint)ThreadState.X0, Is.EqualTo(Wd));
  147. }
  148. else
  149. {
  150. Assert.That((uint)ThreadState.X31, Is.EqualTo(_W31));
  151. }
  152. }
  153. #endif
  154. }
  155. }