Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Avoid pushing test deep inside conditions

master
Pierre Chambart 2016-01-22 09:36:59 +01:00
parent 9fd67a6052
commit 93956dc1ef
1 changed files with 1 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
asmcomp/cmmgen.ml
View File

@ -432,7 +432,7 @@ let safe_mod_bi =
(* Bool *)
let rec test_bool = function
let test_bool = function
Cop(Caddi, [Cop(Clsl, [c; Cconst_int 1]); Cconst_int 1]) -> c
| Cop(Clsl, [c; Cconst_int 1]) -> c
| Cconst_int n ->
@ -440,10 +440,6 @@ let rec test_bool = function
Cconst_int 0
else
Cconst_int 1
| Clet(id, exp, body) ->
Clet(id, exp, test_bool body)
| Cifthenelse(cond, ifso, ifnot) ->
Cifthenelse(cond, test_bool ifso, test_bool ifnot)
| c -> Cop(Ccmpi Cne, [c; Cconst_int 1])
(* Float *)