Revision 01d48bb0 src/optimize_machine.ml
src/optimize_machine.ml  

14  14 
open Corelang 
15  15 
open Causality 
16  16 
open Machine_code 
17 
open Dimension 

17  18  
18  19 
let pp_elim fmt elim = 
19  20 
begin 
...  ...  
47  48 
 Power(v1, v2) > Power(eliminate_expr elim v1, eliminate_expr elim v2) 
48  49 
 Cst _  StateVar _ > expr 
49  50  
51 
let eliminate_dim elim dim = 

52 
Dimension.expr_replace_expr (fun v > try dimension_of_value (IMap.find v elim) with Not_found > mkdim_ident dim.dim_loc v) dim 

53  
50  54 
let is_scalar_const c = 
51  55 
match c with 
52  56 
 Const_int _ 
...  ...  
116  120 
2. local assigns then rewrite occurrences of the lhs in the computed accumulator 
117  121 
*) 
118  122  
123 
let static_call_unfold elim (inst, (n, args)) = 

124 
let replace v = 

125 
try 

126 
Machine_code.dimension_of_value (IMap.find v elim) 

127 
with Not_found > Dimension.mkdim_ident Location.dummy_loc v 

128 
in (inst, (n, List.map (Dimension.expr_replace_expr replace) args)) 

129  
119  130 
(** Perform optimization on machine code: 
120  131 
 iterate through step instructions and remove simple local assigns 
121  132 

122  133 
*) 
123  134 
let machine_unfold fanin elim machine = 
124  135 
(*Log.report ~level:1 (fun fmt > Format.fprintf fmt "machine_unfold %a@." pp_elim elim);*) 
125 
let eliminated_vars, new_instrs = instrs_unfold fanin elim machine.mstep.step_instrs in 

126 
let new_locals = List.filter (fun v > not (IMap.mem v.var_id eliminated_vars)) machine.mstep.step_locals 

136 
let elim_consts, mconst = instrs_unfold fanin elim machine.mconst in 

137 
let elim_vars, instrs = instrs_unfold fanin elim_consts machine.mstep.step_instrs in 

138 
let locals = List.filter (fun v > not (IMap.mem v.var_id elim_vars)) machine.mstep.step_locals in 

139 
let minstances = List.map (static_call_unfold elim_consts) machine.minstances in 

140 
let mcalls = List.map (static_call_unfold elim_consts) machine.mcalls 

127  141 
in 
128  142 
{ 
129  143 
machine with 
130  144 
mstep = { 
131  145 
machine.mstep with 
132 
step_locals = new_locals; 

133 
step_instrs = new_instrs 

134 
} 

146 
step_locals = locals; 

147 
step_instrs = instrs 

148 
}; 

149 
mconst = mconst; 

150 
minstances = minstances; 

151 
mcalls = mcalls; 

135  152 
} 
136  153  
137  154 
let instr_of_const top_const = 
138  155 
let const = const_of_top top_const in 
139 
let vdecl = mkvar_decl Location.dummy_loc (const.const_id, mktyp Location.dummy_loc Tydec_any, mkclock Location.dummy_loc Ckdec_any, true) in 

156 
let vdecl = mkvar_decl Location.dummy_loc (const.const_id, mktyp Location.dummy_loc Tydec_any, mkclock Location.dummy_loc Ckdec_any, true, None) in


140  157 
let vdecl = { vdecl with var_type = const.const_type } 
141  158 
in MLocalAssign (vdecl, Cst const.const_value) 
142  159 
Also available in: Unified diff