diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2022-08-25 15:49:21 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-09-03 10:41:30 +0200 |
commit | d5fda4fde03571e6dbc46729767924be7ac41920 (patch) | |
tree | e69a0b4b4b6ee32b0fa8f655194f024739405cbd /powerpc | |
parent | ad6467099ac7147040c59c022635e61370168568 (diff) | |
download | compcert-d5fda4fde03571e6dbc46729767924be7ac41920.tar.gz compcert-d5fda4fde03571e6dbc46729767924be7ac41920.zip |
More simplifications for literal printing
Use the same code to split 64 bit literals into two 32 bit halfs as is
used for 64 bit initialization data and print them in PrintAsm. This
removes the need for a target specific printing function for 64 bit
literals.
Diffstat (limited to 'powerpc')
-rw-r--r-- | powerpc/TargetPrinter.ml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml index 5abf883d..49209501 100644 --- a/powerpc/TargetPrinter.ml +++ b/powerpc/TargetPrinter.ml @@ -910,11 +910,6 @@ module Target (System : SYSTEM):TARGET = (* Print the code for a function *) - let print_literal64 oc n lbl = - let nlo = Int64.to_int32 n - 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_fun_info = elf_print_fun_info let print_optional_fun_info _ = () |