Add _Float16 availability check

Author: sim642

src/machdep-ml.c

@@ -86,6 +86,12 @@ typedef int bool;
 #define UNDERSCORE_NAME "false"
 #endif
 
+#ifdef HAVE_FLOAT16_DEF
+#define HAVE_FLOAT16 "true"
+#else
+#define HAVE_FLOAT16 "false"
+#endif
+
 #endif
 
 
@@ -231,6 +237,7 @@ int main(int argc, char **argv)
     alignof_float128 = (intptr_t)(&((struct s1*)0)->ld);
   }
 
+#ifdef HAVE_FLOAT16_DEF
   // The alignment of float16
   {
     struct s1 {
@@ -239,6 +246,9 @@ int main(int argc, char **argv)
     };
     alignof_float16 = (intptr_t)(&((struct s1*)0)->ld);
   }
+#else
+  alignof_float16 = 0;
+#endif
 
   // The alignment of a float complex
   {
@@ -276,14 +286,18 @@ int main(int argc, char **argv)
     alignof_float128complex = (intptr_t)(&((struct s1*)0)->ld);
   }
 
-  // The alignment of float128 complex
+#ifdef HAVE_FLOAT16_DEF
+  // The alignment of float16 complex
   {
     struct s1 {
       char c;
       _Float16 _Complex ld;
     };
     alignof_float16complex = (intptr_t)(&((struct s1*)0)->ld);
   }
+#else
+  alignof_float16complex = 0;
+#endif
 
 
   alignof_str = __alignof("a string");
@@ -326,7 +340,7 @@ int main(int argc, char **argv)
 	     "bool=%d,%d fun=%d,%d alignof_string=%d max_alignment=%d size_t=%s "
 	     "wchar_t=%s char16_t=%s char32_t=%s char_signed=%s "
 	     "big_endian=%s __thread_is_keyword=%s __builtin_va_list=%s "
-	     "underscore_name=%s\n",
+	     "underscore_name=%s have_float16=%s\n",
 	     (int)sizeof(short), alignof_short, (int)sizeof(int), alignof_int,
 	     (int)sizeof(long), alignof_long, (int)sizeof(long long), alignof_longlong,
 	     (int)sizeof(int *), alignof_ptr,
@@ -340,18 +354,26 @@ int main(int argc, char **argv)
 	     (int)sizeof(float), alignof_float, (int)sizeof(double), alignof_double,
 	     (int)sizeof(long double), alignof_longdouble,
       (int)sizeof(_Float128), alignof_float128,
+#ifdef HAVE_FLOAT16_DEF
        (int)sizeof(_Float16), alignof_float16,
+#else
+       0, 0,
+#endif
        (int)sizeof(float _Complex), alignof_floatcomplex, (int)sizeof(double _Complex), alignof_doublecomplex,
 	     (int)sizeof(long double _Complex), alignof_longdoublecomplex,
        (int)sizeof(_Float128 _Complex), alignof_float128complex,
+#ifdef HAVE_FLOAT16_DEF
        (int)sizeof(_Float16 _Complex), alignof_float16complex,
+#else
+       0, 0,
+#endif
        (int)sizeof(void),
 	     (int)sizeof(bool), alignof_bool,
 	     sizeof_fun, alignof_fun, alignof_str, alignof_aligned,
 	     underscore(TYPE_SIZE_T), underscore(TYPE_WCHAR_T), underscore(TYPE_CHAR16_T), underscore(TYPE_CHAR32_T),
 	     char_is_unsigned ? "false" : "true",
 	     little_endian ? "false" : "true",
