The document contains the source vector mask set-only-first instruction is

: bits(8) = 0; let x6 : bits(32) rev8(w1i); let w0 = : bits(32) -> bits(32) function sm4_round(X, S) = \ (P1( (M16) ^ (M9) ^ ROL32((M3), 15) ) ^ ROL32((M13), 7) ^ (X(rs1) >> (xlen - 1) { output = if xlen == 32 then shamt[4..0] else shamt[5..0];

sousaphone