Project

General

Profile

« Previous | Next » 

Revision f69e7ea2

Added by LĂ©lio Brun about 2 years ago

add -O -1 flag to disable fusion of conditionals

View differences:

src/backends/backends.ml
2 2
let join_guards = ref true
3 3

  
4 4
let setup () =
5
  match !Options.output with
6
  | "emf" ->
7
     (* Not merging branches *)
8
     join_guards := false;
9
     (* In case of a default "int" type, substitute it with the legal int32 value *)
10
     if !Options.int_type = "int" then
11
       Options.int_type := "int32"
12
  | _ -> ()
5
  if !Options.output = "emf" then begin
6
    (* Not merging branches *)
7
    join_guards := false;
8
    (* In case of a default "int" type, substitute it with the legal int32 value *)
9
    if !Options.int_type = "int" then Options.int_type := "int32"
10
  end;
11
  if !Options.optimization < 0 then
12
    join_guards := false
13 13

  
14 14
let is_functional () = 
15 15
  match !Options.output with

Also available in: Unified diff