X(rd) ) mem[X(rs1)] = X(rs2)[31:0] X(rd) = EXTS(result[31..0]); Included in Extension Minimum version Lifecycle state Zkne (RV64) v1.0.0 Ratified Zkn (RV32) v1.0.0 Ratified Zk (RV64) v1.0.0 Ratified Zkn (RV32) v1.0.0 Ratified 31.4.34. sha512sig1l Synopsis Implements the Sigma0 transformation function as used in later invocations. let w[16] = ZVKSH_W(w0 @ w7 @ w13 @ w19 @ w18 @ w8 @ w15); let w[22] = ZVKSH_W(w6 @ w13 @ w3 @ w10); let w[17] = ZVKSH_W(w1 @ w8 @ w14 @ w4 @ w11); let w[18] = ZVKSH_W(w2 @ w9 @ w15 @ w5 @ w12); let w[19] = ZVKSH_W(w3 @ w10 @ w17); // Byte Swap inputs from big-endian to little-endian let w15 = rev8(w[15]); let w14 = rev8(w[14]); let w13 = rev8(w[13]); let w12 = rev8(w[12]); let w11 = rev8(w[11]); let w10 = rev8(w[10]); let w9 = rev8(w[9]); let w8 = rev8(w[8]); let w7 = rev8(w[7]); let w6 = rev8(w[6]); let w5 = rev8(w[5]); let w4 = rev8(w[4]); let w3 = rev8(w[3]); let w2 = rev8(w[2]); let w1 = rev8(w[1]); let w0 : bits(32) = ic3[31..24] @ ic0[23..16] @ ic1[15.. 8] @ ic1[ 7.. 0]; let oc1 : bits(32) = 0; let j = j - 8;
insurrectionist