Implement longdouble as a wrapper around llvm::APFloat.

This commit introduces a new class ldc::longdouble which provides real_t
semantics based on the target. It uses llvm::APFloat as base implementation.

This fixes issue ldc-developers#259.

Author: redstar

CMakeLists.txt

@@ -8,6 +8,7 @@ if(MSVC)
 endif()
 
 include(CheckIncludeFile)
+include(CheckSymbolExists)
 include(CheckLibraryExists)
 include(CheckCXXCompilerFlag)
 
@@ -248,26 +249,6 @@ list(REMOVE_ITEM FE_SRC
     ${PROJECT_SOURCE_DIR}/${DMDFE_PATH}/id.c
     ${PROJECT_SOURCE_DIR}/${DMDFE_PATH}/impcnvtab.c
 )
-# Add/remove files for MSVC
-if(MSVC)
-    list(APPEND FE_SRC
-        ${PROJECT_SOURCE_DIR}/vcbuild/strtold.c
-# See below why this don't work
-#        if(CMAKE_CL_64)
-#        ${PROJECT_SOURCE_DIR}/vcbuild/ldfpu.asm
-#        endif()
-    )
-    if(CMAKE_CL_64)
-        # MASM support does not work yet!
-        add_custom_command(OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/ldfpu.obj
-                           COMMAND ${CMAKE_ASM_MASM_COMPILER} /c /Fo${CMAKE_CURRENT_BINARY_DIR}/ldfpu.obj ${PROJECT_SOURCE_DIR}/vcbuild/ldfpu.asm
-                           DEPENDS ${PROJECT_SOURCE_DIR}/vcbuild/ldfpu.asm
-                           COMMENT "generate ldfpu.obj")
-        list(APPEND FE_SRC
-            ${CMAKE_CURRENT_BINARY_DIR}/ldfpu.obj
-    )
-    endif()
-endif()
 set(LDC_SOURCE_FILES
     ${LDC_GENERATED}
     ${FE_SRC}
@@ -349,6 +330,27 @@ if(LLVM_ENABLE_ASSERTIONS)
     string(REGEX REPLACE "(^| )[/-]D *NDEBUG( |$)" " " CMAKE_CXX_FLAGS_RELWITHDEBINFO "${CMAKE_CXX_FLAGS_RELWITHDEBINFO}")
 endif()
 
+#
+# check string functions
+#
+check_symbol_exists(memicmp "string.h" HAVE_MEMICMP)
+check_symbol_exists(stricmp "string.h" HAVE_STRICMP)
+check_symbol_exists(strupr "string.h" HAVE_STRUPR)
+check_symbol_exists(strtof "stdlib.h" HAVE_STRTOF)
+
+if(HAVE_MEMICMP)
+    add_definitions(-DHAVE_MEMICMP)
+endif()
+
+if(HAVE_STRICMP)
+    add_definitions(-DHAVE_STRICMP)
+endif()
+
+if(HAVE_STRUPR)
+    add_definitions(-DHAVE_STRUPR)
+endif()
+
+
 #
 # Check endianess.
 # There is no realiable way to delegate the work to the compiler.
@@ -477,7 +479,6 @@ endif()
 #
 # LDMD
 #
-include(CheckSymbolExists)
 CHECK_SYMBOL_EXISTS(_SC_ARG_MAX "unistd.h" HAVE_SC_ARG_MAX)
 if (HAVE_SC_ARG_MAX)
    add_definitions(-DHAVE_SC_ARG_MAX)

dmd2/builtin.c

@@ -48,41 +48,78 @@ Expression *eval_unimp(Loc loc, FuncDeclaration *fd, Expressions *arguments)
     return NULL;
 }
 
+#if IN_LLVM
 Expression *eval_sin(Loc loc, FuncDeclaration *fd, Expressions *arguments)
 {
     Expression *arg0 = (*arguments)[0];
     assert(arg0->op == TOKfloat64);
-    return new RealExp(loc, sinl(arg0->toReal()), arg0->type);
+    return new RealExp(loc, ldouble(arg0->toReal()).sin(), arg0->type);
 }
 
 Expression *eval_cos(Loc loc, FuncDeclaration *fd, Expressions *arguments)
 {
     Expression *arg0 = (*arguments)[0];
     assert(arg0->op == TOKfloat64);
-    return new RealExp(loc, cosl(arg0->toReal()), arg0->type);
+	return new RealExp(loc, ldouble(arg0->toReal()).cos(), arg0->type);
 }
 
 Expression *eval_tan(Loc loc, FuncDeclaration *fd, Expressions *arguments)
 {
     Expression *arg0 = (*arguments)[0];
     assert(arg0->op == TOKfloat64);
-    return new RealExp(loc, tanl(arg0->toReal()), arg0->type);
+	return new RealExp(loc, ldouble(arg0->toReal()).tan(), arg0->type);
 }
 
 Expression *eval_sqrt(Loc loc, FuncDeclaration *fd, Expressions *arguments)
 {
     Expression *arg0 = (*arguments)[0];
     assert(arg0->op == TOKfloat64);
-    return new RealExp(loc, Port::sqrt(arg0->toReal()), arg0->type);
+	return new RealExp(loc, ldouble(arg0->toReal()).sqrt(), arg0->type);
 }
 
 Expression *eval_fabs(Loc loc, FuncDeclaration *fd, Expressions *arguments)
 {
     Expression *arg0 = (*arguments)[0];
     assert(arg0->op == TOKfloat64);
-    return new RealExp(loc, fabsl(arg0->toReal()), arg0->type);
+	return new RealExp(loc, ldouble(arg0->toReal()).abs(), arg0->type);
+}
+#else
+Expression *eval_sin(Loc loc, FuncDeclaration *fd, Expressions *arguments)
+{
+	Expression *arg0 = (*arguments)[0];
+	assert(arg0->op == TOKfloat64);
+	return new RealExp(loc, sinl(arg0->toReal()), arg0->type);
+}
+
+Expression *eval_cos(Loc loc, FuncDeclaration *fd, Expressions *arguments)
+{
+	Expression *arg0 = (*arguments)[0];
+	assert(arg0->op == TOKfloat64);
+	return new RealExp(loc, cosl(arg0->toReal()), arg0->type);
+}
+
+Expression *eval_tan(Loc loc, FuncDeclaration *fd, Expressions *arguments)
+{
+	Expression *arg0 = (*arguments)[0];
+	assert(arg0->op == TOKfloat64);
+	return new RealExp(loc, tanl(arg0->toReal()), arg0->type);
+}
+
+Expression *eval_sqrt(Loc loc, FuncDeclaration *fd, Expressions *arguments)
+{
+	Expression *arg0 = (*arguments)[0];
+	assert(arg0->op == TOKfloat64);
+	return new RealExp(loc, Port::sqrt(arg0->toReal()), arg0->type);
 }
 
+Expression *eval_fabs(Loc loc, FuncDeclaration *fd, Expressions *arguments)
+{
+	Expression *arg0 = (*arguments)[0];
+	assert(arg0->op == TOKfloat64);
+	return new RealExp(loc, fabsl(arg0->toReal()), arg0->type);
+}
+#endif
+
 #if IN_LLVM
 
 static inline Type *getTypeOfOverloadedIntrinsic(FuncDeclaration *fd)