diff --git a/riscv/insns/sha256sig0.h b/riscv/insns/sha256sig0.h
index b2820c37..f37a7224 100644
--- a/riscv/insns/sha256sig0.h
+++ b/riscv/insns/sha256sig0.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
diff --git a/riscv/insns/sha256sig1.h b/riscv/insns/sha256sig1.h
index 2b853d5c..e6136f92 100644
--- a/riscv/insns/sha256sig1.h
+++ b/riscv/insns/sha256sig1.h
@@ -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
diff --git a/riscv/insns/sha256sum0.h b/riscv/insns/sha256sum0.h
index 53f3485a..20a86d05 100644
--- a/riscv/insns/sha256sum0.h
+++ b/riscv/insns/sha256sum0.h
@@ -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
diff --git a/riscv/insns/sha256sum1.h b/riscv/insns/sha256sum1.h
index 70d92266..a8405091 100644
--- a/riscv/insns/sha256sum1.h
+++ b/riscv/insns/sha256sum1.h
@@ -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