aboutsummaryrefslogtreecommitdiff
path: root/riscv/insns/srai.h
blob: 7ae1d4e5af36affad7c319225e89508b8bbce504 (plain)
1
2
require(SHAMT < xlen);
WRITE_RD(sext_xlen(sext_xlen(RS1) >> SHAMT));