Improved convertion to/from 80bits double, and added BOX64_X87_NO80BITS to not handle them

1 files changed, 7 insertions, 0 deletions

diff --git a/src/main.c b/src/main.c
index 4c0af6cd..ea809e54 100755
--- a/src/main.c
+++ b/src/main.c
@@ -93,6 +93,7 @@ int allow_missing_libs = 0;
 int box64_prefer_emulated = 0;
 int box64_prefer_wrapped = 0;
 int box64_sse_flushto0 = 0;
+int box64_x87_no80bits = 0;
 int fix_64bit_inodes = 0;
 int box64_dummy_crashhandler = 1;
 int box64_mapclean = 0;
@@ -965,6 +966,12 @@ void LoadEnvVars(box64context_t *context)
             printf_log(LOG_INFO, "BOX64: Direct apply of SSE Flush to 0 flag\n");
     	}
     }
+    if(getenv("BOX64_X87_NO80BITS")) {
+        if (strcmp(getenv("BOX64_X87_NO80BITS"), "1")==0) {
+            box64_x87_no80bits = 1;
+            printf_log(LOG_INFO, "BOX64: all 80bits x87 long double will be handle as double\n");
+    	}
+    }
     if(getenv("BOX64_PREFER_WRAPPED")) {
         if (strcmp(getenv("BOX64_PREFER_WRAPPED"), "1")==0) {
             box64_prefer_wrapped = 1;