path: root/riscv/insns/c_not.h

require_extension(EXT_ZCB);
WRITE_RVC_RS1S(sext_xlen(~RVC_RS1S));