MetadataUtil.cpp 23 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763
  1. #include "MetadataUtil.h"
  2. #include "vm/GlobalMetadata.h"
  3. #include "vm/GlobalMetadataFileInternals.h"
  4. #include "vm/Type.h"
  5. #include "vm/GlobalMetadata.h"
  6. #include "vm/Class.h"
  7. #include "metadata/Il2CppTypeCompare.h"
  8. #include "metadata/GenericMetadata.h"
  9. #include "Image.h"
  10. #include "MetadataPool.h"
  11. namespace hybridclr
  12. {
  13. namespace metadata
  14. {
  15. const uint32_t kMetadataImageIndexExtraShiftBitsArr[4] =
  16. {
  17. kMetadataImageIndexExtraShiftBitsA,
  18. kMetadataImageIndexExtraShiftBitsB,
  19. kMetadataImageIndexExtraShiftBitsC,
  20. kMetadataImageIndexExtraShiftBitsD,
  21. };
  22. const uint32_t kMetadataIndexMaskArr[4] =
  23. {
  24. kMetadataIndexMaskA,
  25. kMetadataIndexMaskB,
  26. kMetadataIndexMaskC,
  27. kMetadataIndexMaskD,
  28. };
  29. uint32_t GetNotZeroBitCount(uint64_t x)
  30. {
  31. uint32_t count = 0;
  32. for (int i = 0; i < 64; i++)
  33. {
  34. if (x & ((uint64_t)1 << i))
  35. {
  36. ++count;
  37. }
  38. }
  39. return count;
  40. }
  41. int32_t GetTypeValueSize(const Il2CppType* type)
  42. {
  43. if (type->byref)
  44. {
  45. return PTR_SIZE;
  46. }
  47. switch (type->type)
  48. {
  49. case IL2CPP_TYPE_BOOLEAN:
  50. case IL2CPP_TYPE_I1:
  51. case IL2CPP_TYPE_U1:
  52. return 1;
  53. case IL2CPP_TYPE_CHAR:
  54. case IL2CPP_TYPE_I2:
  55. case IL2CPP_TYPE_U2:
  56. return 2;
  57. case IL2CPP_TYPE_I4:
  58. case IL2CPP_TYPE_U4:
  59. case IL2CPP_TYPE_R4:
  60. return 4;
  61. case IL2CPP_TYPE_I8:
  62. case IL2CPP_TYPE_U8:
  63. case IL2CPP_TYPE_R8:
  64. return 8;
  65. case IL2CPP_TYPE_I:
  66. case IL2CPP_TYPE_U:
  67. case IL2CPP_TYPE_FNPTR:
  68. case IL2CPP_TYPE_PTR:
  69. case IL2CPP_TYPE_BYREF:
  70. case IL2CPP_TYPE_STRING:
  71. case IL2CPP_TYPE_ARRAY:
  72. case IL2CPP_TYPE_SZARRAY:
  73. case IL2CPP_TYPE_OBJECT:
  74. return PTR_SIZE;
  75. case IL2CPP_TYPE_TYPEDBYREF:
  76. return sizeof(Il2CppTypedRef);
  77. case IL2CPP_TYPE_CLASS:
  78. {
  79. IL2CPP_ASSERT(!IS_CLASS_VALUE_TYPE(il2cpp::vm::Class::FromIl2CppType(type)));
  80. return PTR_SIZE;
  81. }
  82. case IL2CPP_TYPE_VALUETYPE:
  83. {
  84. Il2CppClass* klass = il2cpp::vm::Class::FromIl2CppType(type);
  85. IL2CPP_ASSERT(IS_CLASS_VALUE_TYPE(klass));
  86. return il2cpp::vm::Class::GetValueSize(klass, nullptr);
  87. }
  88. case IL2CPP_TYPE_GENERICINST:
  89. {
  90. Il2CppGenericClass* genericClass = type->data.generic_class;
  91. if (genericClass->type->type == IL2CPP_TYPE_CLASS)
  92. {
  93. IL2CPP_ASSERT(!IS_CLASS_VALUE_TYPE(il2cpp::vm::Class::FromIl2CppType(type)));
  94. return PTR_SIZE;
  95. }
  96. else
  97. {
  98. Il2CppClass* klass = il2cpp::vm::Class::FromIl2CppType(type);
  99. IL2CPP_ASSERT(IS_CLASS_VALUE_TYPE(klass));
  100. return il2cpp::vm::Class::GetValueSize(klass, nullptr);
  101. }
  102. }
  103. default:
  104. {
  105. TEMP_FORMAT(errMsg, "GetTypeValueSize unknown type:%d", (int)type->type);
  106. RaiseExecutionEngineException(errMsg);
  107. return -1;
  108. }
  109. }
  110. }
  111. bool IsValueType(const Il2CppType* type)
  112. {
  113. switch (type->type)
  114. {
  115. case IL2CPP_TYPE_BOOLEAN:
  116. case IL2CPP_TYPE_I1:
  117. case IL2CPP_TYPE_U1:
  118. case IL2CPP_TYPE_CHAR:
  119. case IL2CPP_TYPE_I2:
  120. case IL2CPP_TYPE_U2:
  121. case IL2CPP_TYPE_I4:
  122. case IL2CPP_TYPE_U4:
  123. case IL2CPP_TYPE_R4:
  124. case IL2CPP_TYPE_I8:
  125. case IL2CPP_TYPE_U8:
  126. case IL2CPP_TYPE_R8:
  127. case IL2CPP_TYPE_I:
  128. case IL2CPP_TYPE_U:
  129. case IL2CPP_TYPE_TYPEDBYREF:
  130. case IL2CPP_TYPE_VALUETYPE: return true;
  131. case IL2CPP_TYPE_GENERICINST: return type->data.generic_class->type->type == IL2CPP_TYPE_VALUETYPE;
  132. default: return false;
  133. }
  134. }
  135. bool IsTypeSameByTypeIndex(TypeIndex t1, TypeIndex t2)
  136. {
  137. const Il2CppType* srcParamType = il2cpp::vm::GlobalMetadata::GetIl2CppTypeFromIndex(t1);
  138. IL2CPP_ASSERT(srcParamType);
  139. const Il2CppType* dstParamType = il2cpp::vm::GlobalMetadata::GetIl2CppTypeFromIndex(t2);
  140. IL2CPP_ASSERT(dstParamType);
  141. return il2cpp::metadata::Il2CppTypeEqualityComparer::AreEqual(srcParamType, dstParamType);
  142. }
  143. bool IsTypeEqual(const Il2CppType* t1, const Il2CppType* t2)
  144. {
  145. return il2cpp::metadata::Il2CppTypeEqualityComparer::AreEqual(t1, t2);
  146. }
  147. bool IsTypeGenericCompatible(const Il2CppType* typeTo, const Il2CppType* typeFrom)
  148. {
  149. if (typeTo->type != typeFrom->type)
  150. {
  151. return false;
  152. }
  153. switch (typeTo->type)
  154. {
  155. case IL2CPP_TYPE_VALUETYPE:
  156. {
  157. Il2CppClass* klass1 = il2cpp::vm::Class::FromIl2CppType(typeTo);
  158. Il2CppClass* klass2 = il2cpp::vm::Class::FromIl2CppType(typeFrom);
  159. return klass1->instance_size == klass2->instance_size;
  160. }
  161. case IL2CPP_TYPE_CLASS:
  162. {
  163. Il2CppClass* klass1 = il2cpp::vm::Class::FromIl2CppType(typeTo);
  164. Il2CppClass* klass2 = il2cpp::vm::Class::FromIl2CppType(typeFrom);
  165. return il2cpp::vm::Class::IsAssignableFrom(klass1, klass2);
  166. }
  167. case IL2CPP_TYPE_GENERICINST:
  168. {
  169. Il2CppClass* klass1 = il2cpp::vm::Class::FromIl2CppType(typeTo);
  170. Il2CppClass* klass2 = il2cpp::vm::Class::FromIl2CppType(typeFrom);
  171. if (IS_CLASS_VALUE_TYPE(klass1) != IS_CLASS_VALUE_TYPE(klass2))
  172. {
  173. return false;
  174. }
  175. if (IS_CLASS_VALUE_TYPE(klass1))
  176. {
  177. return klass1->instance_size == klass2->instance_size;
  178. }
  179. else
  180. {
  181. return il2cpp::vm::Class::IsAssignableFrom(klass1, klass2);
  182. }
  183. break;
  184. }
  185. default: return true;
  186. }
  187. return true;
  188. }
  189. const Il2CppType* TryInflateIfNeed(const Il2CppType* selfType, const Il2CppGenericContext* genericContext, bool inflateMethodVars)
  190. {
  191. // FIXME mEMORY LEAK
  192. return genericContext ? il2cpp::metadata::GenericMetadata::InflateIfNeeded(selfType, genericContext, inflateMethodVars) : selfType;
  193. }
  194. const Il2CppType* TryInflateIfNeed(const Il2CppType* containerType, const Il2CppType* selfType)
  195. {
  196. if (IsGenericIns(containerType) /* && IsGenericIns(selfType)*/)
  197. {
  198. // TOTO memory leak
  199. return il2cpp::metadata::GenericMetadata::InflateIfNeeded(selfType, &containerType->data.generic_class->context, true);
  200. }
  201. else
  202. {
  203. return selfType;
  204. }
  205. }
  206. bool IsSameOverrideType(const Il2CppType* t1, const Il2CppType* t2)
  207. {
  208. if (t1->type != t2->type)
  209. {
  210. return false;
  211. }
  212. if (t1->byref != t2->byref)
  213. {
  214. return false;
  215. }
  216. switch (t1->type)
  217. {
  218. case IL2CPP_TYPE_VALUETYPE:
  219. case IL2CPP_TYPE_CLASS:
  220. return t1->data.typeHandle == t2->data.typeHandle;
  221. case IL2CPP_TYPE_PTR:
  222. case IL2CPP_TYPE_SZARRAY:
  223. return IsSameOverrideType(t1->data.type, t2->data.type);
  224. case IL2CPP_TYPE_ARRAY:
  225. {
  226. if (t1->data.array->rank < t2->data.array->rank)
  227. {
  228. return false;
  229. }
  230. return IsSameOverrideType(t1->data.array->etype, t2->data.array->etype);
  231. }
  232. case IL2CPP_TYPE_GENERICINST:
  233. {
  234. const Il2CppGenericInst* i1 = t1->data.generic_class->context.class_inst;
  235. const Il2CppGenericInst* i2 = t2->data.generic_class->context.class_inst;
  236. // this happens when maximum generic recursion is hit
  237. if (i1 == NULL || i2 == NULL)
  238. {
  239. return i1 == i2;
  240. }
  241. if (i1->type_argc != i2->type_argc)
  242. return false;
  243. if (!IsSameOverrideType(t1->data.generic_class->type, t2->data.generic_class->type))
  244. return false;
  245. /* FIXME: we should probably just compare the instance pointers directly. */
  246. for (uint32_t i = 0; i < i1->type_argc; ++i)
  247. {
  248. if (!IsSameOverrideType(i1->type_argv[i], i2->type_argv[i]))
  249. {
  250. return false;
  251. }
  252. }
  253. return true;
  254. }
  255. case IL2CPP_TYPE_VAR:
  256. {
  257. return t1->data.genericParameterHandle == t2->data.genericParameterHandle;
  258. }
  259. case IL2CPP_TYPE_MVAR:
  260. {
  261. const Il2CppGenericParameter* gp1 = (const Il2CppGenericParameter*)t1->data.genericParameterHandle;
  262. const Il2CppGenericParameter* gp2 = (const Il2CppGenericParameter*)t2->data.genericParameterHandle;
  263. return gp1->num == gp2->num;
  264. }
  265. default:
  266. return true;
  267. }
  268. RaiseExecutionEngineException("");
  269. return false;
  270. }
  271. static bool IsGenericMethodSameGenericParamCount(const Il2CppMethodDefinition* method1, const Il2CppMethodDefinition* method2)
  272. {
  273. if (method1->genericContainerIndex == kGenericContainerIndexInvalid)
  274. {
  275. return method2->genericContainerIndex == kGenericContainerIndexInvalid;
  276. }
  277. else
  278. {
  279. if (method2->genericContainerIndex == kGenericContainerIndexInvalid)
  280. {
  281. return false;
  282. }
  283. else
  284. {
  285. Il2CppGenericContainer* genericContainer1 = (Il2CppGenericContainer*)il2cpp::vm::GlobalMetadata::GetGenericContainerFromIndex(method1->genericContainerIndex);
  286. Il2CppGenericContainer* genericContainer2 = (Il2CppGenericContainer*)il2cpp::vm::GlobalMetadata::GetGenericContainerFromIndex(method2->genericContainerIndex);
  287. return genericContainer1->type_argc == genericContainer2->type_argc;
  288. }
  289. }
  290. }
  291. bool IsOverrideMethodIgnoreName(const Il2CppType* type1, const Il2CppMethodDefinition* methodDef1, const Il2CppType* type2, const Il2CppMethodDefinition* methodDef2)
  292. {
  293. if (methodDef1->parameterCount != methodDef2->parameterCount)
  294. {
  295. return false;
  296. }
  297. if (!IsGenericMethodSameGenericParamCount(methodDef1, methodDef2))
  298. {
  299. return false;
  300. }
  301. const Il2CppType* returnType1 = TryInflateIfNeed(type1, il2cpp::vm::GlobalMetadata::GetIl2CppTypeFromIndex(methodDef1->returnType));
  302. const Il2CppType* returnType2 = TryInflateIfNeed(type2, il2cpp::vm::GlobalMetadata::GetIl2CppTypeFromIndex(methodDef2->returnType));
  303. if (!IsSameOverrideType(returnType1, returnType2))
  304. {
  305. return false;
  306. }
  307. for (uint32_t i = 0; i < methodDef1->parameterCount; i++)
  308. {
  309. const Il2CppParameterDefinition* srcParam = (const Il2CppParameterDefinition*)il2cpp::vm::GlobalMetadata::GetParameterDefinitionFromIndex(methodDef1, methodDef1->parameterStart + i);
  310. IL2CPP_ASSERT(srcParam);
  311. const Il2CppParameterDefinition* dstParam = (const Il2CppParameterDefinition*)il2cpp::vm::GlobalMetadata::GetParameterDefinitionFromIndex(methodDef2, methodDef2->parameterStart + i);
  312. IL2CPP_ASSERT(dstParam);
  313. const Il2CppType* paramType1 = TryInflateIfNeed(type1, il2cpp::vm::GlobalMetadata::GetIl2CppTypeFromIndex(srcParam->typeIndex));
  314. const Il2CppType* paramType2 = TryInflateIfNeed(type2, il2cpp::vm::GlobalMetadata::GetIl2CppTypeFromIndex(dstParam->typeIndex));
  315. if (!IsSameOverrideType(paramType1, paramType2))
  316. {
  317. return false;
  318. }
  319. }
  320. return true;
  321. }
  322. bool IsOverrideMethod(const Il2CppType* type1, const Il2CppMethodDefinition* methodDef1, const Il2CppType* type2, const Il2CppMethodDefinition* methodDef2)
  323. {
  324. const char* name1 = il2cpp::vm::GlobalMetadata::GetStringFromIndex(methodDef1->nameIndex);
  325. const char* name2 = il2cpp::vm::GlobalMetadata::GetStringFromIndex(methodDef2->nameIndex);
  326. if (std::strcmp(name1, name2))
  327. {
  328. return false;
  329. }
  330. return IsOverrideMethodIgnoreName(type1, methodDef1, type2, methodDef2);
  331. }
  332. bool IsMatchSigType(const Il2CppType* dstType, const Il2CppType* sigType, const Il2CppGenericContainer* klassGenericContainer, const Il2CppGenericContainer* methodGenericContainer)
  333. {
  334. if (dstType->type != sigType->type)
  335. {
  336. return false;
  337. }
  338. if (dstType->byref != sigType->byref)
  339. {
  340. return false;
  341. }
  342. switch (dstType->type)
  343. {
  344. case IL2CPP_TYPE_VALUETYPE:
  345. case IL2CPP_TYPE_CLASS:
  346. return dstType->data.typeHandle == sigType->data.typeHandle;
  347. case IL2CPP_TYPE_PTR:
  348. case IL2CPP_TYPE_SZARRAY:
  349. return IsMatchSigType(dstType->data.type, sigType->data.type, klassGenericContainer, methodGenericContainer);
  350. case IL2CPP_TYPE_ARRAY:
  351. {
  352. if (dstType->data.array->rank < sigType->data.array->rank)
  353. {
  354. return false;
  355. }
  356. return IsMatchSigType(dstType->data.array->etype, sigType->data.array->etype, klassGenericContainer, methodGenericContainer);
  357. }
  358. case IL2CPP_TYPE_GENERICINST:
  359. {
  360. const Il2CppGenericInst* i1 = dstType->data.generic_class->context.class_inst;
  361. const Il2CppGenericInst* i2 = sigType->data.generic_class->context.class_inst;
  362. // this happens when maximum generic recursion is hit
  363. if (i1 == NULL || i2 == NULL)
  364. {
  365. return i1 == i2;
  366. }
  367. if (i1->type_argc != i2->type_argc)
  368. return false;
  369. if (!IsMatchSigType(dstType->data.generic_class->type, sigType->data.generic_class->type, klassGenericContainer, methodGenericContainer))
  370. return false;
  371. /* FIXME: we should probably just compare the instance pointers directly. */
  372. for (uint32_t i = 0; i < i1->type_argc; ++i)
  373. {
  374. if (!IsMatchSigType(i1->type_argv[i], i2->type_argv[i], klassGenericContainer, methodGenericContainer))
  375. {
  376. return false;
  377. }
  378. }
  379. return true;
  380. }
  381. case IL2CPP_TYPE_VAR:
  382. {
  383. if ((int32_t)sigType->data.__genericParameterIndex >= klassGenericContainer->type_argc)
  384. {
  385. return false;
  386. }
  387. Il2CppMetadataGenericParameterHandle sigGph = il2cpp::vm::GlobalMetadata::GetGenericParameterFromIndex(
  388. (Il2CppMetadataGenericContainerHandle)klassGenericContainer, sigType->data.__genericParameterIndex);
  389. return dstType->data.genericParameterHandle == sigGph;
  390. }
  391. case IL2CPP_TYPE_MVAR:
  392. {
  393. if ((int32_t)sigType->data.__genericParameterIndex >= methodGenericContainer->type_argc)
  394. {
  395. return false;
  396. }
  397. Il2CppMetadataGenericParameterHandle sigGph = il2cpp::vm::GlobalMetadata::GetGenericParameterFromIndex(
  398. (Il2CppMetadataGenericContainerHandle)methodGenericContainer, sigType->data.__genericParameterIndex);
  399. return dstType->data.genericParameterHandle == sigGph;
  400. }
  401. default:
  402. return true;
  403. }
  404. RaiseExecutionEngineException("");
  405. return false;
  406. }
  407. bool IsMatchSigType(const Il2CppType* dstType, const Il2CppType* sigType, const Il2CppType** klassInstArgv, const Il2CppType** methodInstArgv)
  408. {
  409. if (dstType->byref != sigType->byref)
  410. {
  411. return false;
  412. }
  413. if (sigType->type == IL2CPP_TYPE_VAR)
  414. {
  415. sigType = klassInstArgv[sigType->data.__genericParameterIndex];
  416. }
  417. else if (sigType->type == IL2CPP_TYPE_MVAR)
  418. {
  419. sigType = methodInstArgv[sigType->data.__genericParameterIndex];
  420. }
  421. if (dstType->type != sigType->type)
  422. {
  423. return false;
  424. }
  425. switch (sigType->type)
  426. {
  427. case IL2CPP_TYPE_VALUETYPE:
  428. case IL2CPP_TYPE_CLASS:
  429. return dstType->data.typeHandle == sigType->data.typeHandle;
  430. case IL2CPP_TYPE_PTR:
  431. case IL2CPP_TYPE_SZARRAY:
  432. return IsMatchSigType(dstType->data.type, sigType->data.type, klassInstArgv, methodInstArgv);
  433. case IL2CPP_TYPE_ARRAY:
  434. {
  435. if (dstType->data.array->rank < sigType->data.array->rank)
  436. {
  437. return false;
  438. }
  439. return IsMatchSigType(dstType->data.array->etype, sigType->data.array->etype, klassInstArgv, methodInstArgv);
  440. }
  441. case IL2CPP_TYPE_GENERICINST:
  442. {
  443. const Il2CppGenericInst* i1 = dstType->data.generic_class->context.class_inst;
  444. const Il2CppGenericInst* i2 = sigType->data.generic_class->context.class_inst;
  445. // this happens when maximum generic recursion is hit
  446. if (i1 == NULL || i2 == NULL)
  447. {
  448. return i1 == i2;
  449. }
  450. if (i1->type_argc != i2->type_argc)
  451. return false;
  452. if (!IsMatchSigType(dstType->data.generic_class->type, sigType->data.generic_class->type, klassInstArgv, methodInstArgv))
  453. return false;
  454. /* FIXME: we should probably just compare the instance pointers directly. */
  455. for (uint32_t i = 0; i < i1->type_argc; ++i)
  456. {
  457. if (!IsMatchSigType(i1->type_argv[i], i2->type_argv[i], klassInstArgv, methodInstArgv))
  458. {
  459. return false;
  460. }
  461. }
  462. return true;
  463. }
  464. case IL2CPP_TYPE_VAR:
  465. {
  466. /*Il2CppMetadataGenericParameterHandle sigGph = il2cpp::vm::GlobalMetadata::GetGenericParameterFromIndex(
  467. (Il2CppMetadataGenericContainerHandle)klassGenericContainer, sigType->data.__genericParameterIndex);
  468. return dstType->data.genericParameterHandle == sigType->data.__genericParameterIndex;*/
  469. RaiseNotSupportedException("");
  470. break;
  471. }
  472. case IL2CPP_TYPE_MVAR:
  473. {
  474. /*Il2CppMetadataGenericParameterHandle sigGph = il2cpp::vm::GlobalMetadata::GetGenericParameterFromIndex(
  475. (Il2CppMetadataGenericContainerHandle)methodGenericContainer, sigType->data.__genericParameterIndex);
  476. return dstType->data.genericParameterHandle == sigGph;*/
  477. RaiseNotSupportedException("");
  478. break;
  479. }
  480. default: return true;
  481. }
  482. RaiseExecutionEngineException("");
  483. return false;
  484. }
  485. bool IsMatchMethodSig(const Il2CppMethodDefinition* methodDef, const MethodRefSig& resolveSig, const Il2CppGenericContainer* klassGenericContainer)
  486. {
  487. if (methodDef->parameterCount != (uint16_t)resolveSig.params.size())
  488. {
  489. return false;
  490. }
  491. Il2CppGenericContainer* methodGenericContainer = nullptr;
  492. // if generic param not match. return false
  493. if (methodDef->genericContainerIndex == kGenericContainerIndexInvalid)
  494. {
  495. if (resolveSig.genericParamCount)
  496. {
  497. return false;
  498. }
  499. }
  500. else
  501. {
  502. methodGenericContainer = (Il2CppGenericContainer*)il2cpp::vm::GlobalMetadata::GetGenericContainerFromIndex(methodDef->genericContainerIndex);
  503. if (resolveSig.genericParamCount != methodGenericContainer->type_argc)
  504. {
  505. return false;
  506. }
  507. }
  508. const Il2CppType* returnType1 = resolveSig.returnType;
  509. const Il2CppType* returnType2 = il2cpp::vm::GlobalMetadata::GetIl2CppTypeFromIndex(methodDef->returnType);
  510. if (!IsMatchSigType(returnType2, returnType1, klassGenericContainer, methodGenericContainer))
  511. {
  512. return false;
  513. }
  514. for (uint32_t i = 0; i < methodDef->parameterCount; i++)
  515. {
  516. const Il2CppType* paramType1 = resolveSig.params[i];
  517. const Il2CppParameterDefinition* dstParam = (const Il2CppParameterDefinition*)il2cpp::vm::GlobalMetadata::GetParameterDefinitionFromIndex(methodDef, methodDef->parameterStart + i);
  518. IL2CPP_ASSERT(dstParam);
  519. const Il2CppType* paramType2 = il2cpp::vm::GlobalMetadata::GetIl2CppTypeFromIndex(dstParam->typeIndex);
  520. if (!IsMatchSigType(paramType2, paramType1, klassGenericContainer, methodGenericContainer))
  521. {
  522. return false;
  523. }
  524. }
  525. return true;
  526. }
  527. bool IsMatchMethodSig(const MethodInfo* methodDef, const MethodRefSig& resolveSig, const Il2CppGenericContainer* klassGenericContainer)
  528. {
  529. if (methodDef->parameters_count != (uint16_t)resolveSig.params.size())
  530. {
  531. return false;
  532. }
  533. const Il2CppGenericContainer* methodGenericContainer = GetGenericContainer(methodDef);
  534. if (methodGenericContainer)
  535. {
  536. if (methodGenericContainer->type_argc != resolveSig.genericParamCount)
  537. {
  538. return false;
  539. }
  540. }
  541. else
  542. {
  543. if (resolveSig.genericParamCount)
  544. {
  545. return false;
  546. }
  547. }
  548. const Il2CppType* returnType1 = resolveSig.returnType;
  549. const Il2CppType* returnType2 = methodDef->return_type;
  550. if (!IsMatchSigType(returnType2, returnType1, klassGenericContainer, methodGenericContainer))
  551. {
  552. return false;
  553. }
  554. for (uint32_t i = 0; i < methodDef->parameters_count; i++)
  555. {
  556. const Il2CppType* paramType1 = resolveSig.params[i];
  557. const Il2CppType* paramType2 = GET_METHOD_PARAMETER_TYPE(methodDef->parameters[i]);
  558. if (!IsMatchSigType(paramType2, paramType1, klassGenericContainer, methodGenericContainer))
  559. {
  560. return false;
  561. }
  562. }
  563. return true;
  564. }
  565. bool IsMatchMethodSig(const MethodInfo* methodDef, const MethodRefSig& resolveSig, const Il2CppType** klassInstArgv, const Il2CppType** methodInstArgv)
  566. {
  567. if (methodDef->parameters_count != (uint16_t)resolveSig.params.size())
  568. {
  569. return false;
  570. }
  571. const Il2CppGenericContainer* methodGenericContainer = GetGenericContainer(methodDef);
  572. if (methodGenericContainer)
  573. {
  574. if (methodGenericContainer->type_argc != resolveSig.genericParamCount)
  575. {
  576. return false;
  577. }
  578. }
  579. else
  580. {
  581. if (resolveSig.genericParamCount)
  582. {
  583. return false;
  584. }
  585. }
  586. const Il2CppType* returnType1 = resolveSig.returnType;
  587. const Il2CppType* returnType2 = methodDef->return_type;
  588. if (!IsMatchSigType(returnType2, returnType1, klassInstArgv, methodInstArgv))
  589. {
  590. return false;
  591. }
  592. for (uint32_t i = 0; i < methodDef->parameters_count; i++)
  593. {
  594. const Il2CppType* paramType1 = resolveSig.params[i];
  595. const Il2CppType* paramType2 = GET_METHOD_PARAMETER_TYPE(methodDef->parameters[i]);
  596. if (!IsMatchSigType(paramType2, paramType1, klassInstArgv, methodInstArgv))
  597. {
  598. return false;
  599. }
  600. }
  601. return true;
  602. }
  603. const Il2CppMethodDefinition* ResolveMethodDefinition(const Il2CppType* type, const char* resolveMethodName, const MethodRefSig& resolveSig)
  604. {
  605. const Il2CppTypeDefinition* typeDef = GetUnderlyingTypeDefinition(type);
  606. const Il2CppGenericContainer* klassGenericContainer = GetGenericContainerFromIl2CppType(type);
  607. const char* typeName = il2cpp::vm::GlobalMetadata::GetStringFromIndex(typeDef->nameIndex);
  608. for (uint32_t i = 0; i < typeDef->method_count; i++)
  609. {
  610. const Il2CppMethodDefinition* methodDef = il2cpp::vm::GlobalMetadata::GetMethodDefinitionFromIndex(typeDef->methodStart + i);
  611. const char* methodName = il2cpp::vm::GlobalMetadata::GetStringFromIndex(methodDef->nameIndex);
  612. if (std::strcmp(resolveMethodName, methodName) == 0 && IsMatchMethodSig(methodDef, resolveSig, klassGenericContainer))
  613. {
  614. return methodDef;
  615. }
  616. }
  617. RaiseMethodNotFindException(type, resolveMethodName);
  618. return nullptr;
  619. }
  620. const MethodInfo* GetMethodInfoFromMethodDef(const Il2CppType* type, const Il2CppMethodDefinition* methodDef)
  621. {
  622. Il2CppClass* klass = il2cpp::vm::Class::FromIl2CppType(type);
  623. il2cpp::vm::Class::SetupMethods(klass);
  624. void* iter = nullptr;
  625. for (const MethodInfo* cur = nullptr; (cur = il2cpp::vm::Class::GetMethods(klass, &iter)) != nullptr; )
  626. {
  627. if (!cur->is_inflated)
  628. {
  629. if ((const Il2CppMethodDefinition*)cur->methodMetadataHandle == methodDef)
  630. {
  631. return cur;
  632. }
  633. }
  634. else
  635. {
  636. if ((const Il2CppMethodDefinition*)cur->genericMethod->methodDefinition->methodMetadataHandle == methodDef)
  637. {
  638. return cur;
  639. }
  640. }
  641. }
  642. RaiseMethodNotFindException(type, il2cpp::vm::GlobalMetadata::GetStringFromIndex(methodDef->nameIndex));
  643. return nullptr;
  644. }
  645. bool ResolveField(const Il2CppType* type, const char* resolveFieldName, const Il2CppType* resolveFieldType, const Il2CppFieldDefinition*& retFieldDef)
  646. {
  647. const Il2CppTypeDefinition* typeDef = GetUnderlyingTypeDefinition(type);
  648. const Il2CppGenericContainer* klassGenericContainer = GetGenericContainerFromIl2CppType(type);
  649. for (uint16_t i = 0; i < typeDef->field_count; i++)
  650. {
  651. const Il2CppFieldDefinition* fieldDef = il2cpp::vm::GlobalMetadata::GetFieldDefinitionFromTypeDefAndFieldIndex(typeDef, i);
  652. const char* fieldName = il2cpp::vm::GlobalMetadata::GetStringFromIndex(fieldDef->nameIndex);
  653. const Il2CppType* fieldType = il2cpp::vm::GlobalMetadata::GetIl2CppTypeFromIndex(fieldDef->typeIndex);
  654. if (std::strcmp(resolveFieldName, fieldName) == 0 && IsMatchSigType(fieldType, resolveFieldType, klassGenericContainer, nullptr))
  655. {
  656. retFieldDef = fieldDef;
  657. return true;
  658. }
  659. }
  660. retFieldDef = nullptr;
  661. return false;
  662. }
  663. const Il2CppGenericContainer* GetGenericContainerFromIl2CppType(const Il2CppType* type)
  664. {
  665. switch (type->type)
  666. {
  667. case IL2CPP_TYPE_GENERICINST:
  668. {
  669. return (Il2CppGenericContainer*)il2cpp::vm::GlobalMetadata::GetGenericContainerFromGenericClass(type->data.generic_class);
  670. }
  671. case IL2CPP_TYPE_VALUETYPE:
  672. case IL2CPP_TYPE_CLASS:
  673. {
  674. return (Il2CppGenericContainer*)il2cpp::vm::GlobalMetadata::GetGenericContainerFromIndex(((Il2CppTypeDefinition*)type->data.typeHandle)->genericContainerIndex);
  675. }
  676. default:
  677. {
  678. return nullptr;
  679. }
  680. }
  681. }
  682. const Il2CppGenericInst* TryInflateGenericInst(const Il2CppGenericInst* inst, const Il2CppGenericContext* genericContext)
  683. {
  684. IL2CPP_ASSERT(inst->type_argc > 0);
  685. const Il2CppType** argv = (const Il2CppType**)alloca(sizeof(Il2CppType*) * inst->type_argc);
  686. for (uint32_t i = 0; i < inst->type_argc; i++)
  687. {
  688. argv[i] = TryInflateIfNeed(inst->type_argv[i], genericContext, true);
  689. }
  690. return il2cpp::vm::MetadataCache::GetGenericInst(argv, inst->type_argc);
  691. }
  692. const Il2CppType* GetIl2CppTypeFromTypeDefinition(const Il2CppTypeDefinition* typeDef)
  693. {
  694. Il2CppType type = {};
  695. bool isValueType = IsValueType(typeDef);
  696. type.type = isValueType ? IL2CPP_TYPE_VALUETYPE : IL2CPP_TYPE_CLASS;
  697. type.data.typeHandle = (Il2CppMetadataTypeHandle)typeDef;
  698. SET_IL2CPPTYPE_VALUE_TYPE(type, isValueType);
  699. return MetadataPool::GetPooledIl2CppType(type);
  700. }
  701. }
  702. }