1;; Tests for f64x2 [abs, min, max] operations on major boundary values and all special values.
2
3
4(module
5 (func (export "f64x2.min") (param v128 v128) (result v128) (f64x2.min (local.get 0) (local.get 1)))
6 (func (export "f64x2.max") (param v128 v128) (result v128) (f64x2.max (local.get 0) (local.get 1)))
7 (func (export "f64x2.abs") (param v128) (result v128) (f64x2.abs (local.get 0)))
8 ;; f64x2.min const vs const
9 (func (export "f64x2.min_with_const_0") (result v128) (f64x2.min (v128.const f64x2 0 1) (v128.const f64x2 0 2)))
10 (func (export "f64x2.min_with_const_1") (result v128) (f64x2.min (v128.const f64x2 2 -3) (v128.const f64x2 1 3)))
11 (func (export "f64x2.min_with_const_2") (result v128) (f64x2.min (v128.const f64x2 0 1) (v128.const f64x2 0 1)))
12 (func (export "f64x2.min_with_const_3") (result v128) (f64x2.min (v128.const f64x2 2 3) (v128.const f64x2 2 3)))
13 (func (export "f64x2.min_with_const_4") (result v128) (f64x2.min (v128.const f64x2 0x00 0x01) (v128.const f64x2 0x00 0x02)))
14 (func (export "f64x2.min_with_const_5") (result v128) (f64x2.min (v128.const f64x2 0x02 0x80000000) (v128.const f64x2 0x01 2147483648)))
15 (func (export "f64x2.min_with_const_6") (result v128) (f64x2.min (v128.const f64x2 0x00 0x01) (v128.const f64x2 0x00 0x01)))
16 (func (export "f64x2.min_with_const_7") (result v128) (f64x2.min (v128.const f64x2 0x02 0x80000000) (v128.const f64x2 0x02 0x80000000)))
17 ;; f64x2.min param vs const
18 (func (export "f64x2.min_with_const_9") (param v128) (result v128) (f64x2.min (local.get 0) (v128.const f64x2 0 1)))
19 (func (export "f64x2.min_with_const_10") (param v128) (result v128) (f64x2.min (v128.const f64x2 2 -3) (local.get 0)))
20 (func (export "f64x2.min_with_const_11") (param v128) (result v128) (f64x2.min (v128.const f64x2 0 1) (local.get 0)))
21 (func (export "f64x2.min_with_const_12") (param v128) (result v128) (f64x2.min (local.get 0) (v128.const f64x2 2 3)))
22 (func (export "f64x2.min_with_const_13") (param v128) (result v128) (f64x2.min (v128.const f64x2 0x00 0x01) (local.get 0)))
23 (func (export "f64x2.min_with_const_14") (param v128) (result v128) (f64x2.min (v128.const f64x2 0x02 0x80000000) (local.get 0)))
24 (func (export "f64x2.min_with_const_15") (param v128) (result v128) (f64x2.min (v128.const f64x2 0x00 0x01) (local.get 0)))
25 (func (export "f64x2.min_with_const_16") (param v128) (result v128) (f64x2.min (v128.const f64x2 0x02 0x80000000) (local.get 0)))
26 ;; f64x2.max const vs const
27 (func (export "f64x2.max_with_const_18") (result v128) (f64x2.max (v128.const f64x2 0 1) (v128.const f64x2 0 2)))
28 (func (export "f64x2.max_with_const_19") (result v128) (f64x2.max (v128.const f64x2 2 -3) (v128.const f64x2 1 3)))
29 (func (export "f64x2.max_with_const_20") (result v128) (f64x2.max (v128.const f64x2 0 1) (v128.const f64x2 0 1)))
30 (func (export "f64x2.max_with_const_21") (result v128) (f64x2.max (v128.const f64x2 2 3) (v128.const f64x2 2 3)))
31 (func (export "f64x2.max_with_const_22") (result v128) (f64x2.max (v128.const f64x2 0x00 0x01) (v128.const f64x2 0x00 0x02)))
32 (func (export "f64x2.max_with_const_23") (result v128) (f64x2.max (v128.const f64x2 0x02 0x80000000) (v128.const f64x2 0x01 2147483648)))
33 (func (export "f64x2.max_with_const_24") (result v128) (f64x2.max (v128.const f64x2 0x00 0x01) (v128.const f64x2 0x00 0x01)))
34 (func (export "f64x2.max_with_const_25") (result v128) (f64x2.max (v128.const f64x2 0x02 0x80000000) (v128.const f64x2 0x02 0x80000000)))
35 ;; f64x2.max param vs const
36 (func (export "f64x2.max_with_const_27") (param v128) (result v128) (f64x2.max (local.get 0) (v128.const f64x2 0 1)))
37 (func (export "f64x2.max_with_const_28") (param v128) (result v128) (f64x2.max (v128.const f64x2 2 -3) (local.get 0)))
38 (func (export "f64x2.max_with_const_29") (param v128) (result v128) (f64x2.max (v128.const f64x2 0 1) (local.get 0)))
39 (func (export "f64x2.max_with_const_30") (param v128) (result v128) (f64x2.max (local.get 0) (v128.const f64x2 2 3)))
40 (func (export "f64x2.max_with_const_31") (param v128) (result v128) (f64x2.max (v128.const f64x2 0x00 0x01) (local.get 0)))
41 (func (export "f64x2.max_with_const_32") (param v128) (result v128) (f64x2.max (v128.const f64x2 0x02 0x80000000) (local.get 0)))
42 (func (export "f64x2.max_with_const_33") (param v128) (result v128) (f64x2.max (v128.const f64x2 0x00 0x01) (local.get 0)))
43 (func (export "f64x2.max_with_const_34") (param v128) (result v128) (f64x2.max (v128.const f64x2 0x02 0x80000000) (local.get 0)))
44
45 (func (export "f64x2.abs_with_const_35") (result v128) (f64x2.abs (v128.const f64x2 -0 -1)))
46 (func (export "f64x2.abs_with_const_36") (result v128) (f64x2.abs (v128.const f64x2 -2 -3)))
47)
48
49;; f64x2.min const vs const
50(assert_return (invoke "f64x2.min_with_const_0") (v128.const f64x2 0 1))
51(assert_return (invoke "f64x2.min_with_const_1") (v128.const f64x2 1 -3))
52(assert_return (invoke "f64x2.min_with_const_2") (v128.const f64x2 0 1))
53(assert_return (invoke "f64x2.min_with_const_3") (v128.const f64x2 2 3))
54;; f64x2.min param vs const
55(assert_return (invoke "f64x2.min_with_const_4") (v128.const f64x2 0x00 0x01))
56(assert_return (invoke "f64x2.min_with_const_5") (v128.const f64x2 0x01 0x80000000))
57(assert_return (invoke "f64x2.min_with_const_6") (v128.const f64x2 0x00 0x01))
58(assert_return (invoke "f64x2.min_with_const_7") (v128.const f64x2 0x02 0x80000000))
59(assert_return (invoke "f64x2.min_with_const_9" (v128.const f64x2 0 2))
60 (v128.const f64x2 0 1))
61(assert_return (invoke "f64x2.min_with_const_10" (v128.const f64x2 1 3))
62 (v128.const f64x2 1 -3))
63(assert_return (invoke "f64x2.min_with_const_11" (v128.const f64x2 0 1))
64 (v128.const f64x2 0 1))
65(assert_return (invoke "f64x2.min_with_const_12" (v128.const f64x2 2 3))
66 (v128.const f64x2 2 3))
67(assert_return (invoke "f64x2.min_with_const_13" (v128.const f64x2 0x00 0x02))
68 (v128.const f64x2 0x00 0x01))
69(assert_return (invoke "f64x2.min_with_const_14" (v128.const f64x2 0x01 2147483648))
70 (v128.const f64x2 0x01 0x80000000))
71(assert_return (invoke "f64x2.min_with_const_15" (v128.const f64x2 0x00 0x01))
72 (v128.const f64x2 0x00 0x01))
73(assert_return (invoke "f64x2.min_with_const_16" (v128.const f64x2 0x02 0x80000000))
74 (v128.const f64x2 0x02 0x80000000))
75;; f64x2.max const vs const
76(assert_return (invoke "f64x2.max_with_const_18") (v128.const f64x2 0 2))
77(assert_return (invoke "f64x2.max_with_const_19") (v128.const f64x2 2 3))
78(assert_return (invoke "f64x2.max_with_const_20") (v128.const f64x2 0 1))
79(assert_return (invoke "f64x2.max_with_const_21") (v128.const f64x2 2 3))
80;; f64x2.max param vs const
81(assert_return (invoke "f64x2.max_with_const_22") (v128.const f64x2 0x00 0x02))
82(assert_return (invoke "f64x2.max_with_const_23") (v128.const f64x2 0x02 2147483648))
83(assert_return (invoke "f64x2.max_with_const_24") (v128.const f64x2 0x00 0x01))
84(assert_return (invoke "f64x2.max_with_const_25") (v128.const f64x2 0x02 0x80000000))
85(assert_return (invoke "f64x2.max_with_const_27" (v128.const f64x2 0 2))
86 (v128.const f64x2 0 2))
87(assert_return (invoke "f64x2.max_with_const_28" (v128.const f64x2 1 3))
88 (v128.const f64x2 2 3))
89(assert_return (invoke "f64x2.max_with_const_29" (v128.const f64x2 0 1))
90 (v128.const f64x2 0 1))
91(assert_return (invoke "f64x2.max_with_const_30" (v128.const f64x2 2 3))
92 (v128.const f64x2 2 3))
93(assert_return (invoke "f64x2.max_with_const_31" (v128.const f64x2 0x00 0x02))
94 (v128.const f64x2 0x00 0x02))
95(assert_return (invoke "f64x2.max_with_const_32" (v128.const f64x2 0x01 2147483648))
96 (v128.const f64x2 0x02 2147483648))
97(assert_return (invoke "f64x2.max_with_const_33" (v128.const f64x2 0x00 0x01))
98 (v128.const f64x2 0x00 0x01))
99(assert_return (invoke "f64x2.max_with_const_34" (v128.const f64x2 0x02 0x80000000))
100 (v128.const f64x2 0x02 0x80000000))
101
102(assert_return (invoke "f64x2.abs_with_const_35") (v128.const f64x2 0 1))
103(assert_return (invoke "f64x2.abs_with_const_36") (v128.const f64x2 2 3))
104
105;; Test different lanes go through different if-then clauses
106;; f64x2.min
107(assert_return
108 (invoke "f64x2.min"
109 (v128.const f64x2 nan 0)
110 (v128.const f64x2 0 1)
111 )
112 (v128.const f64x2 nan:canonical 0)
113)
114;; f64x2.min
115(assert_return
116 (invoke "f64x2.min"
117 (v128.const f64x2 0 1)
118 (v128.const f64x2 -nan 0)
119 )
120 (v128.const f64x2 nan:canonical 0)
121)
122;; f64x2.min
123(assert_return
124 (invoke "f64x2.min"
125 (v128.const f64x2 0 1)
126 (v128.const f64x2 -nan 1)
127 )
128 (v128.const f64x2 nan:canonical 1)
129)
130;; f64x2.max
131(assert_return
132 (invoke "f64x2.max"
133 (v128.const f64x2 nan 0)
134 (v128.const f64x2 0 1)
135 )
136 (v128.const f64x2 nan:canonical 1)
137)
138;; f64x2.max
139(assert_return
140 (invoke "f64x2.max"
141 (v128.const f64x2 0 1)
142 (v128.const f64x2 -nan 0)
143 )
144 (v128.const f64x2 nan:canonical 1)
145)
146;; f64x2.max
147(assert_return
148 (invoke "f64x2.max"
149 (v128.const f64x2 0 1)
150 (v128.const f64x2 -nan 1)
151 )
152 (v128.const f64x2 nan:canonical 1)
153)
154
155(assert_return (invoke "f64x2.min" (v128.const f64x2 0x0p+0 0x0p+0)
156 (v128.const f64x2 0x0p+0 0x0p+0))
157 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
158(assert_return (invoke "f64x2.min" (v128.const f64x2 0x0p+0 0x0p+0)
159 (v128.const f64x2 -0x0p+0 -0x0p+0))
160 (v128.const f64x2 -0x0p+0 -0x0p+0))
161(assert_return (invoke "f64x2.min" (v128.const f64x2 0x0p+0 0x0p+0)
162 (v128.const f64x2 0x1p-1074 0x1p-1074))
163 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
164(assert_return (invoke "f64x2.min" (v128.const f64x2 0x0p+0 0x0p+0)
165 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
166 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
167(assert_return (invoke "f64x2.min" (v128.const f64x2 0x0p+0 0x0p+0)
168 (v128.const f64x2 0x1p-1022 0x1p-1022))
169 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
170(assert_return (invoke "f64x2.min" (v128.const f64x2 0x0p+0 0x0p+0)
171 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
172 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
173(assert_return (invoke "f64x2.min" (v128.const f64x2 0x0p+0 0x0p+0)
174 (v128.const f64x2 0x1p-1 0x1p-1))
175 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
176(assert_return (invoke "f64x2.min" (v128.const f64x2 0x0p+0 0x0p+0)
177 (v128.const f64x2 -0x1p-1 -0x1p-1))
178 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
179(assert_return (invoke "f64x2.min" (v128.const f64x2 0x0p+0 0x0p+0)
180 (v128.const f64x2 0x1p+0 0x1p+0))
181 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
182(assert_return (invoke "f64x2.min" (v128.const f64x2 0x0p+0 0x0p+0)
183 (v128.const f64x2 -0x1p+0 -0x1p+0))
184 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
185(assert_return (invoke "f64x2.min" (v128.const f64x2 0x0p+0 0x0p+0)
186 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
187 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
188(assert_return (invoke "f64x2.min" (v128.const f64x2 0x0p+0 0x0p+0)
189 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
190 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
191(assert_return (invoke "f64x2.min" (v128.const f64x2 0x0p+0 0x0p+0)
192 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
193 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
194(assert_return (invoke "f64x2.min" (v128.const f64x2 0x0p+0 0x0p+0)
195 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
196 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
197(assert_return (invoke "f64x2.min" (v128.const f64x2 0x0p+0 0x0p+0)
198 (v128.const f64x2 inf inf))
199 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
200(assert_return (invoke "f64x2.min" (v128.const f64x2 0x0p+0 0x0p+0)
201 (v128.const f64x2 -inf -inf))
202 (v128.const f64x2 -inf -inf))
203(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x0p+0 -0x0p+0)
204 (v128.const f64x2 0x0p+0 0x0p+0))
205 (v128.const f64x2 -0x0p+0 -0x0p+0))
206(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x0p+0 -0x0p+0)
207 (v128.const f64x2 -0x0p+0 -0x0p+0))
208 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
209(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x0p+0 -0x0p+0)
210 (v128.const f64x2 0x1p-1074 0x1p-1074))
211 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
212(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x0p+0 -0x0p+0)
213 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
214 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
215(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x0p+0 -0x0p+0)
216 (v128.const f64x2 0x1p-1022 0x1p-1022))
217 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
218(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x0p+0 -0x0p+0)
219 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
220 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
221(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x0p+0 -0x0p+0)
222 (v128.const f64x2 0x1p-1 0x1p-1))
223 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
224(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x0p+0 -0x0p+0)
225 (v128.const f64x2 -0x1p-1 -0x1p-1))
226 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
227(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x0p+0 -0x0p+0)
228 (v128.const f64x2 0x1p+0 0x1p+0))
229 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
230(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x0p+0 -0x0p+0)
231 (v128.const f64x2 -0x1p+0 -0x1p+0))
232 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
233(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x0p+0 -0x0p+0)
234 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
235 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
236(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x0p+0 -0x0p+0)
237 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
238 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
239(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x0p+0 -0x0p+0)
240 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
241 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
242(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x0p+0 -0x0p+0)
243 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
244 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
245(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x0p+0 -0x0p+0)
246 (v128.const f64x2 inf inf))
247 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
248(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x0p+0 -0x0p+0)
249 (v128.const f64x2 -inf -inf))
250 (v128.const f64x2 -inf -inf))
251(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1074 0x1p-1074)
252 (v128.const f64x2 0x0p+0 0x0p+0))
253 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
254(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1074 0x1p-1074)
255 (v128.const f64x2 -0x0p+0 -0x0p+0))
256 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
257(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1074 0x1p-1074)
258 (v128.const f64x2 0x1p-1074 0x1p-1074))
259 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
260(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1074 0x1p-1074)
261 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
262 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
263(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1074 0x1p-1074)
264 (v128.const f64x2 0x1p-1022 0x1p-1022))
265 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
266(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1074 0x1p-1074)
267 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
268 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
269(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1074 0x1p-1074)
270 (v128.const f64x2 0x1p-1 0x1p-1))
271 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
272(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1074 0x1p-1074)
273 (v128.const f64x2 -0x1p-1 -0x1p-1))
274 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
275(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1074 0x1p-1074)
276 (v128.const f64x2 0x1p+0 0x1p+0))
277 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
278(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1074 0x1p-1074)
279 (v128.const f64x2 -0x1p+0 -0x1p+0))
280 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
281(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1074 0x1p-1074)
282 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
283 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
284(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1074 0x1p-1074)
285 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
286 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
287(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1074 0x1p-1074)
288 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
289 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
290(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1074 0x1p-1074)
291 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
292 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
293(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1074 0x1p-1074)
294 (v128.const f64x2 inf inf))
295 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
296(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1074 0x1p-1074)
297 (v128.const f64x2 -inf -inf))
298 (v128.const f64x2 -inf -inf))
299(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
300 (v128.const f64x2 0x0p+0 0x0p+0))
301 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
302(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
303 (v128.const f64x2 -0x0p+0 -0x0p+0))
304 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
305(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
306 (v128.const f64x2 0x1p-1074 0x1p-1074))
307 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
308(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
309 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
310 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
311(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
312 (v128.const f64x2 0x1p-1022 0x1p-1022))
313 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
314(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
315 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
316 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
317(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
318 (v128.const f64x2 0x1p-1 0x1p-1))
319 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
320(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
321 (v128.const f64x2 -0x1p-1 -0x1p-1))
322 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
323(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
324 (v128.const f64x2 0x1p+0 0x1p+0))
325 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
326(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
327 (v128.const f64x2 -0x1p+0 -0x1p+0))
328 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
329(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
330 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
331 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
332(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
333 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
334 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
335(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
336 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
337 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
338(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
339 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
340 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
341(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
342 (v128.const f64x2 inf inf))
343 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
344(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
345 (v128.const f64x2 -inf -inf))
346 (v128.const f64x2 -inf -inf))
347(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1022 0x1p-1022)
348 (v128.const f64x2 0x0p+0 0x0p+0))
349 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
350(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1022 0x1p-1022)
351 (v128.const f64x2 -0x0p+0 -0x0p+0))
352 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
353(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1022 0x1p-1022)
354 (v128.const f64x2 0x1p-1074 0x1p-1074))
355 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
356(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1022 0x1p-1022)
357 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
358 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
359(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1022 0x1p-1022)
360 (v128.const f64x2 0x1p-1022 0x1p-1022))
361 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
362(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1022 0x1p-1022)
363 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
364 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
365(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1022 0x1p-1022)
366 (v128.const f64x2 0x1p-1 0x1p-1))
367 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
368(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1022 0x1p-1022)
369 (v128.const f64x2 -0x1p-1 -0x1p-1))
370 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
371(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1022 0x1p-1022)
372 (v128.const f64x2 0x1p+0 0x1p+0))
373 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
374(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1022 0x1p-1022)
375 (v128.const f64x2 -0x1p+0 -0x1p+0))
376 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
377(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1022 0x1p-1022)
378 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
379 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
380(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1022 0x1p-1022)
381 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
382 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
383(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1022 0x1p-1022)
384 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
385 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
386(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1022 0x1p-1022)
387 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
388 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
389(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1022 0x1p-1022)
390 (v128.const f64x2 inf inf))
391 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
392(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1022 0x1p-1022)
393 (v128.const f64x2 -inf -inf))
394 (v128.const f64x2 -inf -inf))
395(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
396 (v128.const f64x2 0x0p+0 0x0p+0))
397 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
398(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
399 (v128.const f64x2 -0x0p+0 -0x0p+0))
400 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
401(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
402 (v128.const f64x2 0x1p-1074 0x1p-1074))
403 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
404(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
405 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
406 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
407(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
408 (v128.const f64x2 0x1p-1022 0x1p-1022))
409 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
410(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
411 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
412 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
413(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
414 (v128.const f64x2 0x1p-1 0x1p-1))
415 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
416(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
417 (v128.const f64x2 -0x1p-1 -0x1p-1))
418 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
419(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
420 (v128.const f64x2 0x1p+0 0x1p+0))
421 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
422(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
423 (v128.const f64x2 -0x1p+0 -0x1p+0))
424 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
425(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
426 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
427 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
428(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
429 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
430 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
431(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
432 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
433 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
434(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
435 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
436 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
437(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
438 (v128.const f64x2 inf inf))
439 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
440(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
441 (v128.const f64x2 -inf -inf))
442 (v128.const f64x2 -inf -inf))
443(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1 0x1p-1)
444 (v128.const f64x2 0x0p+0 0x0p+0))
445 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
446(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1 0x1p-1)
447 (v128.const f64x2 -0x0p+0 -0x0p+0))
448 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
449(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1 0x1p-1)
450 (v128.const f64x2 0x1p-1074 0x1p-1074))
451 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
452(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1 0x1p-1)
453 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
454 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
455(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1 0x1p-1)
456 (v128.const f64x2 0x1p-1022 0x1p-1022))
457 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
458(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1 0x1p-1)
459 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
460 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
461(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1 0x1p-1)
462 (v128.const f64x2 0x1p-1 0x1p-1))
463 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
464(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1 0x1p-1)
465 (v128.const f64x2 -0x1p-1 -0x1p-1))
466 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
467(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1 0x1p-1)
468 (v128.const f64x2 0x1p+0 0x1p+0))
469 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
470(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1 0x1p-1)
471 (v128.const f64x2 -0x1p+0 -0x1p+0))
472 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
473(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1 0x1p-1)
474 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
475 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
476(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1 0x1p-1)
477 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
478 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
479(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1 0x1p-1)
480 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
481 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
482(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1 0x1p-1)
483 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
484 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
485(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1 0x1p-1)
486 (v128.const f64x2 inf inf))
487 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
488(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p-1 0x1p-1)
489 (v128.const f64x2 -inf -inf))
490 (v128.const f64x2 -inf -inf))
491(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1 -0x1p-1)
492 (v128.const f64x2 0x0p+0 0x0p+0))
493 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
494(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1 -0x1p-1)
495 (v128.const f64x2 -0x0p+0 -0x0p+0))
496 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
497(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1 -0x1p-1)
498 (v128.const f64x2 0x1p-1074 0x1p-1074))
499 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
500(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1 -0x1p-1)
501 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
502 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
503(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1 -0x1p-1)
504 (v128.const f64x2 0x1p-1022 0x1p-1022))
505 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
506(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1 -0x1p-1)
507 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
508 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
509(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1 -0x1p-1)
510 (v128.const f64x2 0x1p-1 0x1p-1))
511 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
512(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1 -0x1p-1)
513 (v128.const f64x2 -0x1p-1 -0x1p-1))
514 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
515(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1 -0x1p-1)
516 (v128.const f64x2 0x1p+0 0x1p+0))
517 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
518(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1 -0x1p-1)
519 (v128.const f64x2 -0x1p+0 -0x1p+0))
520 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
521(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1 -0x1p-1)
522 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
523 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
524(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1 -0x1p-1)
525 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
526 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
527(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1 -0x1p-1)
528 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
529 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
530(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1 -0x1p-1)
531 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
532 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
533(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1 -0x1p-1)
534 (v128.const f64x2 inf inf))
535 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
536(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p-1 -0x1p-1)
537 (v128.const f64x2 -inf -inf))
538 (v128.const f64x2 -inf -inf))
539(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p+0 0x1p+0)
540 (v128.const f64x2 0x0p+0 0x0p+0))
541 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
542(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p+0 0x1p+0)
543 (v128.const f64x2 -0x0p+0 -0x0p+0))
544 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
545(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p+0 0x1p+0)
546 (v128.const f64x2 0x1p-1074 0x1p-1074))
547 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
548(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p+0 0x1p+0)
549 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
550 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
551(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p+0 0x1p+0)
552 (v128.const f64x2 0x1p-1022 0x1p-1022))
553 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
554(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p+0 0x1p+0)
555 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
556 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
557(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p+0 0x1p+0)
558 (v128.const f64x2 0x1p-1 0x1p-1))
559 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
560(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p+0 0x1p+0)
561 (v128.const f64x2 -0x1p-1 -0x1p-1))
562 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
563(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p+0 0x1p+0)
564 (v128.const f64x2 0x1p+0 0x1p+0))
565 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
566(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p+0 0x1p+0)
567 (v128.const f64x2 -0x1p+0 -0x1p+0))
568 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
569(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p+0 0x1p+0)
570 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
571 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
572(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p+0 0x1p+0)
573 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
574 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
575(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p+0 0x1p+0)
576 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
577 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
578(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p+0 0x1p+0)
579 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
580 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
581(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p+0 0x1p+0)
582 (v128.const f64x2 inf inf))
583 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
584(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1p+0 0x1p+0)
585 (v128.const f64x2 -inf -inf))
586 (v128.const f64x2 -inf -inf))
587(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p+0 -0x1p+0)
588 (v128.const f64x2 0x0p+0 0x0p+0))
589 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
590(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p+0 -0x1p+0)
591 (v128.const f64x2 -0x0p+0 -0x0p+0))
592 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
593(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p+0 -0x1p+0)
594 (v128.const f64x2 0x1p-1074 0x1p-1074))
595 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
596(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p+0 -0x1p+0)
597 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
598 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
599(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p+0 -0x1p+0)
600 (v128.const f64x2 0x1p-1022 0x1p-1022))
601 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
602(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p+0 -0x1p+0)
603 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
604 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
605(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p+0 -0x1p+0)
606 (v128.const f64x2 0x1p-1 0x1p-1))
607 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
608(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p+0 -0x1p+0)
609 (v128.const f64x2 -0x1p-1 -0x1p-1))
610 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
611(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p+0 -0x1p+0)
612 (v128.const f64x2 0x1p+0 0x1p+0))
613 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
614(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p+0 -0x1p+0)
615 (v128.const f64x2 -0x1p+0 -0x1p+0))
616 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
617(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p+0 -0x1p+0)
618 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
619 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
620(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p+0 -0x1p+0)
621 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
622 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
623(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p+0 -0x1p+0)
624 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
625 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
626(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p+0 -0x1p+0)
627 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
628 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
629(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p+0 -0x1p+0)
630 (v128.const f64x2 inf inf))
631 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
632(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1p+0 -0x1p+0)
633 (v128.const f64x2 -inf -inf))
634 (v128.const f64x2 -inf -inf))
635(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
636 (v128.const f64x2 0x0p+0 0x0p+0))
637 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
638(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
639 (v128.const f64x2 -0x0p+0 -0x0p+0))
640 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
641(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
642 (v128.const f64x2 0x1p-1074 0x1p-1074))
643 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
644(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
645 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
646 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
647(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
648 (v128.const f64x2 0x1p-1022 0x1p-1022))
649 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
650(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
651 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
652 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
653(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
654 (v128.const f64x2 0x1p-1 0x1p-1))
655 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
656(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
657 (v128.const f64x2 -0x1p-1 -0x1p-1))
658 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
659(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
660 (v128.const f64x2 0x1p+0 0x1p+0))
661 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
662(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
663 (v128.const f64x2 -0x1p+0 -0x1p+0))
664 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
665(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
666 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
667 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
668(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
669 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
670 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
671(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
672 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
673 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
674(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
675 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
676 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
677(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
678 (v128.const f64x2 inf inf))
679 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
680(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
681 (v128.const f64x2 -inf -inf))
682 (v128.const f64x2 -inf -inf))
683(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
684 (v128.const f64x2 0x0p+0 0x0p+0))
685 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
686(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
687 (v128.const f64x2 -0x0p+0 -0x0p+0))
688 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
689(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
690 (v128.const f64x2 0x1p-1074 0x1p-1074))
691 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
692(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
693 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
694 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
695(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
696 (v128.const f64x2 0x1p-1022 0x1p-1022))
697 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
698(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
699 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
700 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
701(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
702 (v128.const f64x2 0x1p-1 0x1p-1))
703 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
704(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
705 (v128.const f64x2 -0x1p-1 -0x1p-1))
706 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
707(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
708 (v128.const f64x2 0x1p+0 0x1p+0))
709 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
710(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
711 (v128.const f64x2 -0x1p+0 -0x1p+0))
712 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
713(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
714 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
715 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
716(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
717 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
718 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
719(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
720 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
721 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
722(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
723 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
724 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
725(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
726 (v128.const f64x2 inf inf))
727 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
728(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
729 (v128.const f64x2 -inf -inf))
730 (v128.const f64x2 -inf -inf))
731(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
732 (v128.const f64x2 0x0p+0 0x0p+0))
733 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
734(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
735 (v128.const f64x2 -0x0p+0 -0x0p+0))
736 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
737(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
738 (v128.const f64x2 0x1p-1074 0x1p-1074))
739 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
740(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
741 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
742 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
743(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
744 (v128.const f64x2 0x1p-1022 0x1p-1022))
745 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
746(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
747 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
748 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
749(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
750 (v128.const f64x2 0x1p-1 0x1p-1))
751 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
752(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
753 (v128.const f64x2 -0x1p-1 -0x1p-1))
754 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
755(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
756 (v128.const f64x2 0x1p+0 0x1p+0))
757 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
758(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
759 (v128.const f64x2 -0x1p+0 -0x1p+0))
760 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
761(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
762 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
763 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
764(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
765 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
766 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
767(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
768 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
769 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
770(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
771 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
772 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
773(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
774 (v128.const f64x2 inf inf))
775 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
776(assert_return (invoke "f64x2.min" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
777 (v128.const f64x2 -inf -inf))
778 (v128.const f64x2 -inf -inf))
779(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
780 (v128.const f64x2 0x0p+0 0x0p+0))
781 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
782(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
783 (v128.const f64x2 -0x0p+0 -0x0p+0))
784 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
785(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
786 (v128.const f64x2 0x1p-1074 0x1p-1074))
787 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
788(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
789 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
790 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
791(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
792 (v128.const f64x2 0x1p-1022 0x1p-1022))
793 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
794(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
795 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
796 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
797(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
798 (v128.const f64x2 0x1p-1 0x1p-1))
799 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
800(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
801 (v128.const f64x2 -0x1p-1 -0x1p-1))
802 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
803(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
804 (v128.const f64x2 0x1p+0 0x1p+0))
805 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
806(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
807 (v128.const f64x2 -0x1p+0 -0x1p+0))
808 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
809(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
810 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
811 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
812(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
813 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
814 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
815(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
816 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
817 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
818(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
819 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
820 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
821(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
822 (v128.const f64x2 inf inf))
823 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
824(assert_return (invoke "f64x2.min" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
825 (v128.const f64x2 -inf -inf))
826 (v128.const f64x2 -inf -inf))
827(assert_return (invoke "f64x2.min" (v128.const f64x2 inf inf)
828 (v128.const f64x2 0x0p+0 0x0p+0))
829 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
830(assert_return (invoke "f64x2.min" (v128.const f64x2 inf inf)
831 (v128.const f64x2 -0x0p+0 -0x0p+0))
832 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
833(assert_return (invoke "f64x2.min" (v128.const f64x2 inf inf)
834 (v128.const f64x2 0x1p-1074 0x1p-1074))
835 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
836(assert_return (invoke "f64x2.min" (v128.const f64x2 inf inf)
837 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
838 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
839(assert_return (invoke "f64x2.min" (v128.const f64x2 inf inf)
840 (v128.const f64x2 0x1p-1022 0x1p-1022))
841 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
842(assert_return (invoke "f64x2.min" (v128.const f64x2 inf inf)
843 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
844 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
845(assert_return (invoke "f64x2.min" (v128.const f64x2 inf inf)
846 (v128.const f64x2 0x1p-1 0x1p-1))
847 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
848(assert_return (invoke "f64x2.min" (v128.const f64x2 inf inf)
849 (v128.const f64x2 -0x1p-1 -0x1p-1))
850 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
851(assert_return (invoke "f64x2.min" (v128.const f64x2 inf inf)
852 (v128.const f64x2 0x1p+0 0x1p+0))
853 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
854(assert_return (invoke "f64x2.min" (v128.const f64x2 inf inf)
855 (v128.const f64x2 -0x1p+0 -0x1p+0))
856 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
857(assert_return (invoke "f64x2.min" (v128.const f64x2 inf inf)
858 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
859 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
860(assert_return (invoke "f64x2.min" (v128.const f64x2 inf inf)
861 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
862 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
863(assert_return (invoke "f64x2.min" (v128.const f64x2 inf inf)
864 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
865 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
866(assert_return (invoke "f64x2.min" (v128.const f64x2 inf inf)
867 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
868 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
869(assert_return (invoke "f64x2.min" (v128.const f64x2 inf inf)
870 (v128.const f64x2 inf inf))
871 (v128.const f64x2 inf inf))
872(assert_return (invoke "f64x2.min" (v128.const f64x2 inf inf)
873 (v128.const f64x2 -inf -inf))
874 (v128.const f64x2 -inf -inf))
875(assert_return (invoke "f64x2.min" (v128.const f64x2 -inf -inf)
876 (v128.const f64x2 0x0p+0 0x0p+0))
877 (v128.const f64x2 -inf -inf))
878(assert_return (invoke "f64x2.min" (v128.const f64x2 -inf -inf)
879 (v128.const f64x2 -0x0p+0 -0x0p+0))
880 (v128.const f64x2 -inf -inf))
881(assert_return (invoke "f64x2.min" (v128.const f64x2 -inf -inf)
882 (v128.const f64x2 0x1p-1074 0x1p-1074))
883 (v128.const f64x2 -inf -inf))
884(assert_return (invoke "f64x2.min" (v128.const f64x2 -inf -inf)
885 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
886 (v128.const f64x2 -inf -inf))
887(assert_return (invoke "f64x2.min" (v128.const f64x2 -inf -inf)
888 (v128.const f64x2 0x1p-1022 0x1p-1022))
889 (v128.const f64x2 -inf -inf))
890(assert_return (invoke "f64x2.min" (v128.const f64x2 -inf -inf)
891 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
892 (v128.const f64x2 -inf -inf))
893(assert_return (invoke "f64x2.min" (v128.const f64x2 -inf -inf)
894 (v128.const f64x2 0x1p-1 0x1p-1))
895 (v128.const f64x2 -inf -inf))
896(assert_return (invoke "f64x2.min" (v128.const f64x2 -inf -inf)
897 (v128.const f64x2 -0x1p-1 -0x1p-1))
898 (v128.const f64x2 -inf -inf))
899(assert_return (invoke "f64x2.min" (v128.const f64x2 -inf -inf)
900 (v128.const f64x2 0x1p+0 0x1p+0))
901 (v128.const f64x2 -inf -inf))
902(assert_return (invoke "f64x2.min" (v128.const f64x2 -inf -inf)
903 (v128.const f64x2 -0x1p+0 -0x1p+0))
904 (v128.const f64x2 -inf -inf))
905(assert_return (invoke "f64x2.min" (v128.const f64x2 -inf -inf)
906 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
907 (v128.const f64x2 -inf -inf))
908(assert_return (invoke "f64x2.min" (v128.const f64x2 -inf -inf)
909 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
910 (v128.const f64x2 -inf -inf))
911(assert_return (invoke "f64x2.min" (v128.const f64x2 -inf -inf)
912 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
913 (v128.const f64x2 -inf -inf))
914(assert_return (invoke "f64x2.min" (v128.const f64x2 -inf -inf)
915 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
916 (v128.const f64x2 -inf -inf))
917(assert_return (invoke "f64x2.min" (v128.const f64x2 -inf -inf)
918 (v128.const f64x2 inf inf))
919 (v128.const f64x2 -inf -inf))
920(assert_return (invoke "f64x2.min" (v128.const f64x2 -inf -inf)
921 (v128.const f64x2 -inf -inf))
922 (v128.const f64x2 -inf -inf))
923(assert_return (invoke "f64x2.min" (v128.const f64x2 nan nan)
924 (v128.const f64x2 0x0p+0 0x0p+0))
925 (v128.const f64x2 nan:canonical nan:canonical))
926(assert_return (invoke "f64x2.min" (v128.const f64x2 nan nan)
927 (v128.const f64x2 -0x0p+0 -0x0p+0))
928 (v128.const f64x2 nan:canonical nan:canonical))
929(assert_return (invoke "f64x2.min" (v128.const f64x2 nan nan)
930 (v128.const f64x2 0x1p-1074 0x1p-1074))
931 (v128.const f64x2 nan:canonical nan:canonical))
932(assert_return (invoke "f64x2.min" (v128.const f64x2 nan nan)
933 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
934 (v128.const f64x2 nan:canonical nan:canonical))
935(assert_return (invoke "f64x2.min" (v128.const f64x2 nan nan)
936 (v128.const f64x2 0x1p-1022 0x1p-1022))
937 (v128.const f64x2 nan:canonical nan:canonical))
938(assert_return (invoke "f64x2.min" (v128.const f64x2 nan nan)
939 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
940 (v128.const f64x2 nan:canonical nan:canonical))
941(assert_return (invoke "f64x2.min" (v128.const f64x2 nan nan)
942 (v128.const f64x2 0x1p-1 0x1p-1))
943 (v128.const f64x2 nan:canonical nan:canonical))
944(assert_return (invoke "f64x2.min" (v128.const f64x2 nan nan)
945 (v128.const f64x2 -0x1p-1 -0x1p-1))
946 (v128.const f64x2 nan:canonical nan:canonical))
947(assert_return (invoke "f64x2.min" (v128.const f64x2 nan nan)
948 (v128.const f64x2 0x1p+0 0x1p+0))
949 (v128.const f64x2 nan:canonical nan:canonical))
950(assert_return (invoke "f64x2.min" (v128.const f64x2 nan nan)
951 (v128.const f64x2 -0x1p+0 -0x1p+0))
952 (v128.const f64x2 nan:canonical nan:canonical))
953(assert_return (invoke "f64x2.min" (v128.const f64x2 nan nan)
954 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
955 (v128.const f64x2 nan:canonical nan:canonical))
956(assert_return (invoke "f64x2.min" (v128.const f64x2 nan nan)
957 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
958 (v128.const f64x2 nan:canonical nan:canonical))
959(assert_return (invoke "f64x2.min" (v128.const f64x2 nan nan)
960 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
961 (v128.const f64x2 nan:canonical nan:canonical))
962(assert_return (invoke "f64x2.min" (v128.const f64x2 nan nan)
963 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
964 (v128.const f64x2 nan:canonical nan:canonical))
965(assert_return (invoke "f64x2.min" (v128.const f64x2 nan nan)
966 (v128.const f64x2 inf inf))
967 (v128.const f64x2 nan:canonical nan:canonical))
968(assert_return (invoke "f64x2.min" (v128.const f64x2 nan nan)
969 (v128.const f64x2 -inf -inf))
970 (v128.const f64x2 nan:canonical nan:canonical))
971(assert_return (invoke "f64x2.min" (v128.const f64x2 nan nan)
972 (v128.const f64x2 nan nan))
973 (v128.const f64x2 nan:canonical nan:canonical))
974(assert_return (invoke "f64x2.min" (v128.const f64x2 nan nan)
975 (v128.const f64x2 -nan -nan))
976 (v128.const f64x2 nan:canonical nan:canonical))
977(assert_return (invoke "f64x2.min" (v128.const f64x2 nan nan)
978 (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000))
979 (v128.const f64x2 nan:arithmetic nan:arithmetic))
980(assert_return (invoke "f64x2.min" (v128.const f64x2 nan nan)
981 (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000))
982 (v128.const f64x2 nan:arithmetic nan:arithmetic))
983(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan -nan)
984 (v128.const f64x2 0x0p+0 0x0p+0))
985 (v128.const f64x2 nan:canonical nan:canonical))
986(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan -nan)
987 (v128.const f64x2 -0x0p+0 -0x0p+0))
988 (v128.const f64x2 nan:canonical nan:canonical))
989(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan -nan)
990 (v128.const f64x2 0x1p-1074 0x1p-1074))
991 (v128.const f64x2 nan:canonical nan:canonical))
992(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan -nan)
993 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
994 (v128.const f64x2 nan:canonical nan:canonical))
995(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan -nan)
996 (v128.const f64x2 0x1p-1022 0x1p-1022))
997 (v128.const f64x2 nan:canonical nan:canonical))
998(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan -nan)
999 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
1000 (v128.const f64x2 nan:canonical nan:canonical))
1001(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan -nan)
1002 (v128.const f64x2 0x1p-1 0x1p-1))
1003 (v128.const f64x2 nan:canonical nan:canonical))
1004(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan -nan)
1005 (v128.const f64x2 -0x1p-1 -0x1p-1))
1006 (v128.const f64x2 nan:canonical nan:canonical))
1007(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan -nan)
1008 (v128.const f64x2 0x1p+0 0x1p+0))
1009 (v128.const f64x2 nan:canonical nan:canonical))
1010(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan -nan)
1011 (v128.const f64x2 -0x1p+0 -0x1p+0))
1012 (v128.const f64x2 nan:canonical nan:canonical))
1013(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan -nan)
1014 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1015 (v128.const f64x2 nan:canonical nan:canonical))
1016(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan -nan)
1017 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1018 (v128.const f64x2 nan:canonical nan:canonical))
1019(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan -nan)
1020 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1021 (v128.const f64x2 nan:canonical nan:canonical))
1022(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan -nan)
1023 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
1024 (v128.const f64x2 nan:canonical nan:canonical))
1025(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan -nan)
1026 (v128.const f64x2 inf inf))
1027 (v128.const f64x2 nan:canonical nan:canonical))
1028(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan -nan)
1029 (v128.const f64x2 -inf -inf))
1030 (v128.const f64x2 nan:canonical nan:canonical))
1031(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan -nan)
1032 (v128.const f64x2 nan nan))
1033 (v128.const f64x2 nan:canonical nan:canonical))
1034(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan -nan)
1035 (v128.const f64x2 -nan -nan))
1036 (v128.const f64x2 nan:canonical nan:canonical))
1037(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan -nan)
1038 (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000))
1039 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1040(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan -nan)
1041 (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000))
1042 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1043(assert_return (invoke "f64x2.min" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
1044 (v128.const f64x2 0x0p+0 0x0p+0))
1045 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1046(assert_return (invoke "f64x2.min" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
1047 (v128.const f64x2 -0x0p+0 -0x0p+0))
1048 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1049(assert_return (invoke "f64x2.min" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
1050 (v128.const f64x2 0x1p-1074 0x1p-1074))
1051 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1052(assert_return (invoke "f64x2.min" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
1053 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
1054 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1055(assert_return (invoke "f64x2.min" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
1056 (v128.const f64x2 0x1p-1022 0x1p-1022))
1057 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1058(assert_return (invoke "f64x2.min" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
1059 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
1060 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1061(assert_return (invoke "f64x2.min" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
1062 (v128.const f64x2 0x1p-1 0x1p-1))
1063 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1064(assert_return (invoke "f64x2.min" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
1065 (v128.const f64x2 -0x1p-1 -0x1p-1))
1066 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1067(assert_return (invoke "f64x2.min" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
1068 (v128.const f64x2 0x1p+0 0x1p+0))
1069 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1070(assert_return (invoke "f64x2.min" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
1071 (v128.const f64x2 -0x1p+0 -0x1p+0))
1072 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1073(assert_return (invoke "f64x2.min" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
1074 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1075 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1076(assert_return (invoke "f64x2.min" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
1077 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1078 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1079(assert_return (invoke "f64x2.min" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
1080 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1081 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1082(assert_return (invoke "f64x2.min" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
1083 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
1084 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1085(assert_return (invoke "f64x2.min" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
1086 (v128.const f64x2 inf inf))
1087 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1088(assert_return (invoke "f64x2.min" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
1089 (v128.const f64x2 -inf -inf))
1090 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1091(assert_return (invoke "f64x2.min" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
1092 (v128.const f64x2 nan nan))
1093 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1094(assert_return (invoke "f64x2.min" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
1095 (v128.const f64x2 -nan -nan))
1096 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1097(assert_return (invoke "f64x2.min" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
1098 (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000))
1099 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1100(assert_return (invoke "f64x2.min" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
1101 (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000))
1102 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1103(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
1104 (v128.const f64x2 0x0p+0 0x0p+0))
1105 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1106(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
1107 (v128.const f64x2 -0x0p+0 -0x0p+0))
1108 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1109(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
1110 (v128.const f64x2 0x1p-1074 0x1p-1074))
1111 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1112(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
1113 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
1114 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1115(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
1116 (v128.const f64x2 0x1p-1022 0x1p-1022))
1117 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1118(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
1119 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
1120 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1121(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
1122 (v128.const f64x2 0x1p-1 0x1p-1))
1123 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1124(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
1125 (v128.const f64x2 -0x1p-1 -0x1p-1))
1126 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1127(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
1128 (v128.const f64x2 0x1p+0 0x1p+0))
1129 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1130(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
1131 (v128.const f64x2 -0x1p+0 -0x1p+0))
1132 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1133(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
1134 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1135 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1136(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
1137 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1138 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1139(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
1140 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1141 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1142(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
1143 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
1144 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1145(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
1146 (v128.const f64x2 inf inf))
1147 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1148(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
1149 (v128.const f64x2 -inf -inf))
1150 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1151(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
1152 (v128.const f64x2 nan nan))
1153 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1154(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
1155 (v128.const f64x2 -nan -nan))
1156 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1157(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
1158 (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000))
1159 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1160(assert_return (invoke "f64x2.min" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
1161 (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000))
1162 (v128.const f64x2 nan:arithmetic nan:arithmetic))
1163(assert_return (invoke "f64x2.min" (v128.const f64x2 01234567890123456789e038 01234567890123456789e038)
1164 (v128.const f64x2 01234567890123456789e038 01234567890123456789e038))
1165 (v128.const f64x2 01234567890123456789e038 01234567890123456789e038))
1166(assert_return (invoke "f64x2.min" (v128.const f64x2 01234567890123456789e038 01234567890123456789e038)
1167 (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038))
1168 (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038))
1169(assert_return (invoke "f64x2.min" (v128.const f64x2 01234567890123456789e038 01234567890123456789e038)
1170 (v128.const f64x2 0123456789.e038 0123456789.e038))
1171 (v128.const f64x2 0123456789.e038 0123456789.e038))
1172(assert_return (invoke "f64x2.min" (v128.const f64x2 01234567890123456789e038 01234567890123456789e038)
1173 (v128.const f64x2 0123456789.e+038 0123456789.e+038))
1174 (v128.const f64x2 0123456789.e+038 0123456789.e+038))
1175(assert_return (invoke "f64x2.min" (v128.const f64x2 01234567890123456789e038 01234567890123456789e038)
1176 (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789))
1177 (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789))
1178(assert_return (invoke "f64x2.min" (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038)
1179 (v128.const f64x2 01234567890123456789e038 01234567890123456789e038))
1180 (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038))
1181(assert_return (invoke "f64x2.min" (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038)
1182 (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038))
1183 (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038))
1184(assert_return (invoke "f64x2.min" (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038)
1185 (v128.const f64x2 0123456789.e038 0123456789.e038))
1186 (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038))
1187(assert_return (invoke "f64x2.min" (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038)
1188 (v128.const f64x2 0123456789.e+038 0123456789.e+038))
1189 (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038))
1190(assert_return (invoke "f64x2.min" (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038)
1191 (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789))
1192 (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789))
1193(assert_return (invoke "f64x2.min" (v128.const f64x2 0123456789.e038 0123456789.e038)
1194 (v128.const f64x2 01234567890123456789e038 01234567890123456789e038))
1195 (v128.const f64x2 0123456789.e038 0123456789.e038))
1196(assert_return (invoke "f64x2.min" (v128.const f64x2 0123456789.e038 0123456789.e038)
1197 (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038))
1198 (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038))
1199(assert_return (invoke "f64x2.min" (v128.const f64x2 0123456789.e038 0123456789.e038)
1200 (v128.const f64x2 0123456789.e038 0123456789.e038))
1201 (v128.const f64x2 0123456789.e038 0123456789.e038))
1202(assert_return (invoke "f64x2.min" (v128.const f64x2 0123456789.e038 0123456789.e038)
1203 (v128.const f64x2 0123456789.e+038 0123456789.e+038))
1204 (v128.const f64x2 0123456789.e038 0123456789.e038))
1205(assert_return (invoke "f64x2.min" (v128.const f64x2 0123456789.e038 0123456789.e038)
1206 (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789))
1207 (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789))
1208(assert_return (invoke "f64x2.min" (v128.const f64x2 0123456789.e+038 0123456789.e+038)
1209 (v128.const f64x2 01234567890123456789e038 01234567890123456789e038))
1210 (v128.const f64x2 0123456789.e+038 0123456789.e+038))
1211(assert_return (invoke "f64x2.min" (v128.const f64x2 0123456789.e+038 0123456789.e+038)
1212 (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038))
1213 (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038))
1214(assert_return (invoke "f64x2.min" (v128.const f64x2 0123456789.e+038 0123456789.e+038)
1215 (v128.const f64x2 0123456789.e038 0123456789.e038))
1216 (v128.const f64x2 0123456789.e+038 0123456789.e+038))
1217(assert_return (invoke "f64x2.min" (v128.const f64x2 0123456789.e+038 0123456789.e+038)
1218 (v128.const f64x2 0123456789.e+038 0123456789.e+038))
1219 (v128.const f64x2 0123456789.e+038 0123456789.e+038))
1220(assert_return (invoke "f64x2.min" (v128.const f64x2 0123456789.e+038 0123456789.e+038)
1221 (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789))
1222 (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789))
1223(assert_return (invoke "f64x2.min" (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789)
1224 (v128.const f64x2 01234567890123456789e038 01234567890123456789e038))
1225 (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789))
1226(assert_return (invoke "f64x2.min" (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789)
1227 (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038))
1228 (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789))
1229(assert_return (invoke "f64x2.min" (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789)
1230 (v128.const f64x2 0123456789.e038 0123456789.e038))
1231 (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789))
1232(assert_return (invoke "f64x2.min" (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789)
1233 (v128.const f64x2 0123456789.e+038 0123456789.e+038))
1234 (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789))
1235(assert_return (invoke "f64x2.min" (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789)
1236 (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789))
1237 (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789))
1238(assert_return (invoke "f64x2.max" (v128.const f64x2 0x0p+0 0x0p+0)
1239 (v128.const f64x2 0x0p+0 0x0p+0))
1240 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
1241(assert_return (invoke "f64x2.max" (v128.const f64x2 0x0p+0 0x0p+0)
1242 (v128.const f64x2 -0x0p+0 -0x0p+0))
1243 (v128.const f64x2 0x0p+0 0x0p+0))
1244(assert_return (invoke "f64x2.max" (v128.const f64x2 0x0p+0 0x0p+0)
1245 (v128.const f64x2 0x1p-1074 0x1p-1074))
1246 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
1247(assert_return (invoke "f64x2.max" (v128.const f64x2 0x0p+0 0x0p+0)
1248 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
1249 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
1250(assert_return (invoke "f64x2.max" (v128.const f64x2 0x0p+0 0x0p+0)
1251 (v128.const f64x2 0x1p-1022 0x1p-1022))
1252 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
1253(assert_return (invoke "f64x2.max" (v128.const f64x2 0x0p+0 0x0p+0)
1254 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
1255 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
1256(assert_return (invoke "f64x2.max" (v128.const f64x2 0x0p+0 0x0p+0)
1257 (v128.const f64x2 0x1p-1 0x1p-1))
1258 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
1259(assert_return (invoke "f64x2.max" (v128.const f64x2 0x0p+0 0x0p+0)
1260 (v128.const f64x2 -0x1p-1 -0x1p-1))
1261 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
1262(assert_return (invoke "f64x2.max" (v128.const f64x2 0x0p+0 0x0p+0)
1263 (v128.const f64x2 0x1p+0 0x1p+0))
1264 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1265(assert_return (invoke "f64x2.max" (v128.const f64x2 0x0p+0 0x0p+0)
1266 (v128.const f64x2 -0x1p+0 -0x1p+0))
1267 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
1268(assert_return (invoke "f64x2.max" (v128.const f64x2 0x0p+0 0x0p+0)
1269 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1270 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1271(assert_return (invoke "f64x2.max" (v128.const f64x2 0x0p+0 0x0p+0)
1272 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1273 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
1274(assert_return (invoke "f64x2.max" (v128.const f64x2 0x0p+0 0x0p+0)
1275 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1276 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1277(assert_return (invoke "f64x2.max" (v128.const f64x2 0x0p+0 0x0p+0)
1278 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
1279 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
1280(assert_return (invoke "f64x2.max" (v128.const f64x2 0x0p+0 0x0p+0)
1281 (v128.const f64x2 inf inf))
1282 (v128.const f64x2 inf inf))
1283(assert_return (invoke "f64x2.max" (v128.const f64x2 0x0p+0 0x0p+0)
1284 (v128.const f64x2 -inf -inf))
1285 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
1286(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x0p+0 -0x0p+0)
1287 (v128.const f64x2 0x0p+0 0x0p+0))
1288 (v128.const f64x2 0x0p+0 0x0p+0))
1289(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x0p+0 -0x0p+0)
1290 (v128.const f64x2 -0x0p+0 -0x0p+0))
1291 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
1292(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x0p+0 -0x0p+0)
1293 (v128.const f64x2 0x1p-1074 0x1p-1074))
1294 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
1295(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x0p+0 -0x0p+0)
1296 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
1297 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
1298(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x0p+0 -0x0p+0)
1299 (v128.const f64x2 0x1p-1022 0x1p-1022))
1300 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
1301(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x0p+0 -0x0p+0)
1302 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
1303 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
1304(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x0p+0 -0x0p+0)
1305 (v128.const f64x2 0x1p-1 0x1p-1))
1306 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
1307(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x0p+0 -0x0p+0)
1308 (v128.const f64x2 -0x1p-1 -0x1p-1))
1309 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
1310(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x0p+0 -0x0p+0)
1311 (v128.const f64x2 0x1p+0 0x1p+0))
1312 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1313(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x0p+0 -0x0p+0)
1314 (v128.const f64x2 -0x1p+0 -0x1p+0))
1315 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
1316(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x0p+0 -0x0p+0)
1317 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1318 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1319(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x0p+0 -0x0p+0)
1320 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1321 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
1322(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x0p+0 -0x0p+0)
1323 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1324 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1325(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x0p+0 -0x0p+0)
1326 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
1327 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
1328(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x0p+0 -0x0p+0)
1329 (v128.const f64x2 inf inf))
1330 (v128.const f64x2 inf inf))
1331(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x0p+0 -0x0p+0)
1332 (v128.const f64x2 -inf -inf))
1333 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
1334(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1074 0x1p-1074)
1335 (v128.const f64x2 0x0p+0 0x0p+0))
1336 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
1337(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1074 0x1p-1074)
1338 (v128.const f64x2 -0x0p+0 -0x0p+0))
1339 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
1340(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1074 0x1p-1074)
1341 (v128.const f64x2 0x1p-1074 0x1p-1074))
1342 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
1343(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1074 0x1p-1074)
1344 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
1345 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
1346(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1074 0x1p-1074)
1347 (v128.const f64x2 0x1p-1022 0x1p-1022))
1348 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
1349(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1074 0x1p-1074)
1350 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
1351 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
1352(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1074 0x1p-1074)
1353 (v128.const f64x2 0x1p-1 0x1p-1))
1354 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
1355(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1074 0x1p-1074)
1356 (v128.const f64x2 -0x1p-1 -0x1p-1))
1357 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
1358(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1074 0x1p-1074)
1359 (v128.const f64x2 0x1p+0 0x1p+0))
1360 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1361(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1074 0x1p-1074)
1362 (v128.const f64x2 -0x1p+0 -0x1p+0))
1363 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
1364(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1074 0x1p-1074)
1365 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1366 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1367(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1074 0x1p-1074)
1368 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1369 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
1370(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1074 0x1p-1074)
1371 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1372 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1373(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1074 0x1p-1074)
1374 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
1375 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
1376(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1074 0x1p-1074)
1377 (v128.const f64x2 inf inf))
1378 (v128.const f64x2 inf inf))
1379(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1074 0x1p-1074)
1380 (v128.const f64x2 -inf -inf))
1381 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
1382(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
1383 (v128.const f64x2 0x0p+0 0x0p+0))
1384 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
1385(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
1386 (v128.const f64x2 -0x0p+0 -0x0p+0))
1387 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
1388(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
1389 (v128.const f64x2 0x1p-1074 0x1p-1074))
1390 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
1391(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
1392 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
1393 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
1394(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
1395 (v128.const f64x2 0x1p-1022 0x1p-1022))
1396 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
1397(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
1398 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
1399 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
1400(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
1401 (v128.const f64x2 0x1p-1 0x1p-1))
1402 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
1403(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
1404 (v128.const f64x2 -0x1p-1 -0x1p-1))
1405 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
1406(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
1407 (v128.const f64x2 0x1p+0 0x1p+0))
1408 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1409(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
1410 (v128.const f64x2 -0x1p+0 -0x1p+0))
1411 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
1412(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
1413 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1414 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1415(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
1416 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1417 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
1418(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
1419 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1420 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1421(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
1422 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
1423 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
1424(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
1425 (v128.const f64x2 inf inf))
1426 (v128.const f64x2 inf inf))
1427(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1074 -0x1p-1074)
1428 (v128.const f64x2 -inf -inf))
1429 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
1430(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1022 0x1p-1022)
1431 (v128.const f64x2 0x0p+0 0x0p+0))
1432 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
1433(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1022 0x1p-1022)
1434 (v128.const f64x2 -0x0p+0 -0x0p+0))
1435 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
1436(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1022 0x1p-1022)
1437 (v128.const f64x2 0x1p-1074 0x1p-1074))
1438 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
1439(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1022 0x1p-1022)
1440 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
1441 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
1442(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1022 0x1p-1022)
1443 (v128.const f64x2 0x1p-1022 0x1p-1022))
1444 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
1445(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1022 0x1p-1022)
1446 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
1447 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
1448(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1022 0x1p-1022)
1449 (v128.const f64x2 0x1p-1 0x1p-1))
1450 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
1451(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1022 0x1p-1022)
1452 (v128.const f64x2 -0x1p-1 -0x1p-1))
1453 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
1454(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1022 0x1p-1022)
1455 (v128.const f64x2 0x1p+0 0x1p+0))
1456 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1457(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1022 0x1p-1022)
1458 (v128.const f64x2 -0x1p+0 -0x1p+0))
1459 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
1460(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1022 0x1p-1022)
1461 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1462 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1463(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1022 0x1p-1022)
1464 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1465 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
1466(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1022 0x1p-1022)
1467 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1468 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1469(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1022 0x1p-1022)
1470 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
1471 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
1472(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1022 0x1p-1022)
1473 (v128.const f64x2 inf inf))
1474 (v128.const f64x2 inf inf))
1475(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1022 0x1p-1022)
1476 (v128.const f64x2 -inf -inf))
1477 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
1478(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
1479 (v128.const f64x2 0x0p+0 0x0p+0))
1480 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
1481(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
1482 (v128.const f64x2 -0x0p+0 -0x0p+0))
1483 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
1484(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
1485 (v128.const f64x2 0x1p-1074 0x1p-1074))
1486 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
1487(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
1488 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
1489 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
1490(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
1491 (v128.const f64x2 0x1p-1022 0x1p-1022))
1492 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
1493(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
1494 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
1495 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
1496(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
1497 (v128.const f64x2 0x1p-1 0x1p-1))
1498 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
1499(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
1500 (v128.const f64x2 -0x1p-1 -0x1p-1))
1501 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
1502(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
1503 (v128.const f64x2 0x1p+0 0x1p+0))
1504 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1505(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
1506 (v128.const f64x2 -0x1p+0 -0x1p+0))
1507 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
1508(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
1509 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1510 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1511(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
1512 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1513 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
1514(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
1515 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1516 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1517(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
1518 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
1519 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
1520(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
1521 (v128.const f64x2 inf inf))
1522 (v128.const f64x2 inf inf))
1523(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1022 -0x1p-1022)
1524 (v128.const f64x2 -inf -inf))
1525 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
1526(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1 0x1p-1)
1527 (v128.const f64x2 0x0p+0 0x0p+0))
1528 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
1529(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1 0x1p-1)
1530 (v128.const f64x2 -0x0p+0 -0x0p+0))
1531 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
1532(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1 0x1p-1)
1533 (v128.const f64x2 0x1p-1074 0x1p-1074))
1534 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
1535(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1 0x1p-1)
1536 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
1537 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
1538(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1 0x1p-1)
1539 (v128.const f64x2 0x1p-1022 0x1p-1022))
1540 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
1541(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1 0x1p-1)
1542 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
1543 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
1544(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1 0x1p-1)
1545 (v128.const f64x2 0x1p-1 0x1p-1))
1546 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
1547(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1 0x1p-1)
1548 (v128.const f64x2 -0x1p-1 -0x1p-1))
1549 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
1550(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1 0x1p-1)
1551 (v128.const f64x2 0x1p+0 0x1p+0))
1552 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1553(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1 0x1p-1)
1554 (v128.const f64x2 -0x1p+0 -0x1p+0))
1555 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
1556(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1 0x1p-1)
1557 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1558 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1559(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1 0x1p-1)
1560 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1561 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
1562(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1 0x1p-1)
1563 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1564 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1565(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1 0x1p-1)
1566 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
1567 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
1568(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1 0x1p-1)
1569 (v128.const f64x2 inf inf))
1570 (v128.const f64x2 inf inf))
1571(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p-1 0x1p-1)
1572 (v128.const f64x2 -inf -inf))
1573 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
1574(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1 -0x1p-1)
1575 (v128.const f64x2 0x0p+0 0x0p+0))
1576 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
1577(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1 -0x1p-1)
1578 (v128.const f64x2 -0x0p+0 -0x0p+0))
1579 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
1580(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1 -0x1p-1)
1581 (v128.const f64x2 0x1p-1074 0x1p-1074))
1582 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
1583(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1 -0x1p-1)
1584 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
1585 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
1586(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1 -0x1p-1)
1587 (v128.const f64x2 0x1p-1022 0x1p-1022))
1588 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
1589(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1 -0x1p-1)
1590 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
1591 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
1592(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1 -0x1p-1)
1593 (v128.const f64x2 0x1p-1 0x1p-1))
1594 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
1595(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1 -0x1p-1)
1596 (v128.const f64x2 -0x1p-1 -0x1p-1))
1597 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
1598(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1 -0x1p-1)
1599 (v128.const f64x2 0x1p+0 0x1p+0))
1600 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1601(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1 -0x1p-1)
1602 (v128.const f64x2 -0x1p+0 -0x1p+0))
1603 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
1604(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1 -0x1p-1)
1605 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1606 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1607(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1 -0x1p-1)
1608 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1609 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
1610(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1 -0x1p-1)
1611 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1612 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1613(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1 -0x1p-1)
1614 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
1615 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
1616(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1 -0x1p-1)
1617 (v128.const f64x2 inf inf))
1618 (v128.const f64x2 inf inf))
1619(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p-1 -0x1p-1)
1620 (v128.const f64x2 -inf -inf))
1621 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
1622(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p+0 0x1p+0)
1623 (v128.const f64x2 0x0p+0 0x0p+0))
1624 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1625(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p+0 0x1p+0)
1626 (v128.const f64x2 -0x0p+0 -0x0p+0))
1627 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1628(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p+0 0x1p+0)
1629 (v128.const f64x2 0x1p-1074 0x1p-1074))
1630 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1631(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p+0 0x1p+0)
1632 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
1633 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1634(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p+0 0x1p+0)
1635 (v128.const f64x2 0x1p-1022 0x1p-1022))
1636 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1637(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p+0 0x1p+0)
1638 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
1639 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1640(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p+0 0x1p+0)
1641 (v128.const f64x2 0x1p-1 0x1p-1))
1642 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1643(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p+0 0x1p+0)
1644 (v128.const f64x2 -0x1p-1 -0x1p-1))
1645 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1646(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p+0 0x1p+0)
1647 (v128.const f64x2 0x1p+0 0x1p+0))
1648 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1649(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p+0 0x1p+0)
1650 (v128.const f64x2 -0x1p+0 -0x1p+0))
1651 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1652(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p+0 0x1p+0)
1653 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1654 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1655(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p+0 0x1p+0)
1656 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1657 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1658(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p+0 0x1p+0)
1659 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1660 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1661(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p+0 0x1p+0)
1662 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
1663 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1664(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p+0 0x1p+0)
1665 (v128.const f64x2 inf inf))
1666 (v128.const f64x2 inf inf))
1667(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1p+0 0x1p+0)
1668 (v128.const f64x2 -inf -inf))
1669 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1670(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p+0 -0x1p+0)
1671 (v128.const f64x2 0x0p+0 0x0p+0))
1672 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
1673(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p+0 -0x1p+0)
1674 (v128.const f64x2 -0x0p+0 -0x0p+0))
1675 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
1676(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p+0 -0x1p+0)
1677 (v128.const f64x2 0x1p-1074 0x1p-1074))
1678 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
1679(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p+0 -0x1p+0)
1680 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
1681 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
1682(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p+0 -0x1p+0)
1683 (v128.const f64x2 0x1p-1022 0x1p-1022))
1684 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
1685(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p+0 -0x1p+0)
1686 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
1687 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
1688(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p+0 -0x1p+0)
1689 (v128.const f64x2 0x1p-1 0x1p-1))
1690 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
1691(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p+0 -0x1p+0)
1692 (v128.const f64x2 -0x1p-1 -0x1p-1))
1693 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
1694(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p+0 -0x1p+0)
1695 (v128.const f64x2 0x1p+0 0x1p+0))
1696 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1697(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p+0 -0x1p+0)
1698 (v128.const f64x2 -0x1p+0 -0x1p+0))
1699 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
1700(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p+0 -0x1p+0)
1701 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1702 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1703(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p+0 -0x1p+0)
1704 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1705 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
1706(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p+0 -0x1p+0)
1707 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1708 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1709(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p+0 -0x1p+0)
1710 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
1711 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
1712(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p+0 -0x1p+0)
1713 (v128.const f64x2 inf inf))
1714 (v128.const f64x2 inf inf))
1715(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1p+0 -0x1p+0)
1716 (v128.const f64x2 -inf -inf))
1717 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
1718(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
1719 (v128.const f64x2 0x0p+0 0x0p+0))
1720 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1721(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
1722 (v128.const f64x2 -0x0p+0 -0x0p+0))
1723 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1724(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
1725 (v128.const f64x2 0x1p-1074 0x1p-1074))
1726 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1727(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
1728 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
1729 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1730(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
1731 (v128.const f64x2 0x1p-1022 0x1p-1022))
1732 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1733(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
1734 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
1735 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1736(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
1737 (v128.const f64x2 0x1p-1 0x1p-1))
1738 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1739(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
1740 (v128.const f64x2 -0x1p-1 -0x1p-1))
1741 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1742(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
1743 (v128.const f64x2 0x1p+0 0x1p+0))
1744 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1745(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
1746 (v128.const f64x2 -0x1p+0 -0x1p+0))
1747 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1748(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
1749 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1750 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1751(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
1752 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1753 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1754(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
1755 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1756 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1757(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
1758 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
1759 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1760(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
1761 (v128.const f64x2 inf inf))
1762 (v128.const f64x2 inf inf))
1763(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2)
1764 (v128.const f64x2 -inf -inf))
1765 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1766(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
1767 (v128.const f64x2 0x0p+0 0x0p+0))
1768 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
1769(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
1770 (v128.const f64x2 -0x0p+0 -0x0p+0))
1771 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
1772(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
1773 (v128.const f64x2 0x1p-1074 0x1p-1074))
1774 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
1775(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
1776 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
1777 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
1778(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
1779 (v128.const f64x2 0x1p-1022 0x1p-1022))
1780 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
1781(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
1782 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
1783 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
1784(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
1785 (v128.const f64x2 0x1p-1 0x1p-1))
1786 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
1787(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
1788 (v128.const f64x2 -0x1p-1 -0x1p-1))
1789 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
1790(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
1791 (v128.const f64x2 0x1p+0 0x1p+0))
1792 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1793(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
1794 (v128.const f64x2 -0x1p+0 -0x1p+0))
1795 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
1796(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
1797 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1798 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1799(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
1800 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1801 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1802(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
1803 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1804 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1805(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
1806 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
1807 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1808(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
1809 (v128.const f64x2 inf inf))
1810 (v128.const f64x2 inf inf))
1811(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2)
1812 (v128.const f64x2 -inf -inf))
1813 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1814(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
1815 (v128.const f64x2 0x0p+0 0x0p+0))
1816 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1817(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
1818 (v128.const f64x2 -0x0p+0 -0x0p+0))
1819 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1820(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
1821 (v128.const f64x2 0x1p-1074 0x1p-1074))
1822 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1823(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
1824 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
1825 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1826(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
1827 (v128.const f64x2 0x1p-1022 0x1p-1022))
1828 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1829(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
1830 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
1831 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1832(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
1833 (v128.const f64x2 0x1p-1 0x1p-1))
1834 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1835(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
1836 (v128.const f64x2 -0x1p-1 -0x1p-1))
1837 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1838(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
1839 (v128.const f64x2 0x1p+0 0x1p+0))
1840 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1841(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
1842 (v128.const f64x2 -0x1p+0 -0x1p+0))
1843 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1844(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
1845 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1846 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1847(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
1848 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1849 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1850(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
1851 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1852 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1853(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
1854 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
1855 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1856(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
1857 (v128.const f64x2 inf inf))
1858 (v128.const f64x2 inf inf))
1859(assert_return (invoke "f64x2.max" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023)
1860 (v128.const f64x2 -inf -inf))
1861 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1862(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
1863 (v128.const f64x2 0x0p+0 0x0p+0))
1864 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
1865(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
1866 (v128.const f64x2 -0x0p+0 -0x0p+0))
1867 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
1868(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
1869 (v128.const f64x2 0x1p-1074 0x1p-1074))
1870 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
1871(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
1872 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
1873 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
1874(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
1875 (v128.const f64x2 0x1p-1022 0x1p-1022))
1876 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
1877(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
1878 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
1879 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
1880(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
1881 (v128.const f64x2 0x1p-1 0x1p-1))
1882 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
1883(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
1884 (v128.const f64x2 -0x1p-1 -0x1p-1))
1885 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
1886(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
1887 (v128.const f64x2 0x1p+0 0x1p+0))
1888 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1889(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
1890 (v128.const f64x2 -0x1p+0 -0x1p+0))
1891 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
1892(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
1893 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1894 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1895(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
1896 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1897 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1898(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
1899 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1900 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1901(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
1902 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
1903 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
1904(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
1905 (v128.const f64x2 inf inf))
1906 (v128.const f64x2 inf inf))
1907(assert_return (invoke "f64x2.max" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023)
1908 (v128.const f64x2 -inf -inf))
1909 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
1910(assert_return (invoke "f64x2.max" (v128.const f64x2 inf inf)
1911 (v128.const f64x2 0x0p+0 0x0p+0))
1912 (v128.const f64x2 inf inf))
1913(assert_return (invoke "f64x2.max" (v128.const f64x2 inf inf)
1914 (v128.const f64x2 -0x0p+0 -0x0p+0))
1915 (v128.const f64x2 inf inf))
1916(assert_return (invoke "f64x2.max" (v128.const f64x2 inf inf)
1917 (v128.const f64x2 0x1p-1074 0x1p-1074))
1918 (v128.const f64x2 inf inf))
1919(assert_return (invoke "f64x2.max" (v128.const f64x2 inf inf)
1920 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
1921 (v128.const f64x2 inf inf))
1922(assert_return (invoke "f64x2.max" (v128.const f64x2 inf inf)
1923 (v128.const f64x2 0x1p-1022 0x1p-1022))
1924 (v128.const f64x2 inf inf))
1925(assert_return (invoke "f64x2.max" (v128.const f64x2 inf inf)
1926 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
1927 (v128.const f64x2 inf inf))
1928(assert_return (invoke "f64x2.max" (v128.const f64x2 inf inf)
1929 (v128.const f64x2 0x1p-1 0x1p-1))
1930 (v128.const f64x2 inf inf))
1931(assert_return (invoke "f64x2.max" (v128.const f64x2 inf inf)
1932 (v128.const f64x2 -0x1p-1 -0x1p-1))
1933 (v128.const f64x2 inf inf))
1934(assert_return (invoke "f64x2.max" (v128.const f64x2 inf inf)
1935 (v128.const f64x2 0x1p+0 0x1p+0))
1936 (v128.const f64x2 inf inf))
1937(assert_return (invoke "f64x2.max" (v128.const f64x2 inf inf)
1938 (v128.const f64x2 -0x1p+0 -0x1p+0))
1939 (v128.const f64x2 inf inf))
1940(assert_return (invoke "f64x2.max" (v128.const f64x2 inf inf)
1941 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1942 (v128.const f64x2 inf inf))
1943(assert_return (invoke "f64x2.max" (v128.const f64x2 inf inf)
1944 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1945 (v128.const f64x2 inf inf))
1946(assert_return (invoke "f64x2.max" (v128.const f64x2 inf inf)
1947 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1948 (v128.const f64x2 inf inf))
1949(assert_return (invoke "f64x2.max" (v128.const f64x2 inf inf)
1950 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
1951 (v128.const f64x2 inf inf))
1952(assert_return (invoke "f64x2.max" (v128.const f64x2 inf inf)
1953 (v128.const f64x2 inf inf))
1954 (v128.const f64x2 inf inf))
1955(assert_return (invoke "f64x2.max" (v128.const f64x2 inf inf)
1956 (v128.const f64x2 -inf -inf))
1957 (v128.const f64x2 inf inf))
1958(assert_return (invoke "f64x2.max" (v128.const f64x2 -inf -inf)
1959 (v128.const f64x2 0x0p+0 0x0p+0))
1960 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
1961(assert_return (invoke "f64x2.max" (v128.const f64x2 -inf -inf)
1962 (v128.const f64x2 -0x0p+0 -0x0p+0))
1963 (v128.const f64x2 -0x0.0p+0 -0x0.0p+0))
1964(assert_return (invoke "f64x2.max" (v128.const f64x2 -inf -inf)
1965 (v128.const f64x2 0x1p-1074 0x1p-1074))
1966 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
1967(assert_return (invoke "f64x2.max" (v128.const f64x2 -inf -inf)
1968 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
1969 (v128.const f64x2 -0x0.0000000000001p-1022 -0x0.0000000000001p-1022))
1970(assert_return (invoke "f64x2.max" (v128.const f64x2 -inf -inf)
1971 (v128.const f64x2 0x1p-1022 0x1p-1022))
1972 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
1973(assert_return (invoke "f64x2.max" (v128.const f64x2 -inf -inf)
1974 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
1975 (v128.const f64x2 -0x1.0000000000000p-1022 -0x1.0000000000000p-1022))
1976(assert_return (invoke "f64x2.max" (v128.const f64x2 -inf -inf)
1977 (v128.const f64x2 0x1p-1 0x1p-1))
1978 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
1979(assert_return (invoke "f64x2.max" (v128.const f64x2 -inf -inf)
1980 (v128.const f64x2 -0x1p-1 -0x1p-1))
1981 (v128.const f64x2 -0x1.0000000000000p-1 -0x1.0000000000000p-1))
1982(assert_return (invoke "f64x2.max" (v128.const f64x2 -inf -inf)
1983 (v128.const f64x2 0x1p+0 0x1p+0))
1984 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
1985(assert_return (invoke "f64x2.max" (v128.const f64x2 -inf -inf)
1986 (v128.const f64x2 -0x1p+0 -0x1p+0))
1987 (v128.const f64x2 -0x1.0000000000000p+0 -0x1.0000000000000p+0))
1988(assert_return (invoke "f64x2.max" (v128.const f64x2 -inf -inf)
1989 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1990 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
1991(assert_return (invoke "f64x2.max" (v128.const f64x2 -inf -inf)
1992 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1993 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
1994(assert_return (invoke "f64x2.max" (v128.const f64x2 -inf -inf)
1995 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1996 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
1997(assert_return (invoke "f64x2.max" (v128.const f64x2 -inf -inf)
1998 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
1999 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
2000(assert_return (invoke "f64x2.max" (v128.const f64x2 -inf -inf)
2001 (v128.const f64x2 inf inf))
2002 (v128.const f64x2 inf inf))
2003(assert_return (invoke "f64x2.max" (v128.const f64x2 -inf -inf)
2004 (v128.const f64x2 -inf -inf))
2005 (v128.const f64x2 -inf -inf))
2006(assert_return (invoke "f64x2.max" (v128.const f64x2 nan nan)
2007 (v128.const f64x2 0x0p+0 0x0p+0))
2008 (v128.const f64x2 nan:canonical nan:canonical))
2009(assert_return (invoke "f64x2.max" (v128.const f64x2 nan nan)
2010 (v128.const f64x2 -0x0p+0 -0x0p+0))
2011 (v128.const f64x2 nan:canonical nan:canonical))
2012(assert_return (invoke "f64x2.max" (v128.const f64x2 nan nan)
2013 (v128.const f64x2 0x1p-1074 0x1p-1074))
2014 (v128.const f64x2 nan:canonical nan:canonical))
2015(assert_return (invoke "f64x2.max" (v128.const f64x2 nan nan)
2016 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
2017 (v128.const f64x2 nan:canonical nan:canonical))
2018(assert_return (invoke "f64x2.max" (v128.const f64x2 nan nan)
2019 (v128.const f64x2 0x1p-1022 0x1p-1022))
2020 (v128.const f64x2 nan:canonical nan:canonical))
2021(assert_return (invoke "f64x2.max" (v128.const f64x2 nan nan)
2022 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
2023 (v128.const f64x2 nan:canonical nan:canonical))
2024(assert_return (invoke "f64x2.max" (v128.const f64x2 nan nan)
2025 (v128.const f64x2 0x1p-1 0x1p-1))
2026 (v128.const f64x2 nan:canonical nan:canonical))
2027(assert_return (invoke "f64x2.max" (v128.const f64x2 nan nan)
2028 (v128.const f64x2 -0x1p-1 -0x1p-1))
2029 (v128.const f64x2 nan:canonical nan:canonical))
2030(assert_return (invoke "f64x2.max" (v128.const f64x2 nan nan)
2031 (v128.const f64x2 0x1p+0 0x1p+0))
2032 (v128.const f64x2 nan:canonical nan:canonical))
2033(assert_return (invoke "f64x2.max" (v128.const f64x2 nan nan)
2034 (v128.const f64x2 -0x1p+0 -0x1p+0))
2035 (v128.const f64x2 nan:canonical nan:canonical))
2036(assert_return (invoke "f64x2.max" (v128.const f64x2 nan nan)
2037 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
2038 (v128.const f64x2 nan:canonical nan:canonical))
2039(assert_return (invoke "f64x2.max" (v128.const f64x2 nan nan)
2040 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
2041 (v128.const f64x2 nan:canonical nan:canonical))
2042(assert_return (invoke "f64x2.max" (v128.const f64x2 nan nan)
2043 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
2044 (v128.const f64x2 nan:canonical nan:canonical))
2045(assert_return (invoke "f64x2.max" (v128.const f64x2 nan nan)
2046 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
2047 (v128.const f64x2 nan:canonical nan:canonical))
2048(assert_return (invoke "f64x2.max" (v128.const f64x2 nan nan)
2049 (v128.const f64x2 inf inf))
2050 (v128.const f64x2 nan:canonical nan:canonical))
2051(assert_return (invoke "f64x2.max" (v128.const f64x2 nan nan)
2052 (v128.const f64x2 -inf -inf))
2053 (v128.const f64x2 nan:canonical nan:canonical))
2054(assert_return (invoke "f64x2.max" (v128.const f64x2 nan nan)
2055 (v128.const f64x2 nan nan))
2056 (v128.const f64x2 nan:canonical nan:canonical))
2057(assert_return (invoke "f64x2.max" (v128.const f64x2 nan nan)
2058 (v128.const f64x2 -nan -nan))
2059 (v128.const f64x2 nan:canonical nan:canonical))
2060(assert_return (invoke "f64x2.max" (v128.const f64x2 nan nan)
2061 (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000))
2062 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2063(assert_return (invoke "f64x2.max" (v128.const f64x2 nan nan)
2064 (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000))
2065 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2066(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan -nan)
2067 (v128.const f64x2 0x0p+0 0x0p+0))
2068 (v128.const f64x2 nan:canonical nan:canonical))
2069(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan -nan)
2070 (v128.const f64x2 -0x0p+0 -0x0p+0))
2071 (v128.const f64x2 nan:canonical nan:canonical))
2072(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan -nan)
2073 (v128.const f64x2 0x1p-1074 0x1p-1074))
2074 (v128.const f64x2 nan:canonical nan:canonical))
2075(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan -nan)
2076 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
2077 (v128.const f64x2 nan:canonical nan:canonical))
2078(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan -nan)
2079 (v128.const f64x2 0x1p-1022 0x1p-1022))
2080 (v128.const f64x2 nan:canonical nan:canonical))
2081(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan -nan)
2082 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
2083 (v128.const f64x2 nan:canonical nan:canonical))
2084(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan -nan)
2085 (v128.const f64x2 0x1p-1 0x1p-1))
2086 (v128.const f64x2 nan:canonical nan:canonical))
2087(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan -nan)
2088 (v128.const f64x2 -0x1p-1 -0x1p-1))
2089 (v128.const f64x2 nan:canonical nan:canonical))
2090(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan -nan)
2091 (v128.const f64x2 0x1p+0 0x1p+0))
2092 (v128.const f64x2 nan:canonical nan:canonical))
2093(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan -nan)
2094 (v128.const f64x2 -0x1p+0 -0x1p+0))
2095 (v128.const f64x2 nan:canonical nan:canonical))
2096(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan -nan)
2097 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
2098 (v128.const f64x2 nan:canonical nan:canonical))
2099(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan -nan)
2100 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
2101 (v128.const f64x2 nan:canonical nan:canonical))
2102(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan -nan)
2103 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
2104 (v128.const f64x2 nan:canonical nan:canonical))
2105(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan -nan)
2106 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
2107 (v128.const f64x2 nan:canonical nan:canonical))
2108(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan -nan)
2109 (v128.const f64x2 inf inf))
2110 (v128.const f64x2 nan:canonical nan:canonical))
2111(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan -nan)
2112 (v128.const f64x2 -inf -inf))
2113 (v128.const f64x2 nan:canonical nan:canonical))
2114(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan -nan)
2115 (v128.const f64x2 nan nan))
2116 (v128.const f64x2 nan:canonical nan:canonical))
2117(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan -nan)
2118 (v128.const f64x2 -nan -nan))
2119 (v128.const f64x2 nan:canonical nan:canonical))
2120(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan -nan)
2121 (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000))
2122 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2123(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan -nan)
2124 (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000))
2125 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2126(assert_return (invoke "f64x2.max" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
2127 (v128.const f64x2 0x0p+0 0x0p+0))
2128 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2129(assert_return (invoke "f64x2.max" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
2130 (v128.const f64x2 -0x0p+0 -0x0p+0))
2131 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2132(assert_return (invoke "f64x2.max" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
2133 (v128.const f64x2 0x1p-1074 0x1p-1074))
2134 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2135(assert_return (invoke "f64x2.max" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
2136 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
2137 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2138(assert_return (invoke "f64x2.max" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
2139 (v128.const f64x2 0x1p-1022 0x1p-1022))
2140 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2141(assert_return (invoke "f64x2.max" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
2142 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
2143 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2144(assert_return (invoke "f64x2.max" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
2145 (v128.const f64x2 0x1p-1 0x1p-1))
2146 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2147(assert_return (invoke "f64x2.max" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
2148 (v128.const f64x2 -0x1p-1 -0x1p-1))
2149 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2150(assert_return (invoke "f64x2.max" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
2151 (v128.const f64x2 0x1p+0 0x1p+0))
2152 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2153(assert_return (invoke "f64x2.max" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
2154 (v128.const f64x2 -0x1p+0 -0x1p+0))
2155 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2156(assert_return (invoke "f64x2.max" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
2157 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
2158 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2159(assert_return (invoke "f64x2.max" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
2160 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
2161 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2162(assert_return (invoke "f64x2.max" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
2163 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
2164 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2165(assert_return (invoke "f64x2.max" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
2166 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
2167 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2168(assert_return (invoke "f64x2.max" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
2169 (v128.const f64x2 inf inf))
2170 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2171(assert_return (invoke "f64x2.max" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
2172 (v128.const f64x2 -inf -inf))
2173 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2174(assert_return (invoke "f64x2.max" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
2175 (v128.const f64x2 nan nan))
2176 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2177(assert_return (invoke "f64x2.max" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
2178 (v128.const f64x2 -nan -nan))
2179 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2180(assert_return (invoke "f64x2.max" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
2181 (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000))
2182 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2183(assert_return (invoke "f64x2.max" (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000)
2184 (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000))
2185 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2186(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
2187 (v128.const f64x2 0x0p+0 0x0p+0))
2188 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2189(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
2190 (v128.const f64x2 -0x0p+0 -0x0p+0))
2191 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2192(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
2193 (v128.const f64x2 0x1p-1074 0x1p-1074))
2194 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2195(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
2196 (v128.const f64x2 -0x1p-1074 -0x1p-1074))
2197 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2198(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
2199 (v128.const f64x2 0x1p-1022 0x1p-1022))
2200 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2201(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
2202 (v128.const f64x2 -0x1p-1022 -0x1p-1022))
2203 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2204(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
2205 (v128.const f64x2 0x1p-1 0x1p-1))
2206 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2207(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
2208 (v128.const f64x2 -0x1p-1 -0x1p-1))
2209 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2210(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
2211 (v128.const f64x2 0x1p+0 0x1p+0))
2212 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2213(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
2214 (v128.const f64x2 -0x1p+0 -0x1p+0))
2215 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2216(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
2217 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
2218 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2219(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
2220 (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
2221 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2222(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
2223 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
2224 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2225(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
2226 (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
2227 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2228(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
2229 (v128.const f64x2 inf inf))
2230 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2231(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
2232 (v128.const f64x2 -inf -inf))
2233 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2234(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
2235 (v128.const f64x2 nan nan))
2236 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2237(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
2238 (v128.const f64x2 -nan -nan))
2239 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2240(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
2241 (v128.const f64x2 nan:0x4000000000000 nan:0x4000000000000))
2242 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2243(assert_return (invoke "f64x2.max" (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000)
2244 (v128.const f64x2 -nan:0x4000000000000 -nan:0x4000000000000))
2245 (v128.const f64x2 nan:arithmetic nan:arithmetic))
2246(assert_return (invoke "f64x2.max" (v128.const f64x2 01234567890123456789e038 01234567890123456789e038)
2247 (v128.const f64x2 01234567890123456789e038 01234567890123456789e038))
2248 (v128.const f64x2 01234567890123456789e038 01234567890123456789e038))
2249(assert_return (invoke "f64x2.max" (v128.const f64x2 01234567890123456789e038 01234567890123456789e038)
2250 (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038))
2251 (v128.const f64x2 01234567890123456789e038 01234567890123456789e038))
2252(assert_return (invoke "f64x2.max" (v128.const f64x2 01234567890123456789e038 01234567890123456789e038)
2253 (v128.const f64x2 0123456789.e038 0123456789.e038))
2254 (v128.const f64x2 01234567890123456789e038 01234567890123456789e038))
2255(assert_return (invoke "f64x2.max" (v128.const f64x2 01234567890123456789e038 01234567890123456789e038)
2256 (v128.const f64x2 0123456789.e+038 0123456789.e+038))
2257 (v128.const f64x2 01234567890123456789e038 01234567890123456789e038))
2258(assert_return (invoke "f64x2.max" (v128.const f64x2 01234567890123456789e038 01234567890123456789e038)
2259 (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789))
2260 (v128.const f64x2 01234567890123456789e038 01234567890123456789e038))
2261(assert_return (invoke "f64x2.max" (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038)
2262 (v128.const f64x2 01234567890123456789e038 01234567890123456789e038))
2263 (v128.const f64x2 01234567890123456789e038 01234567890123456789e038))
2264(assert_return (invoke "f64x2.max" (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038)
2265 (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038))
2266 (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038))
2267(assert_return (invoke "f64x2.max" (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038)
2268 (v128.const f64x2 0123456789.e038 0123456789.e038))
2269 (v128.const f64x2 0123456789.e038 0123456789.e038))
2270(assert_return (invoke "f64x2.max" (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038)
2271 (v128.const f64x2 0123456789.e+038 0123456789.e+038))
2272 (v128.const f64x2 0123456789.e+038 0123456789.e+038))
2273(assert_return (invoke "f64x2.max" (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038)
2274 (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789))
2275 (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038))
2276(assert_return (invoke "f64x2.max" (v128.const f64x2 0123456789.e038 0123456789.e038)
2277 (v128.const f64x2 01234567890123456789e038 01234567890123456789e038))
2278 (v128.const f64x2 01234567890123456789e038 01234567890123456789e038))
2279(assert_return (invoke "f64x2.max" (v128.const f64x2 0123456789.e038 0123456789.e038)
2280 (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038))
2281 (v128.const f64x2 0123456789.e038 0123456789.e038))
2282(assert_return (invoke "f64x2.max" (v128.const f64x2 0123456789.e038 0123456789.e038)
2283 (v128.const f64x2 0123456789.e038 0123456789.e038))
2284 (v128.const f64x2 0123456789.e038 0123456789.e038))
2285(assert_return (invoke "f64x2.max" (v128.const f64x2 0123456789.e038 0123456789.e038)
2286 (v128.const f64x2 0123456789.e+038 0123456789.e+038))
2287 (v128.const f64x2 0123456789.e+038 0123456789.e+038))
2288(assert_return (invoke "f64x2.max" (v128.const f64x2 0123456789.e038 0123456789.e038)
2289 (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789))
2290 (v128.const f64x2 0123456789.e038 0123456789.e038))
2291(assert_return (invoke "f64x2.max" (v128.const f64x2 0123456789.e+038 0123456789.e+038)
2292 (v128.const f64x2 01234567890123456789e038 01234567890123456789e038))
2293 (v128.const f64x2 01234567890123456789e038 01234567890123456789e038))
2294(assert_return (invoke "f64x2.max" (v128.const f64x2 0123456789.e+038 0123456789.e+038)
2295 (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038))
2296 (v128.const f64x2 0123456789.e+038 0123456789.e+038))
2297(assert_return (invoke "f64x2.max" (v128.const f64x2 0123456789.e+038 0123456789.e+038)
2298 (v128.const f64x2 0123456789.e038 0123456789.e038))
2299 (v128.const f64x2 0123456789.e038 0123456789.e038))
2300(assert_return (invoke "f64x2.max" (v128.const f64x2 0123456789.e+038 0123456789.e+038)
2301 (v128.const f64x2 0123456789.e+038 0123456789.e+038))
2302 (v128.const f64x2 0123456789.e+038 0123456789.e+038))
2303(assert_return (invoke "f64x2.max" (v128.const f64x2 0123456789.e+038 0123456789.e+038)
2304 (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789))
2305 (v128.const f64x2 0123456789.e+038 0123456789.e+038))
2306(assert_return (invoke "f64x2.max" (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789)
2307 (v128.const f64x2 01234567890123456789e038 01234567890123456789e038))
2308 (v128.const f64x2 01234567890123456789e038 01234567890123456789e038))
2309(assert_return (invoke "f64x2.max" (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789)
2310 (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038))
2311 (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038))
2312(assert_return (invoke "f64x2.max" (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789)
2313 (v128.const f64x2 0123456789.e038 0123456789.e038))
2314 (v128.const f64x2 0123456789.e038 0123456789.e038))
2315(assert_return (invoke "f64x2.max" (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789)
2316 (v128.const f64x2 0123456789.e+038 0123456789.e+038))
2317 (v128.const f64x2 0123456789.e+038 0123456789.e+038))
2318(assert_return (invoke "f64x2.max" (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789)
2319 (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789))
2320 (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789))
2321
2322;; Test opposite signs of zero
2323(assert_return (invoke "f64x2.min" (v128.const f64x2 0 0)
2324 (v128.const f64x2 +0 -0))
2325 (v128.const f64x2 0 -0))
2326(assert_return (invoke "f64x2.min" (v128.const f64x2 -0 +0)
2327 (v128.const f64x2 +0 -0))
2328 (v128.const f64x2 -0 -0))
2329(assert_return (invoke "f64x2.min" (v128.const f64x2 -0 -0)
2330 (v128.const f64x2 +0 +0))
2331 (v128.const f64x2 -0 -0))
2332(assert_return (invoke "f64x2.max" (v128.const f64x2 0 0)
2333 (v128.const f64x2 +0 -0))
2334 (v128.const f64x2 0 0))
2335(assert_return (invoke "f64x2.max" (v128.const f64x2 -0 +0)
2336 (v128.const f64x2 +0 -0))
2337 (v128.const f64x2 0 0))
2338(assert_return (invoke "f64x2.max" (v128.const f64x2 -0 -0)
2339 (v128.const f64x2 +0 +0))
2340 (v128.const f64x2 +0 +0))
2341
2342
2343(assert_return (invoke "f64x2.abs" (v128.const f64x2 0x0p+0 0x0p+0))
2344 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
2345(assert_return (invoke "f64x2.abs" (v128.const f64x2 -0x0p+0 -0x0p+0))
2346 (v128.const f64x2 0x0.0p+0 0x0.0p+0))
2347(assert_return (invoke "f64x2.abs" (v128.const f64x2 0x1p-1074 0x1p-1074))
2348 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
2349(assert_return (invoke "f64x2.abs" (v128.const f64x2 -0x1p-1074 -0x1p-1074))
2350 (v128.const f64x2 0x0.0000000000001p-1022 0x0.0000000000001p-1022))
2351(assert_return (invoke "f64x2.abs" (v128.const f64x2 0x1p-1022 0x1p-1022))
2352 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
2353(assert_return (invoke "f64x2.abs" (v128.const f64x2 -0x1p-1022 -0x1p-1022))
2354 (v128.const f64x2 0x1.0000000000000p-1022 0x1.0000000000000p-1022))
2355(assert_return (invoke "f64x2.abs" (v128.const f64x2 0x1p-1 0x1p-1))
2356 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
2357(assert_return (invoke "f64x2.abs" (v128.const f64x2 -0x1p-1 -0x1p-1))
2358 (v128.const f64x2 0x1.0000000000000p-1 0x1.0000000000000p-1))
2359(assert_return (invoke "f64x2.abs" (v128.const f64x2 0x1p+0 0x1p+0))
2360 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
2361(assert_return (invoke "f64x2.abs" (v128.const f64x2 -0x1p+0 -0x1p+0))
2362 (v128.const f64x2 0x1.0000000000000p+0 0x1.0000000000000p+0))
2363(assert_return (invoke "f64x2.abs" (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
2364 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
2365(assert_return (invoke "f64x2.abs" (v128.const f64x2 -0x1.921fb54442d18p+2 -0x1.921fb54442d18p+2))
2366 (v128.const f64x2 0x1.921fb54442d18p+2 0x1.921fb54442d18p+2))
2367(assert_return (invoke "f64x2.abs" (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
2368 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
2369(assert_return (invoke "f64x2.abs" (v128.const f64x2 -0x1.fffffffffffffp+1023 -0x1.fffffffffffffp+1023))
2370 (v128.const f64x2 0x1.fffffffffffffp+1023 0x1.fffffffffffffp+1023))
2371(assert_return (invoke "f64x2.abs" (v128.const f64x2 inf inf))
2372 (v128.const f64x2 inf inf))
2373(assert_return (invoke "f64x2.abs" (v128.const f64x2 -inf -inf))
2374 (v128.const f64x2 inf inf))
2375(assert_return (invoke "f64x2.abs" (v128.const f64x2 01234567890123456789e038 01234567890123456789e038))
2376 (v128.const f64x2 01234567890123456789e038 01234567890123456789e038))
2377(assert_return (invoke "f64x2.abs" (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038))
2378 (v128.const f64x2 01234567890123456789e-038 01234567890123456789e-038))
2379(assert_return (invoke "f64x2.abs" (v128.const f64x2 0123456789.e038 0123456789.e038))
2380 (v128.const f64x2 0123456789.e038 0123456789.e038))
2381(assert_return (invoke "f64x2.abs" (v128.const f64x2 0123456789.e+038 0123456789.e+038))
2382 (v128.const f64x2 0123456789.e+038 0123456789.e+038))
2383(assert_return (invoke "f64x2.abs" (v128.const f64x2 -01234567890123456789.01234567890123456789 -01234567890123456789.01234567890123456789))
2384 (v128.const f64x2 01234567890123456789.01234567890123456789 01234567890123456789.01234567890123456789))
2385
2386;; type check
2387(assert_invalid (module (func (result v128) (f64x2.abs (i32.const 0)))) "type mismatch")
2388(assert_invalid (module (func (result v128) (f64x2.min (i32.const 0) (f32.const 0.0)))) "type mismatch")
2389(assert_invalid (module (func (result v128) (f64x2.max (i32.const 0) (f32.const 0.0)))) "type mismatch")
2390
2391;; Test operation with empty argument
2392
2393(assert_invalid
2394 (module
2395 (func $f64x2.abs-arg-empty (result v128)
2396 (f64x2.abs)
2397 )
2398 )
2399 "type mismatch"
2400)
2401(assert_invalid
2402 (module
2403 (func $f64x2.min-1st-arg-empty (result v128)
2404 (f64x2.min (v128.const f64x2 0 0))
2405 )
2406 )
2407 "type mismatch"
2408)
2409(assert_invalid
2410 (module
2411 (func $f64x2.min-arg-empty (result v128)
2412 (f64x2.min)
2413 )
2414 )
2415 "type mismatch"
2416)
2417(assert_invalid
2418 (module
2419 (func $f64x2.max-1st-arg-empty (result v128)
2420 (f64x2.max (v128.const f64x2 0 0))
2421 )
2422 )
2423 "type mismatch"
2424)
2425(assert_invalid
2426 (module
2427 (func $f64x2.max-arg-empty (result v128)
2428 (f64x2.max)
2429 )
2430 )
2431 "type mismatch"
2432)
2433
2434;; combination
2435(module
2436 (func (export "max-min") (param v128 v128 v128) (result v128)
2437 (f64x2.max (f64x2.min (local.get 0) (local.get 1))(local.get 2)))
2438 (func (export "min-max") (param v128 v128 v128) (result v128)
2439 (f64x2.min (f64x2.max (local.get 0) (local.get 1))(local.get 2)))
2440 (func (export "max-abs") (param v128 v128) (result v128)
2441 (f64x2.max (f64x2.abs (local.get 0)) (local.get 1)))
2442 (func (export "min-abs") (param v128 v128) (result v128)
2443 (f64x2.min (f64x2.abs (local.get 0)) (local.get 1)))
2444)
2445
2446(assert_return (invoke "max-min" (v128.const f64x2 1.125 1.125)
2447 (v128.const f64x2 0.25 0.25)
2448 (v128.const f64x2 0.125 0.125))
2449 (v128.const f64x2 0.25 0.25))
2450(assert_return (invoke "min-max" (v128.const f64x2 1.125 1.125)
2451 (v128.const f64x2 0.25 0.25)
2452 (v128.const f64x2 0.125 0.125))
2453 (v128.const f64x2 0.125 0.125))
2454(assert_return (invoke "max-abs" (v128.const f64x2 -1.125 -1.125)
2455 (v128.const f64x2 0.125 0.125))
2456 (v128.const f64x2 1.125 1.125))
2457(assert_return (invoke "min-abs" (v128.const f64x2 -1.125 -1.125)
2458 (v128.const f64x2 0.125 0.125))
2459 (v128.const f64x2 0.125 0.125))View as plain text