blob: 8109d0dc84add4e4969465e4c4815849a4690371 (
plain)
1
2
3
4
5
6
7
8
9
|
require_rv32;
require_extension(EXT_ZKNH);
reg_t result =
(zext32(RS1) << 23) ^ (zext32(RS1) >> 14) ^ (zext32(RS1) >> 18) ^
(zext32(RS2) >> 9) ^ (zext32(RS2) << 18) ^ (zext32(RS2) << 14);
WRITE_RD(sext_xlen(result));
|