[libc] Add definitions of double_t and float_t to math.h.

[sivachandra]

Summary

This change does not handle any extensions. Only the C standard
variations are handled.

[abrachet]

libc/include/__llvm-libc-stdc-types.h

18

Is it better to do #define __LLVM_LIBC_FLOAT_T float and then typdef __LLVM_LIBC_FLOAT_T float_t bellow? That also somewhat mirrors what we do in __posix_types.h with __INT64_TYPE__

[sivachandra]

Address comments.

[sivachandra]

libc/include/__llvm-libc-stdc-types.h

18

Indeed.

libc/config/linux/api.td

 }
 
 def IsNanMacro : MacroDef<"isnan"> {
   let Defn = [{
     #define isnan(x) __builtin_isnan(x)
   }];
 }
 
+def FloatT : TypeDecl<"float_t"> {
+  let Decl = [{
+    #define __need_float_t
+    #include <__llvm-libc-stdc-types.h>
+  }];
+}
+
+def DoubleT : TypeDecl<"double_t"> {
+  let Decl = [{
+    #define __need_double_t
+    #include <__llvm-libc-stdc-types.h>
+  }];
+}
+
 def MathAPI : PublicAPI<"math.h"> {
   let Macros = [
     SimpleMacroDef<"MATH_ERRNO", "1">,
     SimpleMacroDef<"MATH_ERREXCEPT", "2">,
     MathErrHandlingMacro,
 
     SimpleMacroDef<"INFINITY", "__builtin_inff()">,
     SimpleMacroDef<"NAN", "__builtin_nanf(\"\")">,
 
     IsFiniteMacro,
     IsInfMacro,
     IsNanMacro,
   ];
+  let TypeDeclarations = [
+    DoubleT,
+    FloatT,
+  ];
   let Functions = [
    "cosf",
    "round",
    "sincosf",
    "sinf",
   ];
 }
 

libc/include/CMakeLists.txt

 
 add_header(
   llvm_libc_common_h
   HDR
     __llvm-libc-common.h
 )
 
 add_header(
   libc_posix_types
   HDR
     __posix-types.h
 )
 
 add_header(
+  stdc_types
+  HDR
+    __llvm-libc-stdc-types.h
+)
+
+add_header(
   ctype
   HDR
    ctype.h
   DEPENDS
     .llvm_libc_common_h
 )
 
 add_gen_header(
   math
   DEF_FILE math.h.def
   GEN_HDR math.h
   DEPENDS
     .llvm_libc_common_h
+    .stdc_types
 )
 
 add_gen_header(
   assert_h
   DEF_FILE assert.h.def
   GEN_HDR assert.h
   DEPENDS
     .llvm_libc_common_h

libc/include/__llvm-libc-stdc-types.h

+//===-- Definitions of common types from the C standard. ------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+// This header file does not have a header guard. It is internal to LLVM libc
+// and intended to be used to pick specific definitions without polluting the
+// public headers with unnecessary definitions.
+
+#undef __LLVM_LIBC_FLOAT_T
+#undef __LLVM_LIBC_DOUBLE_T
+
+#if !defined(__FLT_EVAL_METHOD__) || __FLT_EVAL_METHOD__ == 0
+#define __LLVM_LIBC_FLOAT_T float
+#define __LLVM_LIBC_DOUBLE_T double
+#elif __FLT_EVAL_METHOD__ == 1
+#define __LLVM_LIBC_FLOAT_T double
+#define __LLVM_LIBC_DOUBLE_T double
+#elif __FLT_EVAL_METHOD__ == 2
+#define __LLVM_LIBC_FLOAT_T long double
+#define __LLVM_LIBC_DOUBLE_T long double
+#else
+#error "Unsupported __FLT_EVAL_METHOD__ value."
+#endif
+
+#if defined(__need_float_t) && !defined(__llvm_libc_float_t_defined)
+typedef __LLVM_LIBC_FLOAT_T float_t;
+#define __llvm_libc_float_t_defined
+#endif // __need_float_t
+
+#if defined(__need_double_t) && !defined(__llvm_libc_double_t_defined)
+typedef __LLVM_LIBC_DOUBLE_T double_t;
+#define __llvm_libc_double_t_defined
+#endif // __need_double_t