Permalink
Browse files

fix regression (extraneous moves) caused by previous Cconst_blockhead…

…er patch

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14648 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  • Loading branch information...
1 parent dd7178e commit cceb1c73615360561dbbf0f2884371d99c4af842 @mshinwell mshinwell committed Apr 21, 2014
Showing with 2 additions and 2 deletions.
  1. +1 −1 asmcomp/amd64/selection.ml
  2. +1 −1 asmcomp/i386/selection.ml
@@ -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 [])
@@ -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 [])

0 comments on commit cceb1c7

Please sign in to comment.