floating.hh revision 6691
16691Stjones1@inf.ed.ac.uk/* 26691Stjones1@inf.ed.ac.uk * Copyright (c) 2009 The University of Edinburgh 36691Stjones1@inf.ed.ac.uk * All rights reserved. 46691Stjones1@inf.ed.ac.uk * 56691Stjones1@inf.ed.ac.uk * Redistribution and use in source and binary forms, with or without 66691Stjones1@inf.ed.ac.uk * modification, are permitted provided that the following conditions are 76691Stjones1@inf.ed.ac.uk * met: redistributions of source code must retain the above copyright 86691Stjones1@inf.ed.ac.uk * notice, this list of conditions and the following disclaimer; 96691Stjones1@inf.ed.ac.uk * redistributions in binary form must reproduce the above copyright 106691Stjones1@inf.ed.ac.uk * notice, this list of conditions and the following disclaimer in the 116691Stjones1@inf.ed.ac.uk * documentation and/or other materials provided with the distribution; 126691Stjones1@inf.ed.ac.uk * neither the name of the copyright holders nor the names of its 136691Stjones1@inf.ed.ac.uk * contributors may be used to endorse or promote products derived from 146691Stjones1@inf.ed.ac.uk * this software without specific prior written permission. 156691Stjones1@inf.ed.ac.uk * 166691Stjones1@inf.ed.ac.uk * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 176691Stjones1@inf.ed.ac.uk * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 186691Stjones1@inf.ed.ac.uk * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 196691Stjones1@inf.ed.ac.uk * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 206691Stjones1@inf.ed.ac.uk * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 216691Stjones1@inf.ed.ac.uk * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 226691Stjones1@inf.ed.ac.uk * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 236691Stjones1@inf.ed.ac.uk * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 246691Stjones1@inf.ed.ac.uk * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 256691Stjones1@inf.ed.ac.uk * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 266691Stjones1@inf.ed.ac.uk * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 276691Stjones1@inf.ed.ac.uk * 286691Stjones1@inf.ed.ac.uk * Authors: Timothy M. Jones 296691Stjones1@inf.ed.ac.uk * Korey Sewell 306691Stjones1@inf.ed.ac.uk */ 316691Stjones1@inf.ed.ac.uk 326691Stjones1@inf.ed.ac.uk#ifndef __ARCH_POWER_INSTS_FLOATING_HH__ 336691Stjones1@inf.ed.ac.uk#define __ARCH_POWER_INSTS_FLOATING_HH__ 346691Stjones1@inf.ed.ac.uk 356691Stjones1@inf.ed.ac.uk#include "arch/power/insts/static_inst.hh" 366691Stjones1@inf.ed.ac.uk#include "base/cprintf.hh" 376691Stjones1@inf.ed.ac.uk#include "base/bitfield.hh" 386691Stjones1@inf.ed.ac.uk 396691Stjones1@inf.ed.ac.uknamespace PowerISA 406691Stjones1@inf.ed.ac.uk{ 416691Stjones1@inf.ed.ac.uk 426691Stjones1@inf.ed.ac.uk/** 436691Stjones1@inf.ed.ac.uk * Base class for floating point operations. 446691Stjones1@inf.ed.ac.uk */ 456691Stjones1@inf.ed.ac.ukclass FloatOp : public PowerStaticInst 466691Stjones1@inf.ed.ac.uk{ 476691Stjones1@inf.ed.ac.uk protected: 486691Stjones1@inf.ed.ac.uk 496691Stjones1@inf.ed.ac.uk bool rcSet; 506691Stjones1@inf.ed.ac.uk 516691Stjones1@inf.ed.ac.uk /// Constructor 526691Stjones1@inf.ed.ac.uk FloatOp(const char *mnem, MachInst _machInst, OpClass __opClass) 536691Stjones1@inf.ed.ac.uk : PowerStaticInst(mnem, _machInst, __opClass) 546691Stjones1@inf.ed.ac.uk { 556691Stjones1@inf.ed.ac.uk } 566691Stjones1@inf.ed.ac.uk 576691Stjones1@inf.ed.ac.uk // Test for NaN (maximum biased exponent & non-zero fraction) 586691Stjones1@inf.ed.ac.uk inline bool 596691Stjones1@inf.ed.ac.uk isNan(uint32_t val_bits) const 606691Stjones1@inf.ed.ac.uk { 616691Stjones1@inf.ed.ac.uk return ((bits(val_bits, 30, 23) == 0xFF) && bits(val_bits, 22, 0)); 626691Stjones1@inf.ed.ac.uk } 636691Stjones1@inf.ed.ac.uk 646691Stjones1@inf.ed.ac.uk inline bool 656691Stjones1@inf.ed.ac.uk isNan(uint64_t val_bits) const 666691Stjones1@inf.ed.ac.uk { 676691Stjones1@inf.ed.ac.uk return ((bits(val_bits, 62, 52) == 0x7FF) && bits(val_bits, 51, 0)); 686691Stjones1@inf.ed.ac.uk } 696691Stjones1@inf.ed.ac.uk 706691Stjones1@inf.ed.ac.uk inline bool 716691Stjones1@inf.ed.ac.uk isNan(float val) const 726691Stjones1@inf.ed.ac.uk { 736691Stjones1@inf.ed.ac.uk void *val_ptr = &val; 746691Stjones1@inf.ed.ac.uk uint32_t val_bits = *(uint32_t *) val_ptr; 756691Stjones1@inf.ed.ac.uk return isNan(val_bits); 766691Stjones1@inf.ed.ac.uk } 776691Stjones1@inf.ed.ac.uk 786691Stjones1@inf.ed.ac.uk inline bool 796691Stjones1@inf.ed.ac.uk isNan(double val) const 806691Stjones1@inf.ed.ac.uk { 816691Stjones1@inf.ed.ac.uk void *val_ptr = &val; 826691Stjones1@inf.ed.ac.uk uint64_t val_bits = *(uint64_t *) val_ptr; 836691Stjones1@inf.ed.ac.uk return isNan(val_bits); 846691Stjones1@inf.ed.ac.uk } 856691Stjones1@inf.ed.ac.uk 866691Stjones1@inf.ed.ac.uk // Test for SNaN (NaN with high order bit of fraction set to 0) 876691Stjones1@inf.ed.ac.uk inline bool 886691Stjones1@inf.ed.ac.uk isSnan(uint32_t val_bits) const 896691Stjones1@inf.ed.ac.uk { 906691Stjones1@inf.ed.ac.uk return ((bits(val_bits, 30, 22) == 0x1FE) && bits(val_bits, 22, 0)); 916691Stjones1@inf.ed.ac.uk } 926691Stjones1@inf.ed.ac.uk 936691Stjones1@inf.ed.ac.uk // Test for QNaN (NaN with high order bit of fraction set to 1) 946691Stjones1@inf.ed.ac.uk inline bool 956691Stjones1@inf.ed.ac.uk isQnan(uint32_t val_bits) const 966691Stjones1@inf.ed.ac.uk { 976691Stjones1@inf.ed.ac.uk return (bits(val_bits, 30, 22) == 0x1FF); 986691Stjones1@inf.ed.ac.uk } 996691Stjones1@inf.ed.ac.uk 1006691Stjones1@inf.ed.ac.uk // Test for infinity (maximum biased exponent and zero fraction) 1016691Stjones1@inf.ed.ac.uk inline bool 1026691Stjones1@inf.ed.ac.uk isInfinity(uint32_t val_bits) const 1036691Stjones1@inf.ed.ac.uk { 1046691Stjones1@inf.ed.ac.uk return ((bits(val_bits, 30, 23) == 0xFF) && !bits(val_bits, 22, 0)); 1056691Stjones1@inf.ed.ac.uk } 1066691Stjones1@inf.ed.ac.uk 1076691Stjones1@inf.ed.ac.uk // Test for normalized numbers (biased exponent in the range 1 to 254) 1086691Stjones1@inf.ed.ac.uk inline bool 1096691Stjones1@inf.ed.ac.uk isNormalized(uint32_t val_bits) const 1106691Stjones1@inf.ed.ac.uk { 1116691Stjones1@inf.ed.ac.uk return ((bits(val_bits, 30, 23) != 0xFF) && bits(val_bits, 22, 0)); 1126691Stjones1@inf.ed.ac.uk } 1136691Stjones1@inf.ed.ac.uk 1146691Stjones1@inf.ed.ac.uk // Test for denormalized numbers (biased exponent of zero and 1156691Stjones1@inf.ed.ac.uk // non-zero fraction) 1166691Stjones1@inf.ed.ac.uk inline bool 1176691Stjones1@inf.ed.ac.uk isDenormalized(uint32_t val_bits) const 1186691Stjones1@inf.ed.ac.uk { 1196691Stjones1@inf.ed.ac.uk return (!bits(val_bits, 30, 23) && bits(val_bits, 22, 0)); 1206691Stjones1@inf.ed.ac.uk } 1216691Stjones1@inf.ed.ac.uk 1226691Stjones1@inf.ed.ac.uk // Test for zero (biased exponent of zero and fraction of zero) 1236691Stjones1@inf.ed.ac.uk inline bool 1246691Stjones1@inf.ed.ac.uk isZero(uint32_t val_bits) const 1256691Stjones1@inf.ed.ac.uk { 1266691Stjones1@inf.ed.ac.uk return (!bits(val_bits, 30, 23) && !bits(val_bits, 22, 0)); 1276691Stjones1@inf.ed.ac.uk } 1286691Stjones1@inf.ed.ac.uk 1296691Stjones1@inf.ed.ac.uk // Test for negative 1306691Stjones1@inf.ed.ac.uk inline bool 1316691Stjones1@inf.ed.ac.uk isNegative(uint32_t val_bits) const 1326691Stjones1@inf.ed.ac.uk { 1336691Stjones1@inf.ed.ac.uk return (bits(val_bits, 31)); 1346691Stjones1@inf.ed.ac.uk } 1356691Stjones1@inf.ed.ac.uk 1366691Stjones1@inf.ed.ac.uk // Compute the CR field 1376691Stjones1@inf.ed.ac.uk inline uint32_t 1386691Stjones1@inf.ed.ac.uk makeCRField(double a, double b) const 1396691Stjones1@inf.ed.ac.uk { 1406691Stjones1@inf.ed.ac.uk uint32_t c = 0; 1416691Stjones1@inf.ed.ac.uk if (isNan(a) || isNan(b)) { c = 0x1; } 1426691Stjones1@inf.ed.ac.uk else if (a < b) { c = 0x8; } 1436691Stjones1@inf.ed.ac.uk else if (a > b) { c = 0x4; } 1446691Stjones1@inf.ed.ac.uk else { c = 0x2; } 1456691Stjones1@inf.ed.ac.uk return c; 1466691Stjones1@inf.ed.ac.uk } 1476691Stjones1@inf.ed.ac.uk 1486691Stjones1@inf.ed.ac.uk std::string generateDisassembly(Addr pc, const SymbolTable *symtab) const; 1496691Stjones1@inf.ed.ac.uk}; 1506691Stjones1@inf.ed.ac.uk 1516691Stjones1@inf.ed.ac.uk} // PowerISA namespace 1526691Stjones1@inf.ed.ac.uk 1536691Stjones1@inf.ed.ac.uk#endif //__ARCH_POWER_INSTS_FLOATING_HH__ 154