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 /powerpc | |
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 'powerpc')
-rw-r--r-- | powerpc/TargetPrinter.ml | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml index 567b0598..5abf883d 100644 --- a/powerpc/TargetPrinter.ml +++ b/powerpc/TargetPrinter.ml @@ -915,24 +915,8 @@ module Target (System : SYSTEM):TARGET = and nhi = Int64.to_int32(Int64.shift_right_logical n 32) in fprintf oc "%a: .long 0x%lx, 0x%lx\n" label lbl nhi nlo - let print_literal32 oc n lbl = - fprintf oc "%a: .long 0x%lx\n" label lbl n - let print_fun_info = elf_print_fun_info - let emit_constants oc lit = - if Hashtbl.length literal64_labels > 0 then begin - section oc (Sections.with_size 8 lit); - fprintf oc " .balign 8\n"; - Hashtbl.iter (print_literal64 oc) literal64_labels - end; - if Hashtbl.length literal32_labels > 0 then begin - section oc (Sections.with_size 4 lit); - fprintf oc " .balign 4\n"; - Hashtbl.iter (print_literal32 oc) literal32_labels - end; - reset_literals () - let print_optional_fun_info _ = () let print_var_info = elf_print_var_info |