Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fin du portage pour Linux ELF. 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@378 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Xavier Leroy 1995-10-31 10:47:35 +00:00
parent f349d56122
commit 62d65b8e2b
1 changed files with 27 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

45
asmcomp/emit_i386.mlp
View File

@ -62,6 +62,15 @@ let label_prefix =
let emit_label lbl = let emit_label lbl =
emit_string label_prefix; emit_int lbl emit_string label_prefix; emit_int lbl
(* Output a .align directive.
The numerical argument to .align is log2 of alignment size, except
under ELF, where it is the alignment size... *)
let emit_align =
match Config.system with
"linux_elf" -> (fun n -> ` .align {emit_int n}\n`)
| _ -> (fun n -> ` .align {emit_int(Misc.log2 n)}\n`)
(* Output a pseudo-register *) (* Output a pseudo-register *)
let emit_reg r = let emit_reg r =
@ -170,7 +179,7 @@ let emit_frame fd =
(fun n -> (fun n ->
` .word {emit_int n}\n`) ` .word {emit_int n}\n`)
fd.fd_live_offset; fd.fd_live_offset;
` .align 2\n` emit_align 4
(* Names for instructions *) (* Names for instructions *)
@ -273,7 +282,7 @@ let emit_instr i =
| Lop(Iextcall(s, alloc)) -> | Lop(Iextcall(s, alloc)) ->
if alloc then begin if alloc then begin
` movl ${emit_symbol s}, %eax\n`; ` movl ${emit_symbol s}, %eax\n`;
` call _caml_c_call\n`; ` call {emit_symbol "caml_c_call"}\n`;
record_frame i.live record_frame i.live
end else begin end else begin
` finit\n`; ` finit\n`;
@ -335,22 +344,22 @@ let emit_instr i =
end end
| Lop(Ialloc n) -> | Lop(Ialloc n) ->
if !fastcode_flag then begin if !fastcode_flag then begin
` movl _young_ptr, %eax\n`; ` movl {emit_symbol "young_ptr"}, %eax\n`;
` subl ${emit_int n}, %eax\n`; ` subl ${emit_int n}, %eax\n`;
` movl %eax, _young_ptr\n`; ` movl %eax, {emit_symbol "young_ptr"}\n`;
` cmpl _young_start, %eax\n`; ` cmpl {emit_symbol "young_start"}, %eax\n`;
let lbl_cont = record_frame_label i.live in let lbl_cont = record_frame_label i.live in
` jae {emit_label lbl_cont}\n`; ` jae {emit_label lbl_cont}\n`;
` call _caml_call_gc\n`; ` call {emit_symbol "caml_call_gc"}\n`;
` .word {emit_int n}\n`; ` .word {emit_int n}\n`;
`{emit_label lbl_cont}: leal 4(%eax), {emit_reg i.res.(0)}\n` `{emit_label lbl_cont}: leal 4(%eax), {emit_reg i.res.(0)}\n`
end else begin end else begin
begin match n with begin match n with
8 -> ` call _caml_alloc1\n` 8 -> ` call {emit_symbol "caml_alloc1"}\n`
| 12 -> ` call _caml_alloc2\n` | 12 -> ` call {emit_symbol "caml_alloc2"}\n`
| 16 -> ` call _caml_alloc3\n` | 16 -> ` call {emit_symbol "caml_alloc3"}\n`
| _ -> ` movl ${emit_int n}, %eax\n`; | _ -> ` movl ${emit_int n}, %eax\n`;
` call _caml_alloc\n` ` call {emit_symbol "caml_alloc"}\n`
end; end;
`{record_frame i.live} leal 4(%eax), {emit_reg i.res.(0)}\n` `{record_frame i.live} leal 4(%eax), {emit_reg i.res.(0)}\n`
end end
@ -535,7 +544,7 @@ let emit_instr i =
| Lswitch jumptbl -> | Lswitch jumptbl ->
let lbl = new_label() in let lbl = new_label() in
` jmp *{emit_label lbl}(, {emit_reg i.arg.(0)}, 4)\n`; ` jmp *{emit_label lbl}(, {emit_reg i.arg.(0)}, 4)\n`;
` .align 2\n`; emit_align 4;
`{emit_label lbl}:`; `{emit_label lbl}:`;
for i = 0 to Array.length jumptbl - 1 do for i = 0 to Array.length jumptbl - 1 do
` .long {emit_label jumptbl.(i)}\n` ` .long {emit_label jumptbl.(i)}\n`
@ -543,16 +552,16 @@ let emit_instr i =
| Lsetuptrap lbl -> | Lsetuptrap lbl ->
` call {emit_label lbl}\n` ` call {emit_label lbl}\n`
| Lpushtrap -> | Lpushtrap ->
` pushl _caml_exception_pointer\n`; ` pushl {emit_symbol "caml_exception_pointer"}\n`;
` movl %esp, _caml_exception_pointer\n`; ` movl %esp, {emit_symbol "caml_exception_pointer"}\n`;
stack_offset := !stack_offset + 8 stack_offset := !stack_offset + 8
| Lpoptrap -> | Lpoptrap ->
` popl _caml_exception_pointer\n`; ` popl {emit_symbol "caml_exception_pointer"}\n`;
` addl $4, %esp\n`; ` addl $4, %esp\n`;
stack_offset := !stack_offset - 8 stack_offset := !stack_offset - 8
| Lraise -> | Lraise ->
` movl _caml_exception_pointer, %esp\n`; ` movl {emit_symbol "caml_exception_pointer"}, %esp\n`;
` popl _caml_exception_pointer\n`; ` popl {emit_symbol "caml_exception_pointer"}\n`;
` ret\n` ` ret\n`
let rec emit_all i = let rec emit_all i =
@ -574,7 +583,7 @@ let fundecl fundecl =
float_constants := []; float_constants := [];
range_check_trap := 0; range_check_trap := 0;
` .text\n`; ` .text\n`;
` .align 4\n`; (* 16-byte alignment is recommended for the 486 *) emit_align 16; (* 16-byte alignment is recommended for the 486 *)
` .globl {emit_symbol fundecl.fun_name}\n`; ` .globl {emit_symbol fundecl.fun_name}\n`;
`{emit_symbol fundecl.fun_name}:\n`; `{emit_symbol fundecl.fun_name}:\n`;
let n = frame_size() - 4 in let n = frame_size() - 4 in
@ -624,7 +633,7 @@ let emit_item = function
| Cskip n -> | Cskip n ->
if n > 0 then ` .space {emit_int n}\n` if n > 0 then ` .space {emit_int n}\n`
| Calign n -> | Calign n ->
` .align {emit_int(Misc.log2 n)}\n` emit_align n
let data l = let data l =
` .data\n`; ` .data\n`;