[MLton-commit] r7262

[Wesley Terpstra]

Dynamically select the rounding mode on alpha.


----------------------------------------------------------------------

U   mlton/trunk/bin/mlton-script
U   mlton/trunk/runtime/Makefile

----------------------------------------------------------------------

Modified: mlton/trunk/bin/mlton-script
===================================================================
--- mlton/trunk/bin/mlton-script	2009-10-14 11:57:38 UTC (rev 7261)
+++ mlton/trunk/bin/mlton-script	2009-10-14 12:34:19 UTC (rev 7262)
@@ -103,7 +103,8 @@
         -mlb-path-map "$lib/mlb-path-map"                        \
         -target-as-opt amd64 '-m64'                              \
         -target-as-opt x86 '-m32'                                \
-        -target-cc-opt alpha '-mieee -mbwx -mtune=ev6'           \
+        -target-cc-opt alpha                                     \
+                '-mieee -mbwx -mtune=ev6 -mfp-rounding-mode=d'   \
         -target-cc-opt amd64 '-m64'                              \
         -target-cc-opt darwin                                    \
                 '-I/usr/local/include
@@ -124,7 +125,8 @@
                 -malign-jumps=2
                 -malign-loops=2'                                 \
         -target-link-opt amd64 '-m64'                            \
-        -target-link-opt alpha '-mieee -mbwx -mtune=ev6'         \
+        -target-link-opt alpha                                   \
+                '-mieee -mbwx -mtune=ev6 -mfp-rounding-mode=d'   \
         -target-link-opt darwin "$darwinLinkOpts"                \
         -target-link-opt freebsd '-L/usr/local/lib/'             \
         -target-link-opt aix '-maix64'                           \

Modified: mlton/trunk/runtime/Makefile
===================================================================
--- mlton/trunk/runtime/Makefile	2009-10-14 11:57:38 UTC (rev 7261)
+++ mlton/trunk/runtime/Makefile	2009-10-14 12:34:19 UTC (rev 7262)
@@ -56,7 +56,7 @@
 endif
 
 ifeq ($(TARGET_ARCH), alpha)
-FLAGS += -mieee -mbwx -mtune=ev6
+FLAGS += -mieee -mbwx -mtune=ev6 -mfp-rounding-mode=d
 endif
 
 ifeq ($(TARGET_ARCH), amd64)