Test commit into the README file.
[Faustine.git] / backup / faustexp.ml
1 (**
2 Module: Faustexp
3 Description: dimension estimation and delay estimation of faust expressions.
4 @author WANG Haisheng
5 Created: 03/06/2013 Modified: 04/06/2013
6 *)
7
8 open Types;;
9 open Value;;
10
11 (* EXCEPTIONS *)
12
13 (** Exception raised in beam matching of faust expressions.*)
14 exception Beam_Matching_Error of string;;
15
16 (** Exception raised in case that the branch under call hasn't yet been programed.*)
17 exception NotYetDone;;
18
19
20 (* PROCESS DELAY ESTIMATION *)
21
22 (** val delay : faust_exp -> int, returns the number of delays estimated staticly.
23 Attention: delays of "@" is estimated as 10 constant,
24 delays of "vectorize" and "serialize" haven't been implemented,
25 delays of "rdtable" hasn't been implemented.*)
26 let rec delay exp_faust = match exp_faust with
27 |Const v -> 0
28 |Ident s ->
29 (
30 match s with
31 |Add -> 0
32 |Sup -> 0
33 |Mul -> 0
34 |Div -> 0
35 |Pass -> 0
36 |Stop -> 0
37 |Mem -> 1
38 |Delay -> 100000 (* danger! *)
39 |Floor -> 0
40 |Int -> 0
41 |Sin -> 0
42 |Cos -> 0
43 |Atan -> 0
44 |Atantwo -> 0
45 |Sqrt -> 0
46 |Rdtable -> 100000 (* danger! *)
47 |Mod -> 0
48 |Larger -> 0
49 |Smaller -> 0
50 |Vectorize -> 100 (* danger! *)
51 |Concat -> 0
52 |Nth -> 0
53 |Serialize -> 0
54 |Prefix -> 1
55 |Selecttwo -> 0
56 |Selectthree -> 0
57 )
58 |Par (e1, e2) -> max (delay e1) (delay e2)
59 |Seq (e1, e2) -> (delay e1) + (delay e2)
60 |Split (e1, e2) -> (delay e1) + (delay e2)
61 |Merge (e1, e2) -> (delay e1) + (delay e2)
62 |Rec (e1, e2) -> delay e1;;
63
64
65 (* PARSER *)
66
67 (** val exp_of_string : string -> faust_exp, faust expression parser. *)
68 let exp_of_string s = (Parser.main Lexer.token (Lexing.from_string s));;
69
70
71
72 (* PROCESS DIMENSION ESTIMATION *)
73 (* process dimension := (size of input beam, size of output beam).*)
74
75
76 (** val get_root : dimension -> int * int, returns the root of dimension tree. *)
77 let get_root = fun d_tree -> match d_tree with
78 | End d -> d
79 | Tree (d, branches) -> d;;
80
81
82 (** val subtree : dimention -> int -> dimension, returns a subtree of dimension tree.*)
83 let subtree = fun d_tree -> fun i ->
84 match d_tree with
85 | End d -> raise (Beam_Matching_Error "Subtree left absent.")
86 | Tree (d, branches) -> (
87 match branches with
88 (left, right) -> if i = 0 then left else right);;
89
90 (** val subtree_left : dimension -> dimension, returns the left subtree of dimension tree.*)
91 let subtree_left = fun d_tree -> subtree d_tree 0;;
92
93
94 (** val subtree_right : dimension -> dimension, returns the right subtree of dimension tree.*)
95 let subtree_right = fun d_tree -> subtree d_tree 1;;
96
97
98 (** val d_par : int * int -> int * int -> int * int, process dimension for constructor "par(,)",
99 which is the addition of two dimensions.*)
100 let d_par a b = (((fst a) + (fst b)), ((snd a) + (snd b)));;
101
102
103 (** val d_seq : int * int -> int * int -> int * int, process dimension for constructor "seq(:)",
104 which is (size of input beam of first exp, size of output beam of second exp)
105 along with beam matching.*)
106 let d_seq a b = if (snd a) = (fst b) then (fst a, snd b) else raise (Beam_Matching_Error "seq");;
107
108
109 (** val d_split : int * int -> int * int -> int * int, process dimension for constructor "split(<:)",
110 which is (size of input beam of first exp, size of output beam of second exp)
111 along with beam matching.*)
112 let d_split a b =
113 if ((fst b) mod (snd a)) = 0 then
114 (fst a, snd b)
115 else raise (Beam_Matching_Error "split");;
116
117
118 (** val d_merge : int * int -> int * int -> int * int, process dimension for constructor "merge(:>)",
119 which is (size of input beam of first exp, size of output beam of second exp)
120 along with beam matching. *)
121 let d_merge a b =
122 if ((snd a) mod (fst b)) = 0 then
123 (fst a, snd b)
124 else raise (Beam_Matching_Error "merge");;
125
126
127 (** val d_rec : int * int -> int * int -> int * int, process dimension for constructor "rec(~)",
128 which is (size of input beam of first exp - size of output beam of second exp,
129 size of output beam of first exp)
130 along with beam matching.*)
131 let d_rec a b =
132 if (fst a) >= (snd b) && (snd a) >= (fst b) then
133 ((fst a) - (snd b), snd a)
134 else raise (Beam_Matching_Error "rec");;
135
136
137 (** val dim : faust_exp -> int * int, returns dimension for faust expression,
138 along with beam matching.*)
139 let rec dim exp_faust =
140
141 (** val dimension_constructor : ((int * int) -> (int * int) -> (int * int)) -> faust_exp
142 -> faust_exp -> dimension,
143 returns the dimension tree of constructor(e1, e2).*)
144 let dimension_constructor = fun constructor -> fun e1 -> fun e2 ->
145 let subtree1 = dim e1 in
146 let subtree2 = dim e2 in
147 let root = constructor (get_root subtree1) (get_root subtree2) in
148 Tree (root, (subtree1, subtree2)) in
149
150 match exp_faust with
151 |Const v -> End (0, 1)
152 |Ident s ->
153 (
154 match s with
155 |Add -> End (2, 1)
156 |Sup -> End (2, 1)
157 |Mul -> End (2, 1)
158 |Div -> End (2, 1)
159 |Pass -> End (1, 1)
160 |Stop -> End (1, 0)
161 |Mem -> End (1, 1)
162 |Delay -> End (2, 1)
163 |Floor -> End (1, 1)
164 |Int -> End (1, 1)
165 |Sin -> End (1, 1)
166 |Cos -> End (1, 1)
167 |Atan -> End (1, 1)
168 |Atantwo -> End (2, 1)
169 |Sqrt -> End (1, 1)
170 |Rdtable -> End (3, 1)
171 |Mod -> End (2, 1)
172 |Vectorize -> End (2, 1)
173 |Concat -> End (2, 1)
174 |Nth -> End (2, 1)
175 |Serialize -> End (1, 1)
176 |Larger -> End (2, 1)
177 |Smaller -> End (2, 1)
178 |Prefix -> End (2, 1)
179 |Selecttwo -> End (3, 1)
180 |Selectthree -> End (4, 1)
181 )
182
183 |Par (e1, e2) -> dimension_constructor d_par e1 e2
184 |Seq (e1, e2) -> dimension_constructor d_seq e1 e2
185 |Split (e1, e2) -> dimension_constructor d_split e1 e2
186 |Merge (e1, e2) -> dimension_constructor d_merge e1 e2
187 |Rec (e1, e2) -> dimension_constructor d_rec e1 e2;;
188
189
190
191 (* AUXILIARY 'CONVERT_TO_STRING' FUNCTIONS *)
192
193 (** val print_exp : faust_exp -> unit, print to console the input faust expression.*)
194 let print_exp exp =
195 let rec string_of_exp exp = match exp with
196 |Const v -> "Const" ^ " (" ^ (string_of_value v) ^ ")"
197 |Ident s -> "Ident" ^ " \"" ^ "s" ^ "\""
198 |Par (e1, e2) -> "Par" ^ " (" ^ (string_of_exp e1) ^ ", " ^ (string_of_exp e2) ^ ")"
199 |Seq (e1, e2) -> "Seq" ^ " (" ^ (string_of_exp e1) ^ ", " ^ (string_of_exp e2) ^ ")"
200 |Split (e1, e2) -> "Split" ^ " (" ^ (string_of_exp e1) ^ ", " ^ (string_of_exp e2) ^ ")"
201 |Merge (e1, e2) -> "Merge" ^ " (" ^ (string_of_exp e1) ^ ", " ^ (string_of_exp e2) ^ ")"
202 |Rec (e1, e2) -> "Rec" ^ " (" ^ (string_of_exp e1) ^ ", " ^ (string_of_exp e2) ^ ")"
203 in
204 print_string("Parer : Types.faust_exp = "^ (string_of_exp exp));;