diff options
| author | Bill McSpadden <bill@riscv.org> | 2024-05-16 09:32:09 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-16 09:32:09 -0500 |
| commit | 8ab3ca84cd7f97969f074e09a1617fd9b8d1e387 (patch) | |
| tree | bb1579296208edd25ab3cda895f8851f2c75d95a /model/riscv_insts_zbc.sail | |
| parent | 6605792e014d67292c4adc936d789cdea511b3ed (diff) | |
| parent | be1e04c00ab6b301c517039a89254b6485d315d4 (diff) | |
| download | sail-riscv-8ab3ca84cd7f97969f074e09a1617fd9b8d1e387.zip sail-riscv-8ab3ca84cd7f97969f074e09a1617fd9b8d1e387.tar.gz sail-riscv-8ab3ca84cd7f97969f074e09a1617fd9b8d1e387.tar.bz2 | |
Merge branch 'master' into master
Diffstat (limited to 'model/riscv_insts_zbc.sail')
| -rw-r--r-- | model/riscv_insts_zbc.sail | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/model/riscv_insts_zbc.sail b/model/riscv_insts_zbc.sail index 910db1b..458b9fa 100644 --- a/model/riscv_insts_zbc.sail +++ b/model/riscv_insts_zbc.sail @@ -18,7 +18,7 @@ mapping clause assembly = RISCV_CLMUL(rs2, rs1, rd) function clause execute (RISCV_CLMUL(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 (xlen_val - 1)) if rs2_val[i] == bitone then result = result ^ (rs1_val << i); X(rd) = result; @@ -37,7 +37,7 @@ mapping clause assembly = RISCV_CLMULH(rs2, rs1, rd) function clause execute (RISCV_CLMULH(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 (xlen_val - 1)) if rs2_val[i] == bitone then result = result ^ (rs1_val >> (xlen_val - i)); X(rd) = result; @@ -56,7 +56,7 @@ mapping clause assembly = RISCV_CLMULR(rs2, rs1, rd) function clause execute (RISCV_CLMULR(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 (xlen_val - 1)) if rs2_val[i] == bitone then result = result ^ (rs1_val >> (xlen_val - i - 1)); X(rd) = result; |