From 997868f554e9c373e9d160c9d6f5531540fb70d1 Mon Sep 17 00:00:00 2001 From: Kevin Mihelich Date: Fri, 17 Oct 2014 03:46:55 +0000 Subject: [PATCH] extra/ocaml: add patch --- extra/ocaml/arm.patch | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 extra/ocaml/arm.patch diff --git a/extra/ocaml/arm.patch b/extra/ocaml/arm.patch new file mode 100644 index 000000000..92ee2bb11 --- /dev/null +++ b/extra/ocaml/arm.patch @@ -0,0 +1,22 @@ +diff --git a/asmcomp/CSEgen.ml b/asmcomp/CSEgen.ml +index 19019e1..260e4fa 100644 +--- a/asmcomp/CSEgen.ml ++++ b/asmcomp/CSEgen.ml +@@ -180,7 +180,8 @@ method private keep_checkbounds n = + (* Perform CSE on the given instruction [i] and its successors. + [n] is the value numbering current at the beginning of [i]. *) + +-method private cse n i = ++method private cse n i = i ++(* + match i.desc with + | Iend | Ireturn | Iop(Itailcall_ind) | Iop(Itailcall_imm _) + | Iexit _ | Iraise _ -> +@@ -262,6 +263,7 @@ method private cse n i = + {i with desc = Itrywith(self#cse n body, + self#cse empty_numbering handler); + next = self#cse empty_numbering i.next} ++*) + + method fundecl f = + {f with fun_body = self#cse empty_numbering f.fun_body}