diff options
Diffstat (limited to 'backend/PrintAsmaux.ml')
| -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 |