diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2022-08-24 19:06:46 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-09-03 10:38:50 +0200 |
| commit | ad6467099ac7147040c59c022635e61370168568 (patch) | |
| tree | ec78577bf5c8bb8c3f96c05f82648d439f52ceaf /x86/TargetPrinter.ml | |
| parent | 6f26a95f2debe76e1350eea97c2162e5bcd8cfad (diff) | |
| download | compcert-ad6467099ac7147040c59c022635e61370168568.tar.gz compcert-ad6467099ac7147040c59c022635e61370168568.zip | |
Refactor emitting of constants.
The function was the same for nearly all backends and also the way 32 bit
literals are printed so we moved it to PrintAsm. The 64 bit literals
however are still target specific.
Diffstat (limited to 'x86/TargetPrinter.ml')
| -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 |