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/cmmgen.ml | |
| 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/cmmgen.ml')
| -rw-r--r-- | asmcomp/cmmgen.ml | 9 |
1 files changed, 2 insertions, 7 deletions
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) -> |