diff options
| author | Jon French | 2019-04-12 14:45:50 +0100 |
|---|---|---|
| committer | Jon French | 2019-04-12 14:45:50 +0100 |
| commit | 63694e62ed04288f34204e6db139acd219bcfc96 (patch) | |
| tree | 790a84b41f917efcab8307153484fa63cba3b6a3 /src | |
| parent | f254b36fe1157df8ff620536f13eb289d781e28f (diff) | |
ToFromInterp_backend: don't generate converters for cache_op_kind
Diffstat (limited to 'src')
| -rw-r--r-- | src/toFromInterp_backend.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/toFromInterp_backend.ml b/src/toFromInterp_backend.ml index 43166f77..5a6dae23 100644 --- a/src/toFromInterp_backend.ml +++ b/src/toFromInterp_backend.ml @@ -114,6 +114,7 @@ let frominterp_typedef (TD_aux (td_aux, (l, _))) = | Id_aux ((Id "barrier_kind"),_) -> empty | Id_aux ((Id "trans_kind"),_) -> empty | Id_aux ((Id "instruction_kind"),_) -> empty + | Id_aux ((Id "cache_op_kind"),_) -> empty | Id_aux ((Id "regfp"),_) -> empty | Id_aux ((Id "regfps"),_) -> empty | Id_aux ((Id "niafp"),_) -> empty @@ -156,6 +157,7 @@ let frominterp_typedef (TD_aux (td_aux, (l, _))) = | TD_enum (Id_aux (Id "write_kind", _), _, _) -> empty | TD_enum (Id_aux (Id "barrier_kind", _), _, _) -> empty | TD_enum (Id_aux (Id "trans_kind", _), _, _) -> empty + | TD_enum (Id_aux (Id "cache_op_kind", _), _, _) -> empty | TD_enum (id, ids, _) -> let fromInterpValueName = concat [string (maybe_zencode (string_of_id id)); string "FromInterpValue"] in let fromFallback = separate space [pipe; underscore; arrow; string "failwith"; @@ -241,6 +243,7 @@ let tointerp_typedef (TD_aux (td_aux, (l, _))) = | Id_aux ((Id "barrier_kind"),_) -> empty | Id_aux ((Id "trans_kind"),_) -> empty | Id_aux ((Id "instruction_kind"),_) -> empty + | Id_aux ((Id "cache_op_kind"),_) -> empty | Id_aux ((Id "regfp"),_) -> empty | Id_aux ((Id "regfps"),_) -> empty | Id_aux ((Id "niafp"),_) -> empty @@ -278,6 +281,7 @@ let tointerp_typedef (TD_aux (td_aux, (l, _))) = | TD_enum (Id_aux (Id "write_kind", _), _, _) -> empty | TD_enum (Id_aux (Id "barrier_kind", _), _, _) -> empty | TD_enum (Id_aux (Id "trans_kind", _), _, _) -> empty + | TD_enum (Id_aux (Id "cache_op_kind", _), _, _) -> empty | TD_enum (id, ids, _) -> let toInterpValueName = concat [string (maybe_zencode (string_of_id id)); string "ToInterpValue"] in let toInterpValue = |