diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-02-19 15:49:56 -0800 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-02-19 15:49:56 -0800 |
| commit | 6a4eb9211bab5070dc55cea9046e1ffc4e20eafc (patch) | |
| tree | 2c9f667f8852a89f66896bbb62b4c09deceea034 /model/riscv_types.sail | |
| parent | a238acdcd83f2db3c6d549775f16ac8b4ad2291e (diff) | |
| download | sail-riscv-6a4eb9211bab5070dc55cea9046e1ffc4e20eafc.zip sail-riscv-6a4eb9211bab5070dc55cea9046e1ffc4e20eafc.tar.gz sail-riscv-6a4eb9211bab5070dc55cea9046e1ffc4e20eafc.tar.bz2 | |
Use sizeof xlen instead of the value definitions of xlen.
Diffstat (limited to 'model/riscv_types.sail')
| -rw-r--r-- | model/riscv_types.sail | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/model/riscv_types.sail b/model/riscv_types.sail index c0e538f..8e8e163 100644 --- a/model/riscv_types.sail +++ b/model/riscv_types.sail @@ -1,8 +1,8 @@ /* Basic type and function definitions used pervasively in the model. */ -let xlen_max_unsigned = 2 ^ xlen - 1 -let xlen_max_signed = 2 ^ (xlen - 1) - 1 -let xlen_min_signed = 0 - 2 ^ (xlen - 1) +let xlen_max_unsigned = 2 ^ sizeof(xlen) - 1 +let xlen_max_signed = 2 ^ (sizeof(xlen) - 1) - 1 +let xlen_min_signed = 0 - 2 ^ (sizeof(xlen) - 1) type half = bits(16) type word = bits(32) |