diff options
Diffstat (limited to 'resources/CL/stdint.h')
| -rw-r--r-- | resources/CL/stdint.h | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/resources/CL/stdint.h b/resources/CL/stdint.h index f8bee857..6db5e110 100644 --- a/resources/CL/stdint.h +++ b/resources/CL/stdint.h @@ -1,3 +1,4 @@ + #if defined(_WIN32) #error windows does not support stdint.h // typedef signed __int32 int32_t; @@ -6,9 +7,11 @@ // typedef unsigned __int64 uint64_t; #else +// only needed for src generation, not later at compile time typedef signed char int8_t; typedef unsigned short int16_t; typedef int int32_t; + typedef unsigned char uint8_t; typedef unsigned short uint16_t; typedef unsigned int uint32_t; @@ -17,7 +20,26 @@ typedef unsigned int uintptr_t; typedef unsigned int size_t; + # define __int8_t_defined + /* Greatest-width integer types */ + /* Modern GCCs provide __INTMAX_TYPE__ */ + #if defined(__INTMAX_TYPE__) + typedef __INTMAX_TYPE__ intmax_t; + #elif __have_longlong64 + typedef signed long long intmax_t; + #else + typedef signed long intmax_t; + #endif + + /* Modern GCCs provide __UINTMAX_TYPE__ */ + #if defined(__UINTMAX_TYPE__) + typedef __UINTMAX_TYPE__ uintmax_t; + #elif __have_longlong64 + typedef unsigned long long uintmax_t; + #else + typedef unsigned long uintmax_t; + #endif #if defined(__ia64__) || defined(__x86_64__) typedef signed long int int64_t; |