diff options
| author | Ben Marshall <ben.marshall@bristol.ac.uk> | 2021-11-03 09:44:19 +0000 |
|---|---|---|
| committer | Jessica Clarke <jrtc27@jrtc27.com> | 2021-11-10 22:34:56 +0000 |
| commit | 0a32766e12fb84d82d6f6b030e3ca17ee10d5085 (patch) | |
| tree | 88aadd5487894816cecac49cbb158079462aca48 | |
| parent | 1ed8162edc3bf8331e8b28b817db1b4ef63dfc2f (diff) | |
| download | sail-riscv-0a32766e12fb84d82d6f6b030e3ca17ee10d5085.zip sail-riscv-0a32766e12fb84d82d6f6b030e3ca17ee10d5085.tar.gz sail-riscv-0a32766e12fb84d82d6f6b030e3ca17ee10d5085.tar.bz2 | |
scalar-crypto: whitespace consistency for SHA* instructions
Remove weird whitespace " );" -> ");" at end of expressions to be
consistent with the rest of the code base.
On branch scalar-crypto-tidy
Changes to be committed:
modified: model/riscv_insts_zkn.sail
| -rw-r--r-- | model/riscv_insts_zkn.sail | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/model/riscv_insts_zkn.sail b/model/riscv_insts_zkn.sail index b26f38f..5cda5a3 100644 --- a/model/riscv_insts_zkn.sail +++ b/model/riscv_insts_zkn.sail @@ -190,37 +190,37 @@ mapping clause assembly = SHA512SUM1R (rs2, rs1, rd) function clause execute (SHA512SIG0H(rs2, rs1, rd)) = { X(rd) = EXTS((X(rs1) >> 1) ^ (X(rs1) >> 7) ^ (X(rs1) >> 8) ^ - (X(rs2) << 31) ^ (X(rs2) << 24) ); + (X(rs2) << 31) ^ (X(rs2) << 24)); RETIRE_SUCCESS } function clause execute (SHA512SIG0L(rs2, rs1, rd)) = { X(rd) = EXTS((X(rs1) >> 1) ^ (X(rs1) >> 7) ^ (X(rs1) >> 8) ^ - (X(rs2) << 31) ^ (X(rs2) << 25) ^ (X(rs2) << 24) ); + (X(rs2) << 31) ^ (X(rs2) << 25) ^ (X(rs2) << 24)); RETIRE_SUCCESS } function clause execute (SHA512SIG1H(rs2, rs1, rd)) = { X(rd) = EXTS((X(rs1) << 3) ^ (X(rs1) >> 6) ^ (X(rs1) >> 19) ^ - (X(rs2) >> 29) ^ (X(rs2) << 13) ); + (X(rs2) >> 29) ^ (X(rs2) << 13)); RETIRE_SUCCESS } function clause execute (SHA512SIG1L(rs2, rs1, rd)) = { X(rd) = EXTS((X(rs1) << 3) ^ (X(rs1) >> 6) ^ (X(rs1) >> 19) ^ - (X(rs2) >> 29) ^ (X(rs2) << 26) ^ (X(rs2) << 13) ); + (X(rs2) >> 29) ^ (X(rs2) << 26) ^ (X(rs2) << 13)); RETIRE_SUCCESS } function clause execute (SHA512SUM0R(rs2, rs1, rd)) = { X(rd) = EXTS((X(rs1) << 25) ^ (X(rs1) << 30) ^ (X(rs1) >> 28) ^ - (X(rs2) >> 7) ^ (X(rs2) >> 2) ^ (X(rs2) << 4) ); + (X(rs2) >> 7) ^ (X(rs2) >> 2) ^ (X(rs2) << 4)); RETIRE_SUCCESS } function clause execute (SHA512SUM1R(rs2, rs1, rd)) = { X(rd) = EXTS((X(rs1) << 23) ^ (X(rs1) >> 14) ^ (X(rs1) >> 18) ^ - (X(rs2) >> 9) ^ (X(rs2) << 18) ^ (X(rs2) << 14) ); + (X(rs2) >> 9) ^ (X(rs2) << 18) ^ (X(rs2) << 14)); RETIRE_SUCCESS } |