diff options
author | Alain Frisch <alain@frisch.fr> | 2008-07-24 05:35:22 +0000 |
---|---|---|
committer | Alain Frisch <alain@frisch.fr> | 2008-07-24 05:35:22 +0000 |
commit | 1ba87b442b1fe72577a71af4192f71d969d68f99 (patch) | |
tree | fa90437ecf931df76138af04383a9584508f4d65 /asmcomp | |
parent | 44d735799099e79041627ecfd280b2e28e260bf2 (diff) | |
download | ocaml-1ba87b442b1fe72577a71af4192f71d969d68f99.tar.gz |
Output references to the native version of the primitives in ocamlopt
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8930 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp')
-rw-r--r-- | asmcomp/asmgen.ml | 2 | ||||
-rw-r--r-- | asmcomp/cmmgen.ml | 9 |
2 files changed, 3 insertions, 8 deletions
diff --git a/asmcomp/asmgen.ml b/asmcomp/asmgen.ml index cd02217e7e..36edea8cf4 100644 --- a/asmcomp/asmgen.ml +++ b/asmcomp/asmgen.ml @@ -117,7 +117,7 @@ let compile_implementation ?toplevel prefixname ppf (size, lam) = compile_phrase ppf (Cmmgen.reference_symbols (List.filter (fun s -> s <> "" && s.[0] <> '%') - !Translmod.primitive_declarations) + (List.map Primitive.native_name !Translmod.primitive_declarations)) ); Emit.end_assembly(); diff --git a/asmcomp/cmmgen.ml b/asmcomp/cmmgen.ml index b9276ab17c..a50822fed0 100644 --- a/asmcomp/cmmgen.ml +++ b/asmcomp/cmmgen.ml @@ -868,14 +868,9 @@ let rec transl = function box_float (Cop(Cextcall(prim.prim_native_name, typ_float, false, dbg), List.map transl_unbox_float args)) - else begin - let name = - if prim.prim_native_name <> "" - then prim.prim_native_name - else prim.prim_name in - Cop(Cextcall(name, typ_addr, prim.prim_alloc, dbg), + else + Cop(Cextcall(Primitive.native_name prim, typ_addr, prim.prim_alloc, dbg), List.map transl args) - end | (Pmakearray kind, []) -> transl_constant(Const_block(0, [])) | (Pmakearray kind, args) -> |