[MLton-commit] r6846

[Vesa Karvonen]

Fixed amd64Validate for SML/NJ compiled MLton using Matthew Fluet's patch.

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

U   mlton/trunk/mlton/codegen/amd64-codegen/amd64-validate.fun

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

Modified: mlton/trunk/mlton/codegen/amd64-codegen/amd64-validate.fun
===================================================================
--- mlton/trunk/mlton/codegen/amd64-codegen/amd64-validate.fun	2008-09-10 17:00:00 UTC (rev 6845)
+++ mlton/trunk/mlton/codegen/amd64-codegen/amd64-validate.fun	2008-09-11 19:01:52 UTC (rev 6846)
@@ -26,7 +26,9 @@
             else true
 
       fun validate_base {register}
-        = if not (validate {register = register}
+        = if not (eq (register, rip))
+             andalso
+             not (validate {register = register}
                   andalso
                   List.contains(baseRegisters,
                                 register,