Just like the arraycopy pre-barrier, the arraycopy post-barrier should check for count == 0 and HAS_FORWARDED gc-state in the generated stubs to avoid calling into the runtime at all in those cases. The runtime can then elide checking this.