From 7e5a406a1caf9c96d0c09031a97b408a867a4b53 Mon Sep 17 00:00:00 2001
From: Alain Frisch <alain@frisch.fr>
Date: Mon, 22 Sep 2014 14:30:58 +0000
Subject: [PATCH] Cleanup.

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15293 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 asmcomp/amd64/emit.mlp | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/asmcomp/amd64/emit.mlp b/asmcomp/amd64/emit.mlp
index 4aac6cb1e..d78cb850f 100644
--- a/asmcomp/amd64/emit.mlp
+++ b/asmcomp/amd64/emit.mlp
@@ -468,18 +468,6 @@ let emit_instr fallthrough i =
       end
       else
         I.movabsq (Int64.of_nativeint n, res i 0)
-          (* will use a short form is n fit in 32-bit *)
-(*
-else if n <= 0x7FFFFFFFn && n >= -0x80000000n then
-        I.movq (emit_nat n, res i 0)
-      else
-      if system = S_win64 && n >= 0x80000000n && n <= 0xFFFFFFFFn  then
-        (* work around bug in ml64 *)
-        (* Should this go in intel_masm instead?? *)
-        I.movl (emit_nat n, res32 i 0)
-      else
-        I.movabsq (n, res i 0)
-*)
   | Lop(Iconst_float f) ->
       begin match Int64.bits_of_float f with
       | 0x0000_0000_0000_0000L ->       (* +0.0 *)