crc32.d    rd rs1 31..20=0x613 14..12=1 6..2=0x04 1..0=3
crc32c.d   rd rs1 31..20=0x61B 14..12=1 6..2=0x04 1..0=3