palacios/include/xed/xed-types.h

   1 /*BEGIN_LEGAL
   2 Intel Open Source License
   3
   4 Copyright (c) 2002-2007 Intel Corporation
   5 All rights reserved.
   6 Redistribution and use in source and binary forms, with or without
   7 modification, are permitted provided that the following conditions are
   8 met:
   9
  10 Redistributions of source code must retain the above copyright notice,
  11 this list of conditions and the following disclaimer.  Redistributions
  12 in binary form must reproduce the above copyright notice, this list of
  13 conditions and the following disclaimer in the documentation and/or
  14 other materials provided with the distribution.  Neither the name of
  15 the Intel Corporation nor the names of its contributors may be used to
  16 endorse or promote products derived from this software without
  17 specific prior written permission.
  18
  19 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  20 ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  21 LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
  22 A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE INTEL OR
  23 ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  24 SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
  25 LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  26 DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  27 THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  28 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  29 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  30 END_LEGAL */
  31 /// @file xed-types.h
  32 /// @author Mark Charney   <mark.charney@intel.com>
  33
  34
  35 #ifndef _XED_TYPES_H_
  36 # define _XED_TYPES_H_
  37
  38 ////////////////////////////////////////////////////////////////////////////
  39
  40 #include <xed/xed-common-hdrs.h>
  41
  42
  43    //typedef unsigned char              uint8_t;
  44 //typedef unsigned short int    uint16_t;
  45 //typedef unsigned int          uint32_t;
  46 //typedef unsigned long int     uint64_t;
  47
  48 typedef signed char             int8_t;
  49 typedef short int               int16_t;
  50 typedef int                     int32_t;
  51 typedef long int                int64_t;
  52
  53
  54 #if defined(__GNUC__) || defined(__ICC)
  55 //#  include <stdint.h>
  56 #  define xed_uint8_t   uint8_t
  57 #  define xed_uint16_t  uint16_t
  58 #  define xed_uint32_t  uint32_t
  59 #  define xed_uint64_t  uint64_t
  60 #  define xed_int8_t     int8_t
  61 #  define xed_int16_t    int16_t
  62 #  define xed_int32_t    int32_t
  63 #  define xed_int64_t    int64_t
  64 #elif defined(_WIN32)
  65 #  define xed_uint8_t  unsigned __int8
  66 #  define xed_uint16_t unsigned __int16
  67 #  define xed_uint32_t unsigned __int32
  68 #  define xed_uint64_t unsigned __int64
  69 #  define xed_int8_t   __int8
  70 #  define xed_int16_t  __int16
  71 #  define xed_int32_t  __int32
  72 #  define xed_int64_t  __int64
  73 #else
  74 #  error "XED types unsupported platform? Need windows, gcc, or icc."
  75 #endif
  76
  77 typedef unsigned int  xed_uint_t;
  78 typedef unsigned int  xed_bits_t;
  79 typedef unsigned int  xed_bool_t;
  80
  81
  82 ////////////////////////////////////////////////////////////////////////////
  83 #endif