$import rv_zbb::rol
$import rv_zbb::ror
$import rv_zbb::andn
$import rv_zbb::orn
$import rv_zbb::xnor
pack       rd rs1 rs2 31..25=4  14..12=4 6..2=0x0C 1..0=3
packh      rd rs1 rs2 31..25=4  14..12=7 6..2=0x0C 1..0=3
$pseudo_op rv64_zbp::grevi brev8 rd rs1 31..20=0x687 14..12=5 6..2=0x4 1..0=0x3