@@ -6,72 +6,94 @@ --- vim: ft=c #ifndef KItype #define KItype -typedef unsigned char kc_uint_min; -typedef signed char kc_sint_min; -typedef unsigned long long kc_uint_max; -typedef signed long long kc_sint_max; - -[ifdef type_bit8] - typedef unsigned [type_bit8] u8; - typedef signed [type_bit8] s8; -[else] - typedef kc_uint_min u8; - typedef kc_sint_min s8; -[endif] - -[ifdef type_bit16] - typedef unsigned [type_bit16] u16; - typedef signed [type_bit16] s16; -[else] - typedef kc_uint_max u16; - typedef kc_sint_max s16; -[endif] - -[ifdef type_bit32] - typedef unsigned [type_bit32] u32; - typedef signed [type_bit32] s32; -[else] - typedef kc_uint_max u32; - typedef kc_sint_max s32; -[endif] +/* we define 64-bit types first due to an oddity in how + * 128-bit types are handled: we want kc_?big to reference + * the absolute largest type available to the compiler, + * but in some cases, 128-bits may not be among the + * standard C types despite being supported by the + * compiler. to work around this, we first check whether + * 64-bit types are available (__int128_t only works on + * 64-bit systems) and then whether the compiler is one + * that supports the 128-bit extension - but only if a + * native 128-bit type is not available. + * + * once this is done, we can be certain that u128 will + * reference the largest available integer type and can + * safely define kc_?big by reference to it. */ [ifdef type_bit64] typedef unsigned [type_bit64] u64; typedef signed [type_bit64] s64; [ifndef type_bit128] + /* even if no native type is 128 bits long, clang and + * gcc have extensions to support 128 bit arithmetic + * on 64-bit hardware */ # if defined(__GNUC__) || defined(__clang__) typedef unsigned __int128_t u128; typedef signed __int128_t s128; # else - typedef kc_uint_max u128; - typedef kc_sint_max s128; + /* if we don't have access to that extension + * or native 128-bit types, then we just use + * the largest native type specified in the + * C standard */ + typedef unsigned long long u128; + typedef signed long long s128; # endif [endif] [else] - typedef kc_uint_max u64; - typedef kc_sint_max s64; + typedef unsigned long long u64; + typedef signed long long s64; - typedef kc_uint_max u128; - typedef kc_sint_max s128; + typedef u64 u128; + typedef s64 s128; [endif] [ifdef type_bit128] typedef unsigned [type_bit128] u128; typedef signed [type_bit128] s128; [endif] + +typedef unsigned char ubyte; +typedef signed char sbyte; +typedef u128 ubig; +typedef s128 sbig; + +[ifdef type_bit8] + typedef unsigned [type_bit8] u8; + typedef signed [type_bit8] s8; +[else] + typedef ubyte u8; + typedef sbyte s8; +[endif] + +[ifdef type_bit16] + typedef unsigned [type_bit16] u16; + typedef signed [type_bit16] s16; +[else] + typedef ubig u16; + typedef sbig s16; +[endif] + +[ifdef type_bit32] + typedef unsigned [type_bit32] u32; + typedef signed [type_bit32] s32; +[else] + typedef ubig u32; + typedef sbig s32; +[endif] enum /* max-min values of each type */ { - /* assuming two's complement. TODO: check math */ - /* TODO: figure out how to calc min */ - kc_byte_bits = [byte_bits], + byte_bits = [byte_bits], + u8_min = 0, u8_max = ((u8)-1), u16_min = 0, u16_max = ((u16)-1), u32_min = 0, u32_max = ((u32)-1), u64_min = 0, u32_max = ((u64)-1), u128_min = 0, u128_max = ((u128)-1), + /* assuming two's complement. TODO: check math */ [define merge: $1$2] [define [sspec type]: [merge [type],_min] = 0 - ((1 << sizeof([type]) * kc_byte_bits) / 2), [merge [type],_max] = (1 << sizeof([type]) * kc_byte_bits) / 2 - 1] @@ -78,19 +100,25 @@ [sspec s8], [sspec s16], [sspec s32], [sspec s64], [sspec s128], - kc_min_uchar = 0, kc_max_uchar = [type_max_u_char], - kc_min_ushort = 0, kc_max_ushort = [type_max_u_short], - kc_min_uint = 0, kc_max_uint = [type_max_u_int], - kc_min_ulong = 0, kc_max_ulong = [type_max_u_long], - kc_min_ullong = 0, kc_max_ullong = [type_max_u_llong], + kc_uchar_min = 0, kc_uchar_max = [type_max_u_char], + kc_ushort_min = 0, kc_ushort_max = [type_max_u_short], + kc_uint_min = 0, kc_uint_max = [type_max_u_int], + kc_ulong_min = 0, kc_ulong_max = [type_max_u_long], + kc_ullong_min = 0, kc_ullong_max = [type_max_u_llong], + + kc_schar_min = [type_min_s_char], kc_schar_max = [type_max_s_char], + kc_sshort_min = [type_min_s_short], kc_sshort_max = [type_max_s_short], + kc_sint_min = [type_min_s_int], kc_sint_max = [type_max_s_int], + kc_slong_min = [type_min_s_long], kc_slong_max = [type_max_s_long], + kc_sllong_min = [type_min_s_llong], kc_sllong_max = [type_max_s_llong], + + ubig_min = u128_min, ubig_max = u128_max, + sbig_min = s128_min, sbig_max = s128_max, - kc_min_schar = [type_min_s_char], kc_max_schar = [type_max_s_char], - kc_min_sshort = [type_min_s_short], kc_max_sshort = [type_max_s_short], - kc_min_sint = [type_min_s_int], kc_max_sint = [type_max_s_int], - kc_min_slong = [type_min_s_long], kc_max_slong = [type_max_s_long], - kc_min_sllong = [type_min_s_llong], kc_max_sllong = [type_max_s_llong], + ubyte_min = kc_uchar_min, ubyte_max = kc_uchar_max, + sbyte_min = kc_schar_min, sbyte_max = kc_schar_max, }; [ifdef type_sz] typedef [type_sz] sz; @@ -105,9 +133,9 @@ /* we're stumped - set sz to the safest possible value under * the circumstances, and warn the user. */ # warning no authoritative sz (size_t) type definition \ available; defaulting to largest unsigned integer type - typedef kc_uint_max sz; + typedef ubig sz; # endif # endif [endif] @@ -124,9 +152,9 @@ /* no dice - set offset to the safest possible value under * the circumstances, and warn the user. */ # warning no authoritative offset (ptrdiff_t) type definition \ available; defaulting to largest unsigned integer type - typedef kc_sint_max offset; + typedef sbig offset; # endif # endif [endif]