diff options
Diffstat (limited to 'arm/TargetPrinter.ml')
| -rw-r--r-- | arm/TargetPrinter.ml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/arm/TargetPrinter.ml b/arm/TargetPrinter.ml index 57359f11..20ca59d6 100644 --- a/arm/TargetPrinter.ml +++ b/arm/TargetPrinter.ml @@ -562,15 +562,6 @@ struct current_function_sig := fn.fn_sig; List.iter (print_instruction oc) fn.fn_code - - let emit_constants oc lit = - if not !Constantexpand.literals_in_code && exists_constants () then begin - section oc (Sections.with_size 8 lit); - fprintf oc " .balign 4\n"; - Hashtbl.iter (print_literal64 oc) literal64_labels; - end; - reset_constants () - (* Data *) let print_prologue oc = |