c_srli.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_srli.h

blob: 008ae6221e89985b2f3a0aef5c74e698137a9114 (plain)

1
2
3

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