diff options
author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2004-01-31 03:26:43 +0000 |
---|---|---|
committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2004-01-31 03:26:43 +0000 |
commit | fe18b15539ceead1bad1bb7c8f6f0d2f6d58a3aa (patch) | |
tree | 25edcc5d89fdf0d08d45c412bfa42880f7a04f32 | |
parent | 9a023928563f677c250cb69e441747f7d2fa0647 (diff) | |
download | ocaml-newoolab.tar.gz |
add specific test supportnewoolab
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/newoolab@6099 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | asmcomp/power/arch.ml | 6 | ||||
-rw-r--r-- | asmcomp/power/emit.mlp | 1 |
2 files changed, 7 insertions, 0 deletions
diff --git a/asmcomp/power/arch.ml b/asmcomp/power/arch.ml index 6b9bf5d9d9..567f2a6b22 100644 --- a/asmcomp/power/arch.ml +++ b/asmcomp/power/arch.ml @@ -28,6 +28,8 @@ type specific_operation = | Imultsubf (* multiply and subtract *) | Ialloc_far of int (* allocation in large functions *) +type 'a specific_test = unit + (* Addressing modes *) type addressing_mode = @@ -82,6 +84,10 @@ let print_specific_operation printreg op ppf arg = | Ialloc_far n -> fprintf ppf "alloc_far %d" n +let print_specific_test r c t p a = () + +let invert_specific_test i () = () + (* Distinguish between the PowerPC and the Power/RS6000 submodels *) let powerpc = diff --git a/asmcomp/power/emit.mlp b/asmcomp/power/emit.mlp index 669ed948d4..1bbe3023a4 100644 --- a/asmcomp/power/emit.mlp +++ b/asmcomp/power/emit.mlp @@ -831,6 +831,7 @@ let rec emit_instr i dslot = ` andi. {emit_gpr 0}, {emit_reg i.arg.(0)}, 1\n`; emit_delay dslot; ` beq {emit_label lbl}\n` + | Ispectest () -> () end | Lcondbranch3(lbl0, lbl1, lbl2) -> ` cmpwi {emit_reg i.arg.(0)}, 1\n`; |