Skip to content
Snippets Groups Projects
Commit 69b1d8e1 authored by Wilke Pierre's avatar Wilke Pierre
Browse files

Add jump to entry node

parent 5bca2a0d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
src/linear_gen.ml
+ 1
− 0
View file @ 69b1d8e1
...@@ -38,6 +38,7 @@ let linear_of_rtl_fun ...@@ -38,6 +38,7 @@ let linear_of_rtl_fun
({ rtlfunargs; rtlfunbody; rtlfunentry; rtlfuninfo }: rtl_fun) = ({ rtlfunargs; rtlfunbody; rtlfunentry; rtlfuninfo }: rtl_fun) =
let block_order = sort_blocks rtlfunbody rtlfunentry in let block_order = sort_blocks rtlfunbody rtlfunentry in
let linearinstrs = let linearinstrs =
Rjmp rtlfunentry ::
List.fold_left (fun l n -> List.fold_left (fun l n ->
match Hashtbl.find_option rtlfunbody n with match Hashtbl.find_option rtlfunbody n with
| None -> l | None -> l
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment