From fe18b15539ceead1bad1bb7c8f6f0d2f6d58a3aa Mon Sep 17 00:00:00 2001 From: Jacques Garrigue Date: Sat, 31 Jan 2004 03:26:43 +0000 Subject: add specific test support git-svn-id: http://caml.inria.fr/svn/ocaml/branches/newoolab@6099 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- asmcomp/power/arch.ml | 6 ++++++ asmcomp/power/emit.mlp | 1 + 2 files changed, 7 insertions(+) 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`; -- cgit v1.2.1