It can be advantageous to allow certain object field or array element writes to be moved across deoptimization points. For example, a loop may contain a write that is only ever read by code after the loop. Currently, a safepoint at the end of the loop is a deoptimization point that forces the write to be performed within the loop. The write could be moved outside the loop if there was support for the write to be done during deoptimization.