fix regression (extraneous moves) caused by previous Cconst_blockheader patch

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14648 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Mark Shinwell 2014-04-21 06:28:16 +00:00
parent dd7178e2b1
commit cceb1c7361
2 changed files with 2 additions and 2 deletions

View File

@ -156,7 +156,7 @@ method! select_store addr exp =
match exp with
Cconst_int n when self#is_immediate n ->
(Ispecific(Istore_int(Nativeint.of_int n, addr)), Ctuple [])
| Cconst_natint n when self#is_immediate_natint n ->
| (Cconst_natint n | Cconst_blockheader n) when self#is_immediate_natint n ->
(Ispecific(Istore_int(n, addr)), Ctuple [])
| Cconst_pointer n when self#is_immediate n ->
(Ispecific(Istore_int(Nativeint.of_int n, addr)), Ctuple [])

View File

@ -182,7 +182,7 @@ method! select_store addr exp =
match exp with
Cconst_int n ->
(Ispecific(Istore_int(Nativeint.of_int n, addr)), Ctuple [])
| Cconst_natint n ->
| (Cconst_natint n | Cconst_blockheader n) ->
(Ispecific(Istore_int(n, addr)), Ctuple [])
| Cconst_pointer n ->
(Ispecific(Istore_int(Nativeint.of_int n, addr)), Ctuple [])