Skip to content

Cranelift: fmin not supported by interpret backend while run succeeds #11233

Description

@akldc

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugIncorrect behavior in the current implementation that needs fixingcraneliftIssues related to the Cranelift code generatorcranelift:area:interpreterIssues related to the Cranelift interpreter

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions