github.com/wasilibs/wazerox@v0.0.0-20240124024944-4923be63ab5f/internal/integration_test/spectest/v1/testdata/float_literals.wast (about) 1 ;; Test floating-point literal parsing. 2 3 (module 4 ;; f32 special values 5 (func (export "f32.nan") (result i32) (i32.reinterpret_f32 (f32.const nan))) 6 (func (export "f32.positive_nan") (result i32) (i32.reinterpret_f32 (f32.const +nan))) 7 (func (export "f32.negative_nan") (result i32) (i32.reinterpret_f32 (f32.const -nan))) 8 (func (export "f32.plain_nan") (result i32) (i32.reinterpret_f32 (f32.const nan:0x400000))) 9 (func (export "f32.informally_known_as_plain_snan") (result i32) (i32.reinterpret_f32 (f32.const nan:0x200000))) 10 (func (export "f32.all_ones_nan") (result i32) (i32.reinterpret_f32 (f32.const -nan:0x7fffff))) 11 (func (export "f32.misc_nan") (result i32) (i32.reinterpret_f32 (f32.const nan:0x012345))) 12 (func (export "f32.misc_positive_nan") (result i32) (i32.reinterpret_f32 (f32.const +nan:0x304050))) 13 (func (export "f32.misc_negative_nan") (result i32) (i32.reinterpret_f32 (f32.const -nan:0x2abcde))) 14 (func (export "f32.infinity") (result i32) (i32.reinterpret_f32 (f32.const inf))) 15 (func (export "f32.positive_infinity") (result i32) (i32.reinterpret_f32 (f32.const +inf))) 16 (func (export "f32.negative_infinity") (result i32) (i32.reinterpret_f32 (f32.const -inf))) 17 18 ;; f32 numbers 19 (func (export "f32.zero") (result i32) (i32.reinterpret_f32 (f32.const 0x0.0p0))) 20 (func (export "f32.positive_zero") (result i32) (i32.reinterpret_f32 (f32.const +0x0.0p0))) 21 (func (export "f32.negative_zero") (result i32) (i32.reinterpret_f32 (f32.const -0x0.0p0))) 22 (func (export "f32.misc") (result i32) (i32.reinterpret_f32 (f32.const 0x1.921fb6p+2))) 23 (func (export "f32.min_positive") (result i32) (i32.reinterpret_f32 (f32.const 0x1p-149))) 24 (func (export "f32.min_normal") (result i32) (i32.reinterpret_f32 (f32.const 0x1p-126))) 25 (func (export "f32.max_finite") (result i32) (i32.reinterpret_f32 (f32.const 0x1.fffffep+127))) 26 (func (export "f32.max_subnormal") (result i32) (i32.reinterpret_f32 (f32.const 0x1.fffffcp-127))) 27 (func (export "f32.trailing_dot") (result i32) (i32.reinterpret_f32 (f32.const 0x1.p10))) 28 29 ;; f32 in decimal format 30 (func (export "f32_dec.zero") (result i32) (i32.reinterpret_f32 (f32.const 0.0e0))) 31 (func (export "f32_dec.positive_zero") (result i32) (i32.reinterpret_f32 (f32.const +0.0e0))) 32 (func (export "f32_dec.negative_zero") (result i32) (i32.reinterpret_f32 (f32.const -0.0e0))) 33 (func (export "f32_dec.misc") (result i32) (i32.reinterpret_f32 (f32.const 6.28318548202514648))) 34 (func (export "f32_dec.min_positive") (result i32) (i32.reinterpret_f32 (f32.const 1.4013e-45))) 35 (func (export "f32_dec.min_normal") (result i32) (i32.reinterpret_f32 (f32.const 1.1754944e-38))) 36 (func (export "f32_dec.max_subnormal") (result i32) (i32.reinterpret_f32 (f32.const 1.1754942e-38))) 37 (func (export "f32_dec.max_finite") (result i32) (i32.reinterpret_f32 (f32.const 3.4028234e+38))) 38 (func (export "f32_dec.trailing_dot") (result i32) (i32.reinterpret_f32 (f32.const 1.e10))) 39 40 ;; https://twitter.com/Archivd/status/994637336506912768 41 (func (export "f32_dec.root_beer_float") (result i32) (i32.reinterpret_f32 (f32.const 1.000000119))) 42 43 ;; f64 special values 44 (func (export "f64.nan") (result i64) (i64.reinterpret_f64 (f64.const nan))) 45 (func (export "f64.positive_nan") (result i64) (i64.reinterpret_f64 (f64.const +nan))) 46 (func (export "f64.negative_nan") (result i64) (i64.reinterpret_f64 (f64.const -nan))) 47 (func (export "f64.plain_nan") (result i64) (i64.reinterpret_f64 (f64.const nan:0x8000000000000))) 48 (func (export "f64.informally_known_as_plain_snan") (result i64) (i64.reinterpret_f64 (f64.const nan:0x4000000000000))) 49 (func (export "f64.all_ones_nan") (result i64) (i64.reinterpret_f64 (f64.const -nan:0xfffffffffffff))) 50 (func (export "f64.misc_nan") (result i64) (i64.reinterpret_f64 (f64.const nan:0x0123456789abc))) 51 (func (export "f64.misc_positive_nan") (result i64) (i64.reinterpret_f64 (f64.const +nan:0x3040506070809))) 52 (func (export "f64.misc_negative_nan") (result i64) (i64.reinterpret_f64 (f64.const -nan:0x2abcdef012345))) 53 (func (export "f64.infinity") (result i64) (i64.reinterpret_f64 (f64.const inf))) 54 (func (export "f64.positive_infinity") (result i64) (i64.reinterpret_f64 (f64.const +inf))) 55 (func (export "f64.negative_infinity") (result i64) (i64.reinterpret_f64 (f64.const -inf))) 56 57 ;; f64 numbers 58 (func (export "f64.zero") (result i64) (i64.reinterpret_f64 (f64.const 0x0.0p0))) 59 (func (export "f64.positive_zero") (result i64) (i64.reinterpret_f64 (f64.const +0x0.0p0))) 60 (func (export "f64.negative_zero") (result i64) (i64.reinterpret_f64 (f64.const -0x0.0p0))) 61 (func (export "f64.misc") (result i64) (i64.reinterpret_f64 (f64.const 0x1.921fb54442d18p+2))) 62 (func (export "f64.min_positive") (result i64) (i64.reinterpret_f64 (f64.const 0x0.0000000000001p-1022))) 63 (func (export "f64.min_normal") (result i64) (i64.reinterpret_f64 (f64.const 0x1p-1022))) 64 (func (export "f64.max_subnormal") (result i64) (i64.reinterpret_f64 (f64.const 0x0.fffffffffffffp-1022))) 65 (func (export "f64.max_finite") (result i64) (i64.reinterpret_f64 (f64.const 0x1.fffffffffffffp+1023))) 66 (func (export "f64.trailing_dot") (result i64) (i64.reinterpret_f64 (f64.const 0x1.p100))) 67 68 ;; f64 numbers in decimal format 69 (func (export "f64_dec.zero") (result i64) (i64.reinterpret_f64 (f64.const 0.0e0))) 70 (func (export "f64_dec.positive_zero") (result i64) (i64.reinterpret_f64 (f64.const +0.0e0))) 71 (func (export "f64_dec.negative_zero") (result i64) (i64.reinterpret_f64 (f64.const -0.0e0))) 72 (func (export "f64_dec.misc") (result i64) (i64.reinterpret_f64 (f64.const 6.28318530717958623))) 73 (func (export "f64_dec.min_positive") (result i64) (i64.reinterpret_f64 (f64.const 4.94066e-324))) 74 (func (export "f64_dec.min_normal") (result i64) (i64.reinterpret_f64 (f64.const 2.2250738585072012e-308))) 75 (func (export "f64_dec.max_subnormal") (result i64) (i64.reinterpret_f64 (f64.const 2.2250738585072011e-308))) 76 (func (export "f64_dec.max_finite") (result i64) (i64.reinterpret_f64 (f64.const 1.7976931348623157e+308))) 77 (func (export "f64_dec.trailing_dot") (result i64) (i64.reinterpret_f64 (f64.const 1.e100))) 78 79 ;; https://twitter.com/Archivd/status/994637336506912768 80 (func (export "f64_dec.root_beer_float") (result i64) (i64.reinterpret_f64 (f64.const 1.000000119))) 81 82 (func (export "f32-dec-sep1") (result f32) (f32.const 1_000_000)) 83 (func (export "f32-dec-sep2") (result f32) (f32.const 1_0_0_0)) 84 (func (export "f32-dec-sep3") (result f32) (f32.const 100_3.141_592)) 85 (func (export "f32-dec-sep4") (result f32) (f32.const 99e+1_3)) 86 (func (export "f32-dec-sep5") (result f32) (f32.const 122_000.11_3_54E0_2_3)) 87 (func (export "f32-hex-sep1") (result f32) (f32.const 0xa_0f_00_99)) 88 (func (export "f32-hex-sep2") (result f32) (f32.const 0x1_a_A_0_f)) 89 (func (export "f32-hex-sep3") (result f32) (f32.const 0xa0_ff.f141_a59a)) 90 (func (export "f32-hex-sep4") (result f32) (f32.const 0xf0P+1_3)) 91 (func (export "f32-hex-sep5") (result f32) (f32.const 0x2a_f00a.1f_3_eep2_3)) 92 93 (func (export "f64-dec-sep1") (result f64) (f64.const 1_000_000)) 94 (func (export "f64-dec-sep2") (result f64) (f64.const 1_0_0_0)) 95 (func (export "f64-dec-sep3") (result f64) (f64.const 100_3.141_592)) 96 (func (export "f64-dec-sep4") (result f64) (f64.const 99e-1_23)) 97 (func (export "f64-dec-sep5") (result f64) (f64.const 122_000.11_3_54e0_2_3)) 98 (func (export "f64-hex-sep1") (result f64) (f64.const 0xa_f00f_0000_9999)) 99 (func (export "f64-hex-sep2") (result f64) (f64.const 0x1_a_A_0_f)) 100 (func (export "f64-hex-sep3") (result f64) (f64.const 0xa0_ff.f141_a59a)) 101 (func (export "f64-hex-sep4") (result f64) (f64.const 0xf0P+1_3)) 102 (func (export "f64-hex-sep5") (result f64) (f64.const 0x2a_f00a.1f_3_eep2_3)) 103 ) 104 105 (assert_return (invoke "f32.nan") (i32.const 0x7fc00000)) 106 (assert_return (invoke "f32.positive_nan") (i32.const 0x7fc00000)) 107 (assert_return (invoke "f32.negative_nan") (i32.const 0xffc00000)) 108 (assert_return (invoke "f32.plain_nan") (i32.const 0x7fc00000)) 109 (assert_return (invoke "f32.informally_known_as_plain_snan") (i32.const 0x7fa00000)) 110 (assert_return (invoke "f32.all_ones_nan") (i32.const 0xffffffff)) 111 (assert_return (invoke "f32.misc_nan") (i32.const 0x7f812345)) 112 (assert_return (invoke "f32.misc_positive_nan") (i32.const 0x7fb04050)) 113 (assert_return (invoke "f32.misc_negative_nan") (i32.const 0xffaabcde)) 114 (assert_return (invoke "f32.infinity") (i32.const 0x7f800000)) 115 (assert_return (invoke "f32.positive_infinity") (i32.const 0x7f800000)) 116 (assert_return (invoke "f32.negative_infinity") (i32.const 0xff800000)) 117 (assert_return (invoke "f32.zero") (i32.const 0)) 118 (assert_return (invoke "f32.positive_zero") (i32.const 0)) 119 (assert_return (invoke "f32.negative_zero") (i32.const 0x80000000)) 120 (assert_return (invoke "f32.misc") (i32.const 0x40c90fdb)) 121 (assert_return (invoke "f32.min_positive") (i32.const 1)) 122 (assert_return (invoke "f32.min_normal") (i32.const 0x800000)) 123 (assert_return (invoke "f32.max_subnormal") (i32.const 0x7fffff)) 124 (assert_return (invoke "f32.max_finite") (i32.const 0x7f7fffff)) 125 (assert_return (invoke "f32.trailing_dot") (i32.const 0x44800000)) 126 (assert_return (invoke "f32_dec.zero") (i32.const 0)) 127 (assert_return (invoke "f32_dec.positive_zero") (i32.const 0)) 128 (assert_return (invoke "f32_dec.negative_zero") (i32.const 0x80000000)) 129 (assert_return (invoke "f32_dec.misc") (i32.const 0x40c90fdb)) 130 (assert_return (invoke "f32_dec.min_positive") (i32.const 1)) 131 (assert_return (invoke "f32_dec.min_normal") (i32.const 0x800000)) 132 (assert_return (invoke "f32_dec.max_subnormal") (i32.const 0x7fffff)) 133 (assert_return (invoke "f32_dec.max_finite") (i32.const 0x7f7fffff)) 134 (assert_return (invoke "f32_dec.trailing_dot") (i32.const 0x501502f9)) 135 (assert_return (invoke "f32_dec.root_beer_float") (i32.const 0x3f800001)) 136 137 (assert_return (invoke "f64.nan") (i64.const 0x7ff8000000000000)) 138 (assert_return (invoke "f64.positive_nan") (i64.const 0x7ff8000000000000)) 139 (assert_return (invoke "f64.negative_nan") (i64.const 0xfff8000000000000)) 140 (assert_return (invoke "f64.plain_nan") (i64.const 0x7ff8000000000000)) 141 (assert_return (invoke "f64.informally_known_as_plain_snan") (i64.const 0x7ff4000000000000)) 142 (assert_return (invoke "f64.all_ones_nan") (i64.const 0xffffffffffffffff)) 143 (assert_return (invoke "f64.misc_nan") (i64.const 0x7ff0123456789abc)) 144 (assert_return (invoke "f64.misc_positive_nan") (i64.const 0x7ff3040506070809)) 145 (assert_return (invoke "f64.misc_negative_nan") (i64.const 0xfff2abcdef012345)) 146 (assert_return (invoke "f64.infinity") (i64.const 0x7ff0000000000000)) 147 (assert_return (invoke "f64.positive_infinity") (i64.const 0x7ff0000000000000)) 148 (assert_return (invoke "f64.negative_infinity") (i64.const 0xfff0000000000000)) 149 (assert_return (invoke "f64.zero") (i64.const 0)) 150 (assert_return (invoke "f64.positive_zero") (i64.const 0)) 151 (assert_return (invoke "f64.negative_zero") (i64.const 0x8000000000000000)) 152 (assert_return (invoke "f64.misc") (i64.const 0x401921fb54442d18)) 153 (assert_return (invoke "f64.min_positive") (i64.const 1)) 154 (assert_return (invoke "f64.min_normal") (i64.const 0x10000000000000)) 155 (assert_return (invoke "f64.max_subnormal") (i64.const 0xfffffffffffff)) 156 (assert_return (invoke "f64.max_finite") (i64.const 0x7fefffffffffffff)) 157 (assert_return (invoke "f64.trailing_dot") (i64.const 0x4630000000000000)) 158 (assert_return (invoke "f64_dec.zero") (i64.const 0)) 159 (assert_return (invoke "f64_dec.positive_zero") (i64.const 0)) 160 (assert_return (invoke "f64_dec.negative_zero") (i64.const 0x8000000000000000)) 161 (assert_return (invoke "f64_dec.misc") (i64.const 0x401921fb54442d18)) 162 (assert_return (invoke "f64_dec.min_positive") (i64.const 1)) 163 (assert_return (invoke "f64_dec.min_normal") (i64.const 0x10000000000000)) 164 (assert_return (invoke "f64_dec.max_subnormal") (i64.const 0xfffffffffffff)) 165 (assert_return (invoke "f64_dec.max_finite") (i64.const 0x7fefffffffffffff)) 166 (assert_return (invoke "f64_dec.trailing_dot") (i64.const 0x54b249ad2594c37d)) 167 (assert_return (invoke "f64_dec.root_beer_float") (i64.const 0x3ff000001ff19e24)) 168 169 (assert_return (invoke "f32-dec-sep1") (f32.const 1000000)) 170 (assert_return (invoke "f32-dec-sep2") (f32.const 1000)) 171 (assert_return (invoke "f32-dec-sep3") (f32.const 1003.141592)) 172 (assert_return (invoke "f32-dec-sep4") (f32.const 99e+13)) 173 (assert_return (invoke "f32-dec-sep5") (f32.const 122000.11354e23)) 174 (assert_return (invoke "f32-hex-sep1") (f32.const 0xa0f0099)) 175 (assert_return (invoke "f32-hex-sep2") (f32.const 0x1aa0f)) 176 (assert_return (invoke "f32-hex-sep3") (f32.const 0xa0ff.f141a59a)) 177 (assert_return (invoke "f32-hex-sep4") (f32.const 0xf0P+13)) 178 (assert_return (invoke "f32-hex-sep5") (f32.const 0x2af00a.1f3eep23)) 179 180 (assert_return (invoke "f64-dec-sep1") (f64.const 1000000)) 181 (assert_return (invoke "f64-dec-sep2") (f64.const 1000)) 182 (assert_return (invoke "f64-dec-sep3") (f64.const 1003.141592)) 183 (assert_return (invoke "f64-dec-sep4") (f64.const 99e-123)) 184 (assert_return (invoke "f64-dec-sep5") (f64.const 122000.11354e23)) 185 (assert_return (invoke "f64-hex-sep1") (f64.const 0xaf00f00009999)) 186 (assert_return (invoke "f64-hex-sep2") (f64.const 0x1aa0f)) 187 (assert_return (invoke "f64-hex-sep3") (f64.const 0xa0ff.f141a59a)) 188 (assert_return (invoke "f64-hex-sep4") (f64.const 0xf0P+13)) 189 (assert_return (invoke "f64-hex-sep5") (f64.const 0x2af00a.1f3eep23)) 190 191 ;; Test parsing a float from binary 192 (module binary 193 ;; (func (export "4294967249") (result f64) (f64.const 4294967249)) 194 "\00\61\73\6d\01\00\00\00\01\85\80\80\80\00\01\60" 195 "\00\01\7c\03\82\80\80\80\00\01\00\07\8e\80\80\80" 196 "\00\01\0a\34\32\39\34\39\36\37\32\34\39\00\00\0a" 197 "\91\80\80\80\00\01\8b\80\80\80\00\00\44\00\00\20" 198 "\fa\ff\ff\ef\41\0b" 199 ) 200 201 (assert_return (invoke "4294967249") (f64.const 4294967249)) 202 203 (assert_malformed 204 (module quote "(global f32 (f32.const _100))") 205 "unknown operator" 206 ) 207 (assert_malformed 208 (module quote "(global f32 (f32.const +_100))") 209 "unknown operator" 210 ) 211 (assert_malformed 212 (module quote "(global f32 (f32.const -_100))") 213 "unknown operator" 214 ) 215 (assert_malformed 216 (module quote "(global f32 (f32.const 99_))") 217 "unknown operator" 218 ) 219 (assert_malformed 220 (module quote "(global f32 (f32.const 1__000))") 221 "unknown operator" 222 ) 223 (assert_malformed 224 (module quote "(global f32 (f32.const _1.0))") 225 "unknown operator" 226 ) 227 (assert_malformed 228 (module quote "(global f32 (f32.const 1.0_))") 229 "unknown operator" 230 ) 231 (assert_malformed 232 (module quote "(global f32 (f32.const 1_.0))") 233 "unknown operator" 234 ) 235 (assert_malformed 236 (module quote "(global f32 (f32.const 1._0))") 237 "unknown operator" 238 ) 239 (assert_malformed 240 (module quote "(global f32 (f32.const _1e1))") 241 "unknown operator" 242 ) 243 (assert_malformed 244 (module quote "(global f32 (f32.const 1e1_))") 245 "unknown operator" 246 ) 247 (assert_malformed 248 (module quote "(global f32 (f32.const 1_e1))") 249 "unknown operator" 250 ) 251 (assert_malformed 252 (module quote "(global f32 (f32.const 1e_1))") 253 "unknown operator" 254 ) 255 (assert_malformed 256 (module quote "(global f32 (f32.const _1.0e1))") 257 "unknown operator" 258 ) 259 (assert_malformed 260 (module quote "(global f32 (f32.const 1.0e1_))") 261 "unknown operator" 262 ) 263 (assert_malformed 264 (module quote "(global f32 (f32.const 1.0_e1))") 265 "unknown operator" 266 ) 267 (assert_malformed 268 (module quote "(global f32 (f32.const 1.0e_1))") 269 "unknown operator" 270 ) 271 (assert_malformed 272 (module quote "(global f32 (f32.const 1.0e+_1))") 273 "unknown operator" 274 ) 275 (assert_malformed 276 (module quote "(global f32 (f32.const 1.0e_+1))") 277 "unknown operator" 278 ) 279 (assert_malformed 280 (module quote "(global f32 (f32.const _0x100))") 281 "unknown operator" 282 ) 283 (assert_malformed 284 (module quote "(global f32 (f32.const 0_x100))") 285 "unknown operator" 286 ) 287 (assert_malformed 288 (module quote "(global f32 (f32.const 0x_100))") 289 "unknown operator" 290 ) 291 (assert_malformed 292 (module quote "(global f32 (f32.const 0x00_))") 293 "unknown operator" 294 ) 295 (assert_malformed 296 (module quote "(global f32 (f32.const 0xff__ffff))") 297 "unknown operator" 298 ) 299 (assert_malformed 300 (module quote "(global f32 (f32.const 0x_1.0))") 301 "unknown operator" 302 ) 303 (assert_malformed 304 (module quote "(global f32 (f32.const 0x1.0_))") 305 "unknown operator" 306 ) 307 (assert_malformed 308 (module quote "(global f32 (f32.const 0x1_.0))") 309 "unknown operator" 310 ) 311 (assert_malformed 312 (module quote "(global f32 (f32.const 0x1._0))") 313 "unknown operator" 314 ) 315 (assert_malformed 316 (module quote "(global f32 (f32.const 0x_1p1))") 317 "unknown operator" 318 ) 319 (assert_malformed 320 (module quote "(global f32 (f32.const 0x1p1_))") 321 "unknown operator" 322 ) 323 (assert_malformed 324 (module quote "(global f32 (f32.const 0x1_p1))") 325 "unknown operator" 326 ) 327 (assert_malformed 328 (module quote "(global f32 (f32.const 0x1p_1))") 329 "unknown operator" 330 ) 331 (assert_malformed 332 (module quote "(global f32 (f32.const 0x_1.0p1))") 333 "unknown operator" 334 ) 335 (assert_malformed 336 (module quote "(global f32 (f32.const 0x1.0p1_))") 337 "unknown operator" 338 ) 339 (assert_malformed 340 (module quote "(global f32 (f32.const 0x1.0_p1))") 341 "unknown operator" 342 ) 343 (assert_malformed 344 (module quote "(global f32 (f32.const 0x1.0p_1))") 345 "unknown operator" 346 ) 347 (assert_malformed 348 (module quote "(global f32 (f32.const 0x1.0p+_1))") 349 "unknown operator" 350 ) 351 (assert_malformed 352 (module quote "(global f32 (f32.const 0x1.0p_+1))") 353 "unknown operator" 354 ) 355 356 (assert_malformed 357 (module quote "(global f64 (f64.const _100))") 358 "unknown operator" 359 ) 360 (assert_malformed 361 (module quote "(global f64 (f64.const +_100))") 362 "unknown operator" 363 ) 364 (assert_malformed 365 (module quote "(global f64 (f64.const -_100))") 366 "unknown operator" 367 ) 368 (assert_malformed 369 (module quote "(global f64 (f64.const 99_))") 370 "unknown operator" 371 ) 372 (assert_malformed 373 (module quote "(global f64 (f64.const 1__000))") 374 "unknown operator" 375 ) 376 (assert_malformed 377 (module quote "(global f64 (f64.const _1.0))") 378 "unknown operator" 379 ) 380 (assert_malformed 381 (module quote "(global f64 (f64.const 1.0_))") 382 "unknown operator" 383 ) 384 (assert_malformed 385 (module quote "(global f64 (f64.const 1_.0))") 386 "unknown operator" 387 ) 388 (assert_malformed 389 (module quote "(global f64 (f64.const 1._0))") 390 "unknown operator" 391 ) 392 (assert_malformed 393 (module quote "(global f64 (f64.const _1e1))") 394 "unknown operator" 395 ) 396 (assert_malformed 397 (module quote "(global f64 (f64.const 1e1_))") 398 "unknown operator" 399 ) 400 (assert_malformed 401 (module quote "(global f64 (f64.const 1_e1))") 402 "unknown operator" 403 ) 404 (assert_malformed 405 (module quote "(global f64 (f64.const 1e_1))") 406 "unknown operator" 407 ) 408 (assert_malformed 409 (module quote "(global f64 (f64.const _1.0e1))") 410 "unknown operator" 411 ) 412 (assert_malformed 413 (module quote "(global f64 (f64.const 1.0e1_))") 414 "unknown operator" 415 ) 416 (assert_malformed 417 (module quote "(global f64 (f64.const 1.0_e1))") 418 "unknown operator" 419 ) 420 (assert_malformed 421 (module quote "(global f64 (f64.const 1.0e_1))") 422 "unknown operator" 423 ) 424 (assert_malformed 425 (module quote "(global f64 (f64.const 1.0e+_1))") 426 "unknown operator" 427 ) 428 (assert_malformed 429 (module quote "(global f64 (f64.const 1.0e_+1))") 430 "unknown operator" 431 ) 432 (assert_malformed 433 (module quote "(global f64 (f64.const _0x100))") 434 "unknown operator" 435 ) 436 (assert_malformed 437 (module quote "(global f64 (f64.const 0_x100))") 438 "unknown operator" 439 ) 440 (assert_malformed 441 (module quote "(global f64 (f64.const 0x_100))") 442 "unknown operator" 443 ) 444 (assert_malformed 445 (module quote "(global f64 (f64.const 0x00_))") 446 "unknown operator" 447 ) 448 (assert_malformed 449 (module quote "(global f64 (f64.const 0xff__ffff))") 450 "unknown operator" 451 ) 452 (assert_malformed 453 (module quote "(global f64 (f64.const 0x_1.0))") 454 "unknown operator" 455 ) 456 (assert_malformed 457 (module quote "(global f64 (f64.const 0x1.0_))") 458 "unknown operator" 459 ) 460 (assert_malformed 461 (module quote "(global f64 (f64.const 0x1_.0))") 462 "unknown operator" 463 ) 464 (assert_malformed 465 (module quote "(global f64 (f64.const 0x1._0))") 466 "unknown operator" 467 ) 468 (assert_malformed 469 (module quote "(global f64 (f64.const 0x_1p1))") 470 "unknown operator" 471 ) 472 (assert_malformed 473 (module quote "(global f64 (f64.const 0x1p1_))") 474 "unknown operator" 475 ) 476 (assert_malformed 477 (module quote "(global f64 (f64.const 0x1_p1))") 478 "unknown operator" 479 ) 480 (assert_malformed 481 (module quote "(global f64 (f64.const 0x1p_1))") 482 "unknown operator" 483 ) 484 (assert_malformed 485 (module quote "(global f64 (f64.const 0x_1.0p1))") 486 "unknown operator" 487 ) 488 (assert_malformed 489 (module quote "(global f64 (f64.const 0x1.0p1_))") 490 "unknown operator" 491 ) 492 (assert_malformed 493 (module quote "(global f64 (f64.const 0x1.0_p1))") 494 "unknown operator" 495 ) 496 (assert_malformed 497 (module quote "(global f64 (f64.const 0x1.0p_1))") 498 "unknown operator" 499 ) 500 (assert_malformed 501 (module quote "(global f64 (f64.const 0x1.0p+_1))") 502 "unknown operator" 503 ) 504 (assert_malformed 505 (module quote "(global f64 (f64.const 0x1.0p_+1))") 506 "unknown operator" 507 )