From 8bbb1bbaad236901afea1cbb7033dcc097e7b94e Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Sun, 12 Apr 2020 08:30:14 +0200 Subject: fix IA32 profiling bug --- x86/TargetPrinter.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'x86') diff --git a/x86/TargetPrinter.ml b/x86/TargetPrinter.ml index 3ffad3d0..b690c817 100644 --- a/x86/TargetPrinter.ml +++ b/x86/TargetPrinter.ml @@ -176,7 +176,8 @@ module ELF_System : SYSTEM = begin fprintf oc " pushl $%s\n" to_be_called; fprintf oc " call atexit\n"; - fprintf oc " addl $4, %%esp\n" + fprintf oc " addl $4, %%esp\n"; + fprintf oc " ret\n" end let x86_profiling_stub oc nr_items @@ -196,7 +197,8 @@ module ELF_System : SYSTEM = fprintf oc " pushl $%s\n" profiling_id_table_name; fprintf oc " pushl $%d\n" nr_items; fprintf oc " call %s\n" profiling_write_table_helper ; - fprintf oc " addl $12, %%esp\n" + fprintf oc " addl $12, %%esp\n"; + fprintf oc " ret\n" end;; let print_epilogue oc = -- cgit