annotate .cms/lib/codemirror/mode/wast/test.js @ 1:1d486627aa1e draft default tip

24.10
author Coffee CMS <info@coffee-cms.ru>
date Sat, 12 Oct 2024 02:51:39 +0000
parents 78edf6b517a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
1 // CodeMirror, copyright (c) by Marijn Haverbeke and others
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2 // Distributed under an MIT license: https://codemirror.net/5/LICENSE
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 (function() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 var mode = CodeMirror.getMode({indentUnit: 4}, "wast");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 function MT(name) {test.mode(name, mode, Array.prototype.slice.call(arguments, 1));}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 MT('number-test',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 '[number 0]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 '[number 123]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 '[number nan]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 '[number inf]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 '[number infinity]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 '[number 0.1]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 '[number 123.0]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 '[number 12E+99]');
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 MT('string-literals-test',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 '[string "foo"]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 '[string "\\"foo\\""]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 '[string "foo #\\"# bar"]');
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 MT('atom-test',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 '[atom funcref]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 '[atom externref]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 '[atom i32]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 '[atom i64]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 '[atom f32]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 '[atom f64]');
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 MT('keyword-test',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 '[keyword br]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 '[keyword if]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 '[keyword loop]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 '[keyword i32.add]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 '[keyword local.get]');
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 MT('control-instructions',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 '[keyword unreachable]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 '[keyword nop]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 '[keyword br] [variable-2 $label0]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 '[keyword br_if] [variable-2 $label0]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 '[keyword br_table] [variable-2 $label0] [variable-2 $label1] [variable-2 $label3]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 '[keyword return]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 '[keyword call] [variable-2 $func0]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 '[keyword call_indirect] [variable-2 $table] ([keyword param] [atom f32] [atom f64]) ([keyword result] [atom i32] [atom i64])',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 '[keyword return_call] [variable-2 $func0]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 '[keyword return_call_indirect] ([keyword param] [atom f32] [atom f64]) ([keyword result] [atom i32] [atom i64])',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 '[keyword select] ([keyword local.get] [number 1]) ([keyword local.get] [number 2]) ([keyword local.get] [number 3])',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 '[keyword try] ([keyword result] [atom i32])',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 '[keyword throw] [number 0]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 '[keyword rethrow] [number 0]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 '[keyword catch] [number 0]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 '[keyword catch_all]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 '[keyword delegate] [number 0]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 '[keyword unwind]');
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 MT('memory-instructions',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 '[keyword i32.load] [keyword offset]=[number 4] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 '[keyword i32.load8_s] [keyword offset]=[number 4] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 '[keyword i32.load8_u] [keyword offset]=[number 4] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 '[keyword i32.load16_s] [keyword offset]=[number 4] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 '[keyword i32.load16_u] [keyword offset]=[number 4] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 '[keyword i32.store] [keyword offset]=[number 4] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 '[keyword i32.store8] [keyword offset]=[number 4] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 '[keyword i32.store16] [keyword offset]=[number 4] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 '[keyword i64.store] [keyword offset]=[number 4] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 '[keyword i64.load] [keyword offset]=[number 4] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 '[keyword i64.load8_s] [keyword offset]=[number 4] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 '[keyword i64.load8_u] [keyword offset]=[number 4] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 '[keyword i64.load16_s] [keyword offset]=[number 4] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 '[keyword i64.load16_u] [keyword offset]=[number 4] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 '[keyword i64.load32_s] [keyword offset]=[number 4] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 '[keyword i64.load32_u] [keyword offset]=[number 4] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 '[keyword i64.store8] [keyword offset]=[number 4] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 '[keyword i64.store16] [keyword offset]=[number 4] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 '[keyword i64.store32] [keyword offset]=[number 4] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 '[keyword f32.load] [keyword offset]=[number 4] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 '[keyword f32.store] [keyword offset]=[number 4] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 '[keyword f64.load] [keyword offset]=[number 4] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 '[keyword f64.store] [keyword offset]=[number 4] [keyword align]=[number 4]');
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 MT('atomic-memory-instructions',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 '[keyword memory.atomic.notify] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 '[keyword memory.atomic.wait32] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 '[keyword memory.atomic.wait64] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 '[keyword i32.atomic.load] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 '[keyword i32.atomic.load8_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 '[keyword i32.atomic.load16_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 '[keyword i32.atomic.store] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 '[keyword i32.atomic.store8] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 '[keyword i32.atomic.store16] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 '[keyword i64.atomic.load] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 '[keyword i64.atomic.load8_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 '[keyword i64.atomic.load16_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 '[keyword i64.atomic.load32_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 '[keyword i64.atomic.store] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 '[keyword i64.atomic.store8] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 '[keyword i64.atomic.store16] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 '[keyword i64.atomic.store32] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 '[keyword i32.atomic.rmw.add] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 '[keyword i32.atomic.rmw8.add_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 '[keyword i32.atomic.rmw16.add_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 '[keyword i64.atomic.rmw.add] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 '[keyword i64.atomic.rmw8.add_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 '[keyword i64.atomic.rmw16.add_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108 '[keyword i64.atomic.rmw32.add_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 '[keyword i32.atomic.rmw.sub] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 '[keyword i32.atomic.rmw8.sub_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 '[keyword i32.atomic.rmw16.sub_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 '[keyword i64.atomic.rmw.sub] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 '[keyword i64.atomic.rmw8.sub_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 '[keyword i64.atomic.rmw16.sub_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 '[keyword i64.atomic.rmw32.sub_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 '[keyword i32.atomic.rmw.and] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 '[keyword i32.atomic.rmw8.and_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 '[keyword i32.atomic.rmw16.and_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 '[keyword i64.atomic.rmw.and] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120 '[keyword i64.atomic.rmw8.and_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 '[keyword i64.atomic.rmw16.and_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122 '[keyword i64.atomic.rmw32.and_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 '[keyword i32.atomic.rmw.or] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124 '[keyword i32.atomic.rmw8.or_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 '[keyword i32.atomic.rmw16.or_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126 '[keyword i64.atomic.rmw.or] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127 '[keyword i64.atomic.rmw8.or_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128 '[keyword i64.atomic.rmw16.or_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 '[keyword i64.atomic.rmw32.or_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130 '[keyword i32.atomic.rmw.xor] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
131 '[keyword i32.atomic.rmw8.xor_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
132 '[keyword i32.atomic.rmw16.xor_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
133 '[keyword i64.atomic.rmw.xor] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
134 '[keyword i64.atomic.rmw8.xor_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
135 '[keyword i64.atomic.rmw16.xor_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
136 '[keyword i64.atomic.rmw32.xor_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
137 '[keyword i32.atomic.rmw.xchg] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
138 '[keyword i32.atomic.rmw8.xchg_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
139 '[keyword i32.atomic.rmw16.xchg_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
140 '[keyword i64.atomic.rmw.xchg] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
141 '[keyword i64.atomic.rmw8.xchg_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
142 '[keyword i64.atomic.rmw16.xchg_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
143 '[keyword i64.atomic.rmw32.xchg_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
144 '[keyword i32.atomic.rmw.cmpxchg] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
145 '[keyword i32.atomic.rmw8.cmpxchg_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
146 '[keyword i32.atomic.rmw16.cmpxchg_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
147 '[keyword i64.atomic.rmw.cmpxchg] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
148 '[keyword i64.atomic.rmw8.cmpxchg_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
149 '[keyword i64.atomic.rmw16.cmpxchg_u] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
150 '[keyword i64.atomic.rmw32.cmpxchg_u] [keyword offset]=[number 32] [keyword align]=[number 4]');
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
151
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
152 MT('simd-instructions',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
153 '[keyword v128.load] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
154 '[keyword v128.load8x8_s] [keyword offset]=[number 64] [keyword align]=[number 0]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
155 '[keyword v128.load8x8_u] [keyword offset]=[number 64] [keyword align]=[number 0]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
156 '[keyword v128.load16x4_s] [keyword offset]=[number 64] [keyword align]=[number 0]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
157 '[keyword v128.load16x4_u] [keyword offset]=[number 64] [keyword align]=[number 0]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
158 '[keyword v128.load32x2_s] [keyword offset]=[number 64] [keyword align]=[number 0]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
159 '[keyword v128.load32x2_u] [keyword offset]=[number 64] [keyword align]=[number 0]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
160 '[keyword v128.load8_splat] [keyword offset]=[number 64] [keyword align]=[number 0]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
161 '[keyword v128.load16_splat] [keyword offset]=[number 64] [keyword align]=[number 0]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
162 '[keyword v128.load32_splat] [keyword offset]=[number 64] [keyword align]=[number 0]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
163 '[keyword v128.load64_splat] [keyword offset]=[number 64] [keyword align]=[number 0]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
164 '[keyword v128.store] [keyword offset]=[number 32] [keyword align]=[number 4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
165 '[keyword v128.const] [number 0] [number 1] [number 2] [number 3] [number 4] [number 5] [number 6] [number 7] [number 8] [number 9] [number 10] [number 11] [number 12] [number 13] [number 14] [number 15]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
166 '[keyword i8x16.shuffle] [number 0] [number 1] [number 2] [number 3] [number 4] [number 5] [number 6] [number 7] [number 8] [number 9] [number 10] [number 11] [number 12] [number 13] [number 14] [number 15]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
167 '[keyword i8x16.swizzle]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
168 '[keyword i8x16.splat]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
169 '[keyword i16x8.splat]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
170 '[keyword i32x4.splat]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
171 '[keyword i64x2.splat]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
172 '[keyword f32x4.splat]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
173 '[keyword f64x2.splat]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
174 '[keyword i8x16.extract_lane_s] [number 1]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
175 '[keyword i8x16.extract_lane_u] [number 1]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
176 '[keyword i8x16.replace_lane] [number 1]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
177 '[keyword i16x8.extract_lane_s] [number 1]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
178 '[keyword i16x8.extract_lane_u] [number 1]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
179 '[keyword i16x8.replace_lane] [number 1]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
180 '[keyword i32x4.extract_lane] [number 1]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
181 '[keyword i32x4.replace_lane] [number 1]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
182 '[keyword i64x2.extract_lane] [number 1]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
183 '[keyword i64x2.replace_lane] [number 1]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
184 '[keyword f32x4.extract_lane] [number 1]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
185 '[keyword f32x4.replace_lane] [number 1]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
186 '[keyword f64x2.extract_lane] [number 1]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
187 '[keyword f64x2.replace_lane] [number 1]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
188 '[keyword i8x16.eq]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
189 '[keyword i8x16.ne]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
190 '[keyword i8x16.lt_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
191 '[keyword i8x16.lt_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
192 '[keyword i8x16.gt_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
193 '[keyword i8x16.gt_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
194 '[keyword i8x16.le_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
195 '[keyword i8x16.le_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
196 '[keyword i8x16.ge_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
197 '[keyword i8x16.ge_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
198 '[keyword i16x8.eq]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
199 '[keyword i16x8.ne]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
200 '[keyword i16x8.lt_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
201 '[keyword i16x8.lt_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
202 '[keyword i16x8.gt_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
203 '[keyword i16x8.gt_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
204 '[keyword i16x8.le_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
205 '[keyword i16x8.le_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
206 '[keyword i16x8.ge_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
207 '[keyword i16x8.ge_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
208 '[keyword i32x4.eq]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
209 '[keyword i32x4.ne]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
210 '[keyword i32x4.lt_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
211 '[keyword i32x4.lt_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
212 '[keyword i32x4.gt_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
213 '[keyword i32x4.gt_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
214 '[keyword i32x4.le_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
215 '[keyword i32x4.le_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
216 '[keyword i32x4.ge_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
217 '[keyword i32x4.ge_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
218 '[keyword f32x4.eq]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
219 '[keyword f32x4.ne]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
220 '[keyword f32x4.lt]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
221 '[keyword f32x4.gt]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
222 '[keyword f32x4.le]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
223 '[keyword f32x4.ge]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
224 '[keyword f64x2.eq]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
225 '[keyword f64x2.ne]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
226 '[keyword f64x2.lt]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
227 '[keyword f64x2.gt]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
228 '[keyword f64x2.le]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
229 '[keyword f64x2.ge]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
230 '[keyword v128.not]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
231 '[keyword v128.and]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
232 '[keyword v128.andnot]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
233 '[keyword v128.or]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
234 '[keyword v128.xor]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
235 '[keyword v128.bitselect]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
236 '[keyword v128.any_true]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
237 '[keyword v128.load8_lane] [keyword offset]=[number 64] [keyword align]=[number 0] [number 1]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
238 '[keyword v128.load16_lane] [keyword offset]=[number 64] [keyword align]=[number 0] [number 1]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
239 '[keyword v128.load32_lane] [keyword offset]=[number 64] [keyword align]=[number 0] [number 1]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
240 '[keyword v128.load64_lane] [keyword offset]=[number 64] [keyword align]=[number 0] [number 1]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
241 '[keyword v128.store8_lane] [keyword offset]=[number 64] [keyword align]=[number 0] [number 1]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
242 '[keyword v128.store16_lane] [keyword offset]=[number 64] [keyword align]=[number 0] [number 1]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
243 '[keyword v128.store32_lane] [keyword offset]=[number 64] [keyword align]=[number 0] [number 1]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
244 '[keyword v128.store64_lane] [keyword offset]=[number 64] [keyword align]=[number 0] [number 1]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
245 '[keyword v128.load32_zero] [keyword offset]=[number 64] [keyword align]=[number 0]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
246 '[keyword v128.load64_zero] [keyword offset]=[number 64] [keyword align]=[number 0]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
247 '[keyword f32x4.demote_f64x2_zero]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
248 '[keyword f64x2.promote_low_f32x4]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
249 '[keyword i8x16.abs]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
250 '[keyword i8x16.neg]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
251 '[keyword i8x16.popcnt]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
252 '[keyword i8x16.all_true]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
253 '[keyword i8x16.bitmask]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
254 '[keyword i8x16.narrow_i16x8_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
255 '[keyword i8x16.narrow_i16x8_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
256 '[keyword f32x4.ceil]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
257 '[keyword f32x4.floor]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
258 '[keyword f32x4.trunc]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
259 '[keyword f32x4.nearest]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
260 '[keyword i8x16.shl]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
261 '[keyword i8x16.shr_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
262 '[keyword i8x16.shr_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
263 '[keyword i8x16.add]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
264 '[keyword i8x16.add_sat_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
265 '[keyword i8x16.add_sat_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
266 '[keyword i8x16.sub]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
267 '[keyword i8x16.sub_sat_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
268 '[keyword i8x16.sub_sat_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
269 '[keyword f64x2.ceil]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
270 '[keyword f64x2.floor]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
271 '[keyword i8x16.min_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
272 '[keyword i8x16.min_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
273 '[keyword i8x16.max_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
274 '[keyword i8x16.max_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
275 '[keyword f64x2.trunc]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
276 '[keyword i8x16.avgr_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
277 '[keyword i16x8.extadd_pairwise_i8x16_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
278 '[keyword i16x8.extadd_pairwise_i8x16_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
279 '[keyword i32x4.extadd_pairwise_i16x8_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
280 '[keyword i32x4.extadd_pairwise_i16x8_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
281 '[keyword i16x8.abs]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
282 '[keyword i16x8.neg]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
283 '[keyword i16x8.q15mulr_sat_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
284 '[keyword i16x8.all_true]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
285 '[keyword i16x8.bitmask]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
286 '[keyword i16x8.narrow_i32x4_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
287 '[keyword i16x8.narrow_i32x4_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
288 '[keyword i16x8.extend_low_i8x16_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
289 '[keyword i16x8.extend_high_i8x16_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
290 '[keyword i16x8.extend_low_i8x16_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
291 '[keyword i16x8.extend_high_i8x16_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
292 '[keyword i16x8.shl]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
293 '[keyword i16x8.shr_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
294 '[keyword i16x8.shr_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
295 '[keyword i16x8.add]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
296 '[keyword i16x8.add_sat_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
297 '[keyword i16x8.add_sat_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
298 '[keyword i16x8.sub]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
299 '[keyword i16x8.sub_sat_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
300 '[keyword i16x8.sub_sat_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
301 '[keyword f64x2.nearest]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
302 '[keyword i16x8.mul]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
303 '[keyword i16x8.min_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
304 '[keyword i16x8.min_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
305 '[keyword i16x8.max_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
306 '[keyword i16x8.max_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
307 '[keyword i16x8.avgr_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
308 '[keyword i16x8.extmul_low_i8x16_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
309 '[keyword i16x8.extmul_high_i8x16_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
310 '[keyword i16x8.extmul_low_i8x16_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
311 '[keyword i16x8.extmul_high_i8x16_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
312 '[keyword i32x4.abs]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
313 '[keyword i32x4.neg]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
314 '[keyword i32x4.all_true]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
315 '[keyword i32x4.bitmask]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
316 '[keyword i32x4.extend_low_i16x8_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
317 '[keyword i32x4.extend_high_i16x8_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
318 '[keyword i32x4.extend_low_i16x8_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
319 '[keyword i32x4.extend_high_i16x8_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
320 '[keyword i32x4.shl]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
321 '[keyword i32x4.shr_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
322 '[keyword i32x4.shr_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
323 '[keyword i32x4.add]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
324 '[keyword i32x4.sub]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
325 '[keyword i32x4.mul]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
326 '[keyword i32x4.min_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
327 '[keyword i32x4.min_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
328 '[keyword i32x4.max_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
329 '[keyword i32x4.max_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
330 '[keyword i32x4.dot_i16x8_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
331 '[keyword i32x4.extmul_low_i16x8_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
332 '[keyword i32x4.extmul_high_i16x8_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
333 '[keyword i32x4.extmul_low_i16x8_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
334 '[keyword i32x4.extmul_high_i16x8_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
335 '[keyword i64x2.abs]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
336 '[keyword i64x2.neg]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
337 '[keyword i64x2.all_true]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
338 '[keyword i64x2.bitmask]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
339 '[keyword i64x2.extend_low_i32x4_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
340 '[keyword i64x2.extend_high_i32x4_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
341 '[keyword i64x2.extend_low_i32x4_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
342 '[keyword i64x2.extend_high_i32x4_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
343 '[keyword i64x2.shl]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
344 '[keyword i64x2.shr_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
345 '[keyword i64x2.shr_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
346 '[keyword i64x2.add]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
347 '[keyword i64x2.sub]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
348 '[keyword i64x2.mul]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
349 '[keyword i64x2.eq]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
350 '[keyword i64x2.ne]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
351 '[keyword i64x2.lt_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
352 '[keyword i64x2.gt_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
353 '[keyword i64x2.le_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
354 '[keyword i64x2.ge_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
355 '[keyword i64x2.extmul_low_i32x4_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
356 '[keyword i64x2.extmul_high_i32x4_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
357 '[keyword i64x2.extmul_low_i32x4_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
358 '[keyword i64x2.extmul_high_i32x4_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
359 '[keyword f32x4.abs]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
360 '[keyword f32x4.neg]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
361 '[keyword f32x4.sqrt]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
362 '[keyword f32x4.add]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
363 '[keyword f32x4.sub]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
364 '[keyword f32x4.mul]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
365 '[keyword f32x4.div]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
366 '[keyword f32x4.min]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
367 '[keyword f32x4.max]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
368 '[keyword f64x2.abs]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
369 '[keyword f64x2.neg]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
370 '[keyword f64x2.sqrt]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
371 '[keyword f64x2.add]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
372 '[keyword f64x2.sub]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
373 '[keyword f64x2.mul]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
374 '[keyword f64x2.div]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
375 '[keyword f64x2.min]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
376 '[keyword f64x2.max]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
377 '[keyword i32x4.trunc_sat_f32x4_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
378 '[keyword i32x4.trunc_sat_f32x4_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
379 '[keyword f32x4.convert_i32x4_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
380 '[keyword f32x4.convert_i32x4_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
381 '[keyword i32x4.trunc_sat_f64x2_s_zero]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
382 '[keyword i32x4.trunc_sat_f64x2_u_zero]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
383 '[keyword f64x2.convert_low_i32x4_s]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
384 '[keyword f64x2.convert_low_i32x4_u]');
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
385
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
386 MT('reference-type-instructions',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
387 '[keyword ref.null] [keyword extern]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
388 '[keyword ref.null] [keyword func]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
389 '[keyword ref.is_null] ([keyword ref.func] [variable-2 $f])',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
390 '[keyword ref.func] [variable-2 $f]');
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
391
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
392 MT('table-instructions',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
393 '[keyword table.get] [variable-2 $t] ([keyword i32.const] [number 5])',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
394 '[keyword table.set] [variable-2 $t] ([keyword i32.const] [number 5]) ([keyword ref.func] [variable-2 $f])',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
395 '[keyword table.size] [variable-2 $t]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
396 '[keyword table.grow] [variable-2 $t] ([keyword ref.null] [keyword extern]) ([keyword i32.const] [number 5])',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
397 '[keyword table.fill] [variable-2 $t] ([keyword i32.const] [number 5]) ([keyword param] [variable-2 $r] [atom externref]) ([keyword i32.const] [number 5])',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
398 '[keyword table.init] [variable-2 $t] [number 1] ([keyword i32.const] [number 5]) ([keyword i32.const] [number 10]) ([keyword i32.const] [number 15])',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
399 '[keyword table.copy] [variable-2 $t] [variable-2 $t2] ([keyword i32.const] [number 5]) ([keyword i32.const] [number 10]) ([keyword i32.const] [number 15])'
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
400 );
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
401 MT('gc-proposal',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
402 '[keyword call_ref] [keyword return_call_ref]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
403 '[keyword ref.as_non_null] [keyword br_on_null] [keyword ref.eq]');
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
404 MT('gc-proposal-structs',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
405 '[keyword struct.new_with_rtt] [keyword struct.new_default_with_rtt]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
406 '[keyword struct.get] [keyword struct.get_s] [keyword struct.get_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
407 '[keyword struct.set]');
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
408 MT('gc-proposal-arrays',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
409 '[keyword array.new_with_rtt] [keyword array.new_default_with_rtt]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
410 '[keyword array.get] [keyword array.get_s] [keyword array.get_u]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
411 '[keyword array.len] [keyword array.set]');
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
412 MT('gc-proposal-i31',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
413 '[keyword i31.new] [keyword i31.get_s] [keyword i31.get_u]');
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
414 MT('gc-proposal-rtt',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
415 '[keyword rtt.canon] [keyword rtt.sub]');
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
416 MT('gc-proposal-typechecks',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
417 '[keyword ref.test] [keyword ref.cast] [keyword br_on_cast]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
418 '[keyword ref.is_func] [keyword ref.is_data] [keyword ref.is_i31]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
419 '[keyword ref.as_func] [keyword ref.as_data] [keyword ref.as_i31]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
420 '[keyword br_on_func] [keyword br_on_data] [keyword br_on_i31]');
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
421 MT('gc-proposal-types',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
422 '[atom i8] [atom i16]',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
423 '[atom anyref] [atom dataref] [atom eqref] [atom i31ref]');
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
424 })();