github.com/tetratelabs/wazero@v1.7.3-0.20240513003603-48f702e154b5/internal/integration_test/fuzzcases/testdata/1826.wat (about) 1 (module 2 (type (;0;) (func (param funcref f64))) 3 (type (;1;) (func (result v128 f32 v128 v128 v128 v128 v128 v128 v128 v128 v128 v128 i64 f64 f32 f64 f64 f64 f64 f64))) 4 (type (;2;) (func)) 5 (func (;0;) (type 0) (param funcref f64) 6 global.get 4 7 i32.eqz 8 if ;; label = @1 9 unreachable 10 end 11 global.get 4 12 i32.const 1 13 i32.sub 14 global.set 4 15 ) 16 (func (;1;) (type 1) (result v128 f32 v128 v128 v128 v128 v128 v128 v128 v128 v128 v128 i64 f64 f32 f64 f64 f64 f64 f64) 17 v128.const i32x4 0x0aa6a6a6 0x92926e6e 0x6e6e6e6e 0x6e6effff 18 f32.const -0x1.dcdcdcp+57 (;=-268449850000000000;) 19 v128.const i32x4 0x6e6e6e11 0x6e6e6e6e 0x6e6e6e6e 0xff6e6e6e 20 v128.const i32x4 0x0111802c 0x80000000 0xd0ffffff 0x6e00d0d0 21 v128.const i32x4 0x6e6e6e6e 0x6e6e6e6e 0x6e6e6e6e 0x6e6e6e6e 22 v128.const i32x4 0x6e6e6e6e 0x6e6e6e6e 0x6e6e6e6e 0x6e6e6e6e 23 v128.const i32x4 0x00000015 0xd0d0d0ff 0x6e4b0a00 0x6eee6e6e 24 v128.const i32x4 0xd0d06e6e 0x6e4b0a00 0x6eee6e6e 0x6e6e6e6e 25 v128.const i32x4 0x6e6e6e6e 0x6e6e6e6e 0x6e6e6e6e 0x6e6e6e6e 26 v128.const i32x4 0x6e6e6e6e 0x766e6e6e 0x00000076 0xffff0000 27 v128.const i32x4 0xffffffff 0xffffffff 0xffffffff 0xffffffcd 28 v128.const i32x4 0xffffffff 0xffffffff 0xffffffff 0xe3e3e3ff 29 i64.const -2025524719207062557 30 f64.const -nan:0xfffffffffffe3 (;=NaN;) 31 f32.const -0x1.fffffep+72 (;=-9444732400000000000000;) 32 f64.const -nan:0xfe3e3e3e3e3e3 (;=NaN;) 33 f64.const -0x1.fffffff6e6e6ep+576 (;=-494660802422288500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 34 f64.const 0x1.fe3e3e3e3e3e3p+752 (;=47216516855985470000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 35 f64.const 0x1.e6e6e6e6e6e6ep+743 (;=88001147761747390000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 36 f64.const -0x1.df7ffff246e6ep+1012 (;=-82206140203098770000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 37 ) 38 (func (;2;) (type 1) (result v128 f32 v128 v128 v128 v128 v128 v128 v128 v128 v128 v128 i64 f64 f32 f64 f64 f64 f64 f64) 39 global.get 4 40 i32.eqz 41 if ;; label = @1 42 unreachable 43 end 44 global.get 4 45 i32.const 1 46 i32.sub 47 global.set 4 48 unreachable 49 unreachable 50 ) 51 (func (;3;) (type 0) (param funcref f64) 52 (local f64) 53 call 1 54 f64.ne 55 i64.extend_i32_u 56 loop (result v128 f32 v128 v128 v128 v128 v128 v128 v128 v128 v128 v128 i64 f64 f32 f64 f64 f64 f64 f64) ;; label = @1 57 call 1 58 f64.max 59 local.tee 2 60 f64.const nan (;=NaN;) 61 local.get 2 62 local.get 2 63 f64.eq 64 select 65 f64.copysign 66 f64.copysign 67 f64.copysign 68 i64.const 7967591693768617582 69 loop (result v128 f32 v128 v128 v128 v128 v128 v128 v128 v128 v128 v128 i64 f64 f32 f64 f64 f64 f64 f64) ;; label = @2 70 call 1 71 call 1 72 f64.copysign 73 f64.copysign 74 i64.reinterpret_f64 75 global.get 0 76 i64.xor 77 global.set 0 78 i64.reinterpret_f64 79 global.get 0 80 i64.xor 81 global.set 0 82 i64.reinterpret_f64 83 global.get 0 84 i64.xor 85 global.set 0 86 i32.reinterpret_f32 87 global.get 1 88 i32.xor 89 global.set 1 90 i64.reinterpret_f64 91 global.get 0 92 i64.xor 93 global.set 0 94 drop 95 global.get 2 96 v128.xor 97 global.set 2 98 global.get 2 99 v128.xor 100 global.set 2 101 global.get 2 102 v128.xor 103 global.set 2 104 global.get 2 105 v128.xor 106 global.set 2 107 global.get 2 108 v128.xor 109 global.set 2 110 global.get 2 111 v128.xor 112 global.set 2 113 global.get 2 114 v128.xor 115 global.set 2 116 global.get 2 117 v128.xor 118 global.set 2 119 global.get 2 120 v128.xor 121 global.set 2 122 global.get 2 123 v128.xor 124 global.set 2 125 i32.reinterpret_f32 126 global.get 1 127 i32.xor 128 global.set 1 129 global.get 2 130 v128.xor 131 global.set 2 132 end 133 i64.reinterpret_f64 134 global.get 0 135 i64.xor 136 global.set 0 137 i64.reinterpret_f64 138 global.get 0 139 i64.xor 140 global.set 0 141 i64.reinterpret_f64 142 global.get 0 143 i64.xor 144 global.set 0 145 i64.reinterpret_f64 146 global.get 0 147 i64.xor 148 global.set 0 149 i64.reinterpret_f64 150 global.get 0 151 i64.xor 152 global.set 0 153 i32.reinterpret_f32 154 global.get 1 155 i32.xor 156 global.set 1 157 i64.reinterpret_f64 158 global.get 0 159 i64.xor 160 global.set 0 161 global.get 3 162 i64.xor 163 global.set 3 164 global.get 2 165 v128.xor 166 global.set 2 167 global.get 2 168 v128.xor 169 global.set 2 170 global.get 2 171 v128.xor 172 global.set 2 173 global.get 2 174 v128.xor 175 global.set 2 176 global.get 2 177 v128.xor 178 global.set 2 179 global.get 2 180 v128.xor 181 global.set 2 182 global.get 2 183 v128.xor 184 global.set 2 185 global.get 2 186 v128.xor 187 global.set 2 188 global.get 2 189 v128.xor 190 global.set 2 191 global.get 2 192 v128.xor 193 global.set 2 194 i32.reinterpret_f32 195 global.get 1 196 i32.xor 197 global.set 1 198 global.get 2 199 v128.xor 200 global.set 2 201 drop 202 f64.const 0x1.0d0d0d0ffp-863 (;=0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000017088673646626603;) 203 f64.const 0x1.e6eee6e6e6e4bp+743 (;=88006795789664450000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 204 f64.const 0x1.4dcdcp-1055 (;=0.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000337758;) 205 f64.const 0x1.e6e6e6e6ep+743 (;=88001147761456950000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 206 end 207 i64.reinterpret_f64 208 global.get 0 209 i64.xor 210 global.set 0 211 i64.reinterpret_f64 212 global.get 0 213 i64.xor 214 global.set 0 215 i64.reinterpret_f64 216 global.get 0 217 i64.xor 218 global.set 0 219 i64.reinterpret_f64 220 global.get 0 221 i64.xor 222 global.set 0 223 i64.reinterpret_f64 224 global.get 0 225 i64.xor 226 global.set 0 227 i32.reinterpret_f32 228 global.get 1 229 i32.xor 230 global.set 1 231 i64.reinterpret_f64 232 global.get 0 233 i64.xor 234 global.set 0 235 global.get 3 236 i64.xor 237 global.set 3 238 global.get 2 239 v128.xor 240 global.set 2 241 drop 242 drop 243 drop 244 drop 245 drop 246 global.get 2 247 v128.xor 248 global.set 2 249 global.get 2 250 v128.xor 251 global.set 2 252 global.get 2 253 v128.xor 254 global.set 2 255 global.get 2 256 v128.xor 257 global.set 2 258 i32.reinterpret_f32 259 global.get 1 260 i32.xor 261 global.set 1 262 global.get 2 263 v128.xor 264 global.set 2 265 global.get 3 266 i64.xor 267 global.set 3 268 i64.reinterpret_f64 269 global.get 0 270 i64.xor 271 global.set 0 272 i64.reinterpret_f64 273 global.get 0 274 i64.xor 275 global.set 0 276 i64.reinterpret_f64 277 global.get 0 278 i64.xor 279 global.set 0 280 i32.reinterpret_f32 281 global.get 1 282 i32.xor 283 global.set 1 284 i64.reinterpret_f64 285 global.get 0 286 i64.xor 287 global.set 0 288 global.get 3 289 i64.xor 290 global.set 3 291 global.get 2 292 v128.xor 293 global.set 2 294 global.get 2 295 v128.xor 296 global.set 2 297 global.get 2 298 v128.xor 299 global.set 2 300 global.get 2 301 v128.xor 302 global.set 2 303 global.get 2 304 v128.xor 305 global.set 2 306 global.get 2 307 v128.xor 308 global.set 2 309 global.get 2 310 v128.xor 311 global.set 2 312 global.get 2 313 v128.xor 314 global.set 2 315 global.get 2 316 v128.xor 317 global.set 2 318 global.get 2 319 v128.xor 320 global.set 2 321 i32.reinterpret_f32 322 global.get 1 323 i32.xor 324 global.set 1 325 global.get 2 326 v128.xor 327 global.set 2 328 ) 329 (func (;4;) (type 0) (param funcref f64) 330 global.get 4 331 i32.eqz 332 if ;; label = @1 333 unreachable 334 end 335 global.get 4 336 i32.const 1 337 i32.sub 338 global.set 4 339 ) 340 (table (;0;) 0 755 externref) 341 (table (;1;) 1000 1000 funcref) 342 (global (;0;) (mut i64) i64.const 0) 343 (global (;1;) (mut i32) i32.const 0) 344 (global (;2;) (mut v128) v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000) 345 (global (;3;) (mut i64) i64.const 0) 346 (global (;4;) (mut i32) i32.const 1000) 347 (export "" (func 0)) 348 (export "1" (func 1)) 349 (export "2" (func 2)) 350 (export "3" (func 3)) 351 (export "4" (func 4)) 352 (export "5" (table 0)) 353 (export "6" (table 1)) 354 (export "7" (global 0)) 355 (export "8" (global 1)) 356 (export "9" (global 2)) 357 (export "10" (global 3)) 358 (elem (;0;) externref) 359 )