From 69b1d8e1d92f505264d29e619e2445bae023b771 Mon Sep 17 00:00:00 2001
From: Pierre Wilke <pierre.wilke@centralesupelec.fr>
Date: Thu, 12 Mar 2020 10:11:40 +0100
Subject: [PATCH] Add jump to entry node
---
src/linear_gen.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/linear_gen.ml b/src/linear_gen.ml
index 3b75498..8c049a3 100644
--- a/src/linear_gen.ml
+++ b/src/linear_gen.ml
@@ -38,6 +38,7 @@ let linear_of_rtl_fun
({ rtlfunargs; rtlfunbody; rtlfunentry; rtlfuninfo }: rtl_fun) =
let block_order = sort_blocks rtlfunbody rtlfunentry in
let linearinstrs =
+ Rjmp rtlfunentry ::
List.fold_left (fun l n ->
match Hashtbl.find_option rtlfunbody n with
| None -> l
--
GitLab