diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-06 13:19:59 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-06 13:19:59 +0100 |
| commit | 47a77e398dd3815a20622934cdeeb4f0e076f42b (patch) | |
| tree | 6e531b417c17aeac2508225651afc7aa8d989c6a /powerpc/TargetPrinter.ml | |
| parent | 20ee821830467d091984ccf9ed646de7975866a7 (diff) | |
| download | compcert-47a77e398dd3815a20622934cdeeb4f0e076f42b.tar.gz compcert-47a77e398dd3815a20622934cdeeb4f0e076f42b.zip | |
Changed the ia32 backend to the new Printer.
Diffstat (limited to 'powerpc/TargetPrinter.ml')
| -rw-r--r-- | powerpc/TargetPrinter.ml | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml index 97fa952d..d7249d17 100644 --- a/powerpc/TargetPrinter.ml +++ b/powerpc/TargetPrinter.ml @@ -701,11 +701,8 @@ module Target (System : SYSTEM):TARGET = | [t;l;j] -> (t, l, j) | _ -> (Section_text, Section_literal, Section_jumptable) - let reset_constants () = - float64_literals := []; - float32_literals := []; - jumptables := [] - + let reset_constants = reset_constants + let print_var_info = true let print_comm_symb oc sz name align = |