diff options
Diffstat (limited to 'x86')
-rw-r--r-- | x86/TargetPrinter.ml | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/x86/TargetPrinter.ml b/x86/TargetPrinter.ml index 9b7490f7..50918bfc 100644 --- a/x86/TargetPrinter.ml +++ b/x86/TargetPrinter.ml @@ -860,8 +860,6 @@ module Target(System: SYSTEM):TARGET = let print_literal64 oc n lbl = fprintf oc "%a: .quad 0x%Lx\n" label lbl n - let print_literal32 oc n lbl = - fprintf oc "%a: .long 0x%lx\n" label lbl n let print_jumptable oc jmptbl = let print_jumptable (lbl, tbl) = @@ -890,19 +888,6 @@ module Target(System: SYSTEM):TARGET = let name_of_section = name_of_section - let emit_constants oc lit = - if Hashtbl.length literal64_labels > 0 then begin - section oc (Sections.with_size 8 lit); - print_align oc 8; - Hashtbl.iter (print_literal64 oc) literal64_labels - end; - if Hashtbl.length literal32_labels > 0 then begin - section oc (Sections.with_size 4 lit); - print_align oc 4; - Hashtbl.iter (print_literal32 oc) literal32_labels - end; - reset_literals () - let cfi_startproc = cfi_startproc let cfi_endproc = cfi_endproc |