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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
|
(* ledit bin/toplevel.top -deps tests/slicing/ex_spec_interproc.c
#use "tests/slicing/select.ml";;
ou
#use "tests/slicing/ex_spec_interproc.ml";;
*)
include LibSelect;;
let main _ =
(*--------------------------*)
(* find the kernel functions *)
let _kf_g = Globals.Functions.find_def_by_name "g" in
let kf_f = Globals.Functions.find_def_by_name "f" in
let kf_main = Globals.Functions.find_def_by_name "main" in
(* add a request to select f result (output 0) in the project *)
let select_f_out0 project =
let ff_f = !S.Slice.create project kf_f in
let select = select_retres project kf_f in
!S.Request.add_slice_selection_internal project ff_f select;
print_requests project;
ff_f
in
(*=========================================================================*)
(* DEBUT DU TEST *)
(*=========================================================================*)
(* mode DontSliceCalls *)
!Db.Slicing.set_modes ~calls:0 () ;
let project = mk_project () in
let _ff_f = select_f_out0 project in
!S.Request.apply_all_internal project; print_project project;
extract_and_print project;
(*=========================================================================*)
(* mode PropagateMarksOnly *)
!Db.Slicing.set_modes ~calls:1 () ;
let project = mk_project () in
let _ff_f = select_f_out0 project in
!S.Request.apply_all_internal project; print_project project;
extract_and_print project;
(*=========================================================================*)
(* mode MinimizeNbCalls *)
!Db.Slicing.set_modes ~calls:2 () ;
let project = mk_project () in
(* slice 'f' to compute its result (output 0) and propagate to 'g' *)
let ff_f = select_f_out0 project in
!S.Request.apply_all_internal project; print_project project;
(* call 'f' slice in 'main' *)
let ff_main = !S.Slice.create project kf_main in
!S.Request.add_call_slice project ~caller:ff_main ~to_call:ff_f;
!S.Request.apply_all_internal project;
print_project project;
extract_and_print project;
(*---------------------------------------------- *)
(* test remove_slice and select_stmt_computation *)
(* we remove ff_main : ff_f should not be called anymore *)
!S.Slice.remove project ff_main;
print_project project;
(* try to change ff_f to check that ff_main is not in its called_by anymore *)
(* select "a" before inst 14 (d++) *)
(* VP: initial value of 34 does not refer to d++ (was 30) 9 corresponds
to d++. old ki 34 corresponds to return(X), new ki 13 *)
print_stmt project kf_f;
let ki = get_stmt 10(*34*) in (* d++ *)
let select = select_data_before_stmt "a" ki project kf_f in
!S.Request.add_slice_selection_internal project ff_f select;
print_requests project;
!S.Request.apply_all_internal project; print_project project;
(*=========================================================================*)
(* Test 'extract' when there are 2 slices for the same function *)
!Db.Slicing.set_modes ~calls:2 () ;
let project = mk_project () in
let ff_f_1 = !S.Slice.create project kf_f in
let select = select_retres project kf_f in
!S.Request.add_slice_selection_internal project ff_f_1 select;
let ff_f_2 = !S.Slice.create project kf_f in
let select = select_data "Z" project kf_f in
!S.Request.add_slice_selection_internal project ff_f_2 select;
!S.Request.apply_all_internal project;
print_ff ff_f_2;
extract_and_print project;
(*=========================================================================*)
(* mode PreciseSlices *)
!Db.Slicing.set_modes ~calls:3 () ;
let project = test_select_retres ~do_prop_to_callers:true "f" in
print_project project;;
(*=========================================================================*)
let () = Db.Main.extend main
|
