index.js 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391
  1. var illegalop = "illegal";
  2. var magicModuleHeader = [0x00, 0x61, 0x73, 0x6d];
  3. var moduleVersion = [0x01, 0x00, 0x00, 0x00];
  4. function invertMap(obj) {
  5. var keyModifierFn = arguments.length > 1 && arguments[1] !== undefined ? arguments[1] : function (k) {
  6. return k;
  7. };
  8. var result = {};
  9. var keys = Object.keys(obj);
  10. for (var i = 0, length = keys.length; i < length; i++) {
  11. result[keyModifierFn(obj[keys[i]])] = keys[i];
  12. }
  13. return result;
  14. }
  15. function createSymbolObject(name
  16. /*: string */
  17. , object
  18. /*: string */
  19. )
  20. /*: Symbol*/
  21. {
  22. var numberOfArgs
  23. /*: number*/
  24. = arguments.length > 2 && arguments[2] !== undefined ? arguments[2] : 0;
  25. return {
  26. name: name,
  27. object: object,
  28. numberOfArgs: numberOfArgs
  29. };
  30. }
  31. function createSymbol(name
  32. /*: string */
  33. )
  34. /*: Symbol*/
  35. {
  36. var numberOfArgs
  37. /*: number*/
  38. = arguments.length > 1 && arguments[1] !== undefined ? arguments[1] : 0;
  39. return {
  40. name: name,
  41. numberOfArgs: numberOfArgs
  42. };
  43. }
  44. var types = {
  45. func: 0x60,
  46. result: 0x40
  47. };
  48. var exportTypes = {
  49. 0x00: "Func",
  50. 0x01: "Table",
  51. 0x02: "Mem",
  52. 0x03: "Global"
  53. };
  54. var exportTypesByName = invertMap(exportTypes);
  55. var valtypes = {
  56. 0x7f: "i32",
  57. 0x7e: "i64",
  58. 0x7d: "f32",
  59. 0x7c: "f64",
  60. 0x7b: "v128"
  61. };
  62. var valtypesByString = invertMap(valtypes);
  63. var tableTypes = {
  64. 0x70: "anyfunc"
  65. };
  66. var blockTypes = Object.assign({}, valtypes, {
  67. // https://webassembly.github.io/spec/core/binary/types.html#binary-blocktype
  68. 0x40: null,
  69. // https://webassembly.github.io/spec/core/binary/types.html#binary-valtype
  70. 0x7f: "i32",
  71. 0x7e: "i64",
  72. 0x7d: "f32",
  73. 0x7c: "f64"
  74. });
  75. var globalTypes = {
  76. 0x00: "const",
  77. 0x01: "var"
  78. };
  79. var globalTypesByString = invertMap(globalTypes);
  80. var importTypes = {
  81. 0x00: "func",
  82. 0x01: "table",
  83. 0x02: "mem",
  84. 0x03: "global"
  85. };
  86. var sections = {
  87. custom: 0,
  88. type: 1,
  89. import: 2,
  90. func: 3,
  91. table: 4,
  92. memory: 5,
  93. global: 6,
  94. export: 7,
  95. start: 8,
  96. element: 9,
  97. code: 10,
  98. data: 11
  99. };
  100. var symbolsByByte = {
  101. 0x00: createSymbol("unreachable"),
  102. 0x01: createSymbol("nop"),
  103. 0x02: createSymbol("block"),
  104. 0x03: createSymbol("loop"),
  105. 0x04: createSymbol("if"),
  106. 0x05: createSymbol("else"),
  107. 0x06: illegalop,
  108. 0x07: illegalop,
  109. 0x08: illegalop,
  110. 0x09: illegalop,
  111. 0x0a: illegalop,
  112. 0x0b: createSymbol("end"),
  113. 0x0c: createSymbol("br", 1),
  114. 0x0d: createSymbol("br_if", 1),
  115. 0x0e: createSymbol("br_table"),
  116. 0x0f: createSymbol("return"),
  117. 0x10: createSymbol("call", 1),
  118. 0x11: createSymbol("call_indirect", 2),
  119. 0x12: illegalop,
  120. 0x13: illegalop,
  121. 0x14: illegalop,
  122. 0x15: illegalop,
  123. 0x16: illegalop,
  124. 0x17: illegalop,
  125. 0x18: illegalop,
  126. 0x19: illegalop,
  127. 0x1a: createSymbol("drop"),
  128. 0x1b: createSymbol("select"),
  129. 0x1c: illegalop,
  130. 0x1d: illegalop,
  131. 0x1e: illegalop,
  132. 0x1f: illegalop,
  133. 0x20: createSymbol("get_local", 1),
  134. 0x21: createSymbol("set_local", 1),
  135. 0x22: createSymbol("tee_local", 1),
  136. 0x23: createSymbol("get_global", 1),
  137. 0x24: createSymbol("set_global", 1),
  138. 0x25: illegalop,
  139. 0x26: illegalop,
  140. 0x27: illegalop,
  141. 0x28: createSymbolObject("load", "u32", 1),
  142. 0x29: createSymbolObject("load", "u64", 1),
  143. 0x2a: createSymbolObject("load", "f32", 1),
  144. 0x2b: createSymbolObject("load", "f64", 1),
  145. 0x2c: createSymbolObject("load8_s", "u32", 1),
  146. 0x2d: createSymbolObject("load8_u", "u32", 1),
  147. 0x2e: createSymbolObject("load16_s", "u32", 1),
  148. 0x2f: createSymbolObject("load16_u", "u32", 1),
  149. 0x30: createSymbolObject("load8_s", "u64", 1),
  150. 0x31: createSymbolObject("load8_u", "u64", 1),
  151. 0x32: createSymbolObject("load16_s", "u64", 1),
  152. 0x33: createSymbolObject("load16_u", "u64", 1),
  153. 0x34: createSymbolObject("load32_s", "u64", 1),
  154. 0x35: createSymbolObject("load32_u", "u64", 1),
  155. 0x36: createSymbolObject("store", "u32", 1),
  156. 0x37: createSymbolObject("store", "u64", 1),
  157. 0x38: createSymbolObject("store", "f32", 1),
  158. 0x39: createSymbolObject("store", "f64", 1),
  159. 0x3a: createSymbolObject("store8", "u32", 1),
  160. 0x3b: createSymbolObject("store16", "u32", 1),
  161. 0x3c: createSymbolObject("store8", "u64", 1),
  162. 0x3d: createSymbolObject("store16", "u64", 1),
  163. 0x3e: createSymbolObject("store32", "u64", 1),
  164. 0x3f: createSymbolObject("current_memory"),
  165. 0x40: createSymbolObject("grow_memory"),
  166. 0x41: createSymbolObject("const", "i32", 1),
  167. 0x42: createSymbolObject("const", "i64", 1),
  168. 0x43: createSymbolObject("const", "f32", 1),
  169. 0x44: createSymbolObject("const", "f64", 1),
  170. 0x45: createSymbolObject("eqz", "i32"),
  171. 0x46: createSymbolObject("eq", "i32"),
  172. 0x47: createSymbolObject("ne", "i32"),
  173. 0x48: createSymbolObject("lt_s", "i32"),
  174. 0x49: createSymbolObject("lt_u", "i32"),
  175. 0x4a: createSymbolObject("gt_s", "i32"),
  176. 0x4b: createSymbolObject("gt_u", "i32"),
  177. 0x4c: createSymbolObject("le_s", "i32"),
  178. 0x4d: createSymbolObject("le_u", "i32"),
  179. 0x4e: createSymbolObject("ge_s", "i32"),
  180. 0x4f: createSymbolObject("ge_u", "i32"),
  181. 0x50: createSymbolObject("eqz", "i64"),
  182. 0x51: createSymbolObject("eq", "i64"),
  183. 0x52: createSymbolObject("ne", "i64"),
  184. 0x53: createSymbolObject("lt_s", "i64"),
  185. 0x54: createSymbolObject("lt_u", "i64"),
  186. 0x55: createSymbolObject("gt_s", "i64"),
  187. 0x56: createSymbolObject("gt_u", "i64"),
  188. 0x57: createSymbolObject("le_s", "i64"),
  189. 0x58: createSymbolObject("le_u", "i64"),
  190. 0x59: createSymbolObject("ge_s", "i64"),
  191. 0x5a: createSymbolObject("ge_u", "i64"),
  192. 0x5b: createSymbolObject("eq", "f32"),
  193. 0x5c: createSymbolObject("ne", "f32"),
  194. 0x5d: createSymbolObject("lt", "f32"),
  195. 0x5e: createSymbolObject("gt", "f32"),
  196. 0x5f: createSymbolObject("le", "f32"),
  197. 0x60: createSymbolObject("ge", "f32"),
  198. 0x61: createSymbolObject("eq", "f64"),
  199. 0x62: createSymbolObject("ne", "f64"),
  200. 0x63: createSymbolObject("lt", "f64"),
  201. 0x64: createSymbolObject("gt", "f64"),
  202. 0x65: createSymbolObject("le", "f64"),
  203. 0x66: createSymbolObject("ge", "f64"),
  204. 0x67: createSymbolObject("clz", "i32"),
  205. 0x68: createSymbolObject("ctz", "i32"),
  206. 0x69: createSymbolObject("popcnt", "i32"),
  207. 0x6a: createSymbolObject("add", "i32"),
  208. 0x6b: createSymbolObject("sub", "i32"),
  209. 0x6c: createSymbolObject("mul", "i32"),
  210. 0x6d: createSymbolObject("div_s", "i32"),
  211. 0x6e: createSymbolObject("div_u", "i32"),
  212. 0x6f: createSymbolObject("rem_s", "i32"),
  213. 0x70: createSymbolObject("rem_u", "i32"),
  214. 0x71: createSymbolObject("and", "i32"),
  215. 0x72: createSymbolObject("or", "i32"),
  216. 0x73: createSymbolObject("xor", "i32"),
  217. 0x74: createSymbolObject("shl", "i32"),
  218. 0x75: createSymbolObject("shr_s", "i32"),
  219. 0x76: createSymbolObject("shr_u", "i32"),
  220. 0x77: createSymbolObject("rotl", "i32"),
  221. 0x78: createSymbolObject("rotr", "i32"),
  222. 0x79: createSymbolObject("clz", "i64"),
  223. 0x7a: createSymbolObject("ctz", "i64"),
  224. 0x7b: createSymbolObject("popcnt", "i64"),
  225. 0x7c: createSymbolObject("add", "i64"),
  226. 0x7d: createSymbolObject("sub", "i64"),
  227. 0x7e: createSymbolObject("mul", "i64"),
  228. 0x7f: createSymbolObject("div_s", "i64"),
  229. 0x80: createSymbolObject("div_u", "i64"),
  230. 0x81: createSymbolObject("rem_s", "i64"),
  231. 0x82: createSymbolObject("rem_u", "i64"),
  232. 0x83: createSymbolObject("and", "i64"),
  233. 0x84: createSymbolObject("or", "i64"),
  234. 0x85: createSymbolObject("xor", "i64"),
  235. 0x86: createSymbolObject("shl", "i64"),
  236. 0x87: createSymbolObject("shr_s", "i64"),
  237. 0x88: createSymbolObject("shr_u", "i64"),
  238. 0x89: createSymbolObject("rotl", "i64"),
  239. 0x8a: createSymbolObject("rotr", "i64"),
  240. 0x8b: createSymbolObject("abs", "f32"),
  241. 0x8c: createSymbolObject("neg", "f32"),
  242. 0x8d: createSymbolObject("ceil", "f32"),
  243. 0x8e: createSymbolObject("floor", "f32"),
  244. 0x8f: createSymbolObject("trunc", "f32"),
  245. 0x90: createSymbolObject("nearest", "f32"),
  246. 0x91: createSymbolObject("sqrt", "f32"),
  247. 0x92: createSymbolObject("add", "f32"),
  248. 0x93: createSymbolObject("sub", "f32"),
  249. 0x94: createSymbolObject("mul", "f32"),
  250. 0x95: createSymbolObject("div", "f32"),
  251. 0x96: createSymbolObject("min", "f32"),
  252. 0x97: createSymbolObject("max", "f32"),
  253. 0x98: createSymbolObject("copysign", "f32"),
  254. 0x99: createSymbolObject("abs", "f64"),
  255. 0x9a: createSymbolObject("neg", "f64"),
  256. 0x9b: createSymbolObject("ceil", "f64"),
  257. 0x9c: createSymbolObject("floor", "f64"),
  258. 0x9d: createSymbolObject("trunc", "f64"),
  259. 0x9e: createSymbolObject("nearest", "f64"),
  260. 0x9f: createSymbolObject("sqrt", "f64"),
  261. 0xa0: createSymbolObject("add", "f64"),
  262. 0xa1: createSymbolObject("sub", "f64"),
  263. 0xa2: createSymbolObject("mul", "f64"),
  264. 0xa3: createSymbolObject("div", "f64"),
  265. 0xa4: createSymbolObject("min", "f64"),
  266. 0xa5: createSymbolObject("max", "f64"),
  267. 0xa6: createSymbolObject("copysign", "f64"),
  268. 0xa7: createSymbolObject("wrap/i64", "i32"),
  269. 0xa8: createSymbolObject("trunc_s/f32", "i32"),
  270. 0xa9: createSymbolObject("trunc_u/f32", "i32"),
  271. 0xaa: createSymbolObject("trunc_s/f64", "i32"),
  272. 0xab: createSymbolObject("trunc_u/f64", "i32"),
  273. 0xac: createSymbolObject("extend_s/i32", "i64"),
  274. 0xad: createSymbolObject("extend_u/i32", "i64"),
  275. 0xae: createSymbolObject("trunc_s/f32", "i64"),
  276. 0xaf: createSymbolObject("trunc_u/f32", "i64"),
  277. 0xb0: createSymbolObject("trunc_s/f64", "i64"),
  278. 0xb1: createSymbolObject("trunc_u/f64", "i64"),
  279. 0xb2: createSymbolObject("convert_s/i32", "f32"),
  280. 0xb3: createSymbolObject("convert_u/i32", "f32"),
  281. 0xb4: createSymbolObject("convert_s/i64", "f32"),
  282. 0xb5: createSymbolObject("convert_u/i64", "f32"),
  283. 0xb6: createSymbolObject("demote/f64", "f32"),
  284. 0xb7: createSymbolObject("convert_s/i32", "f64"),
  285. 0xb8: createSymbolObject("convert_u/i32", "f64"),
  286. 0xb9: createSymbolObject("convert_s/i64", "f64"),
  287. 0xba: createSymbolObject("convert_u/i64", "f64"),
  288. 0xbb: createSymbolObject("promote/f32", "f64"),
  289. 0xbc: createSymbolObject("reinterpret/f32", "i32"),
  290. 0xbd: createSymbolObject("reinterpret/f64", "i64"),
  291. 0xbe: createSymbolObject("reinterpret/i32", "f32"),
  292. 0xbf: createSymbolObject("reinterpret/i64", "f64"),
  293. // Atomic Memory Instructions
  294. 0xfe00: createSymbol("memory.atomic.notify", 1),
  295. 0xfe01: createSymbol("memory.atomic.wait32", 1),
  296. 0xfe02: createSymbol("memory.atomic.wait64", 1),
  297. 0xfe10: createSymbolObject("atomic.load", "i32", 1),
  298. 0xfe11: createSymbolObject("atomic.load", "i64", 1),
  299. 0xfe12: createSymbolObject("atomic.load8_u", "i32", 1),
  300. 0xfe13: createSymbolObject("atomic.load16_u", "i32", 1),
  301. 0xfe14: createSymbolObject("atomic.load8_u", "i64", 1),
  302. 0xfe15: createSymbolObject("atomic.load16_u", "i64", 1),
  303. 0xfe16: createSymbolObject("atomic.load32_u", "i64", 1),
  304. 0xfe17: createSymbolObject("atomic.store", "i32", 1),
  305. 0xfe18: createSymbolObject("atomic.store", "i64", 1),
  306. 0xfe19: createSymbolObject("atomic.store8_u", "i32", 1),
  307. 0xfe1a: createSymbolObject("atomic.store16_u", "i32", 1),
  308. 0xfe1b: createSymbolObject("atomic.store8_u", "i64", 1),
  309. 0xfe1c: createSymbolObject("atomic.store16_u", "i64", 1),
  310. 0xfe1d: createSymbolObject("atomic.store32_u", "i64", 1),
  311. 0xfe1e: createSymbolObject("atomic.rmw.add", "i32", 1),
  312. 0xfe1f: createSymbolObject("atomic.rmw.add", "i64", 1),
  313. 0xfe20: createSymbolObject("atomic.rmw8_u.add_u", "i32", 1),
  314. 0xfe21: createSymbolObject("atomic.rmw16_u.add_u", "i32", 1),
  315. 0xfe22: createSymbolObject("atomic.rmw8_u.add_u", "i64", 1),
  316. 0xfe23: createSymbolObject("atomic.rmw16_u.add_u", "i64", 1),
  317. 0xfe24: createSymbolObject("atomic.rmw32_u.add_u", "i64", 1),
  318. 0xfe25: createSymbolObject("atomic.rmw.sub", "i32", 1),
  319. 0xfe26: createSymbolObject("atomic.rmw.sub", "i64", 1),
  320. 0xfe27: createSymbolObject("atomic.rmw8_u.sub_u", "i32", 1),
  321. 0xfe28: createSymbolObject("atomic.rmw16_u.sub_u", "i32", 1),
  322. 0xfe29: createSymbolObject("atomic.rmw8_u.sub_u", "i64", 1),
  323. 0xfe2a: createSymbolObject("atomic.rmw16_u.sub_u", "i64", 1),
  324. 0xfe2b: createSymbolObject("atomic.rmw32_u.sub_u", "i64", 1),
  325. 0xfe2c: createSymbolObject("atomic.rmw.and", "i32", 1),
  326. 0xfe2d: createSymbolObject("atomic.rmw.and", "i64", 1),
  327. 0xfe2e: createSymbolObject("atomic.rmw8_u.and_u", "i32", 1),
  328. 0xfe2f: createSymbolObject("atomic.rmw16_u.and_u", "i32", 1),
  329. 0xfe30: createSymbolObject("atomic.rmw8_u.and_u", "i64", 1),
  330. 0xfe31: createSymbolObject("atomic.rmw16_u.and_u", "i64", 1),
  331. 0xfe32: createSymbolObject("atomic.rmw32_u.and_u", "i64", 1),
  332. 0xfe33: createSymbolObject("atomic.rmw.or", "i32", 1),
  333. 0xfe34: createSymbolObject("atomic.rmw.or", "i64", 1),
  334. 0xfe35: createSymbolObject("atomic.rmw8_u.or_u", "i32", 1),
  335. 0xfe36: createSymbolObject("atomic.rmw16_u.or_u", "i32", 1),
  336. 0xfe37: createSymbolObject("atomic.rmw8_u.or_u", "i64", 1),
  337. 0xfe38: createSymbolObject("atomic.rmw16_u.or_u", "i64", 1),
  338. 0xfe39: createSymbolObject("atomic.rmw32_u.or_u", "i64", 1),
  339. 0xfe3a: createSymbolObject("atomic.rmw.xor", "i32", 1),
  340. 0xfe3b: createSymbolObject("atomic.rmw.xor", "i64", 1),
  341. 0xfe3c: createSymbolObject("atomic.rmw8_u.xor_u", "i32", 1),
  342. 0xfe3d: createSymbolObject("atomic.rmw16_u.xor_u", "i32", 1),
  343. 0xfe3e: createSymbolObject("atomic.rmw8_u.xor_u", "i64", 1),
  344. 0xfe3f: createSymbolObject("atomic.rmw16_u.xor_u", "i64", 1),
  345. 0xfe40: createSymbolObject("atomic.rmw32_u.xor_u", "i64", 1),
  346. 0xfe41: createSymbolObject("atomic.rmw.xchg", "i32", 1),
  347. 0xfe42: createSymbolObject("atomic.rmw.xchg", "i64", 1),
  348. 0xfe43: createSymbolObject("atomic.rmw8_u.xchg_u", "i32", 1),
  349. 0xfe44: createSymbolObject("atomic.rmw16_u.xchg_u", "i32", 1),
  350. 0xfe45: createSymbolObject("atomic.rmw8_u.xchg_u", "i64", 1),
  351. 0xfe46: createSymbolObject("atomic.rmw16_u.xchg_u", "i64", 1),
  352. 0xfe47: createSymbolObject("atomic.rmw32_u.xchg_u", "i64", 1),
  353. 0xfe48: createSymbolObject("atomic.rmw.cmpxchg", "i32", 1),
  354. 0xfe49: createSymbolObject("atomic.rmw.cmpxchg", "i64", 1),
  355. 0xfe4a: createSymbolObject("atomic.rmw8_u.cmpxchg_u", "i32", 1),
  356. 0xfe4b: createSymbolObject("atomic.rmw16_u.cmpxchg_u", "i32", 1),
  357. 0xfe4c: createSymbolObject("atomic.rmw8_u.cmpxchg_u", "i64", 1),
  358. 0xfe4d: createSymbolObject("atomic.rmw16_u.cmpxchg_u", "i64", 1),
  359. 0xfe4e: createSymbolObject("atomic.rmw32_u.cmpxchg_u", "i64", 1)
  360. };
  361. var symbolsByName = invertMap(symbolsByByte, function (obj) {
  362. if (typeof obj.object === "string") {
  363. return "".concat(obj.object, ".").concat(obj.name);
  364. }
  365. return obj.name;
  366. });
  367. export default {
  368. symbolsByByte: symbolsByByte,
  369. sections: sections,
  370. magicModuleHeader: magicModuleHeader,
  371. moduleVersion: moduleVersion,
  372. types: types,
  373. valtypes: valtypes,
  374. exportTypes: exportTypes,
  375. blockTypes: blockTypes,
  376. tableTypes: tableTypes,
  377. globalTypes: globalTypes,
  378. importTypes: importTypes,
  379. valtypesByString: valtypesByString,
  380. globalTypesByString: globalTypesByString,
  381. exportTypesByName: exportTypesByName,
  382. symbolsByName: symbolsByName
  383. };
  384. export { getSectionForNode } from "./section";