diff options
| author | Mark Shinwell <mshinwell@gmail.com> | 2016-06-27 08:49:26 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-27 08:49:26 +0100 |
| commit | ca03b4e50021d93ef11f8f4ba315af153cf47a62 (patch) | |
| tree | b1a57ab1991fc34ddb49f5f8f51d6fa26a5735e6 /asmcomp/amd64 | |
| parent | bf30855e94b448f66cb59cb17697edde5e359210 (diff) | |
| download | ocaml-ca03b4e50021d93ef11f8f4ba315af153cf47a62.tar.gz | |
Decorate more Cmm terms with location information (#627)
Diffstat (limited to 'asmcomp/amd64')
| -rw-r--r-- | asmcomp/amd64/selection.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/asmcomp/amd64/selection.ml b/asmcomp/amd64/selection.ml index aed087b70a..37fa8ceef3 100644 --- a/asmcomp/amd64/selection.ml +++ b/asmcomp/amd64/selection.ml @@ -159,7 +159,8 @@ method! select_store is_assign addr exp = match exp with Cconst_int n when self#is_immediate n -> (Ispecific(Istore_int(Nativeint.of_int n, addr, is_assign)), Ctuple []) - | (Cconst_natint n | Cconst_blockheader n) when self#is_immediate_natint n -> + | (Cconst_natint n | Cconst_blockheader (n, _)) + when self#is_immediate_natint n -> (Ispecific(Istore_int(n, addr, is_assign)), Ctuple []) | Cconst_pointer n when self#is_immediate n -> (Ispecific(Istore_int(Nativeint.of_int n, addr, is_assign)), Ctuple []) |