关于vfmax

[luyahan]

#include <iostream>
#include <limits>
int f(float i, float j)
{  
    float x;
    asm("vsetvli t0, a0, e32, m1, ta,ma \n\t"
        "vmv.v.x v0, %1 \n\t"
        "vmv.v.x v1, %2 \n\t"
        "vfmax.vv v2, v1, v0 \n\t"
        "vmv.x.s  %0, v2 \n\t"
        :"=r"(x)
        :"r"(i),"r"(j)
        :);
    std::cout << "vfmax(" << i << "," << j << ") = " << x << std::endl;
    std::cout << i << "<" << j << "?" << j << ":" << i << " = " << (i < j ? j : i) << std::endl;
    return 0;
}

int main()
{
    f(0 - std::numeric_limits<float>::infinity(), 0 - std::numeric_limits<float>::max());
}

output

vfmax(-inf,-3.40282e+38) = -inf
-inf < -3.40282e+38? -3.40282e+38 : -inf = -3.40282e+38

c++ 和 vfmax结果不一致, 理论vfmax应该输出-3.40282e+38

command

./riscv/bin/riscv64-unknown-linux-gnu-g++ -march=rv64gcv ./test-simd.cpp -o test
~/source/qemu/build/qemu-riscv64 -cpu rv64,x-v=true -L ~/rvv/riscv/sysroot/ ./test

[lazyparser]

感谢report🎉

是在哪一个 commmit/branch 上构建出来的？

[liweiwei90]

该问题是softfloat库更新的问题，RVV v0.9 后vfmax/vfmin采用F扩展v2.2版本功能，对snan的处理进行了变更。所以在softfloat库中扩展了minmax_noprop功能，new_machine_dev分支在合并v分支时未将该扩展修改正确合并进入，所以导致vfmax/vfmin功能实现错误。