Project

General

Profile

Revision 9b0432bc lib/backends.ml

View differences:

lib/backends.ml
3 3

  
4 4
let setup () =
5 5
  match !Options.output with
6
  | "tiny" -> begin
7
    Options.global_inline := true;
8
    Options.optimization := 0;
9
    Options.const_unfold := true;
10
  end
11

  
6 12
  | "emf" ->
7 13
     (* Not merging branches *)
8 14
     join_guards := false;

Also available in: Unified diff