diff options
Diffstat (limited to 'src/lem_interp/interp_utilities.lem')
| -rw-r--r-- | src/lem_interp/interp_utilities.lem | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/lem_interp/interp_utilities.lem b/src/lem_interp/interp_utilities.lem index 86042d61..f54fad5a 100644 --- a/src/lem_interp/interp_utilities.lem +++ b/src/lem_interp/interp_utilities.lem @@ -105,6 +105,7 @@ end let ~{ocaml} list_to_string format sep list = "" val has_rmem_effect : list base_effect -> bool +val has_rmemt_effect : list base_effect -> bool val has_barr_effect : list base_effect -> bool val has_wmem_effect : list base_effect -> bool val has_depend_effect : list base_effect -> bool @@ -116,8 +117,10 @@ let rec has_effect which efcts = | (BE_rreg,BE_rreg) -> true | (BE_wreg,BE_wreg) -> true | (BE_rmem,BE_rmem) -> true + | (BE_rmemt,BE_rmemt) -> true | (BE_wmem,BE_wmem) -> true | (BE_wmv,BE_wmv) -> true + | (BE_wmvt,BE_wmvt) -> true | (BE_eamem,BE_eamem) -> true | (BE_barr,BE_barr) -> true | (BE_undef,BE_undef) -> true @@ -128,10 +131,12 @@ let rec has_effect which efcts = end end let has_rmem_effect = has_effect BE_rmem +let has_rmemt_effect = has_effect BE_rmemt let has_barr_effect = has_effect BE_barr let has_wmem_effect = has_effect BE_wmem let has_eamem_effect = has_effect BE_eamem let has_wmv_effect = has_effect BE_wmv +let has_wmvt_effect = has_effect BE_wmvt let has_depend_effect = has_effect BE_depend let get_typ (TypSchm_aux (TypSchm_ts tq t) _) = t |