Stream: git-wasmtime

Topic: wasmtime / issue #13508 Fuzz differential failure after `...

Wasmtime GitHub notifications bot (May 29 2026 at 14:33):

alexcrichton opened issue #13508:

Bisection and oss-fuzz point out that after #13354 this input input.txt fails with:

$ cargo +nightly fuzz run -s none --dev --no-default-features cranelift-fuzzgen ./clusterfuzz-testcase-minimized-cranelift-fuzzgen-6485794243280896
    Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.10s
    Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.10s
     Running `target/x86_64-unknown-linux-gnu/debug/cranelift-fuzzgen -artifact_prefix=/home/alex/code/wasmtime/fuzz/artifacts/cranelift-fuzzgen/ ./clusterfuzz-testcase-minimized-cranelift-fuzzgen-6485794243280896`
WARNING: Failed to find function "__sanitizer_acquire_crash_state".
WARNING: Failed to find function "__sanitizer_print_stack_trace".
WARNING: Failed to find function "__sanitizer_set_death_callback".
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 555961082
INFO: Loaded 1 modules   (393396 inline 8-bit counters): 393396 [0x5d6db0771a90, 0x5d6db07d1b44),
INFO: Loaded 1 PC tables (393396 PCs): 393396 [0x5d6db07d1b48,0x5d6db0dd2688),
target/x86_64-unknown-linux-gnu/debug/cranelift-fuzzgen: Running 1 inputs 1 time(s) each.
Running: ./clusterfuzz-testcase-minimized-cranelift-fuzzgen-6485794243280896

thread '<unnamed>' (3099833) panicked at fuzz/fuzz_targets/cranelift-fuzzgen.rs:378:9:
assertion `left == right` failed
  left: Success([V128([255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225])])
 right: Success([V128([255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0])])
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
==3099833== ERROR: libFuzzer: deadly signal
NOTE: libFuzzer has rudimentary signal handlers.
      Combine libFuzzer with AddressSanitizer or similar for better crash reports.
SUMMARY: libFuzzer: deadly signal
────────────────────────────────────────────────────────────────────────────────

Error: Fuzz target exited with exit status: 77

The (unminimized) input CLIF is:

<details>

;; Run test case

test interpret
test run
set opt_level=speed
set enable_nan_canonicalization=true
set enable_llvm_abi_extensions=true
set enable_multi_ret_implicit_sret=true
set machine_code_cfg_info=true
target x86_64 has_sse3 has_ssse3 has_cmpxchg16b has_sse41 has_sse42 has_avx has_avx2 has_fma has_popcnt has_bmi1 has_bmi2 has_lzcnt

