diff options
| author | Thomas Bauereiss | 2019-08-14 15:18:15 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-08-14 18:02:03 +0100 |
| commit | e2e273eda09c707a78bd96b668db92381a6e524e (patch) | |
| tree | 05ed7b643f8ae5e6241c2e9dc9654e2aeea8e527 /src | |
| parent | f1c483a7c35387fae037b7a6c64356c858945587 (diff) | |
Use bitvector type in mono rewrites
Also don't require a previously declared default vector indexing order
in vector_dec.sail.
Diffstat (limited to 'src')
| -rw-r--r-- | src/monomorphise.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/monomorphise.ml b/src/monomorphise.ml index bd36c262..d52f12dc 100644 --- a/src/monomorphise.ml +++ b/src/monomorphise.ml @@ -2714,8 +2714,8 @@ let is_constant = function let is_constant_vec_typ env typ = let typ = Env.base_typ_of env typ in - match destruct_vector env typ with - | Some (size,_,_) -> + match destruct_bitvector env typ with + | Some (size,_) -> (match nexp_simp size with | Nexp_aux (Nexp_constant _,_) -> true | _ -> false) |