diff options
| author | Mark Shinwell <mshinwell@janestreet.com> | 2016-06-29 10:01:03 +0100 |
|---|---|---|
| committer | Mark Shinwell <mshinwell@janestreet.com> | 2016-06-29 10:01:03 +0100 |
| commit | 8e16cdd85dc2a4ff5a780d0f965b00498b55a6ac (patch) | |
| tree | 16455e8ac03be2bd0b54c3fdfeaad7f771631e60 /asmcomp/amd64 | |
| parent | a5834e289fd98c8003497dcfbc5a081b54940db2 (diff) | |
| download | ocaml-8e16cdd85dc2a4ff5a780d0f965b00498b55a6ac.tar.gz | |
Remove Cdefine_label and Clabel_address
Diffstat (limited to 'asmcomp/amd64')
| -rw-r--r-- | asmcomp/amd64/emit.mlp | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/asmcomp/amd64/emit.mlp b/asmcomp/amd64/emit.mlp index 594480cf7c..3aa1967613 100644 --- a/asmcomp/amd64/emit.mlp +++ b/asmcomp/amd64/emit.mlp @@ -168,11 +168,6 @@ let emit_label lbl = | S_macosx | S_win64 -> "L" ^ string_of_int lbl | _ -> ".L" ^ string_of_int lbl -let emit_data_label lbl = - match system with - | S_win64 -> "Ld" ^ string_of_int lbl - | _ -> ".Ld" ^ string_of_int lbl - let label s = sym (emit_label s) let def_label s = D.label (emit_label s) @@ -866,7 +861,6 @@ let fundecl fundecl = let emit_item = function | Cglobal_symbol s -> D.global (emit_symbol s) | Cdefine_symbol s -> add_def_symbol s; _label (emit_symbol s) - | Cdefine_label lbl -> _label (emit_data_label lbl) | Cint8 n -> D.byte (const n) | Cint16 n -> D.word (const n) | Cint32 n -> D.long (const_nat n) @@ -874,7 +868,6 @@ let emit_item = function | Csingle f -> D.long (Const (Int64.of_int32 (Int32.bits_of_float f))) | Cdouble f -> D.qword (Const (Int64.bits_of_float f)) | Csymbol_address s -> add_used_symbol s; D.qword (ConstLabel (emit_symbol s)) - | Clabel_address lbl -> D.qword (ConstLabel (emit_data_label lbl)) | Cstring s -> D.bytes s | Cskip n -> if n > 0 then D.space n | Calign n -> D.align n |