the official RISC-V psABI document is formally amended or

Integer Integer FP funct3 funct3 funct3 funct3 OPIVV V OPMVV  V OPFVV V OPIVX X OPMVX X OPFVF F OPIVI I funct6 funct6 000000 V vredsum 000000 V F vfmax 000111 V vfredmax 001000 001000

nematodes