Stream: git-wasmtime

Topic: wasmtime / issue #11233 Cranelift: `fmin` not supported b...

Wasmtime GitHub notifications bot (Jul 14 2025 at 06:50):

akldc opened issue #11233:

Thanks for filing an issue! Please fill out the TODOs below.

.clif Test Case

test optimize
set opt_level=none
set preserve_frame_pointers=true
set enable_multi_ret_implicit_sret=true


function %main() -> f64x2 fast {
    const0 = 0x5f677a1c0f7a0518354ff56e259d4dee

block0:
    v1 = vconst.f64x2 const0

    v2 = fmin v1, v1

    return v2
}

; print: %main()

Steps to Reproduce

Execute using run and interpret respectively.

$ clif-util run -v test1.clif
$ clif-util interpret -v test1.clif

Results

$ clif-util run -v test.clif
%main() -> 0x5f677a1c0f7a0518354ff56e259d4dee
test1.clif
1 file

$ clif-util interpret -v test1.clif
test1.clif: failed to run function: failed to interpret instruction
1 file
Error: 1 failure

the fmin instruction is supported by run but not by interpret.

Versions and Environment

Operating system: Ubuntu 22.04

Architecture: x86_64

Wasmtime GitHub notifications bot (Jul 14 2025 at 06:50):

akldc added the bug label to Issue #11233.

Wasmtime GitHub notifications bot (Jul 14 2025 at 06:50):

akldc added the cranelift label to Issue #11233.

Wasmtime GitHub notifications bot (Jul 14 2025 at 14:36):

alexcrichton added the cranelift:area:interpreter label to Issue #11233.

Last updated: Dec 06 2025 at 06:05 UTC