diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-09 14:54:42 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-09 14:54:42 +0100 |
| commit | a3c0094508f9f4985de4509380dada5f5c85e115 (patch) | |
| tree | 5d3758130d08ae008e87454dadf603780612b830 /powerpc/TargetPrinter.ml | |
| parent | aaec016c81c062ad821fc6a6b8f000308ffaad7f (diff) | |
| download | compcert-a3c0094508f9f4985de4509380dada5f5c85e115.tar.gz compcert-a3c0094508f9f4985de4509380dada5f5c85e115.zip | |
Changed arm backend to the common backend printer.
Diffstat (limited to 'powerpc/TargetPrinter.ml')
| -rw-r--r-- | powerpc/TargetPrinter.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml index d7249d17..4968e2d2 100644 --- a/powerpc/TargetPrinter.ml +++ b/powerpc/TargetPrinter.ml @@ -634,13 +634,13 @@ module Target (System : SYSTEM):TARGET = (* Emit a sequence of instructions *) - let print_instructions oc code = + let print_instructions oc fn = let rec aux oc tbl pc fallthrough = function | [] -> () | i :: c -> print_instruction oc tbl pc fallthrough i; aux oc tbl (pc + instr_size i) (instr_fall_through i) c in - aux oc (label_positions PTree.empty 0 code) 0 true code + aux oc (label_positions PTree.empty 0 fn.fn_code) 0 true fn.fn_code (* Print the code for a function *) |