typedef RegVal IntReg;
// floating point register file entry type
-typedef FloatRegVal FloatReg;
typedef RegVal FloatRegBits;
// control register file contents
// floating point register file entry type
typedef RegVal FloatRegBits;
-typedef FloatRegVal FloatReg;
// cop-0/cop-1 system control register
typedef RegVal MiscReg;
typedef RegVal IntReg;
typedef RegVal FloatRegBits;
-typedef FloatRegVal FloatReg;
typedef uint8_t CCReg;
typedef RegVal MiscReg;
const RegIndex ZeroReg = 0;
// Floating point register file entry type
typedef RegVal FloatRegBits;
-typedef FloatRegVal FloatReg;
typedef RegVal MiscReg;
// dummy typedef since we don't have CC regs
typedef RegVal IntReg;
typedef RegVal FloatRegBits;
-typedef FloatRegVal FloatReg;
typedef uint8_t CCReg; // Not applicable to Riscv
typedef RegVal MiscReg;
//These floating point types are correct for mmx, but not
//technically for x87 (80 bits) or at all for xmm (128 bits)
-typedef FloatRegVal FloatReg;
typedef RegVal FloatRegBits;
} // namespace X86ISA
const Addr MaxAddr = (Addr)-1;
typedef uint64_t RegVal;
-typedef double FloatRegVal;
static inline uint32_t
floatToBits32(float val)