aot.c 20 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595
  1. /*
  2. * Copyright (C) 2019 Intel Corporation. All rights reserved.
  3. * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  4. */
  5. #include "aot.h"
  6. static char aot_error[128];
  7. char *
  8. aot_get_last_error()
  9. {
  10. return aot_error[0] == '\0' ? "" : aot_error;
  11. }
  12. void
  13. aot_set_last_error_v(const char *format, ...)
  14. {
  15. va_list args;
  16. va_start(args, format);
  17. vsnprintf(aot_error, sizeof(aot_error), format, args);
  18. va_end(args);
  19. }
  20. void
  21. aot_set_last_error(const char *error)
  22. {
  23. if (error)
  24. snprintf(aot_error, sizeof(aot_error), "Error: %s", error);
  25. else
  26. aot_error[0] = '\0';
  27. }
  28. static void
  29. aot_destroy_mem_init_data_list(AOTMemInitData **data_list, uint32 count)
  30. {
  31. uint32 i;
  32. for (i = 0; i < count; i++)
  33. if (data_list[i])
  34. wasm_runtime_free(data_list[i]);
  35. wasm_runtime_free(data_list);
  36. }
  37. static AOTMemInitData **
  38. aot_create_mem_init_data_list(const WASMModule *module)
  39. {
  40. AOTMemInitData **data_list;
  41. uint64 size;
  42. uint32 i;
  43. /* Allocate memory */
  44. size = sizeof(AOTMemInitData *) * (uint64)module->data_seg_count;
  45. if (size >= UINT32_MAX
  46. || !(data_list = wasm_runtime_malloc((uint32)size))) {
  47. aot_set_last_error("allocate memory failed.");
  48. return NULL;
  49. }
  50. memset(data_list, 0, size);
  51. /* Create each memory data segment */
  52. for (i = 0; i < module->data_seg_count; i++) {
  53. size = offsetof(AOTMemInitData, bytes)
  54. + (uint64)module->data_segments[i]->data_length;
  55. if (size >= UINT32_MAX
  56. || !(data_list[i] = wasm_runtime_malloc((uint32)size))) {
  57. aot_set_last_error("allocate memory failed.");
  58. goto fail;
  59. }
  60. #if WASM_ENABLE_BULK_MEMORY != 0
  61. data_list[i]->is_passive = module->data_segments[i]->is_passive;
  62. data_list[i]->memory_index = module->data_segments[i]->memory_index;
  63. #endif
  64. data_list[i]->offset = module->data_segments[i]->base_offset;
  65. data_list[i]->byte_count = module->data_segments[i]->data_length;
  66. memcpy(data_list[i]->bytes, module->data_segments[i]->data,
  67. module->data_segments[i]->data_length);
  68. }
  69. return data_list;
  70. fail:
  71. aot_destroy_mem_init_data_list(data_list, module->data_seg_count);
  72. return NULL;
  73. }
  74. static void
  75. aot_destroy_table_init_data_list(AOTTableInitData **data_list, uint32 count)
  76. {
  77. uint32 i;
  78. for (i = 0; i < count; i++)
  79. if (data_list[i])
  80. wasm_runtime_free(data_list[i]);
  81. wasm_runtime_free(data_list);
  82. }
  83. static AOTTableInitData **
  84. aot_create_table_init_data_list(const WASMModule *module)
  85. {
  86. AOTTableInitData **data_list;
  87. uint64 size;
  88. uint32 i;
  89. /* Allocate memory */
  90. size = sizeof(AOTTableInitData *) * (uint64)module->table_seg_count;
  91. if (size >= UINT32_MAX
  92. || !(data_list = wasm_runtime_malloc((uint32)size))) {
  93. aot_set_last_error("allocate memory failed.");
  94. return NULL;
  95. }
  96. memset(data_list, 0, size);
  97. /* Create each table data segment */
  98. for (i = 0; i < module->table_seg_count; i++) {
  99. size = offsetof(AOTTableInitData, func_indexes)
  100. + sizeof(uintptr_t)
  101. * (uint64)module->table_segments[i].function_count;
  102. if (size >= UINT32_MAX
  103. || !(data_list[i] = wasm_runtime_malloc((uint32)size))) {
  104. aot_set_last_error("allocate memory failed.");
  105. goto fail;
  106. }
  107. data_list[i]->offset = module->table_segments[i].base_offset;
  108. data_list[i]->func_index_count =
  109. module->table_segments[i].function_count;
  110. data_list[i]->mode = module->table_segments[i].mode;
  111. data_list[i]->elem_type = module->table_segments[i].elem_type;
  112. /* runtime control it */
  113. data_list[i]->is_dropped = false;
  114. data_list[i]->table_index = module->table_segments[i].table_index;
  115. bh_memcpy_s(&data_list[i]->offset, sizeof(AOTInitExpr),
  116. &module->table_segments[i].base_offset,
  117. sizeof(AOTInitExpr));
  118. data_list[i]->func_index_count =
  119. module->table_segments[i].function_count;
  120. bh_memcpy_s(
  121. data_list[i]->func_indexes,
  122. sizeof(uintptr_t) * module->table_segments[i].function_count,
  123. module->table_segments[i].func_indexes,
  124. sizeof(uintptr_t) * module->table_segments[i].function_count);
  125. }
  126. return data_list;
  127. fail:
  128. aot_destroy_table_init_data_list(data_list, module->table_seg_count);
  129. return NULL;
  130. }
  131. static AOTImportGlobal *
  132. aot_create_import_globals(const WASMModule *module,
  133. uint32 *p_import_global_data_size, bool gc_enabled)
  134. {
  135. AOTImportGlobal *import_globals;
  136. uint64 size;
  137. uint32 i, data_offset = 0;
  138. /* Allocate memory */
  139. size = sizeof(AOTImportGlobal) * (uint64)module->import_global_count;
  140. if (size >= UINT32_MAX
  141. || !(import_globals = wasm_runtime_malloc((uint32)size))) {
  142. aot_set_last_error("allocate memory failed.");
  143. return NULL;
  144. }
  145. memset(import_globals, 0, (uint32)size);
  146. /* Create each import global */
  147. for (i = 0; i < module->import_global_count; i++) {
  148. WASMGlobalImport *import_global = &module->import_globals[i].u.global;
  149. import_globals[i].module_name = import_global->module_name;
  150. import_globals[i].global_name = import_global->field_name;
  151. import_globals[i].type = import_global->type;
  152. import_globals[i].is_mutable = import_global->is_mutable;
  153. import_globals[i].global_data_linked =
  154. import_global->global_data_linked;
  155. import_globals[i].size =
  156. wasm_value_type_size_ex(import_global->type, gc_enabled);
  157. /* Calculate data offset */
  158. import_globals[i].data_offset = data_offset;
  159. data_offset += wasm_value_type_size_ex(import_global->type, gc_enabled);
  160. }
  161. *p_import_global_data_size = data_offset;
  162. return import_globals;
  163. }
  164. static AOTGlobal *
  165. aot_create_globals(const WASMModule *module, uint32 global_data_start_offset,
  166. uint32 *p_global_data_size, bool gc_enabled)
  167. {
  168. AOTGlobal *globals;
  169. uint64 size;
  170. uint32 i, data_offset = global_data_start_offset;
  171. /* Allocate memory */
  172. size = sizeof(AOTGlobal) * (uint64)module->global_count;
  173. if (size >= UINT32_MAX || !(globals = wasm_runtime_malloc((uint32)size))) {
  174. aot_set_last_error("allocate memory failed.");
  175. return NULL;
  176. }
  177. memset(globals, 0, (uint32)size);
  178. /* Create each global */
  179. for (i = 0; i < module->global_count; i++) {
  180. WASMGlobal *global = &module->globals[i];
  181. globals[i].type = global->type;
  182. globals[i].is_mutable = global->is_mutable;
  183. globals[i].size = wasm_value_type_size_ex(global->type, gc_enabled);
  184. memcpy(&globals[i].init_expr, &global->init_expr,
  185. sizeof(global->init_expr));
  186. /* Calculate data offset */
  187. globals[i].data_offset = data_offset;
  188. data_offset += wasm_value_type_size_ex(global->type, gc_enabled);
  189. }
  190. *p_global_data_size = data_offset - global_data_start_offset;
  191. return globals;
  192. }
  193. static void
  194. aot_destroy_types(AOTType **types, uint32 count)
  195. {
  196. uint32 i;
  197. for (i = 0; i < count; i++)
  198. if (types[i])
  199. wasm_runtime_free(types[i]);
  200. wasm_runtime_free(types);
  201. }
  202. static AOTType **
  203. aot_create_types(const WASMModule *module)
  204. {
  205. AOTFuncType **func_types;
  206. uint64 size;
  207. uint32 i;
  208. /* Allocate memory */
  209. size = sizeof(AOTFuncType *) * (uint64)module->type_count;
  210. if (size >= UINT32_MAX
  211. || !(func_types = wasm_runtime_malloc((uint32)size))) {
  212. aot_set_last_error("allocate memory failed.");
  213. return NULL;
  214. }
  215. memset(func_types, 0, size);
  216. /* Create each function type */
  217. for (i = 0; i < module->type_count; i++) {
  218. AOTFuncType *func_type = (AOTFuncType *)module->types[i];
  219. size = offsetof(AOTFuncType, types) + (uint64)func_type->param_count
  220. + (uint64)func_type->result_count;
  221. if (size >= UINT32_MAX
  222. || !(func_types[i] = wasm_runtime_malloc((uint32)size))) {
  223. aot_set_last_error("allocate memory failed.");
  224. goto fail;
  225. }
  226. memcpy(func_types[i], func_type, size);
  227. }
  228. return (AOTType **)func_types;
  229. fail:
  230. aot_destroy_types((AOTType **)func_types, module->type_count);
  231. return NULL;
  232. }
  233. static AOTImportFunc *
  234. aot_create_import_funcs(const WASMModule *module)
  235. {
  236. AOTImportFunc *import_funcs;
  237. uint64 size;
  238. uint32 i, j;
  239. /* Allocate memory */
  240. size = sizeof(AOTImportFunc) * (uint64)module->import_function_count;
  241. if (size >= UINT32_MAX
  242. || !(import_funcs = wasm_runtime_malloc((uint32)size))) {
  243. aot_set_last_error("allocate memory failed.");
  244. return NULL;
  245. }
  246. /* Create each import function */
  247. for (i = 0; i < module->import_function_count; i++) {
  248. WASMFunctionImport *import_func =
  249. &module->import_functions[i].u.function;
  250. import_funcs[i].module_name = import_func->module_name;
  251. import_funcs[i].func_name = import_func->field_name;
  252. import_funcs[i].func_ptr_linked = import_func->func_ptr_linked;
  253. import_funcs[i].func_type = import_func->func_type;
  254. import_funcs[i].signature = import_func->signature;
  255. import_funcs[i].attachment = import_func->attachment;
  256. import_funcs[i].call_conv_raw = import_func->call_conv_raw;
  257. import_funcs[i].call_conv_wasm_c_api = false;
  258. /* Resolve function type index */
  259. for (j = 0; j < module->type_count; j++)
  260. if (import_func->func_type == (WASMFuncType *)module->types[j]) {
  261. import_funcs[i].func_type_index = j;
  262. break;
  263. }
  264. }
  265. return import_funcs;
  266. }
  267. static void
  268. aot_destroy_funcs(AOTFunc **funcs, uint32 count)
  269. {
  270. uint32 i;
  271. for (i = 0; i < count; i++)
  272. if (funcs[i])
  273. wasm_runtime_free(funcs[i]);
  274. wasm_runtime_free(funcs);
  275. }
  276. static AOTFunc **
  277. aot_create_funcs(const WASMModule *module)
  278. {
  279. AOTFunc **funcs;
  280. uint64 size;
  281. uint32 i, j;
  282. /* Allocate memory */
  283. size = sizeof(AOTFunc *) * (uint64)module->function_count;
  284. if (size >= UINT32_MAX || !(funcs = wasm_runtime_malloc((uint32)size))) {
  285. aot_set_last_error("allocate memory failed.");
  286. return NULL;
  287. }
  288. memset(funcs, 0, size);
  289. /* Create each function */
  290. for (i = 0; i < module->function_count; i++) {
  291. WASMFunction *func = module->functions[i];
  292. size = sizeof(AOTFunc);
  293. if (!(funcs[i] = wasm_runtime_malloc((uint32)size))) {
  294. aot_set_last_error("allocate memory failed.");
  295. goto fail;
  296. }
  297. funcs[i]->func_type = func->func_type;
  298. /* Resolve function type index */
  299. for (j = 0; j < module->type_count; j++)
  300. if (func->func_type == (WASMFuncType *)module->types[j]) {
  301. funcs[i]->func_type_index = j;
  302. break;
  303. }
  304. /* Resolve local variable info and code info */
  305. funcs[i]->local_count = func->local_count;
  306. funcs[i]->local_types = func->local_types;
  307. funcs[i]->param_cell_num = func->param_cell_num;
  308. funcs[i]->local_cell_num = func->local_cell_num;
  309. funcs[i]->code = func->code;
  310. funcs[i]->code_size = func->code_size;
  311. }
  312. return funcs;
  313. fail:
  314. aot_destroy_funcs(funcs, module->function_count);
  315. return NULL;
  316. }
  317. AOTCompData *
  318. aot_create_comp_data(WASMModule *module, bool gc_enabled)
  319. {
  320. AOTCompData *comp_data;
  321. uint32 import_global_data_size = 0, global_data_size = 0, i, j;
  322. uint64 size;
  323. /* Allocate memory */
  324. if (!(comp_data = wasm_runtime_malloc(sizeof(AOTCompData)))) {
  325. aot_set_last_error("create compile data failed.\n");
  326. return NULL;
  327. }
  328. memset(comp_data, 0, sizeof(AOTCompData));
  329. comp_data->memory_count =
  330. module->import_memory_count + module->memory_count;
  331. /* TODO: create import memories */
  332. /* Allocate memory for memory array, reserve one AOTMemory space at least */
  333. if (!comp_data->memory_count)
  334. comp_data->memory_count = 1;
  335. size = (uint64)comp_data->memory_count * sizeof(AOTMemory);
  336. if (size >= UINT32_MAX
  337. || !(comp_data->memories = wasm_runtime_malloc((uint32)size))) {
  338. aot_set_last_error("create memories array failed.\n");
  339. goto fail;
  340. }
  341. memset(comp_data->memories, 0, size);
  342. if (!(module->import_memory_count + module->memory_count)) {
  343. comp_data->memories[0].num_bytes_per_page = DEFAULT_NUM_BYTES_PER_PAGE;
  344. }
  345. /* Set memory page count */
  346. for (i = 0; i < module->import_memory_count + module->memory_count; i++) {
  347. if (i < module->import_memory_count) {
  348. comp_data->memories[i].memory_flags =
  349. module->import_memories[i].u.memory.flags;
  350. comp_data->memories[i].num_bytes_per_page =
  351. module->import_memories[i].u.memory.num_bytes_per_page;
  352. comp_data->memories[i].mem_init_page_count =
  353. module->import_memories[i].u.memory.init_page_count;
  354. comp_data->memories[i].mem_max_page_count =
  355. module->import_memories[i].u.memory.max_page_count;
  356. comp_data->memories[i].num_bytes_per_page =
  357. module->import_memories[i].u.memory.num_bytes_per_page;
  358. }
  359. else {
  360. j = i - module->import_memory_count;
  361. comp_data->memories[i].memory_flags = module->memories[j].flags;
  362. comp_data->memories[i].num_bytes_per_page =
  363. module->memories[j].num_bytes_per_page;
  364. comp_data->memories[i].mem_init_page_count =
  365. module->memories[j].init_page_count;
  366. comp_data->memories[i].mem_max_page_count =
  367. module->memories[j].max_page_count;
  368. comp_data->memories[i].num_bytes_per_page =
  369. module->memories[j].num_bytes_per_page;
  370. }
  371. }
  372. /* Create memory data segments */
  373. comp_data->mem_init_data_count = module->data_seg_count;
  374. if (comp_data->mem_init_data_count > 0
  375. && !(comp_data->mem_init_data_list =
  376. aot_create_mem_init_data_list(module)))
  377. goto fail;
  378. /* Create tables */
  379. comp_data->table_count = module->import_table_count + module->table_count;
  380. if (comp_data->table_count > 0) {
  381. size = sizeof(AOTTable) * (uint64)comp_data->table_count;
  382. if (size >= UINT32_MAX
  383. || !(comp_data->tables = wasm_runtime_malloc((uint32)size))) {
  384. aot_set_last_error("create memories array failed.\n");
  385. goto fail;
  386. }
  387. memset(comp_data->tables, 0, size);
  388. for (i = 0; i < comp_data->table_count; i++) {
  389. if (i < module->import_table_count) {
  390. comp_data->tables[i].elem_type =
  391. module->import_tables[i].u.table.elem_type;
  392. comp_data->tables[i].table_flags =
  393. module->import_tables[i].u.table.flags;
  394. comp_data->tables[i].table_init_size =
  395. module->import_tables[i].u.table.init_size;
  396. comp_data->tables[i].table_max_size =
  397. module->import_tables[i].u.table.max_size;
  398. comp_data->tables[i].possible_grow =
  399. module->import_tables[i].u.table.possible_grow;
  400. }
  401. else {
  402. j = i - module->import_table_count;
  403. comp_data->tables[i].elem_type = module->tables[j].elem_type;
  404. comp_data->tables[i].table_flags = module->tables[j].flags;
  405. comp_data->tables[i].table_init_size =
  406. module->tables[j].init_size;
  407. comp_data->tables[i].table_max_size =
  408. module->tables[j].max_size;
  409. comp_data->tables[i].possible_grow =
  410. module->tables[j].possible_grow;
  411. }
  412. }
  413. }
  414. /* Create table data segments */
  415. comp_data->table_init_data_count = module->table_seg_count;
  416. if (comp_data->table_init_data_count > 0
  417. && !(comp_data->table_init_data_list =
  418. aot_create_table_init_data_list(module)))
  419. goto fail;
  420. /* Create import globals */
  421. comp_data->import_global_count = module->import_global_count;
  422. if (comp_data->import_global_count > 0
  423. && !(comp_data->import_globals = aot_create_import_globals(
  424. module, &import_global_data_size, gc_enabled)))
  425. goto fail;
  426. /* Create globals */
  427. comp_data->global_count = module->global_count;
  428. if (comp_data->global_count
  429. && !(comp_data->globals =
  430. aot_create_globals(module, import_global_data_size,
  431. &global_data_size, gc_enabled)))
  432. goto fail;
  433. comp_data->global_data_size = import_global_data_size + global_data_size;
  434. /* Create function types */
  435. comp_data->type_count = module->type_count;
  436. if (comp_data->type_count && !(comp_data->types = aot_create_types(module)))
  437. goto fail;
  438. /* Create import functions */
  439. comp_data->import_func_count = module->import_function_count;
  440. if (comp_data->import_func_count
  441. && !(comp_data->import_funcs = aot_create_import_funcs(module)))
  442. goto fail;
  443. /* Create functions */
  444. comp_data->func_count = module->function_count;
  445. if (comp_data->func_count && !(comp_data->funcs = aot_create_funcs(module)))
  446. goto fail;
  447. #if WASM_ENABLE_CUSTOM_NAME_SECTION != 0
  448. /* Create custom name section */
  449. comp_data->name_section_buf = module->name_section_buf;
  450. comp_data->name_section_buf_end = module->name_section_buf_end;
  451. #endif
  452. /* Create aux data/heap/stack information */
  453. comp_data->aux_data_end_global_index = module->aux_data_end_global_index;
  454. comp_data->aux_data_end = module->aux_data_end;
  455. comp_data->aux_heap_base_global_index = module->aux_heap_base_global_index;
  456. comp_data->aux_heap_base = module->aux_heap_base;
  457. comp_data->aux_stack_top_global_index = module->aux_stack_top_global_index;
  458. comp_data->aux_stack_bottom = module->aux_stack_bottom;
  459. comp_data->aux_stack_size = module->aux_stack_size;
  460. comp_data->start_func_index = module->start_function;
  461. comp_data->malloc_func_index = module->malloc_function;
  462. comp_data->free_func_index = module->free_function;
  463. comp_data->retain_func_index = module->retain_function;
  464. comp_data->wasm_module = module;
  465. return comp_data;
  466. fail:
  467. aot_destroy_comp_data(comp_data);
  468. return NULL;
  469. }
  470. void
  471. aot_destroy_comp_data(AOTCompData *comp_data)
  472. {
  473. if (!comp_data)
  474. return;
  475. if (comp_data->import_memories)
  476. wasm_runtime_free(comp_data->import_memories);
  477. if (comp_data->memories)
  478. wasm_runtime_free(comp_data->memories);
  479. if (comp_data->mem_init_data_list)
  480. aot_destroy_mem_init_data_list(comp_data->mem_init_data_list,
  481. comp_data->mem_init_data_count);
  482. if (comp_data->import_tables)
  483. wasm_runtime_free(comp_data->import_tables);
  484. if (comp_data->tables)
  485. wasm_runtime_free(comp_data->tables);
  486. if (comp_data->table_init_data_list)
  487. aot_destroy_table_init_data_list(comp_data->table_init_data_list,
  488. comp_data->table_init_data_count);
  489. if (comp_data->import_globals)
  490. wasm_runtime_free(comp_data->import_globals);
  491. if (comp_data->globals)
  492. wasm_runtime_free(comp_data->globals);
  493. if (comp_data->types)
  494. aot_destroy_types(comp_data->types, comp_data->type_count);
  495. if (comp_data->import_funcs)
  496. wasm_runtime_free(comp_data->import_funcs);
  497. if (comp_data->funcs)
  498. aot_destroy_funcs(comp_data->funcs, comp_data->func_count);
  499. if (comp_data->aot_name_section_buf)
  500. wasm_runtime_free(comp_data->aot_name_section_buf);
  501. wasm_runtime_free(comp_data);
  502. }