2 Intel Open Source License
4 Copyright (c) 2002-2007 Intel Corporation
6 Redistribution and use in source and binary forms, with or without
7 modification, are permitted provided that the following conditions are
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.
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.
32 /// @author Mark Charney <mark.charney@intel.com>
36 # define _XED_TYPES_H_
38 ////////////////////////////////////////////////////////////////////////////
40 #include <xed/xed-common-hdrs.h>
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;
48 typedef signed char int8_t;
49 typedef short int int16_t;
51 typedef long int int64_t;
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
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
74 # error "XED types unsupported platform? Need windows, gcc, or icc."
77 typedef unsigned int xed_uint_t;
78 typedef unsigned int xed_bits_t;
79 typedef unsigned int xed_bool_t;
82 ////////////////////////////////////////////////////////////////////////////