InstructionInfo.cs 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218
  1. using Ryujinx.Graphics.Shader.IntermediateRepresentation;
  2. using System;
  3. namespace Ryujinx.Graphics.Shader.StructuredIr
  4. {
  5. static class InstructionInfo
  6. {
  7. private readonly struct InstInfo
  8. {
  9. public VariableType DestType { get; }
  10. public VariableType[] SrcTypes { get; }
  11. public InstInfo(VariableType destType, params VariableType[] srcTypes)
  12. {
  13. DestType = destType;
  14. SrcTypes = srcTypes;
  15. }
  16. }
  17. private static InstInfo[] _infoTbl;
  18. static InstructionInfo()
  19. {
  20. _infoTbl = new InstInfo[(int)Instruction.Count];
  21. // Inst Destination type Source 1 type Source 2 type Source 3 type Source 4 type
  22. Add(Instruction.AtomicAdd, VariableType.U32, VariableType.S32, VariableType.S32, VariableType.U32);
  23. Add(Instruction.AtomicAnd, VariableType.U32, VariableType.S32, VariableType.S32, VariableType.U32);
  24. Add(Instruction.AtomicCompareAndSwap, VariableType.U32, VariableType.S32, VariableType.S32, VariableType.U32, VariableType.U32);
  25. Add(Instruction.AtomicMaxS32, VariableType.S32, VariableType.S32, VariableType.S32, VariableType.S32);
  26. Add(Instruction.AtomicMaxU32, VariableType.U32, VariableType.S32, VariableType.S32, VariableType.U32);
  27. Add(Instruction.AtomicMinS32, VariableType.S32, VariableType.S32, VariableType.S32, VariableType.S32);
  28. Add(Instruction.AtomicMinU32, VariableType.U32, VariableType.S32, VariableType.S32, VariableType.U32);
  29. Add(Instruction.AtomicOr, VariableType.U32, VariableType.S32, VariableType.S32, VariableType.U32);
  30. Add(Instruction.AtomicSwap, VariableType.U32, VariableType.S32, VariableType.S32, VariableType.U32);
  31. Add(Instruction.AtomicXor, VariableType.U32, VariableType.S32, VariableType.S32, VariableType.U32);
  32. Add(Instruction.Absolute, VariableType.Scalar, VariableType.Scalar);
  33. Add(Instruction.Add, VariableType.Scalar, VariableType.Scalar, VariableType.Scalar);
  34. Add(Instruction.Ballot, VariableType.U32, VariableType.Bool);
  35. Add(Instruction.BitCount, VariableType.Int, VariableType.Int);
  36. Add(Instruction.BitfieldExtractS32, VariableType.S32, VariableType.S32, VariableType.S32, VariableType.S32);
  37. Add(Instruction.BitfieldExtractU32, VariableType.U32, VariableType.U32, VariableType.S32, VariableType.S32);
  38. Add(Instruction.BitfieldInsert, VariableType.Int, VariableType.Int, VariableType.Int, VariableType.S32, VariableType.S32);
  39. Add(Instruction.BitfieldReverse, VariableType.Int, VariableType.Int);
  40. Add(Instruction.BitwiseAnd, VariableType.Int, VariableType.Int, VariableType.Int);
  41. Add(Instruction.BitwiseExclusiveOr, VariableType.Int, VariableType.Int, VariableType.Int);
  42. Add(Instruction.BitwiseNot, VariableType.Int, VariableType.Int);
  43. Add(Instruction.BitwiseOr, VariableType.Int, VariableType.Int, VariableType.Int);
  44. Add(Instruction.BranchIfTrue, VariableType.None, VariableType.Bool);
  45. Add(Instruction.BranchIfFalse, VariableType.None, VariableType.Bool);
  46. Add(Instruction.Call, VariableType.Scalar);
  47. Add(Instruction.Ceiling, VariableType.Scalar, VariableType.Scalar, VariableType.Scalar);
  48. Add(Instruction.Clamp, VariableType.Scalar, VariableType.Scalar, VariableType.Scalar, VariableType.Scalar);
  49. Add(Instruction.ClampU32, VariableType.U32, VariableType.U32, VariableType.U32, VariableType.U32);
  50. Add(Instruction.CompareEqual, VariableType.Bool, VariableType.Scalar, VariableType.Scalar);
  51. Add(Instruction.CompareGreater, VariableType.Bool, VariableType.Scalar, VariableType.Scalar);
  52. Add(Instruction.CompareGreaterOrEqual, VariableType.Bool, VariableType.Scalar, VariableType.Scalar);
  53. Add(Instruction.CompareGreaterOrEqualU32, VariableType.Bool, VariableType.U32, VariableType.U32);
  54. Add(Instruction.CompareGreaterU32, VariableType.Bool, VariableType.U32, VariableType.U32);
  55. Add(Instruction.CompareLess, VariableType.Bool, VariableType.Scalar, VariableType.Scalar);
  56. Add(Instruction.CompareLessOrEqual, VariableType.Bool, VariableType.Scalar, VariableType.Scalar);
  57. Add(Instruction.CompareLessOrEqualU32, VariableType.Bool, VariableType.U32, VariableType.U32);
  58. Add(Instruction.CompareLessU32, VariableType.Bool, VariableType.U32, VariableType.U32);
  59. Add(Instruction.CompareNotEqual, VariableType.Bool, VariableType.Scalar, VariableType.Scalar);
  60. Add(Instruction.ConditionalSelect, VariableType.Scalar, VariableType.Bool, VariableType.Scalar, VariableType.Scalar);
  61. Add(Instruction.ConvertFP32ToFP64, VariableType.F64, VariableType.F32);
  62. Add(Instruction.ConvertFP64ToFP32, VariableType.F32, VariableType.F64);
  63. Add(Instruction.ConvertFP32ToS32, VariableType.S32, VariableType.F32);
  64. Add(Instruction.ConvertFP32ToU32, VariableType.U32, VariableType.F32);
  65. Add(Instruction.ConvertFP64ToS32, VariableType.S32, VariableType.F64);
  66. Add(Instruction.ConvertFP64ToU32, VariableType.U32, VariableType.F64);
  67. Add(Instruction.ConvertS32ToFP32, VariableType.F32, VariableType.S32);
  68. Add(Instruction.ConvertS32ToFP64, VariableType.F64, VariableType.S32);
  69. Add(Instruction.ConvertU32ToFP32, VariableType.F32, VariableType.U32);
  70. Add(Instruction.ConvertU32ToFP64, VariableType.F64, VariableType.U32);
  71. Add(Instruction.Cosine, VariableType.Scalar, VariableType.Scalar);
  72. Add(Instruction.Ddx, VariableType.F32, VariableType.F32);
  73. Add(Instruction.Ddy, VariableType.F32, VariableType.F32);
  74. Add(Instruction.Divide, VariableType.Scalar, VariableType.Scalar, VariableType.Scalar);
  75. Add(Instruction.ExponentB2, VariableType.Scalar, VariableType.Scalar);
  76. Add(Instruction.FindLSB, VariableType.Int, VariableType.Int);
  77. Add(Instruction.FindMSBS32, VariableType.S32, VariableType.S32);
  78. Add(Instruction.FindMSBU32, VariableType.S32, VariableType.U32);
  79. Add(Instruction.Floor, VariableType.Scalar, VariableType.Scalar);
  80. Add(Instruction.FusedMultiplyAdd, VariableType.Scalar, VariableType.Scalar, VariableType.Scalar, VariableType.Scalar);
  81. Add(Instruction.ImageLoad, VariableType.F32);
  82. Add(Instruction.ImageStore, VariableType.None);
  83. Add(Instruction.ImageAtomic, VariableType.S32);
  84. Add(Instruction.IsNan, VariableType.Bool, VariableType.Scalar);
  85. Add(Instruction.LoadAttribute, VariableType.F32, VariableType.S32, VariableType.S32, VariableType.S32);
  86. Add(Instruction.LoadConstant, VariableType.F32, VariableType.S32, VariableType.S32);
  87. Add(Instruction.LoadGlobal, VariableType.U32, VariableType.S32, VariableType.S32);
  88. Add(Instruction.LoadLocal, VariableType.U32, VariableType.S32);
  89. Add(Instruction.LoadShared, VariableType.U32, VariableType.S32);
  90. Add(Instruction.LoadStorage, VariableType.U32, VariableType.S32, VariableType.S32);
  91. Add(Instruction.Lod, VariableType.F32);
  92. Add(Instruction.LogarithmB2, VariableType.Scalar, VariableType.Scalar);
  93. Add(Instruction.LogicalAnd, VariableType.Bool, VariableType.Bool, VariableType.Bool);
  94. Add(Instruction.LogicalExclusiveOr, VariableType.Bool, VariableType.Bool, VariableType.Bool);
  95. Add(Instruction.LogicalNot, VariableType.Bool, VariableType.Bool);
  96. Add(Instruction.LogicalOr, VariableType.Bool, VariableType.Bool, VariableType.Bool);
  97. Add(Instruction.Maximum, VariableType.Scalar, VariableType.Scalar, VariableType.Scalar);
  98. Add(Instruction.MaximumU32, VariableType.U32, VariableType.U32, VariableType.U32);
  99. Add(Instruction.Minimum, VariableType.Scalar, VariableType.Scalar, VariableType.Scalar);
  100. Add(Instruction.MinimumU32, VariableType.U32, VariableType.U32, VariableType.U32);
  101. Add(Instruction.Multiply, VariableType.Scalar, VariableType.Scalar, VariableType.Scalar);
  102. Add(Instruction.MultiplyHighS32, VariableType.S32, VariableType.S32, VariableType.S32);
  103. Add(Instruction.MultiplyHighU32, VariableType.U32, VariableType.U32, VariableType.U32);
  104. Add(Instruction.Negate, VariableType.Scalar, VariableType.Scalar);
  105. Add(Instruction.PackDouble2x32, VariableType.F64, VariableType.U32, VariableType.U32);
  106. Add(Instruction.PackHalf2x16, VariableType.U32, VariableType.F32, VariableType.F32);
  107. Add(Instruction.ReciprocalSquareRoot, VariableType.Scalar, VariableType.Scalar);
  108. Add(Instruction.Round, VariableType.Scalar, VariableType.Scalar);
  109. Add(Instruction.ShiftLeft, VariableType.Int, VariableType.Int, VariableType.Int);
  110. Add(Instruction.ShiftRightS32, VariableType.S32, VariableType.S32, VariableType.Int);
  111. Add(Instruction.ShiftRightU32, VariableType.U32, VariableType.U32, VariableType.Int);
  112. Add(Instruction.Shuffle, VariableType.F32, VariableType.F32, VariableType.U32, VariableType.U32, VariableType.Bool);
  113. Add(Instruction.ShuffleDown, VariableType.F32, VariableType.F32, VariableType.U32, VariableType.U32, VariableType.Bool);
  114. Add(Instruction.ShuffleUp, VariableType.F32, VariableType.F32, VariableType.U32, VariableType.U32, VariableType.Bool);
  115. Add(Instruction.ShuffleXor, VariableType.F32, VariableType.F32, VariableType.U32, VariableType.U32, VariableType.Bool);
  116. Add(Instruction.Sine, VariableType.Scalar, VariableType.Scalar);
  117. Add(Instruction.SquareRoot, VariableType.Scalar, VariableType.Scalar);
  118. Add(Instruction.StoreAttribute, VariableType.None, VariableType.S32, VariableType.S32, VariableType.F32);
  119. Add(Instruction.StoreGlobal, VariableType.None, VariableType.S32, VariableType.S32, VariableType.U32);
  120. Add(Instruction.StoreLocal, VariableType.None, VariableType.S32, VariableType.U32);
  121. Add(Instruction.StoreShared, VariableType.None, VariableType.S32, VariableType.U32);
  122. Add(Instruction.StoreShared16, VariableType.None, VariableType.S32, VariableType.U32);
  123. Add(Instruction.StoreShared8, VariableType.None, VariableType.S32, VariableType.U32);
  124. Add(Instruction.StoreStorage, VariableType.None, VariableType.S32, VariableType.S32, VariableType.U32);
  125. Add(Instruction.StoreStorage16, VariableType.None, VariableType.S32, VariableType.S32, VariableType.U32);
  126. Add(Instruction.StoreStorage8, VariableType.None, VariableType.S32, VariableType.S32, VariableType.U32);
  127. Add(Instruction.Subtract, VariableType.Scalar, VariableType.Scalar, VariableType.Scalar);
  128. Add(Instruction.SwizzleAdd, VariableType.F32, VariableType.F32, VariableType.F32, VariableType.S32);
  129. Add(Instruction.TextureSample, VariableType.F32);
  130. Add(Instruction.TextureSize, VariableType.S32, VariableType.S32, VariableType.S32);
  131. Add(Instruction.Truncate, VariableType.Scalar, VariableType.Scalar);
  132. Add(Instruction.UnpackDouble2x32, VariableType.U32, VariableType.F64);
  133. Add(Instruction.UnpackHalf2x16, VariableType.F32, VariableType.U32);
  134. Add(Instruction.VoteAll, VariableType.Bool, VariableType.Bool);
  135. Add(Instruction.VoteAllEqual, VariableType.Bool, VariableType.Bool);
  136. Add(Instruction.VoteAny, VariableType.Bool, VariableType.Bool);
  137. }
  138. private static void Add(Instruction inst, VariableType destType, params VariableType[] srcTypes)
  139. {
  140. _infoTbl[(int)inst] = new InstInfo(destType, srcTypes);
  141. }
  142. public static VariableType GetDestVarType(Instruction inst)
  143. {
  144. return GetFinalVarType(_infoTbl[(int)(inst & Instruction.Mask)].DestType, inst);
  145. }
  146. public static VariableType GetSrcVarType(Instruction inst, int index)
  147. {
  148. // TODO: Return correct type depending on source index,
  149. // that can improve the decompiler output.
  150. if (inst == Instruction.ImageLoad ||
  151. inst == Instruction.ImageStore ||
  152. inst == Instruction.ImageAtomic ||
  153. inst == Instruction.Lod ||
  154. inst == Instruction.TextureSample)
  155. {
  156. return VariableType.F32;
  157. }
  158. else if (inst == Instruction.Call)
  159. {
  160. return VariableType.S32;
  161. }
  162. return GetFinalVarType(_infoTbl[(int)(inst & Instruction.Mask)].SrcTypes[index], inst);
  163. }
  164. private static VariableType GetFinalVarType(VariableType type, Instruction inst)
  165. {
  166. if (type == VariableType.Scalar)
  167. {
  168. if ((inst & Instruction.FP32) != 0)
  169. {
  170. return VariableType.F32;
  171. }
  172. else if ((inst & Instruction.FP64) != 0)
  173. {
  174. return VariableType.F64;
  175. }
  176. else
  177. {
  178. return VariableType.S32;
  179. }
  180. }
  181. else if (type == VariableType.Int)
  182. {
  183. return VariableType.S32;
  184. }
  185. else if (type == VariableType.None)
  186. {
  187. throw new ArgumentException($"Invalid operand for instruction \"{inst}\".");
  188. }
  189. return type;
  190. }
  191. public static bool IsUnary(Instruction inst)
  192. {
  193. if (inst == Instruction.Copy)
  194. {
  195. return true;
  196. }
  197. else if (inst == Instruction.TextureSample)
  198. {
  199. return false;
  200. }
  201. return _infoTbl[(int)(inst & Instruction.Mask)].SrcTypes.Length == 1;
  202. }
  203. }
  204. }