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