jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Memory allocation: do not share enums (and thus clocks).

Browse source
This commit is contained in:
Adrien Guatto 2012-01-30 17:48:47 +01:00
parent 946a1f8228
commit 1cb4b1154b
1 changed files with 9 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
compiler/minils/analysis/interference.ml
View file

@ -36,7 +36,7 @@ module TyEnv =
end)
(** @return whether [ty] corresponds to a record type. *)
let is_record_type ty = match ty with
let is_record_type ty = match Modules.unalias_type ty with
| Tid n ->
(match Modules.find_type n with
| Tstruct _ -> true
@ -52,6 +52,13 @@ let is_array_or_struct ty =
| _ -> false)
| _ -> false
let is_enum ty = match Modules.unalias_type ty with
| Tid n ->
(match Modules.find_type n with
| Tenum _ -> true
| _ -> false)
| _ -> false
module InterfRead = struct
exception Const_extvalue
@ -163,7 +170,7 @@ module World = struct
Signature.field_assoc f fields
let is_optimized_ty ty =
!Compiler_options.interf_all || is_array_or_struct ty
(!Compiler_options.interf_all && not (is_enum ty)) || is_array_or_struct ty
let is_optimized iv =
is_optimized_ty (ivar_type iv)