semantic: implemented llvm memcpy intrinsic