blob: 453d40ce8c68cb1b49c1bf973fcf8b219655413b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
*** kildall.ml.orig 2006-09-11 13:50:56.266682206 +0200
--- kildall.ml 2006-09-11 14:29:50.392200227 +0200
***************
*** 163,171 ****
Maps.PMap.t option **)
let fixpoint successors topnode transf entrypoints =
! DS.fixpoint (fun s ->
! Maps.PMap.get s (make_predecessors successors topnode)) topnode transf
! entrypoints
end
module type ORDERED_TYPE_WITH_TOP =
--- 163,170 ----
Maps.PMap.t option **)
let fixpoint successors topnode transf entrypoints =
! let pred = make_predecessors successors topnode in
! DS.fixpoint (fun s -> Maps.PMap.get s pred) topnode transf entrypoints
end
module type ORDERED_TYPE_WITH_TOP =
***************
*** 264,271 ****
(** val basic_block_map : (positive -> positive list) -> positive ->
positive -> bbmap **)
! let basic_block_map successors topnode entrypoint x =
! is_basic_block_head entrypoint (make_predecessors successors topnode) x
(** val basic_block_list : positive -> bbmap -> positive list **)
--- 263,270 ----
(** val basic_block_map : (positive -> positive list) -> positive ->
positive -> bbmap **)
! let basic_block_map successors topnode entrypoint =
! is_basic_block_head entrypoint (make_predecessors successors topnode)
(** val basic_block_list : positive -> bbmap -> positive list **)
|