diff options
| author | alainfrisch <alain@frisch.fr> | 2015-12-01 13:12:50 +0100 |
|---|---|---|
| committer | alainfrisch <alain@frisch.fr> | 2015-12-01 13:12:50 +0100 |
| commit | 10e44a149ec9a68d6be02ea2598566a69530641b (patch) | |
| tree | 286cd84e611c2b3cbbe9fdf086c7110b0b0aaa39 /asmcomp/i386/selection.ml | |
| parent | 0f901d769ad471710162ab69e7fd69cafc1ba718 (diff) | |
| download | ocaml-flambda_trunk.tar.gz | |
Some fixes, in particular for Windows.flambda_trunk
Diffstat (limited to 'asmcomp/i386/selection.ml')
| -rw-r--r-- | asmcomp/i386/selection.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/i386/selection.ml b/asmcomp/i386/selection.ml index be76b2c61f..e4d5ecebb3 100644 --- a/asmcomp/i386/selection.ml +++ b/asmcomp/i386/selection.ml @@ -215,7 +215,7 @@ method! select_operation op args = self#select_floatarith Idivf (Ispecific Idivfrev) Ifloatdiv Ifloatdivrev args (* Recognize store instructions *) - | Cstore (Word_int | Word_val as chunk) -> + | Cstore ((Word_int | Word_val as chunk, _init)) -> begin match args with [loc; Cop(Caddi, [Cop(Cload _, [loc']); Cconst_int n])] when loc = loc' -> |