diff options
Diffstat (limited to 'asmcomp/power/emit.mlp')
| -rw-r--r-- | asmcomp/power/emit.mlp | 1 |
1 files changed, 1 insertions, 0 deletions
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`; |