wa-lang.org/wazero@v1.0.2/internal/integration_test/spectest/v2/testdata/simd_f64x2.wast (about) 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))