diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2022-08-30 11:07:22 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-09-03 10:41:35 +0200 |
| commit | 941c3f023f473731d5a3399d950c746d0cadf46a (patch) | |
| tree | 7f0a2cfa063f835a76cdf27e9ab51ecc812ce199 | |
| parent | d5fda4fde03571e6dbc46729767924be7ac41920 (diff) | |
| download | compcert-941c3f023f473731d5a3399d950c746d0cadf46a.tar.gz compcert-941c3f023f473731d5a3399d950c746d0cadf46a.zip | |
Remove unused functions.
The `reset_constants` was only used for ARM and there it was superfluous
since the jumptables, which it additionally resets in contrast to
`reset_literals`, are always empty since jumptables are handled directly
in during printing of the instruction.
The `exists_constants` function is now also unused since we test directly
for the different sizes in `emit_constants`.
| -rw-r--r-- | backend/PrintAsmaux.ml | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/backend/PrintAsmaux.ml b/backend/PrintAsmaux.ml index f5741113..fd978c34 100644 --- a/backend/PrintAsmaux.ml +++ b/backend/PrintAsmaux.ml @@ -98,13 +98,6 @@ let reset_literals () = Hashtbl.clear literal32_labels; Hashtbl.clear literal64_labels -let reset_constants () = - jumptables := []; - reset_literals () - -let exists_constants () = - Hashtbl.length literal32_labels > 0 || Hashtbl.length literal64_labels > 0 - (* Variables used for the handling of varargs *) let current_function_stacksize = ref 0l |