diff options
Diffstat (limited to 'powerpc/TargetPrinter.ml')
-rw-r--r-- | powerpc/TargetPrinter.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml index eca7a1b8..f5295777 100644 --- a/powerpc/TargetPrinter.ml +++ b/powerpc/TargetPrinter.ml @@ -414,6 +414,8 @@ module Target (System : SYSTEM):TARGET = end | Pbl(s, sg) -> fprintf oc " bl %a\n" symbol s + | Pbne lbl -> + fprintf oc " bne- %a\n" label (transl_label lbl) | Pbs(s, sg) -> fprintf oc " b %a\n" symbol s | Pblr -> |