diff options
| author | Mark Shinwell <mshinwell@janestreet.com> | 2015-12-18 16:42:40 +0000 |
|---|---|---|
| committer | Mark Shinwell <mshinwell@janestreet.com> | 2015-12-18 16:42:40 +0000 |
| commit | 933fdb2687da5c7681b0121ba25ca3548055ee07 (patch) | |
| tree | dabf403c5cb4a60cf7aa5b7511ed816f87e2db11 /asmcomp/amd64 | |
| parent | f6b5c9d579ebc316b5bbe22c321db2e626ae4622 (diff) | |
| download | ocaml-933fdb2687da5c7681b0121ba25ca3548055ee07.tar.gz | |
Improved annotations on Psetfield etc
Diffstat (limited to 'asmcomp/amd64')
| -rw-r--r-- | asmcomp/amd64/selection.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/amd64/selection.ml b/asmcomp/amd64/selection.ml index 857a481dcb..d4907c05b7 100644 --- a/asmcomp/amd64/selection.ml +++ b/asmcomp/amd64/selection.ml @@ -196,7 +196,7 @@ method! select_operation op args = assert false end (* 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' && self#is_immediate n -> |