diff options
| author | Tim Hutt <timothy.hutt@codasip.com> | 2024-05-14 17:43:59 +0100 |
|---|---|---|
| committer | Alasdair Armstrong <alasdair.armstrong@googlemail.com> | 2024-05-15 17:45:56 +0100 |
| commit | be1e04c00ab6b301c517039a89254b6485d315d4 (patch) | |
| tree | cd87336e200e46faec4abded4823d8d47bc45b59 /model/riscv_insts_zbkx.sail | |
| parent | a71fee30035e6d504b156cda0802902345766e70 (diff) | |
| download | sail-riscv-be1e04c00ab6b301c517039a89254b6485d315d4.zip sail-riscv-be1e04c00ab6b301c517039a89254b6485d315d4.tar.gz sail-riscv-be1e04c00ab6b301c517039a89254b6485d315d4.tar.bz2 | |
Add some missing explicit var declarations
Implicit `var` declarations will eventually be an error. This makes some implicit `var` declarations explicit.
Diffstat (limited to 'model/riscv_insts_zbkx.sail')
| -rw-r--r-- | model/riscv_insts_zbkx.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/model/riscv_insts_zbkx.sail b/model/riscv_insts_zbkx.sail index 59a90c6..d19a2b1 100644 --- a/model/riscv_insts_zbkx.sail +++ b/model/riscv_insts_zbkx.sail @@ -18,7 +18,7 @@ mapping clause assembly = RISCV_XPERM8(rs2, rs1, rd) function clause execute (RISCV_XPERM8(rs2, rs1, rd)) = { let rs1_val = X(rs1); let rs2_val = X(rs2); - result : xlenbits = zeros(); + var result : xlenbits = zeros(); foreach (i from 0 to (sizeof(xlen) - 8) by 8) { let index = unsigned(rs2_val[i+7..i]); result[i+7..i] = if 8*index < sizeof(xlen) @@ -41,7 +41,7 @@ mapping clause assembly = RISCV_XPERM4(rs2, rs1, rd) function clause execute (RISCV_XPERM4(rs2, rs1, rd)) = { let rs1_val = X(rs1); let rs2_val = X(rs2); - result : xlenbits = zeros(); + var result : xlenbits = zeros(); foreach (i from 0 to (sizeof(xlen) - 4) by 4) { let index = unsigned(rs2_val[i+3..i]); result[i+3..i] = if 4*index < sizeof(xlen) |