mirror of
https://github.com/AdaCore/symfpu.git
synced 2026-02-12 13:02:20 -08:00
83 lines
2.4 KiB
C++
83 lines
2.4 KiB
C++
/*
|
|
** Copyright (C) 2018 Martin Brain
|
|
**
|
|
** This program is free software: you can redistribute it and/or modify
|
|
** it under the terms of the GNU General Public License as published by
|
|
** the Free Software Foundation, either version 3 of the License, or
|
|
** (at your option) any later version.
|
|
**
|
|
** This program is distributed in the hope that it will be useful,
|
|
** but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
** MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
** GNU General Public License for more details.
|
|
**
|
|
** You should have received a copy of the GNU General Public License
|
|
** along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
*/
|
|
|
|
/*
|
|
** shared.h
|
|
**
|
|
** Martin Brain
|
|
** martin.brain@cs.ox.ac.uk
|
|
** 11/04/17
|
|
**
|
|
** Things that are used by multiple back-ends.
|
|
**
|
|
*/
|
|
|
|
#include <cstdint>
|
|
#include <cassert>
|
|
|
|
#ifndef SYMFPU_SHARED
|
|
#define SYMFPU_SHARED
|
|
|
|
namespace symfpu {
|
|
namespace shared {
|
|
|
|
|
|
// Must be able to contain the number of bit used in the bit-vector type to avoid overflow
|
|
typedef uint64_t bitWidthType;
|
|
|
|
// We can use bools for propositions
|
|
typedef bool executable_proposition;
|
|
|
|
// In SMT-LIB style -- significand includes hidden bit
|
|
class floatingPointTypeInfo {
|
|
private :
|
|
bitWidthType exponentBits;
|
|
bitWidthType significandBits;
|
|
|
|
public :
|
|
floatingPointTypeInfo (bitWidthType eb, bitWidthType sb) : exponentBits(eb), significandBits(sb) {
|
|
assert(eb > 1); // Not precondition as we don't have a traits class to use
|
|
assert(sb > 1);
|
|
}
|
|
|
|
floatingPointTypeInfo (const floatingPointTypeInfo &old) :
|
|
exponentBits(old.exponentBits), significandBits(old.significandBits) {}
|
|
|
|
floatingPointTypeInfo & operator= (const floatingPointTypeInfo &old) {
|
|
this->exponentBits = old.exponentBits;
|
|
this->significandBits = old.significandBits;
|
|
|
|
return *this;
|
|
}
|
|
|
|
bitWidthType exponentWidth(void) const { return this->exponentBits; }
|
|
bitWidthType significandWidth(void) const { return this->significandBits; }
|
|
|
|
|
|
bitWidthType packedWidth(void) const { return this->exponentBits + this->significandBits; }
|
|
bitWidthType packedExponentWidth(void) const { return this->exponentBits; }
|
|
bitWidthType packedSignificandWidth(void) const { return this->significandBits - 1; }
|
|
|
|
|
|
};
|
|
|
|
|
|
}
|
|
}
|
|
|
|
#endif
|