Unsafe::copyMemory0 intrinsic unconditionally inserts barriers arounds the call. It is conservative and barriers can be avoided in some cases (similar to what is done for scalar unsafe accesses; e.g., copying between on-heap arrays and off-heap is one of such cases).