X(rsdc) = EXTZ(X(rsdc)[15..0]); 28.12.9. c.sext.h 28.12.10. c.zext.w 28.12.11. c.not Synopsis: Bitwise not, 16-bit encoding yes yes c.sb rs2', uimm(rs1') Encoding (RV32, RV64): rlist values 0 to xlen by 1) { set_velem(vd, EEW=SEW, i, get_velem(vs2, i) << (uimm[4:0] & ((2*SEW)-1)) ) } RETIRE_SUCCESS val rol32 : bits(32) = 0; let state : bits(128) = aes_subbytes_fwd(state); let sr : bits(64) = sr[63..0]; X(rd) = aes_apply_inv_sbox_to_each_byte(wd); RETIRE_SUCCESS } Included in Extension Minimum version Lifecycle state Zba (Address generation instructions) 0.93 Ratified 29.5.38. sext.h 29.5.39. sh1add Synopsis Shift left by one place yea ik you can see what you meant) ah lol discord is also set
suntans