marcfedorow
5 years ago
committed by
GitHub
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with
4 additions and
4 deletions
-
riscv/insns/sha256sig0.h
-
riscv/insns/sha256sig1.h
-
riscv/insns/sha256sum0.h
-
riscv/insns/sha256sum1.h
|
|
|
@ -6,7 +6,7 @@ require_extension('K'); |
|
|
|
uint32_t a = RS1; |
|
|
|
|
|
|
|
WRITE_RD( |
|
|
|
sext_xlen(ROR32(a, 7) ^ ROR32(a,18) ^ (a >> 3)) |
|
|
|
sext32(ROR32(a, 7) ^ ROR32(a,18) ^ (a >> 3)) |
|
|
|
); |
|
|
|
|
|
|
|
#undef ROR32 |
|
|
|
|
|
|
|
@ -6,7 +6,7 @@ require_extension('K'); |
|
|
|
uint32_t a = RS1; |
|
|
|
|
|
|
|
WRITE_RD( |
|
|
|
sext_xlen(ROR32(a, 17) ^ ROR32(a,19) ^ (a >> 10)) |
|
|
|
sext32(ROR32(a, 17) ^ ROR32(a,19) ^ (a >> 10)) |
|
|
|
); |
|
|
|
|
|
|
|
#undef ROR32 |
|
|
|
|
|
|
|
@ -6,7 +6,7 @@ require_extension('K'); |
|
|
|
uint32_t a = RS1; |
|
|
|
|
|
|
|
WRITE_RD( |
|
|
|
sext_xlen(ROR32(a, 2) ^ ROR32(a,13) ^ ROR32(a, 22)) |
|
|
|
sext32(ROR32(a, 2) ^ ROR32(a,13) ^ ROR32(a, 22)) |
|
|
|
); |
|
|
|
|
|
|
|
#undef ROR32 |
|
|
|
|
|
|
|
@ -6,7 +6,7 @@ require_extension('K'); |
|
|
|
uint32_t a = RS1; |
|
|
|
|
|
|
|
WRITE_RD( |
|
|
|
sext_xlen(ROR32(a, 6) ^ ROR32(a,11) ^ ROR32(a, 25)) |
|
|
|
sext32(ROR32(a, 6) ^ ROR32(a,11) ^ ROR32(a, 25)) |
|
|
|
); |
|
|
|
|
|
|
|
#undef ROR32 |
|
|
|
|
