= { let keyelem = if xlen == 32 then X(rs2)[4..0] else X(rs2)[5..0]; let result = (rs1 >> shamt) | (rs1 >> (32 - shamt)); X(rd) = EXTS((X(rs1) << 3) ^ (X(rs1) >> shamt) | (rs1_data << (32 -