That's likely the question on whether a move deinitializes the moved-from place (UCG#188, among some others).
Just in general, as well, LLVM is surprisingly loathe to elide memcpys, likely due to the fact that the address (non)overlap is considered an observable property optimizations mustn't impact.