memory64_atomic_test.cc 13 KB

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