MIPS64: missing daddu and daddiu.