Field.cpp 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411
  1. #include "il2cpp-config.h"
  2. #include "utils/StringUtils.h"
  3. #include "gc/GarbageCollector.h"
  4. #include "gc/WriteBarrier.h"
  5. #include "vm/Class.h"
  6. #include "vm/GenericClass.h"
  7. #include "vm/Field.h"
  8. #include "vm/Object.h"
  9. #include "vm/Reflection.h"
  10. #include "vm/Runtime.h"
  11. #include "vm/String.h"
  12. #include "vm/Type.h"
  13. #include <memory>
  14. #include "il2cpp-class-internals.h"
  15. #include "il2cpp-object-internals.h"
  16. #include "il2cpp-tabledefs.h"
  17. #include "utils/MemoryRead.h"
  18. #include "vm-utils/BlobReader.h"
  19. #include "Thread.h"
  20. #include "hybridclr/metadata/MetadataUtil.h"
  21. namespace il2cpp
  22. {
  23. namespace vm
  24. {
  25. const char* Field::GetName(FieldInfo *field)
  26. {
  27. return field->name;
  28. }
  29. Il2CppClass* Field::GetParent(FieldInfo *field)
  30. {
  31. return field->parent;
  32. }
  33. int Field::GetFlags(FieldInfo *field)
  34. {
  35. return field->type->attrs;
  36. }
  37. size_t Field::GetOffset(FieldInfo *field)
  38. {
  39. return field->offset;
  40. }
  41. void Field::GetValue(Il2CppObject *obj, FieldInfo *field, void *value)
  42. {
  43. void *src;
  44. IL2CPP_ASSERT(obj);
  45. IL2CPP_ASSERT(!(field->type->attrs & FIELD_ATTRIBUTE_STATIC));
  46. src = (char*)obj + field->offset;
  47. SetValueRaw(field->type, value, src, true);
  48. }
  49. uint32_t Field::GetToken(const FieldInfo *field)
  50. {
  51. return field->token;
  52. }
  53. Il2CppObject* Field::GetValueObject(FieldInfo *field, Il2CppObject *obj)
  54. {
  55. return GetValueObjectForThread(field, obj, il2cpp::vm::Thread::Current());
  56. }
  57. Il2CppObject* Field::GetValueObjectForThread(FieldInfo *field, Il2CppObject *obj, Il2CppThread *thread)
  58. {
  59. Il2CppClass* fieldType = Class::FromIl2CppType(field->type);
  60. if (field->type->attrs & FIELD_ATTRIBUTE_LITERAL)
  61. {
  62. if (fieldType->byval_arg.valuetype)
  63. {
  64. void* value = alloca(fieldType->instance_size - sizeof(Il2CppObject));
  65. Field::GetDefaultFieldValue(field, value);
  66. return Object::Box(fieldType, value);
  67. }
  68. else
  69. {
  70. Il2CppObject* value;
  71. Field::GetDefaultFieldValue(field, &value);
  72. return value;
  73. }
  74. }
  75. void* fieldAddress;
  76. if (field->type->attrs & FIELD_ATTRIBUTE_STATIC)
  77. {
  78. if (field->offset == THREAD_STATIC_FIELD_OFFSET)
  79. {
  80. Runtime::ClassInit(field->parent);
  81. int threadStaticFieldOffset = MetadataCache::GetThreadLocalStaticOffsetForField(field);
  82. void* threadStaticData = Thread::GetThreadStaticDataForThread(field->parent->thread_static_fields_offset, thread);
  83. fieldAddress = static_cast<uint8_t*>(threadStaticData) + threadStaticFieldOffset;
  84. }
  85. else
  86. {
  87. Runtime::ClassInit(field->parent);
  88. fieldAddress = static_cast<uint8_t*>(field->parent->static_fields) + field->offset;
  89. }
  90. }
  91. else
  92. {
  93. IL2CPP_ASSERT(obj);
  94. fieldAddress = reinterpret_cast<uint8_t*>(obj) + field->offset;
  95. }
  96. return Object::Box(fieldType, fieldAddress);
  97. }
  98. const Il2CppType* Field::GetType(FieldInfo *field)
  99. {
  100. return field->type;
  101. }
  102. bool Field::HasAttribute(FieldInfo *field, Il2CppClass *attr_class)
  103. {
  104. return Reflection::HasAttribute(field, attr_class);
  105. }
  106. bool Field::IsDeleted(FieldInfo *field)
  107. {
  108. return false;
  109. }
  110. void Field::SetValue(Il2CppObject *obj, const FieldInfo *field, void *value)
  111. {
  112. void *dest;
  113. IL2CPP_ASSERT(!(field->type->attrs & FIELD_ATTRIBUTE_STATIC));
  114. dest = (char*)obj + field->offset;
  115. SetValueRaw(field->type, dest, value, false);
  116. }
  117. void Field::GetDefaultFieldValue(FieldInfo *field, void *value)
  118. {
  119. const Il2CppType* type = NULL;
  120. const char* data;
  121. data = Class::GetFieldDefaultValue(field, &type);
  122. utils::BlobReader::GetConstantValueFromBlob(field->parent->image, type->type, data, value);
  123. }
  124. void Field::StaticGetValue(FieldInfo *field, void *value)
  125. {
  126. // ensure parent is initialized so that static fields memory has been allocated
  127. Class::SetupFields(field->parent);
  128. void* threadStaticData = NULL;
  129. if (field->offset == THREAD_STATIC_FIELD_OFFSET)
  130. threadStaticData = Thread::GetThreadStaticDataForThread(field->parent->thread_static_fields_offset, il2cpp::vm::Thread::Current());
  131. StaticGetValueInternal(field, value, threadStaticData);
  132. }
  133. void Field::StaticGetValueForThread(FieldInfo* field, void* value, Il2CppInternalThread* thread)
  134. {
  135. // ensure parent is initialized so that static fields memory has been allocated
  136. Class::SetupFields(field->parent);
  137. void* threadStaticData = NULL;
  138. if (field->offset == THREAD_STATIC_FIELD_OFFSET)
  139. threadStaticData = Thread::GetThreadStaticDataForThread(field->parent->thread_static_fields_offset, thread);
  140. StaticGetValueInternal(field, value, threadStaticData);
  141. }
  142. void Field::StaticGetValueInternal(FieldInfo* field, void* value, void* threadStaticData)
  143. {
  144. void *src = NULL;
  145. IL2CPP_ASSERT(field->type->attrs & FIELD_ATTRIBUTE_STATIC);
  146. if (field->type->attrs & FIELD_ATTRIBUTE_LITERAL)
  147. {
  148. GetDefaultFieldValue(field, value);
  149. return;
  150. }
  151. // ensure parent is initialized so that static fields memory has been allocated
  152. Class::SetupFields(field->parent);
  153. if (field->offset == THREAD_STATIC_FIELD_OFFSET)
  154. {
  155. IL2CPP_ASSERT(NULL != threadStaticData);
  156. int threadStaticFieldOffset = MetadataCache::GetThreadLocalStaticOffsetForField(field);
  157. src = ((char*)threadStaticData) + threadStaticFieldOffset;
  158. }
  159. else
  160. {
  161. src = ((char*)field->parent->static_fields) + field->offset;
  162. }
  163. SetValueRaw(field->type, value, src, true);
  164. }
  165. void Field::StaticSetValue(FieldInfo *field, void *value)
  166. {
  167. StaticSetValueForThread(field, value, il2cpp::vm::Thread::Current());
  168. }
  169. void Field::StaticSetValueForThread(FieldInfo* field, void* value, Il2CppThread* thread)
  170. {
  171. void *dest = NULL;
  172. IL2CPP_ASSERT(field->type->attrs & FIELD_ATTRIBUTE_STATIC);
  173. IL2CPP_ASSERT(!(field->type->attrs & FIELD_ATTRIBUTE_LITERAL));
  174. // ensure parent is initialized so that static fields memory has been allocated
  175. Class::Init(field->parent);
  176. if (field->offset == THREAD_STATIC_FIELD_OFFSET)
  177. {
  178. int threadStaticFieldOffset = MetadataCache::GetThreadLocalStaticOffsetForField(field);
  179. void* threadStaticData = Thread::GetThreadStaticDataForThread(field->parent->thread_static_fields_offset, thread);
  180. dest = ((char*)threadStaticData) + threadStaticFieldOffset;
  181. }
  182. else
  183. {
  184. dest = ((char*)field->parent->static_fields) + field->offset;
  185. }
  186. SetValueRaw(field->type, dest, value, false);
  187. }
  188. void Field::SetInstanceFieldValueObject(Il2CppObject* objectInstance, FieldInfo* field, Il2CppObject* value)
  189. {
  190. IL2CPP_ASSERT(!(field->type->attrs & FIELD_ATTRIBUTE_LITERAL));
  191. IL2CPP_ASSERT(!field->type->valuetype);
  192. gc::WriteBarrier::GenericStore((Il2CppObject**)(reinterpret_cast<uint8_t*>(objectInstance) + field->offset), value);
  193. }
  194. void Field::SetValueRaw(const Il2CppType *type, void *dest, void *value, bool deref_pointer)
  195. {
  196. int t;
  197. if (type->byref)
  198. {
  199. /* object fields cannot be byref, so we don't need a
  200. wbarrier here */
  201. void* *p = (void**)dest;
  202. *p = value;
  203. return;
  204. }
  205. t = type->type;
  206. handle_enum:
  207. switch (t)
  208. {
  209. case IL2CPP_TYPE_BOOLEAN:
  210. case IL2CPP_TYPE_I1:
  211. case IL2CPP_TYPE_U1:
  212. {
  213. uint8_t *p = (uint8_t*)dest;
  214. *p = value ? *(uint8_t*)value : 0;
  215. return;
  216. }
  217. case IL2CPP_TYPE_I2:
  218. case IL2CPP_TYPE_U2:
  219. {
  220. uint16_t *p = (uint16_t*)dest;
  221. *p = value ? *(uint16_t*)value : 0;
  222. return;
  223. }
  224. case IL2CPP_TYPE_CHAR:
  225. {
  226. Il2CppChar* p = (Il2CppChar*)dest;
  227. *p = value ? *(Il2CppChar*)value : 0;
  228. return;
  229. }
  230. #if IL2CPP_SIZEOF_VOID_P == 4
  231. case IL2CPP_TYPE_I:
  232. case IL2CPP_TYPE_U:
  233. #endif
  234. case IL2CPP_TYPE_I4:
  235. case IL2CPP_TYPE_U4:
  236. {
  237. int32_t *p = (int32_t*)dest;
  238. *p = value ? *(int32_t*)value : 0;
  239. return;
  240. }
  241. #if IL2CPP_SIZEOF_VOID_P == 8
  242. case IL2CPP_TYPE_I:
  243. case IL2CPP_TYPE_U:
  244. #endif
  245. case IL2CPP_TYPE_I8:
  246. case IL2CPP_TYPE_U8:
  247. {
  248. int64_t *p = (int64_t*)dest;
  249. *p = value ? *(int64_t*)value : 0;
  250. return;
  251. }
  252. case IL2CPP_TYPE_R4:
  253. {
  254. float *p = (float*)dest;
  255. *p = value ? *(float*)value : 0;
  256. return;
  257. }
  258. case IL2CPP_TYPE_R8:
  259. {
  260. double *p = (double*)dest;
  261. *p = value ? *(double*)value : 0;
  262. return;
  263. }
  264. case IL2CPP_TYPE_STRING:
  265. case IL2CPP_TYPE_SZARRAY:
  266. case IL2CPP_TYPE_CLASS:
  267. case IL2CPP_TYPE_OBJECT:
  268. case IL2CPP_TYPE_ARRAY:
  269. gc::WriteBarrier::GenericStore((void**)dest, (deref_pointer ? *(void**)value : value));
  270. return;
  271. case IL2CPP_TYPE_FNPTR:
  272. case IL2CPP_TYPE_PTR:
  273. {
  274. void* *p = (void**)dest;
  275. *p = deref_pointer ? *(void**)value : value;
  276. return;
  277. }
  278. case IL2CPP_TYPE_VALUETYPE:
  279. /* note that 't' and 'type->type' can be different */
  280. if (type->type == IL2CPP_TYPE_VALUETYPE && Type::IsEnum(type))
  281. {
  282. t = Class::GetEnumBaseType(Type::GetClass(type))->type;
  283. goto handle_enum;
  284. }
  285. else
  286. {
  287. Il2CppClass *klass = Class::FromIl2CppType(type);
  288. int size = Class::GetValueSize(klass, NULL);
  289. if (value == NULL)
  290. {
  291. memset(dest, 0, size);
  292. }
  293. else
  294. {
  295. memcpy(dest, value, size);
  296. gc::GarbageCollector::SetWriteBarrier(reinterpret_cast<void**>(dest), size);
  297. }
  298. }
  299. return;
  300. case IL2CPP_TYPE_GENERICINST:
  301. t = GenericClass::GetTypeDefinition(type->data.generic_class)->byval_arg.type;
  302. goto handle_enum;
  303. default:
  304. IL2CPP_ASSERT(0);
  305. }
  306. }
  307. const char* Field::GetData(FieldInfo *field)
  308. {
  309. if (field->type->attrs & FIELD_ATTRIBUTE_HAS_DEFAULT)
  310. {
  311. const Il2CppType* type = NULL;
  312. return Class::GetFieldDefaultValue(field, &type);
  313. }
  314. else if (field->type->attrs & FIELD_ATTRIBUTE_HAS_FIELD_RVA)
  315. {
  316. IL2CPP_NOT_IMPLEMENTED_NO_ASSERT(Field::GetData, "This works for array initialization data. Revisit any other RVA use case.");
  317. const Il2CppType* type = NULL;
  318. return Class::GetFieldDefaultValue(field, &type);
  319. }
  320. else
  321. {
  322. return NULL;
  323. }
  324. }
  325. bool Field::IsInstance(FieldInfo* field)
  326. {
  327. return (field->type->attrs & FIELD_ATTRIBUTE_STATIC) == 0;
  328. }
  329. bool Field::IsNormalStatic(FieldInfo* field)
  330. {
  331. if ((field->type->attrs & FIELD_ATTRIBUTE_STATIC) == 0)
  332. return false;
  333. if (field->offset == THREAD_STATIC_FIELD_OFFSET)
  334. return false;
  335. if ((field->type->attrs & FIELD_ATTRIBUTE_LITERAL) != 0)
  336. return false;
  337. return true;
  338. }
  339. bool Field::IsThreadStatic(FieldInfo* field)
  340. {
  341. if ((field->type->attrs & FIELD_ATTRIBUTE_STATIC) == 0)
  342. return false;
  343. if (field->offset != THREAD_STATIC_FIELD_OFFSET)
  344. return false;
  345. if ((field->type->attrs & FIELD_ATTRIBUTE_LITERAL) != 0)
  346. return false;
  347. return true;
  348. }
  349. void* Field::GetInstanceFieldDataPointer(void* instance, FieldInfo* field)
  350. {
  351. IL2CPP_ASSERT(il2cpp::vm::Field::IsInstance(field));
  352. uint8_t* fieldPointer = ((uint8_t*)instance) + GetOffset(field);
  353. return field->parent->byval_arg.valuetype ? fieldPointer - sizeof(Il2CppObject) : fieldPointer;
  354. }
  355. } /* namespace vm */
  356. } /* namespace il2cpp */