memory64_atomic_test.cc 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355
  1. /*
  2. * Copyright (C) 2019 Intel Corporation. All rights reserved.
  3. * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  4. */
  5. #include "memory64_common.h"
  6. // To use a test fixture and Value Parameterized Tests,
  7. // derive a class from testing::TestWithParam.
  8. class memory64_atomic_test_suite : public testing::TestWithParam<RunningMode>
  9. {
  10. protected:
  11. bool load_wasm_file(const char *wasm_file)
  12. {
  13. const char *file;
  14. unsigned char *wasm_file_buf;
  15. uint32 wasm_file_size;
  16. file = wasm_file;
  17. wasm_file_buf =
  18. (unsigned char *)bh_read_file_to_buffer(file, &wasm_file_size);
  19. if (!wasm_file_buf)
  20. goto fail;
  21. if (!(module = wasm_runtime_load(wasm_file_buf, wasm_file_size,
  22. error_buf, sizeof(error_buf)))) {
  23. printf("Load wasm module failed. error: %s\n", error_buf);
  24. goto fail;
  25. }
  26. return true;
  27. fail:
  28. if (!module)
  29. wasm_runtime_unload(module);
  30. return false;
  31. }
  32. bool init_exec_env()
  33. {
  34. if (!(module_inst =
  35. wasm_runtime_instantiate(module, stack_size, heap_size,
  36. error_buf, sizeof(error_buf)))) {
  37. printf("Instantiate wasm module failed. error: %s\n", error_buf);
  38. goto fail;
  39. }
  40. if (!(exec_env =
  41. wasm_runtime_create_exec_env(module_inst, stack_size))) {
  42. printf("Create wasm execution environment failed.\n");
  43. goto fail;
  44. }
  45. return true;
  46. fail:
  47. if (exec_env)
  48. wasm_runtime_destroy_exec_env(exec_env);
  49. if (module_inst)
  50. wasm_runtime_unload(module);
  51. return false;
  52. }
  53. void destory_exec_env()
  54. {
  55. wasm_runtime_destroy_exec_env(exec_env);
  56. wasm_runtime_deinstantiate(module_inst);
  57. wasm_runtime_unload(module);
  58. }
  59. public:
  60. // If your test fixture defines SetUpTestSuite() or TearDownTestSuite()
  61. // they must be declared public rather than protected in order to use
  62. // TEST_P.
  63. // virtual void SetUp() will be called before each test is run. You
  64. // should define it if you need to initialize the variables.
  65. // Otherwise, this can be skipped.
  66. virtual void SetUp()
  67. {
  68. memset(&init_args, 0, sizeof(RuntimeInitArgs));
  69. init_args.mem_alloc_type = Alloc_With_Pool;
  70. init_args.mem_alloc_option.pool.heap_buf = global_heap_buf;
  71. init_args.mem_alloc_option.pool.heap_size = sizeof(global_heap_buf);
  72. ASSERT_EQ(wasm_runtime_full_init(&init_args), true);
  73. ASSERT_TRUE(load_wasm_file("atomic_opcodes.wasm"));
  74. ASSERT_TRUE(init_exec_env());
  75. running_mode = GetParam();
  76. ASSERT_TRUE(wasm_runtime_set_running_mode(module_inst, running_mode));
  77. ASSERT_EQ(running_mode, wasm_runtime_get_running_mode(module_inst));
  78. for (auto &iter : func_map) {
  79. iter.second =
  80. wasm_runtime_lookup_function(module_inst, iter.first.c_str());
  81. ASSERT_TRUE(iter.second != NULL);
  82. }
  83. cleanup = true;
  84. }
  85. static void SetUpTestCase() {}
  86. // virtual void TearDown() will be called after each test is run.
  87. // You should define it if there is cleanup work to do. Otherwise,
  88. // you don't have to provide it.
  89. //
  90. virtual void TearDown()
  91. {
  92. if (cleanup) {
  93. destory_exec_env();
  94. wasm_runtime_destroy();
  95. cleanup = false;
  96. }
  97. }
  98. static void TearDownTestCase() {}
  99. RuntimeInitArgs init_args;
  100. wasm_module_t module = NULL;
  101. wasm_module_inst_t module_inst = NULL;
  102. wasm_exec_env_t exec_env = NULL;
  103. RunningMode running_mode;
  104. char error_buf[128];
  105. char global_heap_buf[512 * 1024];
  106. uint32_t stack_size = 8092, heap_size = 8092;
  107. bool cleanup = true;
  108. std::unordered_map<std::string, wasm_function_inst_t> func_map = {
  109. { "i32_atomic_store", nullptr },
  110. { "i32_atomic_store8", nullptr },
  111. { "i32_atomic_store16", nullptr },
  112. { "i64_atomic_store", nullptr },
  113. { "i64_atomic_store8", nullptr },
  114. { "i64_atomic_store16", nullptr },
  115. { "i64_atomic_store32", nullptr },
  116. { "i32_atomic_load", nullptr },
  117. { "i32_atomic_load8_u", nullptr },
  118. { "i32_atomic_load16_u", nullptr },
  119. { "i64_atomic_load", nullptr },
  120. { "i64_atomic_load8_u", nullptr },
  121. { "i64_atomic_load16_u", nullptr },
  122. { "i64_atomic_load32_u", nullptr },
  123. { "i32_atomic_rmw_add", nullptr },
  124. { "i32_atomic_rmw8_add_u", nullptr },
  125. { "i32_atomic_rmw16_add_u", nullptr },
  126. { "i64_atomic_rmw_add", nullptr },
  127. { "i64_atomic_rmw8_add_u", nullptr },
  128. { "i64_atomic_rmw16_add_u", nullptr },
  129. { "i64_atomic_rmw32_add_u", nullptr },
  130. { "i64_atomic_rmw_cmpxchg", nullptr },
  131. };
  132. uint32_t wasm_argv[6], i32;
  133. uint64_t i64;
  134. };
  135. TEST_P(memory64_atomic_test_suite, atomic_opcodes_i64_st)
  136. {
  137. // store at 0x2000, with value 0xbeefdead
  138. PUT_I64_TO_ADDR(wasm_argv, 0x2000);
  139. PUT_I64_TO_ADDR(wasm_argv + 2, 0xcafedeadbeefdead);
  140. ASSERT_TRUE(wasm_runtime_call_wasm(exec_env, func_map["i64_atomic_store"],
  141. 4, wasm_argv));
  142. ASSERT_TRUE(wasm_runtime_call_wasm(exec_env, func_map["i64_atomic_load"], 2,
  143. wasm_argv));
  144. // check return value: 0xcafedeadbeefdead:i64
  145. i64 = 0xcafedeadbeefdead;
  146. ASSERT_EQ(i64, GET_U64_FROM_ADDR(wasm_argv));
  147. // store at 0x2000, with value 0xbeefbeef
  148. PUT_I64_TO_ADDR(wasm_argv, 0x2000);
  149. PUT_I64_TO_ADDR(wasm_argv + 2, 0xdeadbeef);
  150. ASSERT_TRUE(wasm_runtime_call_wasm(exec_env, func_map["i64_atomic_store32"],
  151. 4, wasm_argv));
  152. ASSERT_TRUE(wasm_runtime_call_wasm(exec_env, func_map["i64_atomic_load"], 2,
  153. wasm_argv));
  154. // check return value: 0xcafedeaddeadbeef:i64
  155. i64 = 0xcafedeaddeadbeef;
  156. ASSERT_EQ(i64, GET_U64_FROM_ADDR(wasm_argv));
  157. // store at 0x2000, with value 0xcafe
  158. PUT_I64_TO_ADDR(wasm_argv, 0x2000);
  159. PUT_I64_TO_ADDR(wasm_argv + 2, 0xcafe);
  160. ASSERT_TRUE(wasm_runtime_call_wasm(exec_env, func_map["i64_atomic_store16"],
  161. 4, wasm_argv));
  162. ASSERT_TRUE(wasm_runtime_call_wasm(exec_env, func_map["i64_atomic_load"], 2,
  163. wasm_argv));
  164. // check return value: 0xcafedeaddeadcafe:i64
  165. i64 = 0xcafedeaddeadcafe;
  166. ASSERT_EQ(i64, GET_U64_FROM_ADDR(wasm_argv));
  167. // store at 0x2000, with value 0xcafe
  168. PUT_I64_TO_ADDR(wasm_argv, 0x2000);
  169. PUT_I64_TO_ADDR(wasm_argv + 2, 0xaa);
  170. ASSERT_TRUE(wasm_runtime_call_wasm(exec_env, func_map["i64_atomic_store8"],
  171. 4, wasm_argv));
  172. ASSERT_TRUE(wasm_runtime_call_wasm(exec_env, func_map["i64_atomic_load"], 2,
  173. wasm_argv));
  174. // check return value: 0xcafedeaddeadcaaa:i64
  175. i64 = 0xcafedeaddeadcaaa;
  176. ASSERT_EQ(i64, GET_U64_FROM_ADDR(wasm_argv));
  177. }
  178. TEST_P(memory64_atomic_test_suite, atomic_opcodes_i32_st)
  179. {
  180. // store at 0x1000, with value 0xbeefbeef
  181. PUT_I64_TO_ADDR(wasm_argv, 0x2000);
  182. PUT_I64_TO_ADDR(wasm_argv + 2, 0xaabbccdd);
  183. ASSERT_TRUE(wasm_runtime_call_wasm(exec_env, func_map["i32_atomic_store"],
  184. 4, wasm_argv));
  185. ASSERT_TRUE(wasm_runtime_call_wasm(exec_env, func_map["i32_atomic_load"], 2,
  186. wasm_argv));
  187. // check return value: 0xaabbccdd:i32
  188. i32 = 0xaabbccdd;
  189. ASSERT_EQ(i32, wasm_argv[0]);
  190. // store at 0x1000, with value 0xcafe
  191. PUT_I64_TO_ADDR(wasm_argv, 0x2000);
  192. PUT_I64_TO_ADDR(wasm_argv + 2, 0xcafe);
  193. ASSERT_TRUE(wasm_runtime_call_wasm(exec_env, func_map["i32_atomic_store16"],
  194. 4, wasm_argv));
  195. ASSERT_TRUE(wasm_runtime_call_wasm(exec_env, func_map["i32_atomic_load"], 2,
  196. wasm_argv));
  197. // check return value: 0xaabbcafe:i32
  198. i32 = 0xaabbcafe;
  199. ASSERT_EQ(i32, wasm_argv[0]);
  200. PUT_I64_TO_ADDR(wasm_argv, 0x2000);
  201. PUT_I64_TO_ADDR(wasm_argv + 2, 0xaa);
  202. ASSERT_TRUE(wasm_runtime_call_wasm(exec_env, func_map["i32_atomic_store8"],
  203. 4, wasm_argv));
  204. ASSERT_TRUE(wasm_runtime_call_wasm(exec_env, func_map["i32_atomic_load"], 2,
  205. wasm_argv));
  206. // check return value: 0xaabbcaaa:i32
  207. i32 = 0xaabbcaaa;
  208. ASSERT_EQ(i32, wasm_argv[0]);
  209. }
  210. TEST_P(memory64_atomic_test_suite, atomic_opcodes_i64_ld)
  211. {
  212. // from address 0, it's \01\02\03\04\05\06\07\08\09\0A\0B\0C\0D\0E\0F\10
  213. PUT_I64_TO_ADDR(wasm_argv, 0x0);
  214. ASSERT_TRUE(wasm_runtime_call_wasm(exec_env, func_map["i64_atomic_load"], 2,
  215. wasm_argv));
  216. // check return value: 0x0807060504030201:i64
  217. i64 = 0x0807060504030201;
  218. ASSERT_EQ(i64, GET_U64_FROM_ADDR(wasm_argv));
  219. PUT_I64_TO_ADDR(wasm_argv, 0x8);
  220. ASSERT_TRUE(wasm_runtime_call_wasm(
  221. exec_env, func_map["i64_atomic_load32_u"], 2, wasm_argv));
  222. // check return value: 0x0C0B0A09:i64
  223. i64 = 0x0C0B0A09;
  224. ASSERT_EQ(i64, GET_U64_FROM_ADDR(wasm_argv));
  225. PUT_I64_TO_ADDR(wasm_argv, 0x8);
  226. ASSERT_TRUE(wasm_runtime_call_wasm(
  227. exec_env, func_map["i64_atomic_load16_u"], 2, wasm_argv));
  228. // check return value: 0x0A09:i64
  229. i64 = 0x0A09;
  230. ASSERT_EQ(i64, GET_U64_FROM_ADDR(wasm_argv));
  231. PUT_I64_TO_ADDR(wasm_argv, 0x0A);
  232. ASSERT_TRUE(wasm_runtime_call_wasm(exec_env, func_map["i64_atomic_load8_u"],
  233. 2, wasm_argv));
  234. // check return value: 0x0B:i64
  235. i64 = 0x0B;
  236. ASSERT_EQ(i64, GET_U64_FROM_ADDR(wasm_argv));
  237. }
  238. TEST_P(memory64_atomic_test_suite, atomic_opcodes_i32_ld)
  239. {
  240. // from address 0, it's \01\02\03\04\05\06\07\08\09\0A\0B\0C\0D\0E\0F\10
  241. PUT_I64_TO_ADDR(wasm_argv, 0x0);
  242. ASSERT_TRUE(wasm_runtime_call_wasm(exec_env, func_map["i32_atomic_load"], 2,
  243. wasm_argv));
  244. // check return value: 0x04030201:i32
  245. i32 = 0x04030201;
  246. ASSERT_EQ(i32, wasm_argv[0]);
  247. PUT_I64_TO_ADDR(wasm_argv, 0x8);
  248. ASSERT_TRUE(wasm_runtime_call_wasm(
  249. exec_env, func_map["i32_atomic_load16_u"], 2, wasm_argv));
  250. // check return value: 0x0A09:i32
  251. i32 = 0x0A09;
  252. ASSERT_EQ(i32, wasm_argv[0]);
  253. PUT_I64_TO_ADDR(wasm_argv, 0xA);
  254. ASSERT_TRUE(wasm_runtime_call_wasm(exec_env, func_map["i32_atomic_load8_u"],
  255. 2, wasm_argv));
  256. // check return value: 0x0B:i32
  257. i32 = 0x0B;
  258. ASSERT_EQ(i32, wasm_argv[0]);
  259. }
  260. TEST_P(memory64_atomic_test_suite, atomic_opcodes_i64_rmw_add)
  261. {
  262. // from address 0, it's \01\02\03\04\05\06\07\08\09\0A\0B\0C\0D\0E\0F\10
  263. PUT_I64_TO_ADDR(wasm_argv, 0x8);
  264. PUT_I64_TO_ADDR(wasm_argv + 2, 0x1010101020202020);
  265. ASSERT_TRUE(wasm_runtime_call_wasm(exec_env, func_map["i64_atomic_rmw_add"],
  266. 4, wasm_argv));
  267. i64 = 0x100F0E0D0C0B0A09;
  268. ASSERT_EQ(i64, GET_U64_FROM_ADDR(wasm_argv));
  269. PUT_I64_TO_ADDR(wasm_argv, 0x8);
  270. PUT_I64_TO_ADDR(wasm_argv + 2, 0x10103030);
  271. ASSERT_TRUE(wasm_runtime_call_wasm(
  272. exec_env, func_map["i64_atomic_rmw32_add_u"], 4, wasm_argv));
  273. i64 = 0x2C2B2A29;
  274. ASSERT_EQ(i64, GET_U64_FROM_ADDR(wasm_argv));
  275. PUT_I64_TO_ADDR(wasm_argv, 0x8);
  276. PUT_I64_TO_ADDR(wasm_argv + 2, 0x1020);
  277. ASSERT_TRUE(wasm_runtime_call_wasm(
  278. exec_env, func_map["i64_atomic_rmw16_add_u"], 4, wasm_argv));
  279. i64 = 0x5A59;
  280. ASSERT_EQ(i64, GET_U64_FROM_ADDR(wasm_argv));
  281. PUT_I64_TO_ADDR(wasm_argv, 0x8);
  282. PUT_I64_TO_ADDR(wasm_argv + 2, 0x30);
  283. ASSERT_TRUE(wasm_runtime_call_wasm(
  284. exec_env, func_map["i64_atomic_rmw8_add_u"], 4, wasm_argv));
  285. i64 = 0x79;
  286. ASSERT_EQ(i64, GET_U64_FROM_ADDR(wasm_argv));
  287. PUT_I64_TO_ADDR(wasm_argv, 0x8);
  288. ASSERT_TRUE(wasm_runtime_call_wasm(exec_env, func_map["i64_atomic_load"], 2,
  289. wasm_argv));
  290. i64 = 0x201F1E1D3C3B6AA9;
  291. ASSERT_EQ(i64, GET_U64_FROM_ADDR(wasm_argv));
  292. }
  293. TEST_P(memory64_atomic_test_suite, atomic_opcodes_i64_rmw_cmpxchg)
  294. {
  295. // from address 0, it's \01\02\03\04\05\06\07\08\09\0A\0B\0C\0D\0E\0F\10
  296. PUT_I64_TO_ADDR(wasm_argv, 0x8);
  297. // old
  298. PUT_I64_TO_ADDR(wasm_argv + 2, 0x100F0E0D0C0B0A09);
  299. // new
  300. PUT_I64_TO_ADDR(wasm_argv + 4, 0xdeadcafebeefdead);
  301. ASSERT_TRUE(wasm_runtime_call_wasm(exec_env, func_map["i64_atomic_rmw_cmpxchg"],
  302. 6, wasm_argv));
  303. i64 = 0x100F0E0D0C0B0A09;
  304. ASSERT_EQ(i64, GET_U64_FROM_ADDR(wasm_argv));
  305. PUT_I64_TO_ADDR(wasm_argv, 0x8);
  306. ASSERT_TRUE(wasm_runtime_call_wasm(exec_env, func_map["i64_atomic_load"], 2,
  307. wasm_argv));
  308. i64 = 0xdeadcafebeefdead;
  309. ASSERT_EQ(i64, GET_U64_FROM_ADDR(wasm_argv));
  310. }
  311. INSTANTIATE_TEST_CASE_P(RunningMode, memory64_atomic_test_suite,
  312. testing::ValuesIn(running_mode_supported));