riscv64: Fix encoding for c.addi4spn#7208

fitzgen merged 2 commits intobytecodealliance:mainbytecodealliance/wasmtime:mainfrom

afonso360:riscv-fix-addi4spn-encodingafonso360/wasmtime:riscv-fix-addi4spn-encodingCopy head branch name to clipboard