Optimizer.RegisterCleanup.cs 3.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113
  1. using System;
  2. using System.Collections.Generic;
  3. using System.Linq;
  4. using System.Text;
  5. using ILRuntime.Mono.Cecil;
  6. using ILRuntime.Mono.Cecil.Cil;
  7. using ILRuntime.CLR.TypeSystem;
  8. using ILRuntime.CLR.Method;
  9. using ILRuntime.Runtime.Intepreter.OpCodes;
  10. namespace ILRuntime.Runtime.Intepreter.RegisterVM
  11. {
  12. partial class Optimizer
  13. {
  14. public static int CleanupRegister(List<OpCodeR> ins, int locRegStart, bool hasReturn)
  15. {
  16. short maxRegNum = (short)locRegStart;
  17. HashSet<short> usedRegisters = new HashSet<short>();
  18. //arguments can not be cleaned
  19. for (short i = 0; i < locRegStart; i++)
  20. usedRegisters.Add(i);
  21. for (int i = 0; i < ins.Count; i++)
  22. {
  23. var X = ins[i];
  24. short xSrc, xSrc2, xSrc3, xDst;
  25. if(GetOpcodeSourceRegister(ref X, hasReturn, out xSrc, out xSrc2, out xSrc3))
  26. {
  27. if (xSrc >= 0)
  28. {
  29. if (xSrc > maxRegNum)
  30. maxRegNum = xSrc;
  31. usedRegisters.Add(xSrc);
  32. }
  33. if (xSrc2 >= 0)
  34. {
  35. if (xSrc2 > maxRegNum)
  36. maxRegNum = xSrc2;
  37. usedRegisters.Add(xSrc2);
  38. }
  39. if (xSrc3 >= 0)
  40. {
  41. if (xSrc3 > maxRegNum)
  42. maxRegNum = xSrc3;
  43. usedRegisters.Add(xSrc3);
  44. }
  45. }
  46. if(GetOpcodeDestRegister(ref X, out xDst))
  47. {
  48. if (xDst >= 0)
  49. {
  50. if (xDst > maxRegNum)
  51. maxRegNum = xDst;
  52. usedRegisters.Add(xDst);
  53. }
  54. }
  55. }
  56. List<short> unusedRegisters = new List<short>();
  57. for(short i = 0; i <= maxRegNum; i++)
  58. {
  59. if (!usedRegisters.Contains(i))
  60. unusedRegisters.Add(i);
  61. }
  62. for(short i = 0; i < unusedRegisters.Count; i++)
  63. {
  64. short r = (short)(unusedRegisters[i] - i);
  65. for (int j = 0; j < ins.Count; j++)
  66. {
  67. var X = ins[j];
  68. short xSrc, xSrc2, xSrc3, xDst;
  69. bool replaced = false;
  70. if (GetOpcodeSourceRegister(ref X, hasReturn, out xSrc, out xSrc2, out xSrc3))
  71. {
  72. if (xSrc > r)
  73. {
  74. ReplaceOpcodeSource(ref X, 0, (short)(xSrc - 1));
  75. replaced = true;
  76. }
  77. if (xSrc2 > r)
  78. {
  79. ReplaceOpcodeSource(ref X, 1, (short)(xSrc2 - 1));
  80. replaced = true;
  81. }
  82. if (xSrc3 > r)
  83. {
  84. ReplaceOpcodeSource(ref X, 2, (short)(xSrc3 - 1));
  85. replaced = true;
  86. }
  87. }
  88. if (GetOpcodeDestRegister(ref X, out xDst))
  89. {
  90. if (xDst > r)
  91. {
  92. ReplaceOpcodeDest(ref X, (short)(xDst - 1));
  93. replaced = true;
  94. }
  95. }
  96. if (replaced)
  97. ins[j] = X;
  98. }
  99. }
  100. return maxRegNum - unusedRegisters.Count + 1;
  101. }
  102. }
  103. }