Revision f69e7ea2
Added by Lélio Brun about 2 years ago
| 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
add -O -1 flag to disable fusion of conditionals