From 84c3580d0514c24a7c29eeec635e16183c3c5c65 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Fri, 21 Aug 2015 15:35:13 +0200 Subject: Simplify the handling of extended inline asm, taking advantage of the new, structured builtin arguments and results. --- ia32/TargetPrinter.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'ia32/TargetPrinter.ml') diff --git a/ia32/TargetPrinter.ml b/ia32/TargetPrinter.ml index 6e931e13..beddd1e8 100644 --- a/ia32/TargetPrinter.ml +++ b/ia32/TargetPrinter.ml @@ -661,9 +661,7 @@ module Target(System: SYSTEM):TARGET = print_annot_stmt oc (extern_atom txt) targs args | EF_inline_asm(txt, sg, clob) -> fprintf oc "%s begin inline assembly\n\t" comment; - print_inline_asm preg oc (extern_atom txt) sg - (params_of_builtin_args args) - (params_of_builtin_res res); + print_inline_asm preg oc (extern_atom txt) sg args res; fprintf oc "%s end inline assembly\n" comment | _ -> assert false -- cgit