1/*
2 * Copyright (c) 2007 The Hewlett-Packard Development Company
3 * All rights reserved.
4 *
5 * Redistribution and use of this software in source and binary forms,
6 * with or without modification, are permitted provided that the
7 * following conditions are met:
8 *

--- 48 unchanged lines hidden (view full) ---

57
58#ifndef __ARCH_X86_TYPES_HH__
59#define __ARCH_X86_TYPES_HH__
60
61#include <inttypes.h>
62
63namespace X86ISA
64{
65 //XXX This won't work
66 typedef uint32_t MachInst;
67 //XXX This won't work either
68 typedef uint64_t ExtMachInst;
69
70 typedef uint64_t IntReg;
71 //XXX Should this be a 128 bit structure for XMM memory ops?
72 typedef uint64_t LargestRead;
73 typedef uint64_t MiscReg;
74
75 //These floating point types are correct for mmx, but not
76 //technically for x87 (80 bits) or at all for xmm (128 bits)
77 typedef double FloatReg;

--- 23 unchanged lines hidden ---