diff options
-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`; |