Fix #109 sha256sig1 result should be EXTS, not EXTZ

On branch dev/next-release Your branch is up-to-date with 'origin/dev/next-release'. Changes to be committed: modified: insns/sha256sig1.adoc modified: ../../extern/sail-riscv Changes not staged for commit: modified: ../../extern/riscv-gnu-toolchain (modified content) modified: ../../extern/sail-riscv (untracked content)
riscv · Aug 27, 2021 · a255d6e · a255d6e
1 parent 807504a
commit a255d6e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/doc/scalar/insns/sha256sig1.adoc b/doc/scalar/insns/sha256sig1.adoc
@@ -39,7 +39,7 @@ Operation::
 function clause execute (SHA256SIG1(rs1,rd)) = {
   let inb    : bits(32) = X(rs1)[31..0];
   let result : bits(32) = ror32(inb, 17) ^ ror32(inb, 19) ^ (inb >> 10);
-  X(rd)      = EXTZ(result);
+  X(rd)      = EXTS(result);
   RETIRE_SUCCESS
 }
 --

diff --git a/extern/sail-riscv b/extern/sail-riscv