/*
 * Copyright (c) 2016 The University of Virginia
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions are
 * met: redistributions of source code must retain the above copyright
 * notice, this list of conditions and the following disclaimer;
 * redistributions in binary form must reproduce the above copyright
 * notice, this list of conditions and the following disclaimer in the
 * documentation and/or other materials provided with the distribution;
 * neither the name of the copyright holders nor the names of its
 * contributors may be used to endorse or promote products derived from
 * this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 *
 * Authors: Alec Roelke
 */

#include <cstdint>
#include <limits>

#include "insttest.h"
#include "rv64d.h"
#include "rv64f.h"

int main()
{
    using namespace std;
    using namespace insttest;

    // Memory (FLD, FSD)
    expect<double>(3.1415926, []{return D::load(3.1415926);}, "fld");
    expect<double>(1.61803398875, []{return D::store(1.61803398875);}, "fsd");

    // FMADD.D
    expect<double>(D::number(0x4019FD5AED13B1CEULL),
                []{return D::fmadd_d(3.1415926, 1.61803398875,1.41421356237);},
                "fmadd.d");
    expect<bool>(true, []{
            double fd = D::fmadd_d(numeric_limits<double>::quiet_NaN(), 3.14,
                    1.816);
            return D::isquietnan(fd);
        }, "fmadd.d, quiet NaN");
    expect<bool>(true, []{
            double fd = D::fmadd_d(3.14,
                    numeric_limits<double>::signaling_NaN(), 1.816);
            return D::isquietnan(fd);
        }, "fmadd.d, signaling NaN");
    expect<double>(numeric_limits<double>::infinity(),
        []{return D::fmadd_d(3.14, numeric_limits<double>::infinity(),1.414);},
        "fmadd.d, infinity");
    expect<double>(-numeric_limits<double>::infinity(),
        []{return D::fmadd_d(3.14,-numeric_limits<double>::infinity(),1.414);},
        "fmadd.d, -infinity");

    // FMSUB.D
    expect<double>(D::number(0x400d5A1773A85E43ULL),
        []{return D::fmsub_d(3.1415926, 1.61803398875, 1.41421356237);},
        "fmsub.d");
    expect<bool>(true, []{
            double fd = D::fmsub_d(3.14, numeric_limits<double>::quiet_NaN(),
                    1.414);
            return D::isquietnan(fd);
        }, "fmsub.d, quiet NaN");
    expect<bool>(true, []{
            double fd = D::fmsub_d(3.14, 1.816,
                    numeric_limits<double>::signaling_NaN());
            return D::isquietnan(fd);
        }, "fmsub.d, signaling NaN");
    expect<double>(numeric_limits<double>::infinity(),
            []{return D::fmsub_d(numeric_limits<double>::infinity(), 1.816,
                    1.414);},
            "fmsub.d, infinity");
    expect<double>(-numeric_limits<double>::infinity(),
            []{return D::fmsub_d(3.14, -numeric_limits<double>::infinity(),
                    1.414);},
            "fmsub.d, -infinity");
    expect<double>(-numeric_limits<double>::infinity(),
            []{return D::fmsub_d(3.14, 1.816,
                    numeric_limits<double>::infinity());},
            "fmsub.d, subtract infinity");

    // FNMSUB.D
    expect<double>(D::number(0xC00D5A1773A85E43ULL),
            []{return D::fnmsub_d(3.1415926, 1.61803398875, 1.41421356237);},
            "fnmsub.d");
    expect<bool>(true, []{
            double fd = D::fnmsub_d(3.14, 1.816,
                    numeric_limits<double>::quiet_NaN());
            return D::isquietnan(fd);
        }, "fnmsub.d, quiet NaN");
    expect<bool>(true, []{
            double fd = D::fnmsub_d(numeric_limits<double>::signaling_NaN(),
                    1.816, 1.414);
            return D::isquietnan(fd);
        }, "fnmsub.d, signaling NaN");
    expect<double>(-numeric_limits<double>::infinity(),
            []{return D::fnmsub_d(numeric_limits<double>::infinity(), 1.816,
                    1.414);},
            "fnmsub.d, infinity");
    expect<double>(numeric_limits<double>::infinity(),
            []{return D::fnmsub_d(3.14, -numeric_limits<double>::infinity(),
                    1.414);},
            "fnmsub.d, -infinity");
    expect<double>(numeric_limits<double>::infinity(),
            []{return D::fnmsub_d(3.14, 1.816,
                    numeric_limits<double>::infinity());},
            "fnmsub.d, subtract infinity");

    // FNMADD.D
    expect<double>(D::number(0xC019FD5AED13B1CEULL),
            []{return D::fnmadd_d(3.1415926, 1.61803398875, 1.41421356237);},
            "fnmadd.d");
    expect<bool>(true, []{
            double fd = D::fnmadd_d(numeric_limits<double>::quiet_NaN(), 3.14,
                    1.816);
            return D::isquietnan(fd);
        }, "fnmadd.d, quiet NaN");
    expect<bool>(true, []{
            double fd = D::fnmadd_d(3.14,
                    numeric_limits<double>::signaling_NaN(), 1.816);
            return D::isquietnan(fd);
        }, "fnmadd.d, signaling NaN");
    expect<double>(-numeric_limits<double>::infinity(),
            []{return D::fnmadd_d(3.14, numeric_limits<double>::infinity(),
                    1.414);},
            "fnmadd.d, infinity");
    expect<double>(numeric_limits<double>::infinity(),
            []{return D::fnmadd_d(3.14, -numeric_limits<double>::infinity(),
                    1.414);},
            "fnmadd.d, -infinity");

    // FADD.D
    expect<double>(D::number(0x4012392540292D7CULL),
            []{return D::fadd_d(3.1415926, 1.41421356237);}, "fadd.d");
    expect<bool>(true, []{
            double fd = D::fadd_d(numeric_limits<double>::quiet_NaN(), 1.414);
            return D::isquietnan(fd);
        }, "fadd.d, quiet NaN");
    expect<bool>(true, []{
            double fd = D::fadd_d(3.14,
                    numeric_limits<double>::signaling_NaN());
            return D::isquietnan(fd);
        }, "fadd.d, signaling NaN");
    expect<double>(numeric_limits<double>::infinity(),
            []{return D::fadd_d(3.14, numeric_limits<double>::infinity());},
            "fadd.d, infinity");
    expect<double>(-numeric_limits<double>::infinity(),
            []{return D::fadd_d(-numeric_limits<double>::infinity(), 1.816);},
            "fadd.d, -infinity");

    // FSUB.D
    expect<double>(D::number(0xBFFBA35833AB7AAEULL),
            []{return D::fsub_d(1.4142135623, 3.1415926);}, "fsub.d");
    expect<bool>(true, []{
            double fd = D::fsub_d(numeric_limits<double>::quiet_NaN(), 1.414);
            return D::isquietnan(fd);
        }, "fsub.d, quiet NaN");
    expect<bool>(true, []{
            double fd = D::fsub_d(3.14,
                    numeric_limits<double>::signaling_NaN());
            return D::isquietnan(fd);
        }, "fsub.d, signaling NaN");
    expect<double>(numeric_limits<double>::infinity(),
            []{return D::fsub_d(numeric_limits<double>::infinity(), 3.14);},
            "fsub.d, infinity");
    expect<double>(-numeric_limits<double>::infinity(),
            []{return D::fsub_d(-numeric_limits<double>::infinity(), 3.14);},
            "fsub.d, -infinity");
    expect<double>(-numeric_limits<double>::infinity(),
            []{return D::fsub_d(1.414, numeric_limits<double>::infinity());},
            "fsub.d, subtract infinity");

    // FMUL.D
    expect<double>(D::number(0x40024E53B708ED9AULL),
            []{return D::fmul_d(1.61803398875, 1.4142135623);}, "fmul.d");
    expect<bool>(true, []{
            double fd = D::fmul_d(numeric_limits<double>::quiet_NaN(), 1.414);
            return D::isquietnan(fd);
        }, "fmul.d, quiet NaN");
    expect<bool>(true, []{
            double fd = D::fmul_d(1.816,
                    numeric_limits<double>::signaling_NaN());
            return D::isquietnan(fd);
        }, "fmul.d, signaling NaN");
    expect<double>(numeric_limits<double>::infinity(),
            []{return D::fmul_d(numeric_limits<double>::infinity(), 2.718);},
            "fmul.d, infinity");
    expect<double>(-numeric_limits<double>::infinity(),
            []{return D::fmul_d(2.5966, -numeric_limits<double>::infinity());},
            "fmul.d, -infinity");
    expect<bool>(true, []{
            double fd = D::fmul_d(0.0, numeric_limits<double>::infinity());
            return D::isquietnan(fd);
        }, "fmul.d, 0*infinity");
    expect<double>(numeric_limits<double>::infinity(),
            []{return D::fmul_d(numeric_limits<double>::max(), 2.0);},
            "fmul.d, overflow");
    expect<double>(0.0,
            []{return D::fmul_d(numeric_limits<double>::min(),
                    numeric_limits<double>::min());},
            "fmul.d, underflow");

    // FDIV.D
    expect<double>(2.5, []{return D::fdiv_d(10.0, 4.0);}, "fdiv.d");
    expect<bool>(true, []{
            double fd = D::fdiv_d(numeric_limits<double>::quiet_NaN(), 4.0);
            return D::isquietnan(fd);
        }, "fdiv.d, quiet NaN");
    expect<bool>(true, []{
            double fd = D::fdiv_d(10.0,
                    numeric_limits<double>::signaling_NaN());
            return D::isquietnan(fd);
        }, "fdiv.d, signaling NaN");
    expect<double>(numeric_limits<double>::infinity(),
            []{return D::fdiv_d(10.0, 0.0);}, "fdiv.d/0");
    expect<double>(0.0,
            []{return D::fdiv_d(10.0, numeric_limits<double>::infinity());},
            "fdiv.d/infinity");
    expect<bool>(true, []{
            double fd = D::fdiv_d(numeric_limits<double>::infinity(),
                    numeric_limits<double>::infinity());
            return D::isquietnan(fd);
        }, "fdiv.d, infinity/infinity");
    expect<bool>(true, []{
            double fd = D::fdiv_d(0.0, 0.0);
            return D::isquietnan(fd);
        }, "fdiv.d, 0/0");
    expect<double>(numeric_limits<double>::infinity(),
            []{return D::fdiv_d(numeric_limits<double>::infinity(), 0.0);},
            "fdiv.d, infinity/0");
    expect<double>(0.0,
            []{return D::fdiv_d(0.0, numeric_limits<double>::infinity());},
            "fdiv.d, 0/infinity");
    expect<double>(0.0,
            []{return D::fdiv_d(numeric_limits<double>::min(),
                    numeric_limits<double>::max());},
            "fdiv.d, underflow");
    expect<double>(numeric_limits<double>::infinity(),
            []{return D::fdiv_d(numeric_limits<double>::max(),
                    numeric_limits<double>::min());},
            "fdiv.d, overflow");

    // FSQRT.D
    expect<double>(1e154, []{return D::fsqrt_d(1e308);}, "fsqrt.d");
    expect<bool>(true, []{
            double fd = D::fsqrt_d(-1.0);
            return D::isquietnan(fd);
        }, "fsqrt.d, NaN");
    expect<bool>(true, []{
            double fd = D::fsqrt_d(numeric_limits<double>::quiet_NaN());
            return D::isquietnan(fd);
        }, "fsqrt.d, quiet NaN");
    expect<bool>(true, []{
            double fd = D::fsqrt_d(numeric_limits<double>::signaling_NaN());
            return D::isquietnan(fd);
        }, "fsqrt.d, signaling NaN");
    expect<double>(numeric_limits<double>::infinity(),
            []{return D::fsqrt_d(numeric_limits<double>::infinity());},
            "fsqrt.d, infinity");

    // FSGNJ.D
    expect<double>(1.0, []{return D::fsgnj_d(1.0, 25.0);}, "fsgnj.d, ++");
    expect<double>(-1.0, []{return D::fsgnj_d(1.0, -25.0);}, "fsgnj.d, +-");
    expect<double>(1.0, []{return D::fsgnj_d(-1.0, 25.0);}, "fsgnj.d, -+");
    expect<double>(-1.0, []{return D::fsgnj_d(-1.0, -25.0);}, "fsgnj.d, --");
    expect<bool>(true, []{
            double fd = D::fsgnj_d(numeric_limits<double>::quiet_NaN(), -4.0);
            return D::isquietnan(fd);
        }, "fsgnj.d, quiet NaN");
    expect<bool>(true, []{
            double fd = D::fsgnj_d(numeric_limits<double>::signaling_NaN(),
                    -4.0);
            return D::issignalingnan(fd);
        }, "fsgnj.d, signaling NaN");
    expect<double>(4.0,
            []{return D::fsgnj_d(4.0, numeric_limits<double>::quiet_NaN());},
            "fsgnj.d, inject NaN");
    expect<double>(-4.0,
            []{return D::fsgnj_d(4.0, -numeric_limits<double>::quiet_NaN());},
            "fsgnj.d, inject -NaN");

    // FSGNJN.D
    expect<double>(-1.0, []{return D::fsgnjn_d(1.0, 25.0);}, "fsgnjn.d, ++");
    expect<double>(1.0, []{return D::fsgnjn_d(1.0, -25.0);}, "fsgnjn.d, +-");
    expect<double>(-1.0, []{return D::fsgnjn_d(-1.0, 25.0);}, "fsgnjn.d, -+");
    expect<double>(1.0, []{return D::fsgnjn_d(-1.0, -25.0);}, "fsgnjn.d, --");
    expect<bool>(true, []{
            double fd = D::fsgnjn_d(numeric_limits<double>::quiet_NaN(), -4.0);
            return D::isquietnan(fd);
        }, "fsgnjn.d, quiet NaN");
    expect<bool>(true, []{
            double fd = D::fsgnjn_d(numeric_limits<double>::signaling_NaN(),
                    -4.0);
            return D::issignalingnan(fd);
        }, "fsgnjn.d, signaling NaN");
    expect<double>(-4.0,
            []{return D::fsgnjn_d(4.0, numeric_limits<double>::quiet_NaN());},
            "fsgnjn.d, inject NaN");
    expect<double>(4.0,
            []{return D::fsgnjn_d(4.0, -numeric_limits<double>::quiet_NaN());},
            "fsgnjn.d, inject NaN");

    // FSGNJX.D
    expect<double>(1.0, []{return D::fsgnjx_d(1.0, 25.0);}, "fsgnjx.d, ++");
    expect<double>(-1.0, []{return D::fsgnjx_d(1.0, -25.0);}, "fsgnjx.d, +-");
    expect<double>(-1.0, []{return D::fsgnjx_d(-1.0, 25.0);}, "fsgnjx.d, -+");
    expect<double>(1.0, []{return D::fsgnjx_d(-1.0, -25.0);}, "fsgnjx.d, --");
    expect<bool>(true, []{
            double fd = D::fsgnjx_d(numeric_limits<double>::quiet_NaN(), -4.0);
            return D::isquietnan(fd);
        }, "fsgnjx.d, quiet NaN");
    expect<bool>(true, []{
            double fd = D::fsgnjx_d(numeric_limits<double>::signaling_NaN(),
                    -4.0);
            return D::issignalingnan(fd);
        }, "fsgnjx.d, signaling NaN");
    expect<double>(4.0,
            []{return D::fsgnjx_d(4.0, numeric_limits<double>::quiet_NaN());},
            "fsgnjx.d, inject NaN");
    expect<double>(-4.0,
            []{return D::fsgnjx_d(4.0, -numeric_limits<double>::quiet_NaN());},
            "fsgnjx.d, inject NaN");

    // FMIN.D
    expect<double>(2.718, []{return D::fmin_d(3.14, 2.718);}, "fmin.d");
    expect<double>(-numeric_limits<double>::infinity(),
            []{return D::fmin_d(-numeric_limits<double>::infinity(),
                    numeric_limits<double>::min());},
            "fmin.d, -infinity");
    expect<double>(numeric_limits<double>::max(),
            []{return D::fmin_d(numeric_limits<double>::infinity(),
                    numeric_limits<double>::max());},
            "fmin.d, infinity");
    expect<double>(-1.414,
            []{return D::fmin_d(numeric_limits<double>::quiet_NaN(), -1.414);},
            "fmin.d, quiet NaN first");
    expect<double>(2.718,
            []{return D::fmin_d(2.718, numeric_limits<double>::quiet_NaN());},
            "fmin.d, quiet NaN second");
    expect<bool>(true, []{
            double fd = D::fmin_d(numeric_limits<double>::quiet_NaN(),
                    numeric_limits<double>::quiet_NaN());
            return D::isquietnan(fd);
        }, "fmin.d, quiet NaN both");
    expect<double>(3.14,
            []{return D::fmin_d(numeric_limits<double>::signaling_NaN(),
                    3.14);},
            "fmin.d, signaling NaN first");
    expect<double>(1.816,
            []{return D::fmin_d(1.816,
                    numeric_limits<double>::signaling_NaN());},
            "fmin.d, signaling NaN second");
    expect<bool>(true, []{
            double fd = D::fmin_d(numeric_limits<double>::signaling_NaN(),
                    numeric_limits<double>::signaling_NaN());
            return D::issignalingnan(fd);
        }, "fmin.d, signaling NaN both");

    // FMAX.D
    expect<double>(3.14, []{return D::fmax_d(3.14, 2.718);}, "fmax.d");
    expect<double>(numeric_limits<double>::min(),
            []{return D::fmax_d(-numeric_limits<double>::infinity(),
                    numeric_limits<double>::min());},
            "fmax.d, -infinity");
    expect<double>(numeric_limits<double>::infinity(),
            []{return D::fmax_d(numeric_limits<double>::infinity(),
                    numeric_limits<double>::max());},
            "fmax.d, infinity");
    expect<double>(-1.414,
            []{return D::fmax_d(numeric_limits<double>::quiet_NaN(), -1.414);},
            "fmax.d, quiet NaN first");
    expect<double>(2.718,
            []{return D::fmax_d(2.718, numeric_limits<double>::quiet_NaN());},
            "fmax.d, quiet NaN second");
    expect<bool>(true, []{
            double fd = D::fmax_d(numeric_limits<double>::quiet_NaN(),
                    numeric_limits<double>::quiet_NaN());
            return D::isquietnan(fd);
        }, "fmax.d, quiet NaN both");
    expect<double>(3.14,
            []{return D::fmax_d(numeric_limits<double>::signaling_NaN(),
                    3.14);},
            "fmax.d, signaling NaN first");
    expect<double>(1.816,
            []{return D::fmax_d(1.816,
                    numeric_limits<double>::signaling_NaN());},
            "fmax.d, signaling NaN second");
    expect<bool>(true, []{
            double fd = D::fmax_d(numeric_limits<double>::signaling_NaN(),
                    numeric_limits<double>::signaling_NaN());
            return D::issignalingnan(fd);
        }, "fmax.d, signaling NaN both");

    // FCVT.S.D
    expect<float>(4.0, []{return D::fcvt_s_d(4.0);}, "fcvt.s.d");
    expect<bool>(true, []{
            float fd = D::fcvt_s_d(numeric_limits<double>::quiet_NaN());
            return F::isquietnan(fd);
        }, "fcvt.s.d, quiet NaN");
    expect<bool>(true, []{
            float fd = D::fcvt_s_d(numeric_limits<double>::signaling_NaN());
            return F::isquietnan(fd);
        }, "fcvt.s.d, signaling NaN");
    expect<float>(numeric_limits<float>::infinity(),
            []{return D::fcvt_s_d(numeric_limits<double>::infinity());},
            "fcvt.s.d, infinity");
    expect<float>(numeric_limits<float>::infinity(),
            []{return D::fcvt_s_d(numeric_limits<double>::max());},
            "fcvt.s.d, overflow");
    expect<float>(0.0, []{return D::fcvt_s_d(numeric_limits<double>::min());},
            "fcvt.s.d, underflow");

    // FCVT.D.S
    expect<double>(D::number(0x4005BE76C0000000),
            []{return D::fcvt_d_s(2.718);}, "fcvt.d.s");
    expect<bool>(true, []{
            double fd = D::fcvt_d_s(numeric_limits<float>::quiet_NaN());
            return D::isquietnan(fd);
        }, "fcvt.d.s, quiet NaN");
    expect<bool>(true, []{
            double fd = D::fcvt_d_s(numeric_limits<float>::signaling_NaN());
            return D::isquietnan(fd);
        }, "fcvt.d.s, signaling NaN");
    expect<double>(numeric_limits<double>::infinity(),
            []{return D::fcvt_d_s(numeric_limits<float>::infinity());},
            "fcvt.d.s, infinity");

    // FEQ.D
    expect<bool>(true, []{return D::feq_d(1.414, 1.414);}, "feq.d, equal");
    expect<bool>(false,[]{return D::feq_d(2.718, 1.816);}, "feq.d, not equal");
    expect<bool>(true, []{return D::feq_d(0.0, -0.0);}, "feq.d, 0 == -0");
    expect<bool>(false,
            []{return D::feq_d(numeric_limits<double>::quiet_NaN(), -1.0);},
            "feq.d, quiet NaN first");
    expect<bool>(false,
            []{return D::feq_d(2.0, numeric_limits<double>::quiet_NaN());},
            "feq.d, quiet NaN second");
    expect<bool>(false,
            []{return D::feq_d(numeric_limits<double>::quiet_NaN(),
                    numeric_limits<double>::quiet_NaN());},
            "feq.d, quiet NaN both");
    expect<bool>(false,
            []{return D::feq_d(numeric_limits<double>::signaling_NaN(),-1.0);},
            "feq.d, signaling NaN first");
    expect<bool>(false,
            []{return D::feq_d(2.0, numeric_limits<double>::signaling_NaN());},
            "feq.d, signaling NaN second");
    expect<bool>(false,
            []{return D::feq_d(numeric_limits<double>::signaling_NaN(),
                    numeric_limits<double>::signaling_NaN());},
            "feq.d, signaling NaN both");

    // FLT.D
    expect<bool>(false, []{return D::flt_d(1.414, 1.414);}, "flt.d, equal");
    expect<bool>(true, []{return D::flt_d(1.816, 2.718);}, "flt.d, less");
    expect<bool>(false, []{return D::flt_d(2.718, 1.816);}, "flt.d, greater");
    expect<bool>(false,
            []{return D::flt_d(numeric_limits<double>::quiet_NaN(), -1.0);},
            "flt.d, quiet NaN first");
    expect<bool>(false,
            []{return D::flt_d(2.0, numeric_limits<double>::quiet_NaN());},
            "flt.d, quiet NaN second");
    expect<bool>(false,
            []{return D::flt_d(numeric_limits<double>::quiet_NaN(),
                    numeric_limits<double>::quiet_NaN());},
            "flt.d, quiet NaN both");
    expect<bool>(false,
            []{return D::flt_d(numeric_limits<double>::signaling_NaN(),-1.0);},
            "flt.d, signaling NaN first");
    expect<bool>(false,
            []{return D::flt_d(2.0, numeric_limits<double>::signaling_NaN());},
            "flt.d, signaling NaN second");
    expect<bool>(false,
            []{return D::flt_d(numeric_limits<double>::signaling_NaN(),
                    numeric_limits<double>::signaling_NaN());},
            "flt.d, signaling NaN both");

    // FLE.D
    expect<bool>(true, []{return D::fle_d(1.414, 1.414);}, "fle.d, equal");
    expect<bool>(true, []{return D::fle_d(1.816, 2.718);}, "fle.d, less");
    expect<bool>(false, []{return D::fle_d(2.718, 1.816);}, "fle.d, greater");
    expect<bool>(true, []{return D::fle_d(0.0, -0.0);}, "fle.d, 0 == -0");
    expect<bool>(false,
            []{return D::fle_d(numeric_limits<double>::quiet_NaN(), -1.0);},
            "fle.d, quiet NaN first");
    expect<bool>(false,
            []{return D::fle_d(2.0, numeric_limits<double>::quiet_NaN());},
            "fle.d, quiet NaN second");
    expect<bool>(false,
            []{return D::fle_d(numeric_limits<double>::quiet_NaN(),
                    numeric_limits<double>::quiet_NaN());},
            "fle.d, quiet NaN both");
    expect<bool>(false,
            []{return D::fle_d(numeric_limits<double>::signaling_NaN(),-1.0);},
            "fle.d, signaling NaN first");
    expect<bool>(false,
            []{return D::fle_d(2.0, numeric_limits<double>::signaling_NaN());},
            "fle.d, signaling NaN second");
    expect<bool>(false,
            []{return D::fle_d(numeric_limits<double>::signaling_NaN(),
                    numeric_limits<double>::signaling_NaN());},
            "fle.d, signaling NaN both");

    // FCLASS.D
    expect<uint64_t>(0x1,
            []{return D::fclass_d(-numeric_limits<double>::infinity());},
            "fclass.d, -infinity");
    expect<uint64_t>(0x2,
            []{return D::fclass_d(-3.14);}, "fclass.d, -normal");
    expect<uint64_t>(0x4,
            []{return D::fclass_d(D::number(0x800FFFFFFFFFFFFFULL));},
            "fclass.d, -subnormal");
    expect<uint64_t>(0x8, []{return D::fclass_d(-0.0);}, "fclass.d, -0.0");
    expect<uint64_t>(0x10, []{return D::fclass_d(0.0);}, "fclass.d, 0.0");
    expect<uint64_t>(0x20,
            []{return D::fclass_d(D::number(0x000FFFFFFFFFFFFFULL));},
            "fclass.d, subnormal");
    expect<uint64_t>(0x40, []{return D::fclass_d(1.816);}, "fclass.d, normal");
    expect<uint64_t>(0x80,
            []{return D::fclass_d(numeric_limits<double>::infinity());},
            "fclass.d, infinity");
    expect<uint64_t>(0x100,
            []{return D::fclass_d(numeric_limits<double>::signaling_NaN());},
            "fclass.d, signaling NaN");
    expect<uint64_t>(0x200,
            []{return D::fclass_d(numeric_limits<double>::quiet_NaN());},
            "fclass.s, quiet NaN");

    // FCVT.W.D
    expect<int64_t>(256, []{return D::fcvt_w_d(256.3);},
            "fcvt.w.d, truncate positive");
    expect<int64_t>(-256, []{return D::fcvt_w_d(-256.2);},
            "fcvt.w.d, truncate negative");
    expect<int64_t>(0, []{return D::fcvt_w_d(0.0);}, "fcvt.w.d, 0.0");
    expect<int64_t>(0, []{return D::fcvt_w_d(-0.0);}, "fcvt.w.d, -0.0");
    expect<int64_t>(numeric_limits<int32_t>::max(),
            []{return D::fcvt_w_d(numeric_limits<double>::max());},
            "fcvt.w.d, overflow");
    expect<int64_t>(0, []{return D::fcvt_w_d(numeric_limits<double>::min());},
            "fcvt.w.d, underflow");
    expect<int64_t>(numeric_limits<int32_t>::max(),
            []{return D::fcvt_w_d(numeric_limits<double>::infinity());},
            "fcvt.w.d, infinity");
    expect<int64_t>(numeric_limits<int32_t>::min(),
            []{return D::fcvt_w_d(-numeric_limits<double>::infinity());},
            "fcvt.w.d, -infinity");
    expect<int64_t>(numeric_limits<int32_t>::max(),
            []{return D::fcvt_w_d(numeric_limits<double>::quiet_NaN());},
            "fcvt.w.d, quiet NaN");
    expect<int64_t>(numeric_limits<int32_t>::max(),
            []{return D::fcvt_w_d(-numeric_limits<double>::quiet_NaN());},
            "fcvt.w.d, quiet -NaN");
    expect<int64_t>(numeric_limits<int32_t>::max(),
            []{return D::fcvt_w_d(numeric_limits<double>::signaling_NaN());},
            "fcvt.w.d, signaling NaN");

    // FCVT.WU.D
    expect<uint64_t>(256, []{return D::fcvt_wu_d(256.3);},
            "fcvt.wu.d, truncate positive");
    expect<uint64_t>(0, []{return D::fcvt_wu_d(-256.2);},
            "fcvt.wu.d, truncate negative");
    expect<uint64_t>(0, []{return D::fcvt_wu_d(0.0);}, "fcvt.wu.d, 0.0");
    expect<uint64_t>(0, []{return D::fcvt_wu_d(-0.0);}, "fcvt.wu.d, -0.0");
    expect<uint64_t>(numeric_limits<uint64_t>::max(),
            []{return D::fcvt_wu_d(numeric_limits<double>::max());},
            "fcvt.wu.d, overflow");
    expect<uint64_t>(0,[]{return D::fcvt_wu_d(numeric_limits<double>::min());},
            "fcvt.wu.d, underflow");
    expect<uint64_t>(numeric_limits<uint64_t>::max(),
            []{return D::fcvt_wu_d(numeric_limits<double>::infinity());},
            "fcvt.wu.d, infinity");
    expect<uint64_t>(0,
            []{return D::fcvt_wu_d(-numeric_limits<double>::infinity());},
            "fcvt.wu.d, -infinity");
    expect<uint64_t>(0xFFFFFFFFFFFFFFFFULL,
            []{return D::fcvt_wu_d(numeric_limits<double>::quiet_NaN());},
            "fcvt.wu.d, quiet NaN");
    expect<uint64_t>(0xFFFFFFFFFFFFFFFFULL,
            []{return D::fcvt_wu_d(-numeric_limits<double>::quiet_NaN());},
            "fcvt.wu.d, quiet -NaN");
    expect<uint64_t>(0xFFFFFFFFFFFFFFFFULL,
            []{return D::fcvt_wu_d(numeric_limits<double>::signaling_NaN());},
            "fcvt.wu.d, signaling NaN");

    // FCVT.D.W
    expect<double>(0.0, []{return D::fcvt_d_w(0);}, "fcvt.d.w, 0");
    expect<double>(-2147483648.0,
            []{return D::fcvt_d_w(numeric_limits<int32_t>::min());},
            "fcvt.d.w, negative");
    expect<double>(255.0, []{return D::fcvt_d_w(0xFFFFFFFF000000FFLL);},
            "fcvt.d.w, truncate");

    // FCVT.D.WU
    expect<double>(0.0, []{return D::fcvt_d_wu(0);}, "fcvt.d.wu, 0");
    expect<double>(2147483648.0,
            []{return D::fcvt_d_wu(numeric_limits<int32_t>::min());},
            "fcvt.d.wu");
    expect<double>(255.0,
            []{return D::fcvt_d_wu(0xFFFFFFFF000000FFLL);},
            "fcvt.d.wu, truncate");

    // FCVT.L.D
    expect<int64_t>(256, []{return D::fcvt_l_d(256.3);},
            "fcvt.l.d, truncate positive");
    expect<int64_t>(-256, []{return D::fcvt_l_d(-256.2);},
            "fcvt.l.d, truncate negative");
    expect<int64_t>(0, []{return D::fcvt_l_d(0.0);}, "fcvt.l.d, 0.0");
    expect<int64_t>(0, []{return D::fcvt_l_d(-0.0);}, "fcvt.l.d, -0.0");
    expect<int64_t>(-8589934592LL, []{return D::fcvt_l_d(-8589934592.0);},
            "fcvt.l.d, 32-bit overflow");
    expect<int64_t>(numeric_limits<int64_t>::max(),
            []{return D::fcvt_l_d(numeric_limits<double>::max());},
            "fcvt.l.d, overflow");
    expect<int64_t>(0, []{return D::fcvt_l_d(numeric_limits<double>::min());},
            "fcvt.l.d, underflow");
    expect<int64_t>(numeric_limits<int64_t>::max(),
            []{return D::fcvt_l_d(numeric_limits<double>::infinity());},
            "fcvt.l.d, infinity");
    expect<int64_t>(numeric_limits<int64_t>::min(),
            []{return D::fcvt_l_d(-numeric_limits<double>::infinity());},
            "fcvt.l.d, -infinity");
    expect<int64_t>(numeric_limits<int64_t>::max(),
            []{return D::fcvt_l_d(numeric_limits<double>::quiet_NaN());},
            "fcvt.l.d, quiet NaN");
    expect<int64_t>(numeric_limits<int64_t>::max(),
            []{return D::fcvt_l_d(-numeric_limits<double>::quiet_NaN());},
            "fcvt.l.d, quiet -NaN");
    expect<int64_t>(numeric_limits<int64_t>::max(),
            []{return D::fcvt_l_d(numeric_limits<double>::signaling_NaN());},
            "fcvt.l.d, signaling NaN");

    // FCVT.LU.D
    expect<uint64_t>(256, []{return D::fcvt_lu_d(256.3);},
            "fcvt.lu.d, truncate positive");
    expect<uint64_t>(0, []{return D::fcvt_lu_d(-256.2);},
            "fcvt.lu.d, truncate negative");
    expect<uint64_t>(0, []{return D::fcvt_lu_d(0.0);}, "fcvt.lu.d, 0.0");
    expect<uint64_t>(0, []{return D::fcvt_lu_d(-0.0);}, "fcvt.lu.d, -0.0");
    expect<uint64_t>(8589934592LL, []{return D::fcvt_lu_d(8589934592.0);},
            "fcvt.lu.d, 32-bit overflow");
    expect<uint64_t>(numeric_limits<uint64_t>::max(),
            []{return D::fcvt_lu_d(numeric_limits<double>::max());},
            "fcvt.lu.d, overflow");
    expect<uint64_t>(0,[]{return D::fcvt_lu_d(numeric_limits<double>::min());},
            "fcvt.lu.d, underflow");
    expect<uint64_t>(numeric_limits<uint64_t>::max(),
            []{return D::fcvt_lu_d(numeric_limits<double>::infinity());},
            "fcvt.lu.d, infinity");
    expect<uint64_t>(0,
            []{return D::fcvt_lu_d(-numeric_limits<double>::infinity());},
            "fcvt.lu.d, -infinity");
    expect<uint64_t>(0xFFFFFFFFFFFFFFFFULL,
            []{return D::fcvt_lu_d(numeric_limits<double>::quiet_NaN());},
            "fcvt.lu.d, quiet NaN");
    expect<uint64_t>(0xFFFFFFFFFFFFFFFFULL,
            []{return D::fcvt_lu_d(-numeric_limits<double>::quiet_NaN());},
            "fcvt.lu.d, quiet -NaN");
    expect<uint64_t>(0xFFFFFFFFFFFFFFFFULL,
            []{return D::fcvt_lu_d(numeric_limits<double>::signaling_NaN());},
            "fcvt.lu.d, signaling NaN");

    // FMV.X.D
    expect<uint64_t>(0x40091EB851EB851FULL, []{return D::fmv_x_d(3.14);},
            "fmv.x.d, positive");
    expect<uint64_t>(0xC0091EB851EB851FULL, []{return D::fmv_x_d(-3.14);},
            "fmv.x.d, negative");
    expect<uint64_t>(0x0000000000000000ULL, []{return D::fmv_x_d(0.0);},
            "fmv.x.d, 0.0");
    expect<uint64_t>(0x8000000000000000ULL, []{return D::fmv_x_d(-0.0);},
            "fmv.x.d, -0.0");

    // FCVT.D.L
    expect<double>(0.0, []{return D::fcvt_d_l(0);}, "fcvt.d.l, 0");
    expect<double>(D::number(0xC3E0000000000000),
            []{return D::fcvt_d_l(numeric_limits<int64_t>::min());},
            "fcvt.d.l, negative");
    expect<double>(D::number(0xC1EFFFFFE0200000),
            []{return D::fcvt_d_l(0xFFFFFFFF000000FFLL);},
            "fcvt.d.l, 32-bit truncate");

    // FCVT.D.LU
    expect<double>(0.0, []{return D::fcvt_d_lu(0);}, "fcvt.d.lu, 0");
    expect<double>(D::number(0x43E0000000000000),
            []{return D::fcvt_d_lu(numeric_limits<int64_t>::min());},
            "fcvt.d.lu");
    expect<double>(D::number(0x43EFFFFFFFE00000),
            []{return D::fcvt_d_lu(0xFFFFFFFF000000FFLL);},
            "fcvt.d.lu, 32-bit truncate");

    // FMV.D.X
    expect<double>(-numeric_limits<float>::infinity(),
            []{return D::fmv_d_x(0xFFF0000000000000ULL);}, "fmv.d.x");

    return 0;
}