diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2003-07-17 15:11:03 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2003-07-17 15:11:03 +0000 |
| commit | 4755668ea92f5c33954c4dbc0274506e61faafdf (patch) | |
| tree | 4320e13849af31de7e0405be5167680ce074b7eb /asmcomp/sparc/emit.mlp | |
| parent | 77735631ac3cd851e0ecadc0aa0220a458dd4c9f (diff) | |
| download | ocaml-4755668ea92f5c33954c4dbc0274506e61faafdf.tar.gz | |
Support Sparc et PowerPC pour NetBSD (PR#1746)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5711 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/sparc/emit.mlp')
| -rw-r--r-- | asmcomp/sparc/emit.mlp | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/asmcomp/sparc/emit.mlp b/asmcomp/sparc/emit.mlp index 799bbcf8b7..77dc9e9937 100644 --- a/asmcomp/sparc/emit.mlp +++ b/asmcomp/sparc/emit.mlp @@ -57,11 +57,10 @@ let next_in_pair = function | {loc = Reg r; typ = Float} -> phys_reg (r + 16) | _ -> fatal_error "Emit.next_in_pair" -(* Symbols are prefixed with _ under SunOS and BSD but not under Solaris - nor Linux *) +(* Symbols are prefixed with _ under SunOS *) let symbol_prefix = - if Config.system = "solaris" || Config.system = "linux" then "" else "_" + if Config.system = "sunos" then "_" else "" let emit_symbol s = if String.length s >= 1 & s.[0] = '.' @@ -89,7 +88,7 @@ let is_native_immediate n = (* Output a label *) let label_prefix = - if Config.system = "solaris" || Config.system = "linux" then ".L" else "L" + if Config.system = "sunos" then "L" else ".L" let emit_label lbl = emit_string label_prefix; emit_int lbl |