111730Sar4jc@virginia.edu/*
211730Sar4jc@virginia.edu * Copyright (c) 2016 The University of Virginia
311730Sar4jc@virginia.edu * All rights reserved.
411730Sar4jc@virginia.edu *
511730Sar4jc@virginia.edu * Redistribution and use in source and binary forms, with or without
611730Sar4jc@virginia.edu * modification, are permitted provided that the following conditions are
711730Sar4jc@virginia.edu * met: redistributions of source code must retain the above copyright
811730Sar4jc@virginia.edu * notice, this list of conditions and the following disclaimer;
911730Sar4jc@virginia.edu * redistributions in binary form must reproduce the above copyright
1011730Sar4jc@virginia.edu * notice, this list of conditions and the following disclaimer in the
1111730Sar4jc@virginia.edu * documentation and/or other materials provided with the distribution;
1211730Sar4jc@virginia.edu * neither the name of the copyright holders nor the names of its
1311730Sar4jc@virginia.edu * contributors may be used to endorse or promote products derived from
1411730Sar4jc@virginia.edu * this software without specific prior written permission.
1511730Sar4jc@virginia.edu *
1611730Sar4jc@virginia.edu * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
1711730Sar4jc@virginia.edu * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
1811730Sar4jc@virginia.edu * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
1911730Sar4jc@virginia.edu * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
2011730Sar4jc@virginia.edu * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
2111730Sar4jc@virginia.edu * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
2211730Sar4jc@virginia.edu * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
2311730Sar4jc@virginia.edu * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
2411730Sar4jc@virginia.edu * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
2511730Sar4jc@virginia.edu * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
2611730Sar4jc@virginia.edu * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
2711730Sar4jc@virginia.edu *
2811730Sar4jc@virginia.edu * Authors: Alec Roelke
2911730Sar4jc@virginia.edu */
3011730Sar4jc@virginia.edu
3111730Sar4jc@virginia.edu#pragma once
3211730Sar4jc@virginia.edu
3311730Sar4jc@virginia.edu#include <cstdint>
3411730Sar4jc@virginia.edu#include <limits>
3511730Sar4jc@virginia.edu
3611730Sar4jc@virginia.edu#include "insttest.h"
3711730Sar4jc@virginia.edu
3811730Sar4jc@virginia.edunamespace F
3911730Sar4jc@virginia.edu{
4011730Sar4jc@virginia.edu
4111730Sar4jc@virginia.educonstexpr inline uint32_t
4211730Sar4jc@virginia.edubits(float f)
4311730Sar4jc@virginia.edu{
4411730Sar4jc@virginia.edu    return reinterpret_cast<uint32_t&>(f);
4511730Sar4jc@virginia.edu}
4611730Sar4jc@virginia.edu
4711730Sar4jc@virginia.educonstexpr inline float
4811730Sar4jc@virginia.edunumber(uint32_t b)
4911730Sar4jc@virginia.edu{
5011730Sar4jc@virginia.edu    return reinterpret_cast<float&>(b);
5111730Sar4jc@virginia.edu}
5211730Sar4jc@virginia.edu
5311730Sar4jc@virginia.eduinline bool
5411730Sar4jc@virginia.eduisquietnan(float f)
5511730Sar4jc@virginia.edu{
5611730Sar4jc@virginia.edu    return std::isnan(f) && (bits(f)&0x00400000) != 0;
5711730Sar4jc@virginia.edu}
5811730Sar4jc@virginia.edu
5911730Sar4jc@virginia.eduinline bool
6011730Sar4jc@virginia.eduissignalingnan(float f)
6111730Sar4jc@virginia.edu{
6211730Sar4jc@virginia.edu    return std::isnan(f) && (bits(f)&0x00400000) == 0;
6311730Sar4jc@virginia.edu}
6411730Sar4jc@virginia.edu
6511730Sar4jc@virginia.eduinline float
6611730Sar4jc@virginia.eduload(float mem)
6711730Sar4jc@virginia.edu{
6811730Sar4jc@virginia.edu    float fd = std::numeric_limits<float>::signaling_NaN();
6911730Sar4jc@virginia.edu    asm volatile("flw %0,%1"
7011730Sar4jc@virginia.edu        : "=f" (fd)
7111730Sar4jc@virginia.edu        : "m" (mem));
7211730Sar4jc@virginia.edu    return fd;
7311730Sar4jc@virginia.edu}
7411730Sar4jc@virginia.edu
7511730Sar4jc@virginia.eduinline float
7611730Sar4jc@virginia.edustore(float fs)
7711730Sar4jc@virginia.edu{
7811730Sar4jc@virginia.edu    float mem = std::numeric_limits<float>::signaling_NaN();
7911730Sar4jc@virginia.edu    asm volatile("fsw %1,%0" : "=m" (mem) : "f" (fs));
8011730Sar4jc@virginia.edu    return mem;
8111730Sar4jc@virginia.edu}
8211730Sar4jc@virginia.edu
8311730Sar4jc@virginia.eduinline uint64_t
8411730Sar4jc@virginia.edufrflags()
8511730Sar4jc@virginia.edu{
8611730Sar4jc@virginia.edu    uint64_t rd = -1;
8711730Sar4jc@virginia.edu    asm volatile("frflags %0" : "=r" (rd));
8811730Sar4jc@virginia.edu    return rd;
8911730Sar4jc@virginia.edu}
9011730Sar4jc@virginia.edu
9111730Sar4jc@virginia.eduinline uint64_t
9211730Sar4jc@virginia.edufsflags(uint64_t rs1)
9311730Sar4jc@virginia.edu{
9411730Sar4jc@virginia.edu    uint64_t rd = -1;
9511730Sar4jc@virginia.edu    asm volatile("fsflags %0,%1" : "=r" (rd) : "r" (rs1));
9611730Sar4jc@virginia.edu    return rd;
9711730Sar4jc@virginia.edu}
9811730Sar4jc@virginia.edu
9911730Sar4jc@virginia.eduinline float
10011730Sar4jc@virginia.edufmadd_s(float fs1, float fs2, float fs3)
10111730Sar4jc@virginia.edu{
10211730Sar4jc@virginia.edu    float fd = std::numeric_limits<float>::signaling_NaN();
10311730Sar4jc@virginia.edu    FR4OP("fmadd.s", fd, fs1, fs2, fs3);
10411730Sar4jc@virginia.edu    return fd;
10511730Sar4jc@virginia.edu}
10611730Sar4jc@virginia.edu
10711730Sar4jc@virginia.eduinline float
10811730Sar4jc@virginia.edufmsub_s(float fs1, float fs2, float fs3)
10911730Sar4jc@virginia.edu{
11011730Sar4jc@virginia.edu    float fd = std::numeric_limits<float>::signaling_NaN();
11111730Sar4jc@virginia.edu    FR4OP("fmsub.s", fd, fs1, fs2, fs3);
11211730Sar4jc@virginia.edu    return fd;
11311730Sar4jc@virginia.edu}
11411730Sar4jc@virginia.edu
11511730Sar4jc@virginia.eduinline float
11611730Sar4jc@virginia.edufnmsub_s(float fs1, float fs2, float fs3)
11711730Sar4jc@virginia.edu{
11811730Sar4jc@virginia.edu    float fd = std::numeric_limits<float>::signaling_NaN();
11911730Sar4jc@virginia.edu    FR4OP("fnmsub.s", fd, fs1, fs2, fs3);
12011730Sar4jc@virginia.edu    return fd;
12111730Sar4jc@virginia.edu}
12211730Sar4jc@virginia.edu
12311730Sar4jc@virginia.eduinline float
12411730Sar4jc@virginia.edufnmadd_s(float fs1, float fs2, float fs3)
12511730Sar4jc@virginia.edu{
12611730Sar4jc@virginia.edu    float fd = std::numeric_limits<float>::signaling_NaN();
12711730Sar4jc@virginia.edu    FR4OP("fnmadd.s", fd, fs1, fs2, fs3);
12811730Sar4jc@virginia.edu    return fd;
12911730Sar4jc@virginia.edu}
13011730Sar4jc@virginia.edu
13111730Sar4jc@virginia.eduinline float
13211730Sar4jc@virginia.edufadd_s(float fs1, float fs2)
13311730Sar4jc@virginia.edu{
13411730Sar4jc@virginia.edu    float fd = std::numeric_limits<float>::signaling_NaN();
13511730Sar4jc@virginia.edu    FROP("fadd.s", fd, fs1, fs2);
13611730Sar4jc@virginia.edu    return fd;
13711730Sar4jc@virginia.edu}
13811730Sar4jc@virginia.edu
13911730Sar4jc@virginia.eduinline float
14011730Sar4jc@virginia.edufsub_s(float fs1, float fs2)
14111730Sar4jc@virginia.edu{
14211730Sar4jc@virginia.edu    float fd = std::numeric_limits<float>::signaling_NaN();
14311730Sar4jc@virginia.edu    FROP("fsub.s", fd, fs1, fs2);
14411730Sar4jc@virginia.edu    return fd;
14511730Sar4jc@virginia.edu}
14611730Sar4jc@virginia.edu
14711730Sar4jc@virginia.eduinline float
14811730Sar4jc@virginia.edufmul_s(float fs1, float fs2)
14911730Sar4jc@virginia.edu{
15011730Sar4jc@virginia.edu    float fd = std::numeric_limits<float>::signaling_NaN();
15111730Sar4jc@virginia.edu    FROP("fmul.s", fd, fs1, fs2);
15211730Sar4jc@virginia.edu    return fd;
15311730Sar4jc@virginia.edu}
15411730Sar4jc@virginia.edu
15511730Sar4jc@virginia.eduinline float
15611730Sar4jc@virginia.edufdiv_s(float fs1, float fs2)
15711730Sar4jc@virginia.edu{
15811730Sar4jc@virginia.edu
15911730Sar4jc@virginia.edu    float fd = 0.0;
16011730Sar4jc@virginia.edu    FROP("fdiv.s", fd, fs1, fs2);
16111730Sar4jc@virginia.edu    return fd;
16211730Sar4jc@virginia.edu}
16311730Sar4jc@virginia.edu
16411730Sar4jc@virginia.eduinline float
16511730Sar4jc@virginia.edufsqrt_s(float fs1)
16611730Sar4jc@virginia.edu{
16711730Sar4jc@virginia.edu    float fd = std::numeric_limits<float>::infinity();
16811730Sar4jc@virginia.edu    asm volatile("fsqrt.s %0,%1" : "=f" (fd) : "f" (fs1));
16911730Sar4jc@virginia.edu    return fd;
17011730Sar4jc@virginia.edu}
17111730Sar4jc@virginia.edu
17211730Sar4jc@virginia.eduinline float
17311730Sar4jc@virginia.edufsgnj_s(float fs1, float fs2)
17411730Sar4jc@virginia.edu{
17511730Sar4jc@virginia.edu    float fd = std::numeric_limits<float>::signaling_NaN();
17611730Sar4jc@virginia.edu    FROP("fsgnj.s", fd, fs1, fs2);
17711730Sar4jc@virginia.edu    return fd;
17811730Sar4jc@virginia.edu}
17911730Sar4jc@virginia.edu
18011730Sar4jc@virginia.eduinline float
18111730Sar4jc@virginia.edufsgnjn_s(float fs1, float fs2)
18211730Sar4jc@virginia.edu{
18311730Sar4jc@virginia.edu    float fd = std::numeric_limits<float>::signaling_NaN();
18411730Sar4jc@virginia.edu    FROP("fsgnjn.s", fd, fs1, fs2);
18511730Sar4jc@virginia.edu    return fd;
18611730Sar4jc@virginia.edu}
18711730Sar4jc@virginia.edu
18811730Sar4jc@virginia.eduinline float
18911730Sar4jc@virginia.edufsgnjx_s(float fs1, float fs2)
19011730Sar4jc@virginia.edu{
19111730Sar4jc@virginia.edu    float fd = std::numeric_limits<float>::signaling_NaN();
19211730Sar4jc@virginia.edu    FROP("fsgnjx.s", fd, fs1, fs2);
19311730Sar4jc@virginia.edu    return fd;
19411730Sar4jc@virginia.edu}
19511730Sar4jc@virginia.edu
19611730Sar4jc@virginia.eduinline float
19711730Sar4jc@virginia.edufmin_s(float fs1, float fs2)
19811730Sar4jc@virginia.edu{
19911730Sar4jc@virginia.edu    float fd = std::numeric_limits<float>::signaling_NaN();
20011730Sar4jc@virginia.edu    FROP("fmin.s", fd, fs1, fs2);
20111730Sar4jc@virginia.edu    return fd;
20211730Sar4jc@virginia.edu}
20311730Sar4jc@virginia.edu
20411730Sar4jc@virginia.eduinline float
20511730Sar4jc@virginia.edufmax_s(float fs1, float fs2)
20611730Sar4jc@virginia.edu{
20711730Sar4jc@virginia.edu    float fd = std::numeric_limits<float>::signaling_NaN();
20811730Sar4jc@virginia.edu    FROP("fmax.s", fd, fs1, fs2);
20911730Sar4jc@virginia.edu    return fd;
21011730Sar4jc@virginia.edu}
21111730Sar4jc@virginia.edu
21211730Sar4jc@virginia.eduinline int64_t
21311730Sar4jc@virginia.edufcvt_w_s(float fs1)
21411730Sar4jc@virginia.edu{
21511730Sar4jc@virginia.edu    int64_t rd = 0;
21611730Sar4jc@virginia.edu    asm volatile("fcvt.w.s %0,%1" : "=r" (rd) : "f" (fs1));
21711730Sar4jc@virginia.edu    return rd;
21811730Sar4jc@virginia.edu}
21911730Sar4jc@virginia.edu
22011730Sar4jc@virginia.eduinline uint64_t
22111730Sar4jc@virginia.edufcvt_wu_s(float fs1)
22211730Sar4jc@virginia.edu{
22311730Sar4jc@virginia.edu    uint64_t rd = 0;
22411730Sar4jc@virginia.edu    asm volatile("fcvt.wu.s %0,%1" : "=r" (rd) : "f" (fs1));
22511730Sar4jc@virginia.edu    return rd;
22611730Sar4jc@virginia.edu}
22711730Sar4jc@virginia.edu
22811730Sar4jc@virginia.eduinline uint64_t
22911730Sar4jc@virginia.edufmv_x_s(float fs1)
23011730Sar4jc@virginia.edu{
23111730Sar4jc@virginia.edu    uint64_t rd = 0;
23211730Sar4jc@virginia.edu    asm volatile("fmv.x.s %0,%1" : "=r" (rd) : "f" (fs1));
23311730Sar4jc@virginia.edu    return rd;
23411730Sar4jc@virginia.edu}
23511730Sar4jc@virginia.edu
23611730Sar4jc@virginia.eduinline bool
23711730Sar4jc@virginia.edufeq_s(float fs1, float fs2)
23811730Sar4jc@virginia.edu{
23911730Sar4jc@virginia.edu    bool rd = false;
24011730Sar4jc@virginia.edu    asm volatile("feq.s %0,%1,%2" : "=r" (rd) : "f" (fs1), "f" (fs2));
24111730Sar4jc@virginia.edu    return rd;
24211730Sar4jc@virginia.edu}
24311730Sar4jc@virginia.edu
24411730Sar4jc@virginia.eduinline bool
24511730Sar4jc@virginia.eduflt_s(float fs1, float fs2)
24611730Sar4jc@virginia.edu{
24711730Sar4jc@virginia.edu    bool rd = false;
24811730Sar4jc@virginia.edu    asm volatile("flt.s %0,%1,%2" : "=r" (rd) : "f" (fs1), "f" (fs2));
24911730Sar4jc@virginia.edu    return rd;
25011730Sar4jc@virginia.edu}
25111730Sar4jc@virginia.edu
25211730Sar4jc@virginia.eduinline bool
25311730Sar4jc@virginia.edufle_s(float fs1, float fs2)
25411730Sar4jc@virginia.edu{
25511730Sar4jc@virginia.edu    bool rd = false;
25611730Sar4jc@virginia.edu    asm volatile("fle.s %0,%1,%2" : "=r" (rd) : "f" (fs1), "f" (fs2));
25711730Sar4jc@virginia.edu    return rd;
25811730Sar4jc@virginia.edu}
25911730Sar4jc@virginia.edu
26011730Sar4jc@virginia.eduinline uint64_t
26111730Sar4jc@virginia.edufclass_s(float fs1)
26211730Sar4jc@virginia.edu{
26311730Sar4jc@virginia.edu    uint64_t rd = -1;
26411730Sar4jc@virginia.edu    asm volatile("fclass.s %0,%1" : "=r" (rd) : "f" (fs1));
26511730Sar4jc@virginia.edu    return rd;
26611730Sar4jc@virginia.edu}
26711730Sar4jc@virginia.edu
26811730Sar4jc@virginia.eduinline float
26911730Sar4jc@virginia.edufcvt_s_w(int64_t rs1)
27011730Sar4jc@virginia.edu{
27111730Sar4jc@virginia.edu    float fd = std::numeric_limits<float>::signaling_NaN();
27211730Sar4jc@virginia.edu    asm volatile("fcvt.s.w %0,%1" : "=f" (fd) : "r" (rs1));
27311730Sar4jc@virginia.edu    return fd;
27411730Sar4jc@virginia.edu}
27511730Sar4jc@virginia.edu
27611730Sar4jc@virginia.eduinline float
27711730Sar4jc@virginia.edufcvt_s_wu(uint64_t rs1)
27811730Sar4jc@virginia.edu{
27911730Sar4jc@virginia.edu    float fd = std::numeric_limits<float>::signaling_NaN();
28011730Sar4jc@virginia.edu    asm volatile("fcvt.s.wu %0,%1" : "=f" (fd) : "r" (rs1));
28111730Sar4jc@virginia.edu    return fd;
28211730Sar4jc@virginia.edu}
28311730Sar4jc@virginia.edu
28411730Sar4jc@virginia.eduinline float
28511730Sar4jc@virginia.edufmv_s_x(uint64_t rs1)
28611730Sar4jc@virginia.edu{
28711730Sar4jc@virginia.edu    float fd = std::numeric_limits<float>::signaling_NaN();
28811730Sar4jc@virginia.edu    asm volatile("fmv.s.x %0,%1" : "=f" (fd) : "r" (rs1));
28911730Sar4jc@virginia.edu    return fd;
29011730Sar4jc@virginia.edu}
29111730Sar4jc@virginia.edu
29211730Sar4jc@virginia.eduinline uint64_t
29311730Sar4jc@virginia.edufrcsr()
29411730Sar4jc@virginia.edu{
29511730Sar4jc@virginia.edu    uint64_t rd = -1;
29611730Sar4jc@virginia.edu    asm volatile("frcsr %0" : "=r" (rd));
29711730Sar4jc@virginia.edu    return rd;
29811730Sar4jc@virginia.edu}
29911730Sar4jc@virginia.edu
30011730Sar4jc@virginia.eduinline uint64_t
30111730Sar4jc@virginia.edufrrm()
30211730Sar4jc@virginia.edu{
30311730Sar4jc@virginia.edu    uint64_t rd = -1;
30411730Sar4jc@virginia.edu    asm volatile("frrm %0" : "=r" (rd));
30511730Sar4jc@virginia.edu    return rd;
30611730Sar4jc@virginia.edu}
30711730Sar4jc@virginia.edu
30811730Sar4jc@virginia.eduinline uint64_t
30911730Sar4jc@virginia.edufscsr(uint64_t rs1)
31011730Sar4jc@virginia.edu{
31111730Sar4jc@virginia.edu    uint64_t rd = -1;
31211730Sar4jc@virginia.edu    asm volatile("fscsr %0,%1" : "=r" (rd) : "r" (rs1));
31311730Sar4jc@virginia.edu    return rd;
31411730Sar4jc@virginia.edu}
31511730Sar4jc@virginia.edu
31611730Sar4jc@virginia.eduinline uint64_t
31711730Sar4jc@virginia.edufsrm(uint64_t rs1)
31811730Sar4jc@virginia.edu{
31911730Sar4jc@virginia.edu    uint64_t rd = -1;
32011730Sar4jc@virginia.edu    asm volatile("fsrm %0,%1" : "=r" (rd) : "r" (rs1));
32111730Sar4jc@virginia.edu    return rd;
32211730Sar4jc@virginia.edu}
32311730Sar4jc@virginia.edu
32411730Sar4jc@virginia.eduinline int64_t
32511730Sar4jc@virginia.edufcvt_l_s(float fs1)
32611730Sar4jc@virginia.edu{
32711730Sar4jc@virginia.edu    int64_t rd = 0;
32811730Sar4jc@virginia.edu    asm volatile("fcvt.l.s %0,%1" : "=r" (rd) : "f" (fs1));
32911730Sar4jc@virginia.edu    return rd;
33011730Sar4jc@virginia.edu}
33111730Sar4jc@virginia.edu
33211730Sar4jc@virginia.eduinline uint64_t
33311730Sar4jc@virginia.edufcvt_lu_s(float fs1)
33411730Sar4jc@virginia.edu{
33511730Sar4jc@virginia.edu
33611730Sar4jc@virginia.edu    int64_t rd = 0;
33711730Sar4jc@virginia.edu    asm volatile("fcvt.lu.s %0,%1" : "=r" (rd) : "f" (fs1));
33811730Sar4jc@virginia.edu    return rd;
33911730Sar4jc@virginia.edu}
34011730Sar4jc@virginia.edu
34111730Sar4jc@virginia.eduinline float
34211730Sar4jc@virginia.edufcvt_s_l(int64_t rs1)
34311730Sar4jc@virginia.edu{
34411730Sar4jc@virginia.edu    float fd = std::numeric_limits<float>::signaling_NaN();
34511730Sar4jc@virginia.edu    asm volatile("fcvt.s.l %0,%1" : "=f" (fd) : "r" (rs1));
34611730Sar4jc@virginia.edu    return fd;
34711730Sar4jc@virginia.edu}
34811730Sar4jc@virginia.edu
34911730Sar4jc@virginia.eduinline float
35011730Sar4jc@virginia.edufcvt_s_lu(uint64_t rs1)
35111730Sar4jc@virginia.edu{
35211730Sar4jc@virginia.edu    float fd = std::numeric_limits<float>::signaling_NaN();
35311730Sar4jc@virginia.edu    asm volatile("fcvt.s.lu %0,%1" : "=f" (fd) : "r" (rs1));
35411730Sar4jc@virginia.edu    return fd;
35511730Sar4jc@virginia.edu}
35611730Sar4jc@virginia.edu
35711730Sar4jc@virginia.edu} // namespace F
358