function u1:0(i32x4, i32x4, i16x8, f64, f32x4, i8 uext, i128 sext, i32 sext, i64 sext, f32, i16 uext, i64x2, i16 sext, i32x4, i8 sext, i8x16) -> i8x16, i32x4, i32x4, i32x4, i32x4, i32x4, i32x4, i32x4, i32x4, i32x4, i32x4, i32x4, i32x4, i32x4, i32x4, i32x4 system_v {
    ss0 = explicit_slot 0, align = 128
    ss1 = explicit_slot 31, align = 1024
    ss2 = explicit_slot 1
    region0 = 2 "vmctx"
    sig0 = (f32) -> f32 system_v
    sig1 = (f64) -> f64 system_v
    sig2 = (f32) -> f32 system_v
    sig3 = (f64) -> f64 system_v
    sig4 = (f32) -> f32 system_v
    sig5 = (f64) -> f64 system_v
    fn0 = %CeilF32 sig0
    fn1 = %CeilF64 sig1
    fn2 = %FloorF32 sig2
    fn3 = %FloorF64 sig3
    fn4 = %TruncF32 sig4
    fn5 = %TruncF64 sig5
    const0 = 0xe38ea0e18081e38ea0e18081e38ea0e1
    const1 = 0xe18081e38ea0e18081e38ea0e18081e3
    const2 = 0x8ea0e18081e38ea0e180b981e38ea0e1

block0(v0: i32x4, v1: i32x4, v2: i16x8, v3: f64, v4: f32x4, v5: i8, v6: i128, v7: i32, v8: i64, v9: f32, v10: i16, v11: i64x2, v12: i16, v13: i32x4, v14: i8, v15: i8x16):
    v142 -> v0
    v143 -> v9
    v136 -> v10
    v216 -> v12
    v319 -> v12
    v403 -> v12
    v152 -> v15
    v110 = vconst.f32x4 const0
    v214 -> v110
    v111 = vconst.f64x2 const1
    v236 -> v111
    v112 = iconst.i64 -9186811563135106943
    v113 = iconst.i64 -2049523890022915186
    v114 = iconcat v113, v112  ; v113 = -2049523890022915186, v112 = -9186811563135106943
    v115 = iconst.i64 -8169281781998842141
    v116 = iconst.i64 -8169281781998842208
    v117 = iconcat v116, v115  ; v116 = -8169281781998842208, v115 = -8169281781998842141
    v405 -> v117
    v118 = f64const -0x1.1e38ea0e18081p-183
    v160 -> v118
    v119 = vconst.f32x4 const0
    v120 = vconst.f32x4 const2
    v121 = f64const -0x1.0e38ea0e18081p-789
    v122 = f64const -0x1.1e38ea0e18081p-1015
    v159 -> v122
    v123 = iconst.i64 -9087262804678770205
    v124 = iconst.i64 -8169281781998842208
    v125 = iconcat v124, v123  ; v124 = -8169281781998842208, v123 = -9087262804678770205
    v223 -> v125
    v281 -> v125
    v126 = iconst.i8 0
    v127 = iconst.i16 0
    v128 = iconst.i32 0
    v129 = iconst.i64 0
    v130 = uextend.i128 v129  ; v129 = 0
    v131 = stack_addr.i64 ss1
    store notrap region0 v130, v131
    v132 = stack_addr.i64 ss1+16
    store notrap region0 v129, v132  ; v129 = 0
    v133 = stack_addr.i64 ss1+24
    store notrap region0 v128, v133  ; v128 = 0
    v134 = stack_addr.i64 ss1+28
    store notrap region0 v127, v134  ; v127 = 0
    v135 = stack_addr.i64 ss1+30
    store notrap region0 v126, v135  ; v126 = 0
    jump block1(v2, v3, v4, v5, v11, v6, v5, v7, v5, v8, v5, v5, v5, v5)

block1(v16: i16x8, v17: f64, v18: f32x4, v19: i8, v20: i64x2, v21: i128, v22: i8, v23: i32, v24: i8, v25: i64, v26: i8, v27: i8, v28: i8, v29: i8):
    v148 -> v16
    v138 -> v17
    v139 -> v18
    v140 -> v20
    v141 -> v21
    v156 -> v23
    v145 -> v25
    v137 -> v29
    jump block2

block2 cold:
    jump block3(v136, v137, v138, v138, v139, v137, v140, v141, v142, v142, v142, v142, v143, v142, v139, v137)

block3(v30: i16, v31: i8, v32: f64, v33: f64, v34: f32x4, v35: i8, v36: i64x2, v37: i128, v38: i32x4, v39: i32x4, v40: i32x4, v41: i32x4, v42: f32, v43: i32x4, v44: f32x4, v45: i8):
    v150 -> v30
    v146 -> v33
    v149 -> v36
    v155 -> v37
    v147 -> v42
    v151 -> v43
    v154 -> v44
    v231 -> v44
    v144 -> v45
    jump block4

block4 cold:
    jump block5

block5:
    jump block6(v144, v145, v144, v144, v144, v144, v144, v144, v146, v147, v144, v148, v149, v150, v144, v151)

block6(v46: i8, v47: i64, v48: i8, v49: i8, v50: i8, v51: i8, v52: i8, v53: i8, v54: f64, v55: f32, v56: i8, v57: i16x8, v58: i64x2, v59: i16, v60: i8, v61: i32x4):
    v157 -> v47
    v153 -> v54
    v162 -> v57
    v158 -> v59
    jump block7(v60, v152, v61, v58, v61, v61, v61, v61, v61, v61, v61, v61, v61, v61, v61, v61)

block7(v62: i8, v63: i8x16, v64: i32x4, v65: i64x2, v66: i32x4, v67: i32x4, v68: i32x4, v69: i32x4, v70: i32x4, v71: i32x4, v72: i32x4, v73: i32x4, v74: i32x4, v75: i32x4, v76: i32x4, v77: i32x4):
    v513 -> v63
    v517 -> v63
    v518 -> v63
    v519 -> v63
    br_table v156, block8(v153, v154, v65, v155, v62, v156, v62, v157, v158, v159, v160, v153, v160, v153), []  ; v159 = -0x1.1e38ea0e18081p-1015, v160 = -0x1.1e38ea0e18081p-183, v160 = -0x1.1e38ea0e18081p-183

block8(v78: f64, v79: f32x4, v80: i64x2, v81: i128, v82: i8, v83: i32, v84: i8, v85: i64, v86: i16, v87: f64, v88: f64, v89: f64, v90: f64, v91: f64):
    v276 -> v81
    v269 -> v82
    v302 -> v82
    v303 -> v84
    v261 -> v91
    v292 -> v91
    v335 -> v91
    v362 -> v91
    v469 -> v91
    v161 = sshr v85, v83
    v163 = uwiden_low.i16x8 v162
    v164 = stack_addr.i64 ss1+2
    v165 = load.i32 region0 v164+17
    v166 = fcvt_from_sint.f64 v165
    v167 = stack_addr.i64 ss1+12
    v168 = iadd_imm v167, 0
    v169 = atomic_cas v168, v161, v161
    v260 -> v169
    v170 = usub_sat.i16x8 v162, v162
    v171 = usub_sat v170, v170
    v172 = usub_sat v171, v171
    v173 = usub_sat v172, v172
    v174 = usub_sat v173, v173
    v175 = usub_sat v174, v174
    v176 = usub_sat v175, v175
    v177 = usub_sat v176, v176
    v178 = usub_sat v177, v177
    v179 = usub_sat v178, v178
    v180 = usub_sat v179, v179
    v181 = usub_sat v180, v180
    v182 = usub_sat v181, v181
    v183 = usub_sat v182, v182
    v184
[message truncated]

Wasmtime GitHub notifications bot (May 29 2026 at 14:33):

alexcrichton added the fuzz-bug label to Issue #13508.

Wasmtime GitHub notifications bot (May 29 2026 at 14:33):

alexcrichton added the cranelift label to Issue #13508.

Wasmtime GitHub notifications bot (May 29 2026 at 17:32):

fitzgen assigned fitzgen to issue #13508.

Wasmtime GitHub notifications bot (May 29 2026 at 22:29):

fitzgen closed issue #13508:

Bisection and oss-fuzz point out that after #13354 this input input.txt fails with:

$ cargo +nightly fuzz run -s none --dev --no-default-features cranelift-fuzzgen ./clusterfuzz-testcase-minimized-cranelift-fuzzgen-6485794243280896
    Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.10s
    Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.10s
     Running `target/x86_64-unknown-linux-gnu/debug/cranelift-fuzzgen -artifact_prefix=/home/alex/code/wasmtime/fuzz/artifacts/cranelift-fuzzgen/ ./clusterfuzz-testcase-minimized-cranelift-fuzzgen-6485794243280896`
WARNING: Failed to find function "__sanitizer_acquire_crash_state".
WARNING: Failed to find function "__sanitizer_print_stack_trace".
WARNING: Failed to find function "__sanitizer_set_death_callback".
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 555961082
INFO: Loaded 1 modules   (393396 inline 8-bit counters): 393396 [0x5d6db0771a90, 0x5d6db07d1b44),
INFO: Loaded 1 PC tables (393396 PCs): 393396 [0x5d6db07d1b48,0x5d6db0dd2688),
target/x86_64-unknown-linux-gnu/debug/cranelift-fuzzgen: Running 1 inputs 1 time(s) each.
Running: ./clusterfuzz-testcase-minimized-cranelift-fuzzgen-6485794243280896

thread '<unnamed>' (3099833) panicked at fuzz/fuzz_targets/cranelift-fuzzgen.rs:378:9:
assertion `left == right` failed
  left: Success([V128([255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225]), V128([227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225, 227, 129, 0, 225])])
 right: Success([V128([255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255, 255]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]), V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0])])
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
==3099833== ERROR: libFuzzer: deadly signal
NOTE: libFuzzer has rudimentary signal handlers.
      Combine libFuzzer with AddressSanitizer or similar for better crash reports.
SUMMARY: libFuzzer: deadly signal
────────────────────────────────────────────────────────────────────────────────

Error: Fuzz target exited with exit status: 77

The (unminimized) input CLIF is:

<details>

;; Run test case

test interpret
test run
set opt_level=speed
set enable_nan_canonicalization=true
set enable_llvm_abi_extensions=true
set enable_multi_ret_implicit_sret=true
set machine_code_cfg_info=true
target x86_64 has_sse3 has_ssse3 has_cmpxchg16b has_sse41 has_sse42 has_avx has_avx2 has_fma has_popcnt has_bmi1 has_bmi2 has_lzcnt

function u1:0(i32x4, i32x4, i16x8, f64, f32x4, i8 uext, i128 sext, i32 sext, i64 sext, f32, i16 uext, i64x2, i16 sext, i32x4, i8 sext, i8x16) -> i8x16, i32x4, i32x4, i32x4, i32x4, i32x4, i32x4, i32x4, i32x4, i32x4, i32x4, i32x4, i32x4, i32x4, i32x4, i32x4 system_v {
    ss0 = explicit_slot 0, align = 128
    ss1 = explicit_slot 31, align = 1024
    ss2 = explicit_slot 1
    region0 = 2 "vmctx"
    sig0 = (f32) -> f32 system_v
    sig1 = (f64) -> f64 system_v
    sig2 = (f32) -> f32 system_v
    sig3 = (f64) -> f64 system_v
    sig4 = (f32) -> f32 system_v
    sig5 = (f64) -> f64 system_v
    fn0 = %CeilF32 sig0
    fn1 = %CeilF64 sig1
    fn2 = %FloorF32 sig2
    fn3 = %FloorF64 sig3
    fn4 = %TruncF32 sig4
    fn5 = %TruncF64 sig5
    const0 = 0xe38ea0e18081e38ea0e18081e38ea0e1
    const1 = 0xe18081e38ea0e18081e38ea0e18081e3
    const2 = 0x8ea0e18081e38ea0e180b981e38ea0e1

block0(v0: i32x4, v1: i32x4, v2: i16x8, v3: f64, v4: f32x4, v5: i8, v6: i128, v7: i32, v8: i64, v9: f32, v10: i16, v11: i64x2, v12: i16, v13: i32x4, v14: i8, v15: i8x16):
    v142 -> v0
    v143 -> v9
    v136 -> v10
    v216 -> v12
    v319 -> v12
    v403 -> v12
    v152 -> v15
    v110 = vconst.f32x4 const0
    v214 -> v110
    v111 = vconst.f64x2 const1
    v236 -> v111
    v112 = iconst.i64 -9186811563135106943
    v113 = iconst.i64 -2049523890022915186
    v114 = iconcat v113, v112  ; v113 = -2049523890022915186, v112 = -9186811563135106943
    v115 = iconst.i64 -8169281781998842141
    v116 = iconst.i64 -8169281781998842208
    v117 = iconcat v116, v115  ; v116 = -8169281781998842208, v115 = -8169281781998842141
    v405 -> v117
    v118 = f64const -0x1.1e38ea0e18081p-183
    v160 -> v118
    v119 = vconst.f32x4 const0
    v120 = vconst.f32x4 const2
    v121 = f64const -0x1.0e38ea0e18081p-789
    v122 = f64const -0x1.1e38ea0e18081p-1015
    v159 -> v122
    v123 = iconst.i64 -9087262804678770205
    v124 = iconst.i64 -8169281781998842208
    v125 = iconcat v124, v123  ; v124 = -8169281781998842208, v123 = -9087262804678770205
    v223 -> v125
    v281 -> v125
    v126 = iconst.i8 0
    v127 = iconst.i16 0
    v128 = iconst.i32 0
    v129 = iconst.i64 0
    v130 = uextend.i128 v129  ; v129 = 0
    v131 = stack_addr.i64 ss1
    store notrap region0 v130, v131
    v132 = stack_addr.i64 ss1+16
    store notrap region0 v129, v132  ; v129 = 0
    v133 = stack_addr.i64 ss1+24
    store notrap region0 v128, v133  ; v128 = 0
    v134 = stack_addr.i64 ss1+28
    store notrap region0 v127, v134  ; v127 = 0
    v135 = stack_addr.i64 ss1+30
    store notrap region0 v126, v135  ; v126 = 0
    jump block1(v2, v3, v4, v5, v11, v6, v5, v7, v5, v8, v5, v5, v5, v5)

block1(v16: i16x8, v17: f64, v18: f32x4, v19: i8, v20: i64x2, v21: i128, v22: i8, v23: i32, v24: i8, v25: i64, v26: i8, v27: i8, v28: i8, v29: i8):
    v148 -> v16
    v138 -> v17
    v139 -> v18
    v140 -> v20
    v141 -> v21
    v156 -> v23
    v145 -> v25
    v137 -> v29
    jump block2

block2 cold:
    jump block3(v136, v137, v138, v138, v139, v137, v140, v141, v142, v142, v142, v142, v143, v142, v139, v137)

block3(v30: i16, v31: i8, v32: f64, v33: f64, v34: f32x4, v35: i8, v36: i64x2, v37: i128, v38: i32x4, v39: i32x4, v40: i32x4, v41: i32x4, v42: f32, v43: i32x4, v44: f32x4, v45: i8):
    v150 -> v30
    v146 -> v33
    v149 -> v36
    v155 -> v37
    v147 -> v42
    v151 -> v43
    v154 -> v44
    v231 -> v44
    v144 -> v45
    jump block4

block4 cold:
    jump block5

block5:
    jump block6(v144, v145, v144, v144, v144, v144, v144, v144, v146, v147, v144, v148, v149, v150, v144, v151)

block6(v46: i8, v47: i64, v48: i8, v49: i8, v50: i8, v51: i8, v52: i8, v53: i8, v54: f64, v55: f32, v56: i8, v57: i16x8, v58: i64x2, v59: i16, v60: i8, v61: i32x4):
    v157 -> v47
    v153 -> v54
    v162 -> v57
    v158 -> v59
    jump block7(v60, v152, v61, v58, v61, v61, v61, v61, v61, v61, v61, v61, v61, v61, v61, v61)

block7(v62: i8, v63: i8x16, v64: i32x4, v65: i64x2, v66: i32x4, v67: i32x4, v68: i32x4, v69: i32x4, v70: i32x4, v71: i32x4, v72: i32x4, v73: i32x4, v74: i32x4, v75: i32x4, v76: i32x4, v77: i32x4):
    v513 -> v63
    v517 -> v63
    v518 -> v63
    v519 -> v63
    br_table v156, block8(v153, v154, v65, v155, v62, v156, v62, v157, v158, v159, v160, v153, v160, v153), []  ; v159 = -0x1.1e38ea0e18081p-1015, v160 = -0x1.1e38ea0e18081p-183, v160 = -0x1.1e38ea0e18081p-183

block8(v78: f64, v79: f32x4, v80: i64x2, v81: i128, v82: i8, v83: i32, v84: i8, v85: i64, v86: i16, v87: f64, v88: f64, v89: f64, v90: f64, v91: f64):
    v276 -> v81
    v269 -> v82
    v302 -> v82
    v303 -> v84
    v261 -> v91
    v292 -> v91
    v335 -> v91
    v362 -> v91
    v469 -> v91
    v161 = sshr v85, v83
    v163 = uwiden_low.i16x8 v162
    v164 = stack_addr.i64 ss1+2
    v165 = load.i32 region0 v164+17
    v166 = fcvt_from_sint.f64 v165
    v167 = stack_addr.i64 ss1+12
    v168 = iadd_imm v167, 0
    v169 = atomic_cas v168, v161, v161
    v260 -> v169
    v170 = usub_sat.i16x8 v162, v162
    v171 = usub_sat v170, v170
    v172 = usub_sat v171, v171
    v173 = usub_sat v172, v172
    v174 = usub_sat v173, v173
    v175 = usub_sat v174, v174
    v176 = usub_sat v175, v175
    v177 = usub_sat v176, v176
    v178 = usub_sat v177, v177
    v179 = usub_sat v178, v178
    v180 = usub_sat v179, v179
    v181 = usub_sat v180, v180
    v182 = usub_sat v181, v181
    v183 = usub_sat v182, v182
    v184 = usu
[message truncated]