[riscv-isa-sim.git] / riscv / insns / c_srai32.h

require_rvc;
require_xpr64;
CRDS = sreg_t(CRDS) >> (32+CIMM5U);