You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
80 lines
2.2 KiB
80 lines
2.2 KiB
11 years ago
|
/*
|
||
|
* Copyright 2008-2012 NVIDIA Corporation
|
||
|
*
|
||
|
* Licensed under the Apache License, Version 2.0 (the "License");
|
||
|
* you may not use this file except in compliance with the License.
|
||
|
* You may obtain a copy of the License at
|
||
|
*
|
||
|
* http://www.apache.org/licenses/LICENSE-2.0
|
||
|
*
|
||
|
* Unless required by applicable law or agreed to in writing, software
|
||
|
* distributed under the License is distributed on an "AS IS" BASIS,
|
||
|
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||
|
* See the License for the specific language governing permissions and
|
||
|
* limitations under the License.
|
||
|
*/
|
||
|
|
||
|
#pragma once
|
||
|
|
||
|
#if (THRUST_HOST_COMPILER == THRUST_HOST_COMPILER_GCC)
|
||
|
#include <stdint.h>
|
||
|
#endif
|
||
|
|
||
|
namespace thrust
|
||
|
{
|
||
|
namespace detail
|
||
|
{
|
||
|
|
||
|
#if (THRUST_HOST_COMPILER == THRUST_HOST_COMPILER_MSVC)
|
||
|
|
||
|
#if (_MSC_VER < 1300)
|
||
|
typedef signed char int8_t;
|
||
|
typedef signed short int16_t;
|
||
|
typedef signed int int32_t;
|
||
|
typedef unsigned char uint8_t;
|
||
|
typedef unsigned short uint16_t;
|
||
|
typedef unsigned int uint32_t;
|
||
|
#else
|
||
|
typedef signed __int8 int8_t;
|
||
|
typedef signed __int16 int16_t;
|
||
|
typedef signed __int32 int32_t;
|
||
|
typedef unsigned __int8 uint8_t;
|
||
|
typedef unsigned __int16 uint16_t;
|
||
|
typedef unsigned __int32 uint32_t;
|
||
|
#endif
|
||
|
typedef signed __int64 int64_t;
|
||
|
typedef unsigned __int64 uint64_t;
|
||
|
|
||
|
#else
|
||
|
|
||
|
typedef ::int8_t int8_t;
|
||
|
typedef ::int16_t int16_t;
|
||
|
typedef ::int32_t int32_t;
|
||
|
typedef ::int64_t int64_t;
|
||
|
typedef ::uint8_t uint8_t;
|
||
|
typedef ::uint16_t uint16_t;
|
||
|
typedef ::uint32_t uint32_t;
|
||
|
typedef ::uint64_t uint64_t;
|
||
|
|
||
|
#endif
|
||
|
|
||
|
|
||
|
// an oracle to tell us how to define intptr_t
|
||
|
template<int word_size = sizeof(void*)> struct divine_intptr_t;
|
||
|
template<int word_size = sizeof(void*)> struct divine_uintptr_t;
|
||
|
|
||
|
// 32b platforms
|
||
|
template<> struct divine_intptr_t<4> { typedef thrust::detail::int32_t type; };
|
||
|
template<> struct divine_uintptr_t<4> { typedef thrust::detail::uint32_t type; };
|
||
|
|
||
|
// 64b platforms
|
||
|
template<> struct divine_intptr_t<8> { typedef thrust::detail::int64_t type; };
|
||
|
template<> struct divine_uintptr_t<8> { typedef thrust::detail::uint64_t type; };
|
||
|
|
||
|
typedef divine_intptr_t<>::type intptr_t;
|
||
|
typedef divine_uintptr_t<>::type uintptr_t;
|
||
|
|
||
|
} // end detail
|
||
|
} // end thrust
|
||
|
|