diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1999-03-04 10:55:46 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1999-03-04 10:55:46 +0000 |
| commit | 294aff94cf554aaddb18fa956e8460c52e871cc8 (patch) | |
| tree | 1eddf39c9364f075e8a374b3ace08dc795ff68d5 | |
| parent | 6ad4dff1f80e322feba2c489b940baf9d93183c8 (diff) | |
Lors de l'emission de constantes, faire attention aux symboles de code / de donnees (suite)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2330 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | asmcomp/hppa/emit.mlp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/asmcomp/hppa/emit.mlp b/asmcomp/hppa/emit.mlp index 76de7a6d4..58dbdb406 100644 --- a/asmcomp/hppa/emit.mlp +++ b/asmcomp/hppa/emit.mlp @@ -1008,7 +1008,8 @@ let emit_item = function | Cfloat f -> ` .double {emit_string f}\n` | Csymbol_address s -> - use_symbol s; + if hpux && String.length s >= 5 && String.sub s 0 5 = "caml_" then + ` .import {emit_symbol s}, code\n`; ` .long {emit_symbol s}\n` | Clabel_address lbl -> ` .long {emit_label(lbl + 100000)}\n` |