git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15224 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Alain Frisch 2014-09-11 16:01:05 +00:00
parent 6f2f68f1e0
commit 0931d3656a
2 changed files with 2 additions and 13 deletions

View File

@ -761,8 +761,7 @@ let emit_instr fallthrough i =
begin match system with
| S_macosx -> _section [".const"] None []
| S_mingw64 | S_cygwin -> _section [".rdata"] (Some "dr") []
| S_win64 ->
() (* with MASM, use the text segment *)
| S_win64 -> () (* with MASM, use the text segment *)
| _ -> _section [".rodata"] None []
end;
emit_align 4;
@ -771,7 +770,7 @@ let emit_instr fallthrough i =
_long (ConstSub (ConstLabel(emit_label jumptbl.(i) , None),
ConstLabel(emit_label lbl , None)))
done;
_section [".text"] None []
_text ()
| Lsetuptrap lbl ->
I.call (label lbl)
| Lpushtrap ->

View File

@ -62,9 +62,6 @@ type data_type = (* only used for MASM *)
| NEAR | PROC
(* PROC could be a display for NEAR on 32 bits ? *)
type suffix = B | W | L | Q
type float_suffix = FS | FL
type register64 =
| RAX | RBX | RDI | RSI | RDX | RCX | RBP | RSP
| R8 | R9 | R10 | R11 | R12 | R13 | R14 | R15
@ -249,11 +246,4 @@ type asm_line =
| Ins of instruction
type arch = X64 | X86
type section = {
sec_name: string;
mutable sec_instrs: asm_line array;
}
type asm_program = asm_line list