-	     THREAD_IS_KEYWORD, HAVE_BUILTIN_VA_LIST, UNDERSCORE_NAME);
+	     THREAD_IS_KEYWORD, HAVE_BUILTIN_VA_LIST, UNDERSCORE_NAME, HAVE_FLOAT16);
     }
   else
     {
@@ -379,12 +401,20 @@ int main(int argc, char **argv)
       printf("\t sizeof_double              = %d;\n", (int)sizeof(double));
       printf("\t sizeof_longdouble          = %d;\n", (int)sizeof(long double));
       printf("\t sizeof_float128            = %d;\n", (int)sizeof(_Float128));
+#ifdef HAVE_FLOAT16_DEF
       printf("\t sizeof_float16             = %d;\n", (int)sizeof(_Float16));
+#else
+      printf("\t sizeof_float16             = %d;\n", 0);
+#endif
       printf("\t sizeof_floatcomplex        = %d;\n", (int)sizeof(float _Complex));
       printf("\t sizeof_doublecomplex       = %d;\n", (int)sizeof(double _Complex));
       printf("\t sizeof_longdoublecomplex   = %d;\n", (int)sizeof(long double _Complex));
       printf("\t sizeof_float128complex     = %d;\n", (int)sizeof(_Float128 _Complex));
+#ifdef HAVE_FLOAT16_DEF
       printf("\t sizeof_float16complex      = %d;\n", (int)sizeof(_Float16 _Complex));
+#else
+      printf("\t sizeof_float16complex      = %d;\n", 0);
+#endif
       printf("\t sizeof_void                = %d;\n", (int)sizeof(void));
       printf("\t sizeof_fun                 = %d;\n", (int)sizeof_fun);
       printf("\t size_t                     = \"%s\";\n", TYPE_SIZE_T);
@@ -408,12 +438,20 @@ int main(int argc, char **argv)
       printf("\t alignof_double             = %d;\n", alignof_double);
       printf("\t alignof_longdouble         = %d;\n", alignof_longdouble);
       printf("\t alignof_float128           = %d;\n", alignof_float128);
+#ifdef HAVE_FLOAT16_DEF
       printf("\t alignof_float16            = %d;\n", alignof_float16);
+#else
+      printf("\t alignof_float16            = %d;\n", 0);
+#endif
       printf("\t alignof_floatcomplex       = %d;\n", alignof_floatcomplex);
       printf("\t alignof_doublecomplex      = %d;\n", alignof_doublecomplex);
       printf("\t alignof_longdoublecomplex  = %d;\n", alignof_longdoublecomplex);
       printf("\t alignof_float128complex    = %d;\n", alignof_float128complex);
+#ifdef HAVE_FLOAT16_DEF
       printf("\t alignof_float16complex     = %d;\n", alignof_float16complex);
+#else
+      printf("\t alignof_float16complex     = %d;\n", alignof_float16complex);
+#endif
       printf("\t alignof_str                = %d;\n", alignof_str);
       printf("\t alignof_fun                = %d;\n", alignof_fun);
       printf("\t alignof_aligned            = %d;\n", alignof_aligned);
@@ -422,6 +460,7 @@ int main(int argc, char **argv)
       printf("\t __builtin_va_list          = %s;\n", HAVE_BUILTIN_VA_LIST);
       printf("\t __thread_is_keyword        = %s;\n", THREAD_IS_KEYWORD);
       printf("\t little_endian              = %s;\n", little_endian ? "true" : "false");
+      printf("\t have_float16               = %s;\n", HAVE_FLOAT16);
     }
   return 0;
 }

src/machdep.cppo.ml

@@ -54,6 +54,7 @@ type mach = {
   little_endian: bool; (* whether the machine is little endian *)
   __thread_is_keyword: bool; (* whether __thread is a keyword *)
   __builtin_va_list: bool; (* whether __builtin_va_list is builtin (gccism) *)
+  have_float16: bool; (* Whether _Float16 is supported. *)
 }
 
 let gcc = {

src/machdepConfigure.ml

@@ -28,6 +28,11 @@ let underscore_name_code = {|
 int main() { __asm__("jmp _main"); }
 |}
 
+let have_float16_code = {|
+_Float16 x;
+int main() { return 0; }
+|}
+
 let cil_check_integer_type_type_code t1 t2 =
   Format.sprintf {|
 #include <stddef.h>
@@ -77,6 +82,7 @@ let () =
       let have_builtin_va_list = C.c_test c builtin_va_list_code in
       let thread_is_keyword = not @@ C.c_test c thread_is_keyword_code in
       let underscore_name = C.c_test c underscore_name_code in
+      let have_float16 = C.c_test c have_float16_code in
 
       C.C_define.gen_header_file c ~fname:"machdep-config.h" [
         ("HAVE_STDLIB_H", Switch (has_header c "stdlib.h"));
@@ -88,6 +94,7 @@ let () =
         ("HAVE_BUILTIN_VA_LIST_DEF", Switch have_builtin_va_list);
         ("THREAD_IS_KEYWORD_DEF", Switch thread_is_keyword);
         ("UNDERSCORE_NAME_DEF", Switch underscore_name);
+        ("HAVE_FLOAT16_DEF", Switch have_float16);
 
         ("TYPE_SIZE_T", String (cil_check_integer_type c "size_t"));
         ("TYPE_WCHAR_T", String (cil_check_integer_type c "wchar_t"));

src/machdepenv.ml

@@ -106,4 +106,5 @@ let modelParse (s:string) : mach =
     little_endian = not (getBool entries "big_endian");
     __thread_is_keyword = getBool entries "__thread_is_keyword";
     __builtin_va_list = getBool entries "__builtin_va_list";
+    have_float16 = getBool entries "have_float16";
   }