diff options
| author | Thomas Bauereiss | 2020-03-28 13:08:48 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-04-10 13:22:11 +0100 |
| commit | 3d895704db4689f832180782ab30f1805804e2b3 (patch) | |
| tree | ad07c2d056c2741b8b13e37d1df64eb5b1983be8 /src/value2.lem | |
| parent | 151f5dbcd31fb2181a050ecc287dc5cf8646e6a4 (diff) | |
Check more types in monomorphisation rewrites
In the new version of the ASL-generated Sail, some vector operators are
also overloaded for integers to match idioms of ASL (e.g. i[31:0], where
i is an integer), so check in the monomorphisation rewrites that we use
bitvector helper functions only for actual bitvectors.
Diffstat (limited to 'src/value2.lem')
0 files changed, 0 insertions, 0 deletions