Function tvm::operator+=