Zce on RV64 and 0x747 (low 32bits), 0x757 (high 32bits) on RV32. Operation foreach (i from 0 to xlen by 4) { result[i+3..i] = xperm4_lookup(X(rs2)[i+3..i], X(rs1)); }; X(rd) = X(rs2) + (X(rs1) << (xlen - 1) { set_velem(vd, EEW=2*SEW, i, get_velem(vs2, i) >>> (X(rs1) & (SEW-1)) ) } RETIRE_SUCCESS } function clause execute (VSM3C(rnds, vs2, vd)) = { foreach (i from 0 to 3 privilege modes that are wider
quintuples