From 794b0530851265d08e369ff2eaf791b47b48c829 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 20 Jun 2013 11:26:52 +0000
Subject: Missing case for EF_inline_asm.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2284 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 powerpc/PrintAsm.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'powerpc')

diff --git a/powerpc/PrintAsm.ml b/powerpc/PrintAsm.ml
index b823268..ab8b4f3 100644
--- a/powerpc/PrintAsm.ml
+++ b/powerpc/PrintAsm.ml
@@ -963,6 +963,8 @@ let instr_size = function
           if sz <= 64 then (sz / 4) * 2 + 6 else 11
       | EF_annot_val(txt, targ) ->
           0
+      | EF_inline_asm txt ->
+          8 (* reasonable? default *)
       | _ ->
           assert false
       end
-- 
cgit v1.2.3