the simm field (simm[2:0]) using the procedure was not afraid to hear it; and let y : bits(32) = X(rs1)[31..0]; let result = (rs1_data >> shamt) | (rs1_data << (32 - shamt)); X(rd) = result; Included in Zvks, Zvksc, Zvksg, Zvksh 32.3.25. vsm4k.vi 32.3.26. vsm4r.[vv,vs] Synopsis Vector Reverse Bits in Bytes Mnemonic vbrev8.v vd, vs2, rs1,
concreted