diff options
author | Pierre Weis <Pierre.Weis@inria.fr> | 2000-02-08 20:00:06 +0000 |
---|---|---|
committer | Pierre Weis <Pierre.Weis@inria.fr> | 2000-02-08 20:00:06 +0000 |
commit | 39553e99728ed01708c4004d59d00e1dd73243f5 (patch) | |
tree | 2c767f5a867592b98e3d8e64081b0e22d681ea10 /asmcomp/arm | |
parent | 02969bf3de46371bee8d9468b84d6bb40454794b (diff) | |
download | ocaml-39553e99728ed01708c4004d59d00e1dd73243f5.tar.gz |
Révision de l'impression à l'aide de format: utilisation de printf
pour condenser les programmes et aussi préparer une future (éventuelle)
internationalisation d'Objective Caml.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2796 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/arm')
-rw-r--r-- | asmcomp/arm/arch.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/asmcomp/arm/arch.ml b/asmcomp/arm/arch.ml index 65449bd67d..f6c5bb0ad4 100644 --- a/asmcomp/arm/arch.ml +++ b/asmcomp/arm/arch.ml @@ -61,7 +61,7 @@ let print_addressing printreg addr arg = match addr with Iindexed n -> printreg arg.(0); - if n <> 0 then begin print_string " + "; print_int n end + if n <> 0 then printf " + %i" n end let print_specific_operation printreg op arg = match op with @@ -74,12 +74,12 @@ let print_specific_operation printreg op arg = end; printreg arg.(1); if shift >= 0 - then begin print_string " << "; print_int shift end - else begin print_string " >> "; print_int (-shift) end + then printf " << %i" shift + else printf " >> %i" (-shift) | Ishiftcheckbound n -> print_string "check "; printreg arg.(0); - print_string " >> "; print_int n; print_string " > "; + print_string " >> %i > " n; printreg arg.(1) | Irevsubimm n -> print_int n; print_string " - "; printreg arg.(0) |