ILMethod.cs 33 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965
  1. using System;
  2. using System.Collections.Generic;
  3. using System.Linq;
  4. using System.Text;
  5. using System.Reflection;
  6. using ILRuntime.Mono.Cecil;
  7. using ILRuntime.Runtime;
  8. using ILRuntime.Runtime.Intepreter.OpCodes;
  9. using ILRuntime.Runtime.Intepreter;
  10. using ILRuntime.Runtime.Intepreter.RegisterVM;
  11. using ILRuntime.Runtime.Debugger;
  12. using ILRuntime.CLR.TypeSystem;
  13. using ILRuntime.Reflection;
  14. namespace ILRuntime.CLR.Method
  15. {
  16. public class ILMethod : IMethod
  17. {
  18. OpCode[] body;
  19. OpCodeR[] bodyRegister;
  20. Dictionary<int, RegisterVMSymbol> registerSymbols;
  21. bool symbolFixed;
  22. MethodDefinition def;
  23. List<IType> parameters;
  24. ILRuntime.Runtime.Enviorment.AppDomain appdomain;
  25. ILType declaringType;
  26. ExceptionHandler[] exceptionHandler, exceptionHandlerR;
  27. KeyValuePair<string, IType>[] genericParameters;
  28. IType[] genericArguments;
  29. Dictionary<int, int[]> jumptables, jumptablesR;
  30. bool isDelegateInvoke;
  31. bool jitPending;
  32. ILRuntimeMethodInfo refletionMethodInfo;
  33. ILRuntimeConstructorInfo reflectionCtorInfo;
  34. int paramCnt, localVarCnt, stackRegisterCnt;
  35. int jitFlags;
  36. bool jitOnDemand;
  37. bool jitImmediately;
  38. int warmupCounter = 0;
  39. Mono.Collections.Generic.Collection<Mono.Cecil.Cil.VariableDefinition> variables;
  40. int hashCode = -1;
  41. static int instance_id = 0x10000000;
  42. const int JITWarmUpThreshold = 10;
  43. public bool Compiling { get; set; }
  44. public bool IsRegisterBodyReady { get { return bodyRegister != null; } }
  45. public MethodDefinition Definition { get { return def; } }
  46. public Dictionary<int, int[]> JumpTables { get { return jumptables; } }
  47. public Dictionary<int, int[]> JumpTablesRegister { get { return jumptablesR; } }
  48. internal Dictionary<int, RegisterVMSymbol> RegisterVMSymbols { get { return registerSymbols; } }
  49. internal int JITFlags { get { return jitFlags; } }
  50. internal bool IsRegisterVMSymbolFixed { get { return symbolFixed; } }
  51. internal IDelegateAdapter DelegateAdapter { get; set; }
  52. internal int StartLine { get; set; }
  53. internal int EndLine { get; set; }
  54. public ILRuntime.Runtime.Enviorment.AppDomain AppDomain { get { return appdomain; } }
  55. public MethodInfo ReflectionMethodInfo
  56. {
  57. get
  58. {
  59. if (IsConstructor)
  60. throw new NotSupportedException();
  61. if (refletionMethodInfo == null)
  62. refletionMethodInfo = new ILRuntimeMethodInfo(this);
  63. return refletionMethodInfo;
  64. }
  65. }
  66. public ConstructorInfo ReflectionConstructorInfo
  67. {
  68. get
  69. {
  70. if (!IsConstructor)
  71. throw new NotSupportedException();
  72. if (reflectionCtorInfo == null)
  73. reflectionCtorInfo = new ILRuntimeConstructorInfo(this);
  74. return reflectionCtorInfo;
  75. }
  76. }
  77. internal ExceptionHandler[] ExceptionHandler
  78. {
  79. get
  80. {
  81. return exceptionHandler;
  82. }
  83. }
  84. internal ExceptionHandler[] ExceptionHandlerRegister
  85. {
  86. get
  87. {
  88. return exceptionHandlerR;
  89. }
  90. }
  91. public string Name
  92. {
  93. get
  94. {
  95. return def.Name;
  96. }
  97. }
  98. public IType DeclearingType
  99. {
  100. get
  101. {
  102. return declaringType;
  103. }
  104. }
  105. public bool HasThis
  106. {
  107. get
  108. {
  109. return def.HasThis;
  110. }
  111. }
  112. public int GenericParameterCount
  113. {
  114. get
  115. {
  116. if (IsGenericInstance)
  117. return 0;
  118. return def.GenericParameters.Count;
  119. }
  120. }
  121. public bool IsGenericInstance
  122. {
  123. get
  124. {
  125. return genericParameters != null;
  126. }
  127. }
  128. public Mono.Collections.Generic.Collection<Mono.Cecil.Cil.VariableDefinition> Variables
  129. {
  130. get
  131. {
  132. return variables;
  133. }
  134. }
  135. public KeyValuePair<string, IType>[] GenericArguments { get { return genericParameters; } }
  136. public IType[] GenericArugmentsArray { get { return genericArguments; } }
  137. public bool ShouldUseRegisterVM
  138. {
  139. get
  140. {
  141. if (bodyRegister != null)
  142. {
  143. body = null;
  144. exceptionHandler = null;
  145. return true;
  146. }
  147. else
  148. {
  149. if (jitImmediately)
  150. {
  151. InitCodeBody(true);
  152. return true;
  153. }
  154. else
  155. {
  156. if (jitOnDemand)
  157. {
  158. warmupCounter++;
  159. if (warmupCounter > JITWarmUpThreshold && !jitPending)
  160. {
  161. jitPending = true;
  162. AppDomain.EnqueueJITCompileJob(this);
  163. }
  164. }
  165. return false;
  166. }
  167. }
  168. }
  169. }
  170. public ILMethod(MethodDefinition def, ILType type, ILRuntime.Runtime.Enviorment.AppDomain domain, int flags)
  171. {
  172. this.def = def;
  173. declaringType = type;
  174. this.jitFlags = flags;
  175. if (def.ReturnType.IsGenericParameter)
  176. {
  177. ReturnType = FindGenericArgument(def.ReturnType.Name);
  178. }
  179. else
  180. ReturnType = domain.GetType(def.ReturnType, type, this);
  181. if (type.IsDelegate && def.Name == "Invoke")
  182. isDelegateInvoke = true;
  183. this.appdomain = domain;
  184. paramCnt = def.HasParameters ? def.Parameters.Count : 0;
  185. if(def.HasCustomAttributes)
  186. {
  187. for(int i = 0; i < def.CustomAttributes.Count; i++)
  188. {
  189. int f;
  190. if(def.CustomAttributes[i].GetJITFlags(domain, out f))
  191. {
  192. this.jitFlags = f;
  193. break;
  194. }
  195. }
  196. }
  197. jitImmediately = (jitFlags & ILRuntimeJITFlags.JITImmediately) == ILRuntimeJITFlags.JITImmediately;
  198. jitOnDemand = (jitFlags & ILRuntimeJITFlags.JITOnDemand) == ILRuntimeJITFlags.JITOnDemand;
  199. #if DEBUG && !DISABLE_ILRUNTIME_DEBUG
  200. if (def.HasBody)
  201. {
  202. var sp = GetValidSequence(0, 1);
  203. if (sp != null)
  204. {
  205. StartLine = sp.StartLine;
  206. sp = GetValidSequence(def.Body.Instructions.Count - 1, -1);
  207. if (sp != null)
  208. {
  209. EndLine = sp.EndLine;
  210. }
  211. }
  212. }
  213. #endif
  214. }
  215. public void FixRegisterVMSymbol()
  216. {
  217. if (!symbolFixed && registerSymbols != null)
  218. {
  219. symbolFixed = true;
  220. JITCompiler.FixSymbol(registerSymbols);
  221. }
  222. }
  223. Mono.Cecil.Cil.SequencePoint GetValidSequence(int startIdx, int dir)
  224. {
  225. var seqMapping = def.DebugInformation.GetSequencePointMapping();
  226. var cur = DebugService.FindSequencePoint(def.Body.Instructions[startIdx], seqMapping);
  227. while (cur != null && cur.StartLine == 0x0feefee)
  228. {
  229. startIdx += dir;
  230. if (startIdx >= 0 && startIdx < def.Body.Instructions.Count)
  231. {
  232. cur = DebugService.FindSequencePoint(def.Body.Instructions[startIdx], seqMapping);
  233. }
  234. else
  235. break;
  236. }
  237. return cur;
  238. }
  239. public IType FindGenericArgument(string name)
  240. {
  241. IType res = declaringType.FindGenericArgument(name);
  242. if (res == null && genericParameters != null)
  243. {
  244. foreach (var i in genericParameters)
  245. {
  246. if (i.Key == name)
  247. return i.Value;
  248. }
  249. }
  250. else
  251. return res;
  252. return null;
  253. }
  254. internal OpCode[] Body
  255. {
  256. get
  257. {
  258. if (body == null)
  259. InitCodeBody(false);
  260. return body;
  261. }
  262. }
  263. internal OpCodeR[] BodyRegister
  264. {
  265. get
  266. {
  267. if (bodyRegister == null)
  268. InitCodeBody(true);
  269. return bodyRegister;
  270. }
  271. }
  272. public bool HasBody
  273. {
  274. get
  275. {
  276. return body != null;
  277. }
  278. }
  279. public int LocalVariableCount
  280. {
  281. get
  282. {
  283. return localVarCnt;
  284. }
  285. }
  286. public int StackRegisterCount
  287. {
  288. get
  289. {
  290. return stackRegisterCnt;
  291. }
  292. }
  293. public bool IsConstructor
  294. {
  295. get
  296. {
  297. return def.IsConstructor;
  298. }
  299. }
  300. public bool IsVirtual
  301. {
  302. get
  303. {
  304. return def.IsVirtual;
  305. }
  306. }
  307. public bool IsDelegateInvoke
  308. {
  309. get
  310. {
  311. return isDelegateInvoke;
  312. }
  313. }
  314. public bool IsStatic
  315. {
  316. get { return def.IsStatic; }
  317. }
  318. public int ParameterCount
  319. {
  320. get
  321. {
  322. return paramCnt;
  323. }
  324. }
  325. public List<IType> Parameters
  326. {
  327. get
  328. {
  329. if (def.HasParameters && parameters == null)
  330. {
  331. InitParameters();
  332. }
  333. return parameters;
  334. }
  335. }
  336. public IType ReturnType
  337. {
  338. get;
  339. private set;
  340. }
  341. public void Prewarm(bool recursive)
  342. {
  343. HashSet<ILMethod> alreadyPrewarmed = null;
  344. if (recursive)
  345. {
  346. alreadyPrewarmed = new HashSet<ILMethod>();
  347. }
  348. Prewarm(alreadyPrewarmed);
  349. }
  350. void PrewarmBody(HashSet<ILMethod> alreadyPrewarmed)
  351. {
  352. //当前方法用到的IType,提前InitializeMethods()。各个子调用,提前InitParameters()
  353. var body = Body;
  354. foreach (var ins in body)
  355. {
  356. switch (ins.Code)
  357. {
  358. case OpCodeEnum.Call:
  359. case OpCodeEnum.Newobj:
  360. case OpCodeEnum.Ldftn:
  361. case OpCodeEnum.Ldvirtftn:
  362. case OpCodeEnum.Callvirt:
  363. {
  364. var m = appdomain.GetMethod(ins.TokenInteger);
  365. if (m is ILMethod ilm)
  366. {
  367. //如果参数alreadyPrewarmed不为空,则不仅prewarm当前方法,还会递归prewarm所有子调用
  368. //如果参数alreadyPrewarmed为空,则只prewarm当前方法
  369. if (alreadyPrewarmed != null)
  370. {
  371. ilm.Prewarm(alreadyPrewarmed);
  372. }
  373. }
  374. else if (m is CLRMethod clrm)
  375. {
  376. ILRuntime.CLR.Utils.Extensions.GetTypeFlags(clrm.DeclearingType.TypeForCLR);
  377. }
  378. }
  379. break;
  380. case OpCodeEnum.Ldfld:
  381. case OpCodeEnum.Stfld:
  382. case OpCodeEnum.Ldflda:
  383. case OpCodeEnum.Ldsfld:
  384. case OpCodeEnum.Ldsflda:
  385. case OpCodeEnum.Stsfld:
  386. case OpCodeEnum.Ldtoken:
  387. {
  388. //提前InitializeBaseType()
  389. var t = appdomain.GetType((int)(ins.TokenLong >> 32));
  390. if (t != null)
  391. {
  392. var baseType = t.BaseType;
  393. }
  394. }
  395. break;
  396. }
  397. }
  398. }
  399. void PrewarmBodyRegister(HashSet<ILMethod> alreadyPrewarmed)
  400. {
  401. //当前方法用到的IType,提前InitializeMethods()。各个子调用,提前InitParameters()
  402. var body = BodyRegister;
  403. foreach (var ins in body)
  404. {
  405. switch (ins.Code)
  406. {
  407. case OpCodeREnum.Call:
  408. case OpCodeREnum.Newobj:
  409. case OpCodeREnum.Ldftn:
  410. case OpCodeREnum.Ldvirtftn:
  411. case OpCodeREnum.Callvirt:
  412. {
  413. var m = appdomain.GetMethod(ins.Operand);
  414. if (m is ILMethod ilm)
  415. {
  416. //如果参数alreadyPrewarmed不为空,则不仅prewarm当前方法,还会递归prewarm所有子调用
  417. //如果参数alreadyPrewarmed为空,则只prewarm当前方法
  418. if (alreadyPrewarmed != null)
  419. {
  420. ilm.Prewarm(alreadyPrewarmed);
  421. }
  422. }
  423. else if (m is CLRMethod clrm)
  424. {
  425. ILRuntime.CLR.Utils.Extensions.GetTypeFlags(clrm.DeclearingType.TypeForCLR);
  426. }
  427. }
  428. break;
  429. case OpCodeREnum.Ldfld:
  430. case OpCodeREnum.Stfld:
  431. case OpCodeREnum.Ldflda:
  432. case OpCodeREnum.Ldsfld:
  433. case OpCodeREnum.Ldsflda:
  434. case OpCodeREnum.Stsfld:
  435. case OpCodeREnum.Ldtoken:
  436. {
  437. //提前InitializeBaseType()
  438. var t = appdomain.GetType((int)(ins.OperandLong >> 32));
  439. if (t != null)
  440. {
  441. var baseType = t.BaseType;
  442. }
  443. }
  444. break;
  445. }
  446. }
  447. }
  448. private void Prewarm(HashSet<ILMethod> alreadyPrewarmed)
  449. {
  450. if (alreadyPrewarmed != null && alreadyPrewarmed.Add(this) == false)
  451. return;
  452. if (GenericParameterCount > 0 && !IsGenericInstance)
  453. return;
  454. //当前方法用到的CLR局部变量,提前InitializeFields()、GetTypeFlags()
  455. for (int i = 0; i < LocalVariableCount; i++)
  456. {
  457. var v = Variables[i];
  458. var vt = v.VariableType;
  459. IType t;
  460. if (vt.IsGenericParameter)
  461. {
  462. t = FindGenericArgument(vt.Name);
  463. }
  464. else
  465. {
  466. t = appdomain.GetType(v.VariableType, DeclearingType, this);
  467. }
  468. if (t is CLRType ct)
  469. {
  470. var fields = ct.Fields;
  471. ILRuntime.CLR.Utils.Extensions.GetTypeFlags(ct.TypeForCLR);
  472. }
  473. }
  474. if (jitImmediately || jitOnDemand)
  475. PrewarmBodyRegister(alreadyPrewarmed);
  476. else
  477. PrewarmBody(alreadyPrewarmed);
  478. }
  479. internal void InitCodeBody(bool register)
  480. {
  481. if (def.HasBody)
  482. {
  483. localVarCnt = def.Body.Variables.Count;
  484. Dictionary<Mono.Cecil.Cil.Instruction, int> addr = new Dictionary<Mono.Cecil.Cil.Instruction, int>();
  485. bool noRelease = false;
  486. if (register)
  487. {
  488. JITCompiler jit = new JITCompiler(appdomain, declaringType, this);
  489. bodyRegister = jit.Compile(out stackRegisterCnt, out jumptablesR, addr, out registerSymbols);
  490. }
  491. else
  492. {
  493. InitStackCodeBody(addr);
  494. if (jitOnDemand)
  495. noRelease = bodyRegister == null;
  496. }
  497. if (def.Body.ExceptionHandlers.Count > 0)
  498. {
  499. ExceptionHandler[] ehs;
  500. if (register)
  501. {
  502. if (exceptionHandlerR == null)
  503. exceptionHandlerR = new Method.ExceptionHandler[def.Body.ExceptionHandlers.Count];
  504. ehs = exceptionHandlerR;
  505. }
  506. else
  507. {
  508. if (exceptionHandler == null)
  509. exceptionHandler = new Method.ExceptionHandler[def.Body.ExceptionHandlers.Count];
  510. ehs = exceptionHandler;
  511. }
  512. for (int i = 0; i < def.Body.ExceptionHandlers.Count; i++)
  513. {
  514. var eh = def.Body.ExceptionHandlers[i];
  515. ExceptionHandler e = new ExceptionHandler();
  516. e.HandlerStart = addr[eh.HandlerStart];
  517. e.HandlerEnd = addr[eh.HandlerEnd] - 1;
  518. e.TryStart = addr[eh.TryStart];
  519. e.TryEnd = addr[eh.TryEnd] - 1;
  520. switch (eh.HandlerType)
  521. {
  522. case Mono.Cecil.Cil.ExceptionHandlerType.Catch:
  523. e.CatchType = appdomain.GetType(eh.CatchType, declaringType, this);
  524. e.HandlerType = ExceptionHandlerType.Catch;
  525. break;
  526. case Mono.Cecil.Cil.ExceptionHandlerType.Finally:
  527. e.HandlerType = ExceptionHandlerType.Finally;
  528. break;
  529. case Mono.Cecil.Cil.ExceptionHandlerType.Fault:
  530. e.HandlerType = ExceptionHandlerType.Fault;
  531. break;
  532. default:
  533. throw new NotImplementedException();
  534. }
  535. ehs[i] = e;
  536. }
  537. //Mono.Cecil.Cil.ExceptionHandlerType.
  538. }
  539. variables = def.Body.Variables;
  540. #if !DEBUG || DISABLE_ILRUNTIME_DEBUG
  541. //Release Method body to save memory
  542. if(!noRelease)
  543. def.Body = null;
  544. #endif
  545. }
  546. else
  547. body = new OpCode[0];
  548. }
  549. void InitStackCodeBody(Dictionary<Mono.Cecil.Cil.Instruction, int> addr)
  550. {
  551. body = new OpCode[def.Body.Instructions.Count];
  552. for (int i = 0; i < body.Length; i++)
  553. {
  554. var c = def.Body.Instructions[i];
  555. OpCode code = new OpCode();
  556. code.Code = (OpCodeEnum)c.OpCode.Code;
  557. addr[c] = i;
  558. body[i] = code;
  559. }
  560. for (int i = 0; i < body.Length; i++)
  561. {
  562. var c = def.Body.Instructions[i];
  563. InitToken(ref body[i], c.Operand, addr);
  564. if (i > 0 && c.OpCode.Code == Mono.Cecil.Cil.Code.Callvirt && def.Body.Instructions[i - 1].OpCode.Code == Mono.Cecil.Cil.Code.Constrained)
  565. {
  566. body[i - 1].TokenLong = body[i].TokenInteger;
  567. }
  568. }
  569. }
  570. unsafe void InitToken(ref OpCode code, object token, Dictionary<Mono.Cecil.Cil.Instruction, int> addr)
  571. {
  572. switch (code.Code)
  573. {
  574. case OpCodeEnum.Leave:
  575. case OpCodeEnum.Leave_S:
  576. case OpCodeEnum.Br:
  577. case OpCodeEnum.Br_S:
  578. case OpCodeEnum.Brtrue:
  579. case OpCodeEnum.Brtrue_S:
  580. case OpCodeEnum.Brfalse:
  581. case OpCodeEnum.Brfalse_S:
  582. //比较流程控制
  583. case OpCodeEnum.Beq:
  584. case OpCodeEnum.Beq_S:
  585. case OpCodeEnum.Bne_Un:
  586. case OpCodeEnum.Bne_Un_S:
  587. case OpCodeEnum.Bge:
  588. case OpCodeEnum.Bge_S:
  589. case OpCodeEnum.Bge_Un:
  590. case OpCodeEnum.Bge_Un_S:
  591. case OpCodeEnum.Bgt:
  592. case OpCodeEnum.Bgt_S:
  593. case OpCodeEnum.Bgt_Un:
  594. case OpCodeEnum.Bgt_Un_S:
  595. case OpCodeEnum.Ble:
  596. case OpCodeEnum.Ble_S:
  597. case OpCodeEnum.Ble_Un:
  598. case OpCodeEnum.Ble_Un_S:
  599. case OpCodeEnum.Blt:
  600. case OpCodeEnum.Blt_S:
  601. case OpCodeEnum.Blt_Un:
  602. case OpCodeEnum.Blt_Un_S:
  603. code.TokenInteger = addr[(Mono.Cecil.Cil.Instruction)token];
  604. break;
  605. case OpCodeEnum.Ldc_I4:
  606. code.TokenInteger = (int)token;
  607. break;
  608. case OpCodeEnum.Ldc_I4_S:
  609. code.TokenInteger = (sbyte)token;
  610. break;
  611. case OpCodeEnum.Ldc_I8:
  612. code.TokenLong = (long)token;
  613. break;
  614. case OpCodeEnum.Ldc_R4:
  615. {
  616. float val = (float)token;
  617. code.TokenInteger = *(int*)&val;
  618. }
  619. break;
  620. case OpCodeEnum.Ldc_R8:
  621. {
  622. double val = (double)token;
  623. code.TokenLong = *(long*)&val;
  624. }
  625. break;
  626. case OpCodeEnum.Stloc:
  627. case OpCodeEnum.Stloc_S:
  628. case OpCodeEnum.Ldloc:
  629. case OpCodeEnum.Ldloc_S:
  630. case OpCodeEnum.Ldloca:
  631. case OpCodeEnum.Ldloca_S:
  632. {
  633. Mono.Cecil.Cil.VariableDefinition vd = (Mono.Cecil.Cil.VariableDefinition)token;
  634. code.TokenInteger = vd.Index;
  635. }
  636. break;
  637. case OpCodeEnum.Ldarg_S:
  638. case OpCodeEnum.Ldarg:
  639. case OpCodeEnum.Ldarga:
  640. case OpCodeEnum.Ldarga_S:
  641. case OpCodeEnum.Starg:
  642. case OpCodeEnum.Starg_S:
  643. {
  644. Mono.Cecil.ParameterDefinition vd = (Mono.Cecil.ParameterDefinition)token;
  645. code.TokenInteger = vd.Index;
  646. if (HasThis)
  647. code.TokenInteger++;
  648. }
  649. break;
  650. case OpCodeEnum.Call:
  651. case OpCodeEnum.Newobj:
  652. case OpCodeEnum.Ldftn:
  653. case OpCodeEnum.Ldvirtftn:
  654. case OpCodeEnum.Callvirt:
  655. {
  656. bool invalidToken;
  657. var m = appdomain.GetMethod(token, declaringType, this, out invalidToken);
  658. if (m != null)
  659. {
  660. if(code.Code == OpCodeEnum.Callvirt && m is ILMethod)
  661. {
  662. ILMethod ilm = (ILMethod)m;
  663. if (!ilm.def.IsAbstract && !ilm.def.IsVirtual && !ilm.DeclearingType.IsInterface)
  664. code.Code = OpCodeEnum.Call;
  665. }
  666. if (invalidToken)
  667. code.TokenInteger = m.GetHashCode();
  668. else
  669. code.TokenInteger = token.GetHashCode();
  670. }
  671. else
  672. {
  673. //Cannot find method or the method is dummy
  674. MethodReference _ref = (MethodReference)token;
  675. int paramCnt = _ref.HasParameters ? _ref.Parameters.Count : 0;
  676. if (_ref.HasThis)
  677. paramCnt++;
  678. code.TokenLong = paramCnt;
  679. }
  680. }
  681. break;
  682. case OpCodeEnum.Constrained:
  683. case OpCodeEnum.Box:
  684. case OpCodeEnum.Unbox_Any:
  685. case OpCodeEnum.Unbox:
  686. case OpCodeEnum.Initobj:
  687. case OpCodeEnum.Isinst:
  688. case OpCodeEnum.Newarr:
  689. case OpCodeEnum.Stobj:
  690. case OpCodeEnum.Ldobj:
  691. {
  692. code.TokenInteger = GetTypeTokenHashCode(token);
  693. }
  694. break;
  695. case OpCodeEnum.Stfld:
  696. case OpCodeEnum.Ldfld:
  697. case OpCodeEnum.Ldflda:
  698. {
  699. code.TokenLong = appdomain.GetStaticFieldIndex(token, declaringType, this);
  700. }
  701. break;
  702. case OpCodeEnum.Stsfld:
  703. case OpCodeEnum.Ldsfld:
  704. case OpCodeEnum.Ldsflda:
  705. {
  706. code.TokenLong = appdomain.GetStaticFieldIndex(token, declaringType, this);
  707. }
  708. break;
  709. case OpCodeEnum.Ldstr:
  710. {
  711. long hashCode = appdomain.CacheString(token);
  712. code.TokenLong = hashCode;
  713. }
  714. break;
  715. case OpCodeEnum.Ldtoken:
  716. {
  717. if (token is FieldReference)
  718. {
  719. code.TokenInteger = 0;
  720. code.TokenLong = appdomain.GetStaticFieldIndex(token, declaringType, this);
  721. }
  722. else if (token is TypeReference)
  723. {
  724. code.TokenInteger = 1;
  725. code.TokenLong = GetTypeTokenHashCode(token);
  726. }
  727. else
  728. throw new NotImplementedException();
  729. }
  730. break;
  731. case OpCodeEnum.Switch:
  732. {
  733. PrepareJumpTable(token, addr);
  734. code.TokenInteger = token.GetHashCode();
  735. }
  736. break;
  737. }
  738. }
  739. internal int GetTypeTokenHashCode(object token)
  740. {
  741. var t = appdomain.GetType(token, declaringType, this);
  742. bool isGenericParameter = CheckHasGenericParamter(token);
  743. if (t == null && isGenericParameter)
  744. {
  745. t = FindGenericArgument(((TypeReference)token).Name);
  746. }
  747. if (t != null)
  748. {
  749. if (t is ILType || isGenericParameter)
  750. {
  751. return t.GetHashCode();
  752. }
  753. else
  754. return token.GetHashCode();
  755. }
  756. return 0;
  757. }
  758. bool CheckHasGenericParamter(object token)
  759. {
  760. if (token is TypeReference)
  761. {
  762. TypeReference _ref = ((TypeReference)token);
  763. if (_ref.IsArray)
  764. return CheckHasGenericParamter(((ArrayType)_ref).ElementType);
  765. if (_ref.IsGenericParameter)
  766. return true;
  767. if (_ref.IsGenericInstance)
  768. {
  769. GenericInstanceType gi = (GenericInstanceType)_ref;
  770. foreach(var i in gi.GenericArguments)
  771. {
  772. if (CheckHasGenericParamter(i))
  773. return true;
  774. }
  775. return false;
  776. }
  777. else
  778. return false;
  779. }
  780. else
  781. return false;
  782. }
  783. void PrepareJumpTable(object token, Dictionary<Mono.Cecil.Cil.Instruction, int> addr)
  784. {
  785. int hashCode = token.GetHashCode();
  786. if (jumptables == null)
  787. jumptables = new Dictionary<int, int[]>();
  788. if (jumptables.ContainsKey(hashCode))
  789. return;
  790. Mono.Cecil.Cil.Instruction[] e = token as Mono.Cecil.Cil.Instruction[];
  791. int[] addrs = new int[e.Length];
  792. for (int i = 0; i < e.Length; i++)
  793. {
  794. addrs[i] = addr[e[i]];
  795. }
  796. jumptables[hashCode] = addrs;
  797. }
  798. void InitParameters()
  799. {
  800. parameters = new List<IType>();
  801. foreach (var i in def.Parameters)
  802. {
  803. IType type = null;
  804. bool isByRef = false;
  805. bool isArray = false;
  806. int rank = 1;
  807. TypeReference pt = i.ParameterType;
  808. if (pt.IsByReference)
  809. {
  810. isByRef = true;
  811. pt = ((ByReferenceType)pt).ElementType;
  812. }
  813. if (pt.IsArray)
  814. {
  815. isArray = true;
  816. rank = ((ArrayType)pt).Rank;
  817. pt = ((ArrayType)pt).ElementType;
  818. }
  819. if (pt.IsGenericParameter)
  820. {
  821. type = FindGenericArgument(pt.Name);
  822. if (type == null && def.HasGenericParameters)
  823. {
  824. bool found = false;
  825. foreach (var j in def.GenericParameters)
  826. {
  827. if (j.Name == pt.Name)
  828. {
  829. found = true;
  830. break;
  831. }
  832. }
  833. if (found)
  834. {
  835. type = new ILGenericParameterType(pt.Name);
  836. }
  837. else
  838. throw new NotSupportedException("Cannot find Generic Parameter " + pt.Name + " in " + def.FullName);
  839. }
  840. }
  841. else
  842. type = appdomain.GetType(pt, declaringType, this);
  843. if (isArray)
  844. type = type.MakeArrayType(rank);
  845. if (isByRef)
  846. type = type.MakeByRefType();
  847. parameters.Add(type);
  848. }
  849. }
  850. public IMethod MakeGenericMethod(IType[] genericArguments)
  851. {
  852. KeyValuePair<string, IType>[] genericParameters = new KeyValuePair<string, IType>[genericArguments.Length];
  853. for (int i = 0; i < genericArguments.Length; i++)
  854. {
  855. string name = def.GenericParameters[i].Name;
  856. IType val = genericArguments[i];
  857. genericParameters[i] = new KeyValuePair<string, IType>(name, val);
  858. }
  859. ILMethod m = new ILMethod(def, declaringType, appdomain, jitFlags);
  860. m.genericParameters = genericParameters;
  861. m.genericArguments = genericArguments;
  862. if (m.def.ReturnType.IsGenericParameter)
  863. {
  864. m.ReturnType = m.FindGenericArgument(m.def.ReturnType.Name);
  865. }
  866. return m;
  867. }
  868. string cachedName;
  869. public override string ToString()
  870. {
  871. if (cachedName == null)
  872. {
  873. StringBuilder sb = new StringBuilder();
  874. sb.Append(declaringType.FullName);
  875. sb.Append('.');
  876. sb.Append(Name);
  877. sb.Append('(');
  878. bool isFirst = true;
  879. if (parameters == null)
  880. InitParameters();
  881. for (int i = 0; i < parameters.Count; i++)
  882. {
  883. if (isFirst)
  884. isFirst = false;
  885. else
  886. sb.Append(", ");
  887. sb.Append(parameters[i].Name);
  888. sb.Append(' ');
  889. sb.Append(def.Parameters[i].Name);
  890. }
  891. sb.Append(')');
  892. cachedName = sb.ToString();
  893. }
  894. return cachedName;
  895. }
  896. public override int GetHashCode()
  897. {
  898. if (hashCode == -1)
  899. hashCode = System.Threading.Interlocked.Add(ref instance_id, 1);
  900. return hashCode;
  901. }
  902. }
  903. }