diff options
| author | Bart Jacobs <bart.jacobs@cs.kuleuven.be> | 2016-01-30 01:46:26 +0100 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@inria.fr> | 2016-02-10 15:24:37 +0100 |
| commit | 0a914a4765b8b97f230806706fedc6112a033f77 (patch) | |
| tree | 004715ee12c1dd2b5225c23e90240df85a4a52a3 /asmcomp | |
| parent | 2fab0f1aa9ed6b49d81622f04897ace792b2c850 (diff) | |
| download | ocaml-0a914a4765b8b97f230806706fedc6112a033f77.tar.gz | |
Generate local jump labels on OS X (PR#7133)
See [PR#7133](http://caml.inria.fr/mantis/view.php?id=7133)
Diffstat (limited to 'asmcomp')
| -rw-r--r-- | asmcomp/amd64/emit.mlp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/asmcomp/amd64/emit.mlp b/asmcomp/amd64/emit.mlp index 4c012009e7..1c392e2524 100644 --- a/asmcomp/amd64/emit.mlp +++ b/asmcomp/amd64/emit.mlp @@ -162,7 +162,7 @@ let load_symbol_addr s arg = let emit_label lbl = match system with - | S_win64 -> "L" ^ string_of_int lbl + | S_macosx | S_win64 -> "L" ^ string_of_int lbl | _ -> ".L" ^ string_of_int lbl let emit_data_label lbl = @@ -737,9 +737,8 @@ let emit_instr fallthrough i = I.jmp (reg tmp1); begin match system with - | S_macosx -> D.section ["__TEXT";"__const"] None [] | S_mingw64 | S_cygwin -> D.section [".rdata"] (Some "dr") [] - | S_win64 -> () (* with MASM, use the text segment *) + | S_macosx | S_win64 -> () (* with LLVM/OS X and MASM, use the text segment *) | _ -> D.section [".rodata"] None [] end; D.align 4; |