c_srai.h\insns\riscv - rocket-tools/riscv-gnu-toolchain/spike.git - Unnamed repository; edit this file 'description' to name the repository.

index : rocket-tools/riscv-gnu-toolchain/spike.git

Unnamed repository; edit this file 'description' to name the repository.

root

about summary refs log tree commit diff

path: root/riscv/insns/c_srai.h

blob: 7b594e9ef1f48cccc2262aa4e28e9d0f8aed8b57 (plain)

1
2
3

require_extension('C');
require(insn.rvc_zimm() < xlen && insn.rvc_zimm() > 0);
WRITE_RVC_RS1S(sext_xlen(sext_xlen(RVC_RS1S) >> insn.rvc_zimm()));