add32 31..25=0b0100000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 radd32 31..25=0b0000000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 uradd32 31..25=0b0010000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 kadd32 31..25=0b0001000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 ukadd32 31..25=0b0011000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 sub32 31..25=0b0100001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 rsub32 31..25=0b0000001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 ursub32 31..25=0b0010001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 ksub32 31..25=0b0001001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 uksub32 31..25=0b0011001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 cras32 31..25=0b0100010 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 rcras32 31..25=0b0000010 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 urcras32 31..25=0b0010010 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 kcras32 31..25=0b0001010 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 ukcras32 31..25=0b0011010 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 crsa32 31..25=0b0100011 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 rcrsa32 31..25=0b0000011 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 urcrsa32 31..25=0b0010011 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 kcrsa32 31..25=0b0001011 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 ukcrsa32 31..25=0b0011011 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 stas32 31..25=0b1111000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 rstas32 31..25=0b1011000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 urstas32 31..25=0b1101000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 kstas32 31..25=0b1100000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 ukstas32 31..25=0b1110000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 stsa32 31..25=0b1111001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 rstsa32 31..25=0b1011001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 urstsa32 31..25=0b1101001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 kstsa32 31..25=0b1100001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 ukstsa32 31..25=0b1110001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 sra32 31..25=0b0101000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 srai32 31..25=0b0111000 imm5 rs1 14..12=0b010 rd 6..0=0b1110111 sra32.u 31..25=0b0110000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 srai32.u 31..25=0b1000000 imm5 rs1 14..12=0b010 rd 6..0=0b1110111 srl32 31..25=0b0101001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 srli32 31..25=0b0111001 imm5 rs1 14..12=0b010 rd 6..0=0b1110111 srl32.u 31..25=0b0110001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 srli32.u 31..25=0b1000001 imm5 rs1 14..12=0b010 rd 6..0=0b1110111 sll32 31..25=0b0101010 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 slli32 31..25=0b0111010 imm5 rs1 14..12=0b010 rd 6..0=0b1110111 ksll32 31..25=0b0110010 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 kslli32 31..25=0b1000010 imm5 rs1 14..12=0b010 rd 6..0=0b1110111 kslra32 31..25=0b0101011 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 kslra32.u 31..25=0b0110011 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 smin32 31..25=0b1001000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 umin32 31..25=0b1010000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 smax32 31..25=0b1001001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 umax32 31..25=0b1010001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 kabs32 31..25=0b1010110 24..20=0b10010 rs1 14..12=0b000 rd 6..0=0b1110111 khmbb16 31..25=0b1101110 rs2 rs1 14..12=0b001 rd 6..0=0b1110111 khmbt16 31..25=0b1110110 rs2 rs1 14..12=0b001 rd 6..0=0b1110111 khmtt16 31..25=0b1111110 rs2 rs1 14..12=0b001 rd 6..0=0b1110111 kdmbb16 31..25=0b1101101 rs2 rs1 14..12=0b001 rd 6..0=0b1110111 kdmbt16 31..25=0b1110101 rs2 rs1 14..12=0b001 rd 6..0=0b1110111 kdmtt16 31..25=0b1111101 rs2 rs1 14..12=0b001 rd 6..0=0b1110111 kdmabb16 31..25=0b1101100 rs2 rs1 14..12=0b001 rd 6..0=0b1110111 kdmabt16 31..25=0b1110100 rs2 rs1 14..12=0b001 rd 6..0=0b1110111 kdmatt16 31..25=0b1111100 rs2 rs1 14..12=0b001 rd 6..0=0b1110111 # smbb32 is missing smbt32 31..25=0b0001100 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 smtt32 31..25=0b0010100 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 kmabb32 31..25=0b0101101 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 kmabt32 31..25=0b0110101 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 kmatt32 31..25=0b0111101 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 kmda32 31..25=0b0011100 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 kmxda32 31..25=0b0011101 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 # kmada32 is missing kmaxda32 31..25=0b0100101 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 kmads32 31..25=0b0101110 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 kmadrs32 31..25=0b0110110 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 kmaxds32 31..25=0b0111110 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 kmsda32 31..25=0b0100110 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 kmsxda32 31..25=0b0100111 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 smds32 31..25=0b0101100 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 smdrs32 31..25=0b0110100 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 smxds32 31..25=0b0111100 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 sraiw.u 31..25=0b0011010 imm5 rs1 14..12=0b001 rd 6..0=0b1110111 pkbb32 31..25=0b0000111 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 pkbt32 31..25=0b0001111 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 pktt32 31..25=0b0010111 rs2 rs1 14..12=0b010 rd 6..0=0b1110111 pktb32 31..25=0b0011111 rs2 rs1 14..12=0b010 rd 6..0=0b1110111