diff options
| author | Michael Schmidt <github@mschmidt.me> | 2015-12-15 16:56:41 +0100 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2015-12-15 16:56:41 +0100 |
| commit | 31f7b83e86a2d80d2e310e43a00bfde994c5ab78 (patch) | |
| tree | b106fa27bb9208e910a900d8f0e3dc7edc56ad2b /powerpc/TargetPrinter.ml | |
| parent | 8adc3425d9db30ba61815408548ec2bbb6a5afc6 (diff) | |
| download | compcert-kvx-31f7b83e86a2d80d2e310e43a00bfde994c5ab78.tar.gz compcert-kvx-31f7b83e86a2d80d2e310e43a00bfde994c5ab78.zip | |
bug 17752, fix tab-indentation in assembly output
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 3f12a829..3d183972 100644 --- a/powerpc/TargetPrinter.ml +++ b/powerpc/TargetPrinter.ml @@ -648,7 +648,7 @@ module Target (System : SYSTEM):TARGET = fprintf oc " rldicl %a, %a, %ld, %ld\n" ireg r1 ireg r2 (camlint_of_coqint c1) (camlint_of_coqint c2) | Prldicr(r1, r2, c1, c2) -> - fprintf oc " rldicr %a, %a, %ld, %ld\n" + fprintf oc " rldicr %a, %a, %ld, %ld\n" ireg r1 ireg r2 (camlint_of_coqint c1) (camlint_of_coqint c2) | Prlwinm(r1, r2, c1, c2) -> let (mb, me) = rolm_mask (camlint_of_coqint c2) in |