From 91dcfe11ff321386f7924da053be83523073a50c Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 24 Feb 2012 15:49:19 +0000
Subject: Improved instruction selection for "notint". powerpc/PrintAsm.ml:
 fixed MacOS X problems with malloc and free

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1824 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 powerpc/PrintAsm.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'powerpc/PrintAsm.ml')

diff --git a/powerpc/PrintAsm.ml b/powerpc/PrintAsm.ml
index f396a235..8323d56f 100644
--- a/powerpc/PrintAsm.ml
+++ b/powerpc/PrintAsm.ml
@@ -1049,7 +1049,7 @@ let print_fundef oc (name, defn) =
   match defn with
   | Internal code ->
       print_function oc name code
-  | External (EF_external _ as ef) ->
+  | External ((EF_external _ | EF_malloc | EF_free) as ef) ->
       if function_needs_stub name then stub_function oc name (ef_sig ef)
   | External _ ->
       ()
@@ -1057,7 +1057,7 @@ let print_fundef oc (name, defn) =
 let record_extfun (name, defn) =
   match defn with
   | Internal _ -> ()
-  | External (EF_external _) ->
+  | External (EF_external _ | EF_malloc | EF_free) ->
       if function_needs_stub name then
         stubbed_functions := IdentSet.add name !stubbed_functions
   | External _ -> ()
-- 
cgit