diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-11-08 10:52:26 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-11-08 10:52:26 +0100 |
| commit | 90f4de67b8cd1ac753d099100d4612cc3eabe4f1 (patch) | |
| tree | 9c8627eb73d56f2247039c36c2e73df5388f9420 /powerpc/TargetPrinter.ml | |
| parent | 9e9c57616c9cf683ed65b1ba60510b8ae8066700 (diff) | |
| download | compcert-kvx-90f4de67b8cd1ac753d099100d4612cc3eabe4f1.tar.gz compcert-kvx-90f4de67b8cd1ac753d099100d4612cc3eabe4f1.zip | |
Fix jumptable issue.
Instead of using reset_constants use reset_literals which avoids
emptying the jumptables.
Bug 22525
Diffstat (limited to 'powerpc/TargetPrinter.ml')
| -rw-r--r-- | powerpc/TargetPrinter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml index 17bd06b5..f15e6ec1 100644 --- a/powerpc/TargetPrinter.ml +++ b/powerpc/TargetPrinter.ml @@ -949,7 +949,7 @@ module Target (System : SYSTEM):TARGET = Hashtbl.iter (print_literal64 oc) literal64_labels; Hashtbl.iter (print_literal32 oc) literal32_labels; end; - reset_constants () + reset_literals () let print_optional_fun_info _ = () |