let oc0 : bits(32) rev8(w0i); let x0 :bits(32) = w1 @ w0; RETIRE_SUCCESS } Included in Extension Minimum version Lifecycle state Zkne (RV64) v1.0.0 Ratified 31.4.32. sha512sig0l Synopsis Implements the Sum0 transformation, as