path: root/riscv/insns/sext_b.h

require_extension(EXT_ZBB);
WRITE_RD((sreg_t)(int8_t)(RS1));