Module GoblintCil.Machdep

type mach = {
  1. version_major : int;
  2. version_minor : int;
  3. version : string;
  4. underscore_name : bool;
  5. sizeof_short : int;
  6. sizeof_int : int;
  7. sizeof_bool : int;
  8. sizeof_long : int;
  9. sizeof_longlong : int;
  10. sizeof_ptr : int;
  11. sizeof_float : int;
  12. sizeof_float32x : int;
  13. sizeof_float64x : int;
  14. sizeof_double : int;
  15. sizeof_longdouble : int;
  16. sizeof_float128 : int;
  17. sizeof_float16 : int;
  18. sizeof_floatcomplex : int;
  19. sizeof_doublecomplex : int;
  20. sizeof_longdoublecomplex : int;
  21. sizeof_float128complex : int;
  22. sizeof_float16complex : int;
  23. sizeof_void : int;
  24. sizeof_fun : int;
  25. size_t : string;
  26. wchar_t : string;
  27. char16_t : string;
  28. char32_t : string;
  29. alignof_short : int;
  30. alignof_int : int;
  31. alignof_bool : int;
  32. alignof_long : int;
  33. alignof_longlong : int;
  34. alignof_ptr : int;
  35. alignof_enum : int;
  36. alignof_float : int;
  37. alignof_float32x : int;
  38. alignof_float64x : int;
  39. alignof_double : int;
  40. alignof_longdouble : int;
  41. alignof_float128 : int;
  42. alignof_float16 : int;
  43. alignof_floatcomplex : int;
  44. alignof_doublecomplex : int;
  45. alignof_longdoublecomplex : int;
  46. alignof_float128complex : int;
  47. alignof_float16complex : int;
  48. alignof_str : int;
  49. alignof_fun : int;
  50. alignof_aligned : int;
  51. char_is_unsigned : bool;
  52. little_endian : bool;
  53. __thread_is_keyword : bool;
  54. __builtin_va_list : bool;
  55. have_float16 : bool;
}
val gcc : mach
val gcc32 : 'a option
val gcc64 : mach option
val theMachine : mach Stdlib.ref