RV32 version of add