Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
CertiCompil
CompCert-KVX
Commits
294df98b
Commit
294df98b
authored
Apr 02, 2021
by
Cyril SIX
Browse files
Cleaning
parent
b6b7b6a5
Changes
1
Hide whitespace changes
Inline
Side-by-side
backend/Duplicateaux.ml
View file @
294df98b
...
...
@@ -339,7 +339,6 @@ let get_directions f code entrypoint = begin
let
loop_info
=
get_loop_info
f
is_loop_header
bfs_order
code
in
let
directions
=
ref
(
PTree
.
map
(
fun
n
i
->
None
)
code
)
in
(* None <=> no predicted direction *)
begin
debug_flag
:=
true
;
(* ptree_printbool is_loop_header; *)
(* debug "\n"; *)
List
.
iter
(
fun
n
->
...
...
@@ -367,7 +366,7 @@ let get_directions f code entrypoint = begin
end
)
|
_
->
()
)
bfs_order
;
debug_flag
:=
false
;
)
bfs_order
;
!
directions
end
end
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment