math.wast 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334
  1. ;;-------------------------------------------------------------------------------------------------------
  2. ;; Copyright (C) Microsoft Corporation and contributors. All rights reserved.
  3. ;; Licensed under the MIT license. See LICENSE.txt file in the project root for full license information.
  4. ;;-------------------------------------------------------------------------------------------------------
  5. (module
  6. (import "dummy" "memory" (memory 1))
  7. (func (export "func_i8x16_shuffle_test0")
  8. (local $v1 m128) (local $v2 m128)
  9. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  10. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  11. (m128.store offset=0 (i32.const 0)
  12. (v8x16.shuffle
  13. (get_local $v1) (get_local $v2)
  14. (i32.const 31) (i32.const 30) (i32.const 29) (i32.const 28)
  15. (i32.const 1) (i32.const 17) (i32.const 2) (i32.const 19)
  16. (i32.const 3) (i32.const 4) (i32.const 5) (i32.const 6)
  17. (i32.const 21) (i32.const 20) (i32.const 11) (i32.const 10)
  18. )
  19. )
  20. )
  21. (func (export "func_i8x16_shuffle_test1")
  22. (local $v1 m128) (local $v2 m128)
  23. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  24. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  25. (m128.store offset=0 (i32.const 0)
  26. (v8x16.shuffle
  27. (get_local $v1) (get_local $v2)
  28. (i32.const 16) (i32.const 17) (i32.const 18) (i32.const 19)
  29. (i32.const 20) (i32.const 21) (i32.const 22) (i32.const 23)
  30. (i32.const 0) (i32.const 1) (i32.const 2) (i32.const 3)
  31. (i32.const 4) (i32.const 5) (i32.const 6) (i32.const 7)
  32. )
  33. )
  34. )
  35. (func (export "func_i8x16_shuffle_test2")
  36. (local $v1 m128) (local $v2 m128)
  37. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  38. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  39. (m128.store offset=0 (i32.const 0)
  40. (v8x16.shuffle
  41. (get_local $v1) (get_local $v2)
  42. (i32.const 0) (i32.const 17) (i32.const 1) (i32.const 18)
  43. (i32.const 2) (i32.const 19) (i32.const 3) (i32.const 20)
  44. (i32.const 4) (i32.const 21) (i32.const 5) (i32.const 22)
  45. (i32.const 6) (i32.const 23) (i32.const 7) (i32.const 24)
  46. )
  47. )
  48. )
  49. (func (export "func_i32x4_bitselect") (local $v1 m128) (local $v2 m128) (local $mask m128)
  50. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  51. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  52. (set_local $mask (m128.load offset=0 align=4 (i32.const 32)))
  53. (m128.store offset=0 (i32.const 0) (m128.bitselect (get_local $v1) (get_local $v2) (get_local $mask)))
  54. )
  55. (func (export "func_i32x4_add") (local $v1 m128) (local $v2 m128)
  56. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  57. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  58. (m128.store offset=0 (i32.const 0) (i32x4.add (get_local $v1) (get_local $v2)))
  59. )
  60. (func (export "func_i32x4_sub") (local $v1 m128) (local $v2 m128)
  61. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  62. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  63. (m128.store offset=0 (i32.const 0) (i32x4.sub (get_local $v1) (get_local $v2)))
  64. )
  65. (func (export "func_i32x4_mul") (local $v1 m128) (local $v2 m128)
  66. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  67. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  68. (m128.store offset=0 (i32.const 0) (i32x4.mul (get_local $v1) (get_local $v2)))
  69. )
  70. (func (export "func_i32x4_shl") (param $shamt i32) (local $v1 m128) (local $v2 m128)
  71. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  72. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  73. (m128.store offset=0 (i32.const 0) (i32x4.shl (get_local $v1) (get_local $shamt)))
  74. )
  75. (func (export "func_i32x4_shr_s") (param $shamt i32) (local $v1 m128) (local $v2 m128)
  76. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  77. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  78. (m128.store offset=0 (i32.const 0) (i32x4.shr_s (get_local $v1) (get_local $shamt)))
  79. )
  80. (func (export "func_i32x4_shr_u") (param $shamt i32) (local $v1 m128) (local $v2 m128)
  81. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  82. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  83. (m128.store offset=0 (i32.const 0) (i32x4.shr_u (get_local $v1) (get_local $shamt)))
  84. )
  85. (func (export "func_i16x8_add") (local $v1 m128) (local $v2 m128)
  86. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  87. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  88. (m128.store offset=0 (i32.const 0) (i16x8.add (get_local $v1) (get_local $v2)))
  89. )
  90. (func (export "func_i16x8_addsaturate_s") (local $v1 m128) (local $v2 m128)
  91. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  92. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  93. (m128.store offset=0 (i32.const 0) (i16x8.addsaturate_s (get_local $v1) (get_local $v2)))
  94. )
  95. (func (export "func_i16x8_addsaturate_u") (local $v1 m128) (local $v2 m128)
  96. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  97. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  98. (m128.store offset=0 (i32.const 0) (i16x8.addsaturate_u (get_local $v1) (get_local $v2)))
  99. )
  100. (func (export "func_i16x8_sub") (local $v1 m128) (local $v2 m128)
  101. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  102. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  103. (m128.store offset=0 (i32.const 0) (i16x8.sub (get_local $v1) (get_local $v2)))
  104. )
  105. (func (export "func_i16x8_subsaturate_s") (local $v1 m128) (local $v2 m128)
  106. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  107. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  108. (m128.store offset=0 (i32.const 0) (i16x8.subsaturate_s (get_local $v1) (get_local $v2)))
  109. )
  110. (func (export "func_i16x8_subsaturate_u") (local $v1 m128) (local $v2 m128)
  111. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  112. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  113. (m128.store offset=0 (i32.const 0) (i16x8.subsaturate_u (get_local $v1) (get_local $v2)))
  114. )
  115. (func (export "func_i16x8_mul") (local $v1 m128) (local $v2 m128)
  116. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  117. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  118. (m128.store offset=0 (i32.const 0) (i16x8.mul (get_local $v1) (get_local $v2)))
  119. )
  120. (func (export "func_i16x8_shl") (param $shamt i32) (local $v1 m128) (local $v2 m128)
  121. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  122. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  123. (m128.store offset=0 (i32.const 0) (i16x8.shl (get_local $v1) (get_local $shamt)))
  124. )
  125. (func (export "func_i16x8_shr_s") (param $shamt i32) (local $v1 m128) (local $v2 m128)
  126. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  127. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  128. (m128.store offset=0 (i32.const 0) (i16x8.shr_s (get_local $v1) (get_local $shamt)))
  129. )
  130. (func (export "func_i16x8_shr_u") (param $shamt i32) (local $v1 m128) (local $v2 m128)
  131. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  132. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  133. (m128.store offset=0 (i32.const 0) (i16x8.shr_u (get_local $v1) (get_local $shamt)))
  134. )
  135. (func (export "func_i8x16_add") (local $v1 m128) (local $v2 m128)
  136. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  137. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  138. (m128.store offset=0 (i32.const 0) (i8x16.add (get_local $v1) (get_local $v2)))
  139. )
  140. (func (export "func_i8x16_addsaturate_s") (local $v1 m128) (local $v2 m128)
  141. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  142. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  143. (m128.store offset=0 (i32.const 0) (i8x16.addsaturate_s (get_local $v1) (get_local $v2)))
  144. )
  145. (func (export "func_i8x16_addsaturate_u") (local $v1 m128) (local $v2 m128)
  146. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  147. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  148. (m128.store offset=0 (i32.const 0) (i8x16.addsaturate_u (get_local $v1) (get_local $v2)))
  149. )
  150. (func (export "func_i8x16_sub") (local $v1 m128) (local $v2 m128)
  151. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  152. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  153. (m128.store offset=0 (i32.const 0) (i8x16.sub (get_local $v1) (get_local $v2)))
  154. )
  155. (func (export "func_i8x16_subsaturate_s") (local $v1 m128) (local $v2 m128)
  156. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  157. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  158. (m128.store offset=0 (i32.const 0) (i8x16.subsaturate_s (get_local $v1) (get_local $v2)))
  159. )
  160. (func (export "func_i8x16_subsaturate_u") (local $v1 m128) (local $v2 m128)
  161. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  162. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  163. (m128.store offset=0 (i32.const 0) (i8x16.subsaturate_u (get_local $v1) (get_local $v2)))
  164. )
  165. (func (export "func_i8x16_mul") (local $v1 m128) (local $v2 m128)
  166. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  167. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  168. (m128.store offset=0 (i32.const 0) (i8x16.mul (get_local $v1) (get_local $v2)))
  169. )
  170. (func (export "func_i8x16_shl") (param $shamt i32) (local $v1 m128) (local $v2 m128)
  171. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  172. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  173. (m128.store offset=0 (i32.const 0) (i8x16.shl (get_local $v1) (get_local $shamt)))
  174. )
  175. (func (export "func_i8x16_shr_s") (param $shamt i32) (local $v1 m128) (local $v2 m128)
  176. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  177. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  178. (m128.store offset=0 (i32.const 0) (i8x16.shr_s (get_local $v1) (get_local $shamt)))
  179. )
  180. (func (export "func_i8x16_shr_u") (param $shamt i32) (local $v1 m128) (local $v2 m128)
  181. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  182. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  183. (m128.store offset=0 (i32.const 0) (i8x16.shr_u (get_local $v1) (get_local $shamt)))
  184. )
  185. (func (export "func_f32x4_add") (local $v1 m128) (local $v2 m128)
  186. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  187. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  188. (m128.store offset=0 (i32.const 0) (f32x4.add (get_local $v1) (get_local $v2)))
  189. )
  190. (func (export "func_f32x4_sub") (local $v1 m128) (local $v2 m128)
  191. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  192. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  193. (m128.store offset=0 (i32.const 0) (f32x4.sub (get_local $v1) (get_local $v2)))
  194. )
  195. (func (export "func_f32x4_mul") (local $v1 m128) (local $v2 m128)
  196. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  197. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  198. (m128.store offset=0 (i32.const 0) (f32x4.mul (get_local $v1) (get_local $v2)))
  199. )
  200. (func (export "func_f32x4_div") (local $v1 m128) (local $v2 m128)
  201. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  202. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  203. (m128.store offset=0 (i32.const 0) (f32x4.div (get_local $v1) (get_local $v2)))
  204. )
  205. (func (export "func_f32x4_min") (local $v1 m128) (local $v2 m128)
  206. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  207. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  208. (m128.store offset=0 (i32.const 0) (f32x4.min (get_local $v1) (get_local $v2)))
  209. )
  210. (func (export "func_f32x4_max") (local $v1 m128) (local $v2 m128)
  211. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  212. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  213. (m128.store offset=0 (i32.const 0) (f32x4.max (get_local $v1) (get_local $v2)))
  214. )
  215. (func (export "func_f32x4_abs") (local $v1 m128)
  216. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  217. (m128.store offset=0 (i32.const 0) (f32x4.abs (get_local $v1)))
  218. )
  219. (func (export "func_f32x4_sqrt") (local $v1 m128)
  220. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  221. (m128.store offset=0 (i32.const 0) (f32x4.sqrt (get_local $v1)))
  222. )
  223. (func (export "func_f64x2_add") (local $v1 m128) (local $v2 m128)
  224. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  225. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  226. (m128.store offset=0 (i32.const 0) (f64x2.add (get_local $v1) (get_local $v2)))
  227. )
  228. (func (export "func_f64x2_sub") (local $v1 m128) (local $v2 m128)
  229. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  230. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  231. (m128.store offset=0 (i32.const 0) (f64x2.sub (get_local $v1) (get_local $v2)))
  232. )
  233. (func (export "func_f64x2_mul") (local $v1 m128) (local $v2 m128)
  234. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  235. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  236. (m128.store offset=0 (i32.const 0) (f64x2.mul (get_local $v1) (get_local $v2)))
  237. )
  238. (func (export "func_f64x2_div") (local $v1 m128) (local $v2 m128)
  239. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  240. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  241. (m128.store offset=0 (i32.const 0) (f64x2.div (get_local $v1) (get_local $v2)))
  242. )
  243. (func (export "func_f64x2_min") (local $v1 m128) (local $v2 m128)
  244. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  245. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  246. (m128.store offset=0 (i32.const 0) (f64x2.min (get_local $v1) (get_local $v2)))
  247. )
  248. (func (export "func_f64x2_max") (local $v1 m128) (local $v2 m128)
  249. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  250. (set_local $v2 (m128.load offset=0 align=4 (i32.const 16)))
  251. (m128.store offset=0 (i32.const 0) (f64x2.max (get_local $v1) (get_local $v2)))
  252. )
  253. (func (export "func_f64x2_abs") (local $v1 m128)
  254. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  255. (m128.store offset=0 (i32.const 0) (f64x2.abs (get_local $v1)))
  256. )
  257. (func (export "func_f64x2_sqrt") (local $v1 m128)
  258. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  259. (m128.store offset=0 (i32.const 0) (f64x2.sqrt (get_local $v1)))
  260. )
  261. (func (export "func_i64x2_trunc_s") (local $v1 m128)
  262. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  263. (m128.store offset=0 (i32.const 0) (i64x2.trunc_s (get_local $v1)))
  264. )
  265. (func (export "func_i64x2_trunc_u") (local $v1 m128)
  266. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  267. (m128.store offset=0 (i32.const 0) (i64x2.trunc_u (get_local $v1)))
  268. )
  269. (func (export "func_f64x2_convert_s") (local $v1 m128)
  270. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  271. (m128.store offset=0 (i32.const 0) (f64x2.convert_s (get_local $v1)))
  272. )
  273. (func (export "func_f64x2_convert_u") (local $v1 m128)
  274. (set_local $v1 (m128.load offset=0 align=4 (i32.const 0)))
  275. (m128.store offset=0 (i32.const 0) (f64x2.convert_u (get_local $v1)))
  276. )
  277. )