Project

General

Profile

Revision 1837ce98 src/optimize_machine.ml

View differences:

src/optimize_machine.ml
45 45
  (* When optimization >= 3, we also inline any basic operator call. 
46 46
     All those are returning a single ouput *)
47 47
  | MStep([v], id, vl) when
48
      List.mem id Basic_library.internal_funs 
48
      Basic_library.is_internal_fun id
49 49
      && !Options.optimization >= 3
50 50
      -> 	  assert false 
51 51
(*    true, apply elim v (Fun(id, vl))*)
......
53 53
    
54 54
  | MLocalAssign (v, ((Fun (id, il)) as e)) when 
55 55
      not (List.mem v outputs) 
56
      && List.mem id Basic_library.internal_funs (* this will avoid inlining ite *)
56
      && Basic_library.is_internal_fun id (* this will avoid inlining ite *)
57 57
      && !Options.optimization >= 3 
58 58
	-> (
59 59
(*	  Format.eprintf "WE STORE THE EXPRESSION DEFINING %s TO ELIMINATE IT@." v.var_id; *)

Also available in: Unified diff