part 2: fix regression (extraneous moves) caused by previous Cconst_blockheader patch

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14649 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Mark Shinwell 2014-04-21 06:55:48 +00:00
parent cceb1c7361
commit 0b097e9a74
1 changed files with 3 additions and 1 deletions

View File

@ -47,7 +47,8 @@ let oper_result_type = function
let size_expr env exp =
let rec size localenv = function
Cconst_int _ | Cconst_natint _ -> Arch.size_int
Cconst_int _ | Cconst_natint _
| Cconst_blockheader _ -> Arch.size_int
| Cconst_symbol _ | Cconst_pointer _ | Cconst_natpointer _ ->
Arch.size_addr
| Cconst_float _ -> Arch.size_float
@ -178,6 +179,7 @@ class virtual selector_generic = object (self)
method is_simple_expr = function
Cconst_int _ -> true
| Cconst_natint _ -> true
| Cconst_blockheader _ -> true
| Cconst_float _ -> true
| Cconst_symbol _ -> true
| Cconst_pointer _ -> true