From 426881cde464691b61c5c49cf5038d21aace75fe Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Tue, 21 Apr 2015 10:21:06 +0200
Subject: Support for GCC-style extended asm, continued: - support "r", "m" and
 "i" constraints - support "%Q" and "%R" modifiers for register pairs -
 support register clobbers - split off analysis and transformation of asm
 statements in   cparser/ExtendedAsm.ml

---
 powerpc/TargetPrinter.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'powerpc/TargetPrinter.ml')

diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml
index 49954998..99e2479d 100644
--- a/powerpc/TargetPrinter.ml
+++ b/powerpc/TargetPrinter.ml
@@ -650,7 +650,7 @@ module Target (System : SYSTEM):TARGET =
           fprintf oc "%a:\n" label (transl_label lbl)
       | Pbuiltin(ef, args, res) ->
           begin match ef with
-          | EF_inline_asm(txt, sg) ->
+          | EF_inline_asm(txt, sg, clob) ->
               fprintf oc "%s begin inline assembly\n" comment;
               fprintf oc "\t";
               PrintAnnot.print_inline_asm preg oc (extern_atom txt) sg args res;
-- 
cgit