# This file includes only the RV32Zbkb instructions that are not in RV32Zbb 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 brev8 rd rs1 31..26=26 25..20=7 14..12=5 6..2=0x04 1..0=3 unzip rd rs1 31..25=4 24..20=15 14..12=5 6..2=0x04 1..0=3 zip rd rs1 31..25=4 24..20=15 14..12=1 6..2=0x04 1..0=3