diff options
Diffstat (limited to 'asmcomp/i386')
| -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' -> |